CABSMarketMachine
Source Revision 0x6e2f7cc2…02d826
| Property | Value |
|---|---|
| Source Revision | 0x6e2f7cc298fe2f76e8d30d739166d630651151e7ca1a2e205f853988d202d826 |
| Source URL | https://raw.githubusercontent.com/busytoby/atropa_pulsechain/478278c9faaf832116ede5dac1533caa2994c16c/solidity/dysnomia/domain/sky/CABSMarketMachine.sol |
| Source commit | 478278c9faaf832116ede5dac1533caa2994c16c |
| Source Status | Source snapshot; source hashes do not establish deployed bytecode equivalence. |
| Compiler | solc 0.8.21; optimizer enabled with 200 runs |
| Compiler Configuration | {"evmVersion":"compiler-default","optimizer":{"enabled":true,"runs":200},"version":"0.8.21+commit.d9974bed.Linux.g++"} |
| Compilation Closure Hash | 0x8e8e24e9fbecf50fd2e4723e7c48919146d887d073bb86dcc6b95453ee4effd3 |
| Compilation Closure Files | 34 |
| Hash Generated | 2026-09-17T19:13:19.713059+00:00 |
Overview
Section titled “Overview”Tracks account balances and token escrow trades linked to external object-property conditions.
- Kind: Contract
- License: Sharia
- Solidity: ^0.8.21
- Source:
domain/sky/CABSMarketMachine.sol
Inheritance Chain (C3 Linearized)
Section titled “Inheritance Chain (C3 Linearized)”Immediate Parents
Section titled “Immediate Parents”State Variables
Section titled “State Variables”| Variable | Type | Visibility | Mutability | Initial Value | NatSpec |
|---|---|---|---|---|---|
Type |
string |
public | constant | CABS_MARKET_MACHINE |
|
CABSAccounts |
mapping(uint256 => uint256) |
public | mutable | `` | |
activeTrades |
mapping(uint256 => CABSMarketMachine.EscrowTrade) |
public | mutable | `` | |
nextTradeId |
uint256 |
public | mutable | 1 |
|
folkloreCPUAddress |
address |
public | mutable | `` | |
zmachineAddress |
address |
public | mutable | `` |
Structs
Section titled “Structs”EscrowTrade
Section titled “EscrowTrade”struct EscrowTrade { address depositor; address recipient; address rewardToken; uint256 amount; uint256 zObjId; uint256 zPropId; uint256 targetValue; uint256 lockBlock; uint256 timeoutBlocks; bool active;}Events
Section titled “Events”| Event | Parameters | Anonymous | NatSpec |
|---|---|---|---|
CABSAccountUpdated |
uint256 indexed account, uint256 oldBalance, uint256 newBalance | no | |
EscrowStaged |
uint256 indexed tradeId, address indexed depositor, uint256 amount | no | |
EscrowSettled |
uint256 indexed tradeId, address indexed recipient, uint256 amount, uint256 refundAmount | no | |
EscrowRefunded |
uint256 indexed tradeId, address indexed depositor, uint256 amount | no |
Constructor
Section titled “Constructor”constructor
Section titled “constructor”constructorconstructor
constructor(address folklore, address zmachine, address xiaoAddress) DYSNOMIA("CABS Market Machine", "CABSMM", xiaoAddress)- Modifiers:
DYSNOMIA("CABS Market Machine", "CABSMM", xiaoAddress) - Parameters: address folklore, address zmachine, address xiaoAddress
Functions
Section titled “Functions”External & Public
Section titled “External & Public”setBoundAddresses
Section titled “setBoundAddresses”setBoundAddressesfunction
function setBoundAddresses(address folklore, address zmachine) public onlyOwnersA callable deployment has not been resolved for this reference.
- Visibility: public
- Modifiers:
onlyOwners - Parameters: address folklore, address zmachine
stageEscrow
Section titled “stageEscrow”stageEscrowfunction
function stageEscrow(address recipient, address rewardToken, uint256 amount, uint256 zObjId, uint256 zPropId, uint256 targetValue, uint256 timeoutBlocks) external returns (uint256 tradeId)A callable deployment has not been resolved for this reference.
- Visibility: external
- Parameters: address recipient, address rewardToken, uint256 amount, uint256 zObjId, uint256 zPropId, uint256 targetValue, uint256 timeoutBlocks
- Returns: uint256 tradeId
- NatSpec: Stages a trade in escrow.
evaluateAndSettle
Section titled “evaluateAndSettle”evaluateAndSettlefunction
function evaluateAndSettle(uint256 tradeId) external returns (bool)A callable deployment has not been resolved for this reference.
- Visibility: external
- Parameters: uint256 tradeId
- Returns: bool
- NatSpec: Evaluates target condition of a pending escrow trade via the Z-Machine object property.
refundEscrow
Section titled “refundEscrow”refundEscrowfunction
function refundEscrow(uint256 tradeId) externalA callable deployment has not been resolved for this reference.
- Visibility: external
- Parameters: uint256 tradeId
- NatSpec: Executes refund (wave reflection) if the trade has timed out without completion.
Inherited Members
Section titled “Inherited Members”Public and external functions below are callable through this contract’s address. Parent links identify where each member is defined.
External & Public Functions
Rename
Section titled “Rename”Renamefunction
function Rename(string memory newName, string memory newSymbol) public virtual onlyOwnersA callable deployment has not been resolved for this reference.
- Visibility: public
- Virtual: yes
- Modifiers:
onlyOwners - Parameters: string memory newName, string memory newSymbol
mintToCap
Section titled “mintToCap”mintToCapfunction
function mintToCap() public onlyOwnersA callable deployment has not been resolved for this reference.
- Visibility: public
- Modifiers:
onlyOwners
GetMarketRate
Section titled “GetMarketRate”GetMarketRatefunction
function GetMarketRate(address _a) public view returns (uint256)A callable deployment has not been resolved for this reference.
- Visibility: public
- State Mutability: view
- Parameters: address _a
- Returns: uint256
Purchase
Section titled “Purchase”Purchasefunction
function Purchase(address _t, uint256 _a) publicA callable deployment has not been resolved for this reference.
- Visibility: public
- Parameters: address _t, uint256 _a
Redeem
Section titled “Redeem”Redeemfunction
function Redeem(address _t, uint256 _a) publicA callable deployment has not been resolved for this reference.
- Visibility: public
- Parameters: address _t, uint256 _a
namefunction
function name() public view virtual returns (string memory)A callable deployment has not been resolved for this reference.
- Visibility: public
- State Mutability: view
- Virtual: yes
- Returns: string memory
symbol
Section titled “symbol”symbolfunction
function symbol() public view virtual returns (string memory)A callable deployment has not been resolved for this reference.
- Visibility: public
- State Mutability: view
- Virtual: yes
- Returns: string memory
decimals
Section titled “decimals”decimalsfunction
function decimals() public view virtual returns (uint8)A callable deployment has not been resolved for this reference.
- Visibility: public
- State Mutability: view
- Virtual: yes
- Returns: uint8
totalSupply
Section titled “totalSupply”totalSupplyfunction
function totalSupply() public view virtual returns (uint256)A callable deployment has not been resolved for this reference.
- Visibility: public
- State Mutability: view
- Virtual: yes
- Returns: uint256
balanceOf
Section titled “balanceOf”balanceOffunction
function balanceOf(address account) public view virtual returns (uint256)A callable deployment has not been resolved for this reference.
- Visibility: public
- State Mutability: view
- Virtual: yes
- Parameters: address account
- Returns: uint256
transfer
Section titled “transfer”transferfunction
function transfer(address to, uint256 value) public virtual returns (bool)A callable deployment has not been resolved for this reference.
- Visibility: public
- Virtual: yes
- Parameters: address to, uint256 value
- Returns: bool
allowance
Section titled “allowance”allowancefunction
function allowance(address owner, address spender) public view virtual returns (uint256)A callable deployment has not been resolved for this reference.
- Visibility: public
- State Mutability: view
- Virtual: yes
- Parameters: address owner, address spender
- Returns: uint256
approve
Section titled “approve”approvefunction
function approve(address spender, uint256 value) public virtual returns (bool)A callable deployment has not been resolved for this reference.
- Visibility: public
- Virtual: yes
- Parameters: address spender, uint256 value
- Returns: bool
transferFrom
Section titled “transferFrom”transferFromfunction
function transferFrom(address from, address to, uint256 value) public virtual returns (bool)A callable deployment has not been resolved for this reference.
- Visibility: public
- Virtual: yes
- Parameters: address from, address to, uint256 value
- Returns: bool
Internal Functions
| Function | Signature |
|---|---|
_addLibraryOwner |
function _addLibraryOwner(VOID Void, string memory what) internal |
_mintToCap |
function _mintToCap() internal |
_addMarketRate |
function _addMarketRate(address _a, uint256 _r) internal |
_transfer |
function _transfer(address from, address to, uint256 value) internal |
_update |
function _update(address from, address to, uint256 value) internal virtual |
_mint |
function _mint(address account, uint256 value) internal |
_approve |
function _approve(address owner, address spender, uint256 value) internal |
_approve |
function _approve(address owner, address spender, uint256 value, bool emitEvent) internal virtual |
_spendAllowance |
function _spendAllowance(address owner, address spender, uint256 value) internal virtual |
Events
| Event | Parameters |
|---|---|
Transfer |
address indexed from, address indexed to, uint256 value |
Approval |
address indexed owner, address indexed spender, uint256 value |
Errors
| Error | Parameters |
|---|---|
MarketRateNotFound |
address asset |
DysnomiaInsufficientBalance |
address origin, address sender, address from, address to, address what, uint256 balance, uint256 needed |
DysnomiaInsufficientAllowance |
address origin, address sender, address owner, address spender, address what, uint256 allowance, uint256 needed |
State Variables (private parent storage is not reachable and is omitted)
| Variable | Type | Visibility | Mutability |
|---|---|---|---|
__name |
string |
internal | mutable |
__symbol |
string |
internal | mutable |
MotzkinPrime |
uint64 |
public | constant |
Xiao |
atropaMath |
public | mutable |
maxSupply |
uint256 |
public | mutable |
External & Public Functions
ownerfunction
function owner() external view virtual returns (address)A callable deployment has not been resolved for this reference.
- Visibility: external
- State Mutability: view
- Virtual: yes
- Returns: address
ownerfunction
function owner(address cOwner) public view virtual returns (bool)A callable deployment has not been resolved for this reference.
- Visibility: public
- State Mutability: view
- Virtual: yes
- Parameters: address cOwner
- Returns: bool
renounceOwnership
Section titled “renounceOwnership”renounceOwnershipfunction
function renounceOwnership(address toRemove) public virtual onlyOwnersA callable deployment has not been resolved for this reference.
- Visibility: public
- Virtual: yes
- Modifiers:
onlyOwners - Parameters: address toRemove
addOwner
Section titled “addOwner”addOwnerfunction
function addOwner(address newOwner) public virtual onlyOwnersA callable deployment has not been resolved for this reference.
- Visibility: public
- Virtual: yes
- Modifiers:
onlyOwners - Parameters: address newOwner
Internal Functions
| Function | Signature |
|---|---|
_checkOwner |
function _checkOwner() internal view virtual |
_changeOwnership |
function _changeOwnership(address cOwner, bool cState) internal virtual |
Events
| Event | Parameters |
|---|---|
OwnershipUpdate |
address indexed newOwner, bool indexed state |
Errors
| Error | Parameters |
|---|---|
OwnableUnauthorizedAccount |
address origin, address account, address what |
OwnableInvalidOwner |
address origin, address owner, address what |
Modifiers
| Modifier | Parameters |
|---|---|
onlyOwners |
(none) |
Inherited functions and getters (9)
CABSMarketMachine.CABSAccounts(uint256)Read
A callable deployment has not been resolved for this reference.
CABSMarketMachine.MotzkinPrime()Read
A callable deployment has not been resolved for this reference.
CABSMarketMachine.Type()Read
A callable deployment has not been resolved for this reference.
CABSMarketMachine.Xiao()Read
A callable deployment has not been resolved for this reference.
CABSMarketMachine.activeTrades(uint256)Read
A callable deployment has not been resolved for this reference.
CABSMarketMachine.folkloreCPUAddress()Read
A callable deployment has not been resolved for this reference.
CABSMarketMachine.maxSupply()Read
A callable deployment has not been resolved for this reference.
CABSMarketMachine.nextTradeId()Read
A callable deployment has not been resolved for this reference.
CABSMarketMachine.zmachineAddress()Read
A callable deployment has not been resolved for this reference.
Compiled ABI
Section titled “Compiled ABI”The compiled ABI below is produced by solc 0.8.21 from the exact source bytes recorded in Source details. Consumers can paste it directly into ethers/web3/viem.
Click to expand JSON ABI
[ { "inputs": [ { "internalType": "address", "name": "folklore", "type": "address" }, { "internalType": "address", "name": "zmachine", "type": "address" }, { "internalType": "address", "name": "xiaoAddress", "type": "address" } ], "stateMutability": "nonpayable", "type": "constructor" }, { "inputs": [ { "internalType": "address", "name": "origin", "type": "address" }, { "internalType": "address", "name": "sender", "type": "address" }, { "internalType": "address", "name": "owner", "type": "address" }, { "internalType": "address", "name": "spender", "type": "address" }, { "internalType": "address", "name": "what", "type": "address" }, { "internalType": "uint256", "name": "allowance", "type": "uint256" }, { "internalType": "uint256", "name": "needed", "type": "uint256" } ], "name": "DysnomiaInsufficientAllowance", "type": "error" }, { "inputs": [ { "internalType": "address", "name": "origin", "type": "address" }, { "internalType": "address", "name": "sender", "type": "address" }, { "internalType": "address", "name": "from", "type": "address" }, { "internalType": "address", "name": "to", "type": "address" }, { "internalType": "address", "name": "what", "type": "address" }, { "internalType": "uint256", "name": "balance", "type": "uint256" }, { "internalType": "uint256", "name": "needed", "type": "uint256" } ], "name": "DysnomiaInsufficientBalance", "type": "error" }, { "inputs": [ { "internalType": "address", "name": "asset", "type": "address" } ], "name": "MarketRateNotFound", "type": "error" }, { "inputs": [ { "internalType": "address", "name": "origin", "type": "address" }, { "internalType": "address", "name": "owner", "type": "address" }, { "internalType": "address", "name": "what", "type": "address" } ], "name": "OwnableInvalidOwner", "type": "error" }, { "inputs": [ { "internalType": "address", "name": "origin", "type": "address" }, { "internalType": "address", "name": "account", "type": "address" }, { "internalType": "address", "name": "what", "type": "address" } ], "name": "OwnableUnauthorizedAccount", "type": "error" }, { "anonymous": false, "inputs": [ { "indexed": true, "internalType": "address", "name": "owner", "type": "address" }, { "indexed": true, "internalType": "address", "name": "spender", "type": "address" }, { "indexed": false, "internalType": "uint256", "name": "value", "type": "uint256" } ], "name": "Approval", "type": "event" }, { "anonymous": false, "inputs": [ { "indexed": true, "internalType": "uint256", "name": "account", "type": "uint256" }, { "indexed": false, "internalType": "uint256", "name": "oldBalance", "type": "uint256" }, { "indexed": false, "internalType": "uint256", "name": "newBalance", "type": "uint256" } ], "name": "CABSAccountUpdated", "type": "event" }, { "anonymous": false, "inputs": [ { "indexed": true, "internalType": "uint256", "name": "tradeId", "type": "uint256" }, { "indexed": true, "internalType": "address", "name": "depositor", "type": "address" }, { "indexed": false, "internalType": "uint256", "name": "amount", "type": "uint256" } ], "name": "EscrowRefunded", "type": "event" }, { "anonymous": false, "inputs": [ { "indexed": true, "internalType": "uint256", "name": "tradeId", "type": "uint256" }, { "indexed": true, "internalType": "address", "name": "recipient", "type": "address" }, { "indexed": false, "internalType": "uint256", "name": "amount", "type": "uint256" }, { "indexed": false, "internalType": "uint256", "name": "refundAmount", "type": "uint256" } ], "name": "EscrowSettled", "type": "event" }, { "anonymous": false, "inputs": [ { "indexed": true, "internalType": "uint256", "name": "tradeId", "type": "uint256" }, { "indexed": true, "internalType": "address", "name": "depositor", "type": "address" }, { "indexed": false, "internalType": "uint256", "name": "amount", "type": "uint256" } ], "name": "EscrowStaged", "type": "event" }, { "anonymous": false, "inputs": [ { "indexed": true, "internalType": "address", "name": "newOwner", "type": "address" }, { "indexed": true, "internalType": "bool", "name": "state", "type": "bool" } ], "name": "OwnershipUpdate", "type": "event" }, { "anonymous": false, "inputs": [ { "indexed": true, "internalType": "address", "name": "from", "type": "address" }, { "indexed": true, "internalType": "address", "name": "to", "type": "address" }, { "indexed": false, "internalType": "uint256", "name": "value", "type": "uint256" } ], "name": "Transfer", "type": "event" }, { "inputs": [ { "internalType": "uint256", "name": "", "type": "uint256" } ], "name": "CABSAccounts", "outputs": [ { "internalType": "uint256", "name": "", "type": "uint256" } ], "stateMutability": "view", "type": "function" }, { "inputs": [ { "internalType": "address", "name": "_a", "type": "address" } ], "name": "GetMarketRate", "outputs": [ { "internalType": "uint256", "name": "", "type": "uint256" } ], "stateMutability": "view", "type": "function" }, { "inputs": [], "name": "MotzkinPrime", "outputs": [ { "internalType": "uint64", "name": "", "type": "uint64" } ], "stateMutability": "view", "type": "function" }, { "inputs": [ { "internalType": "address", "name": "_t", "type": "address" }, { "internalType": "uint256", "name": "_a", "type": "uint256" } ], "name": "Purchase", "outputs": [], "stateMutability": "nonpayable", "type": "function" }, { "inputs": [ { "internalType": "address", "name": "_t", "type": "address" }, { "internalType": "uint256", "name": "_a", "type": "uint256" } ], "name": "Redeem", "outputs": [], "stateMutability": "nonpayable", "type": "function" }, { "inputs": [ { "internalType": "string", "name": "newName", "type": "string" }, { "internalType": "string", "name": "newSymbol", "type": "string" } ], "name": "Rename", "outputs": [], "stateMutability": "nonpayable", "type": "function" }, { "inputs": [], "name": "Type", "outputs": [ { "internalType": "string", "name": "", "type": "string" } ], "stateMutability": "view", "type": "function" }, { "inputs": [], "name": "Xiao", "outputs": [ { "internalType": "contract atropaMath", "name": "", "type": "address" } ], "stateMutability": "view", "type": "function" }, { "inputs": [ { "internalType": "uint256", "name": "", "type": "uint256" } ], "name": "activeTrades", "outputs": [ { "internalType": "address", "name": "depositor", "type": "address" }, { "internalType": "address", "name": "recipient", "type": "address" }, { "internalType": "address", "name": "rewardToken", "type": "address" }, { "internalType": "uint256", "name": "amount", "type": "uint256" }, { "internalType": "uint256", "name": "zObjId", "type": "uint256" }, { "internalType": "uint256", "name": "zPropId", "type": "uint256" }, { "internalType": "uint256", "name": "targetValue", "type": "uint256" }, { "internalType": "uint256", "name": "lockBlock", "type": "uint256" }, { "internalType": "uint256", "name": "timeoutBlocks", "type": "uint256" }, { "internalType": "bool", "name": "active", "type": "bool" } ], "stateMutability": "view", "type": "function" }, { "inputs": [ { "internalType": "address", "name": "newOwner", "type": "address" } ], "name": "addOwner", "outputs": [], "stateMutability": "nonpayable", "type": "function" }, { "inputs": [ { "internalType": "address", "name": "owner", "type": "address" }, { "internalType": "address", "name": "spender", "type": "address" } ], "name": "allowance", "outputs": [ { "internalType": "uint256", "name": "", "type": "uint256" } ], "stateMutability": "view", "type": "function" }, { "inputs": [ { "internalType": "address", "name": "spender", "type": "address" }, { "internalType": "uint256", "name": "value", "type": "uint256" } ], "name": "approve", "outputs": [ { "internalType": "bool", "name": "", "type": "bool" } ], "stateMutability": "nonpayable", "type": "function" }, { "inputs": [ { "internalType": "address", "name": "account", "type": "address" } ], "name": "balanceOf", "outputs": [ { "internalType": "uint256", "name": "", "type": "uint256" } ], "stateMutability": "view", "type": "function" }, { "inputs": [], "name": "decimals", "outputs": [ { "internalType": "uint8", "name": "", "type": "uint8" } ], "stateMutability": "view", "type": "function" }, { "inputs": [ { "internalType": "uint256", "name": "tradeId", "type": "uint256" } ], "name": "evaluateAndSettle", "outputs": [ { "internalType": "bool", "name": "", "type": "bool" } ], "stateMutability": "nonpayable", "type": "function" }, { "inputs": [], "name": "folkloreCPUAddress", "outputs": [ { "internalType": "address", "name": "", "type": "address" } ], "stateMutability": "view", "type": "function" }, { "inputs": [], "name": "maxSupply", "outputs": [ { "internalType": "uint256", "name": "", "type": "uint256" } ], "stateMutability": "view", "type": "function" }, { "inputs": [], "name": "mintToCap", "outputs": [], "stateMutability": "nonpayable", "type": "function" }, { "inputs": [], "name": "name", "outputs": [ { "internalType": "string", "name": "", "type": "string" } ], "stateMutability": "view", "type": "function" }, { "inputs": [], "name": "nextTradeId", "outputs": [ { "internalType": "uint256", "name": "", "type": "uint256" } ], "stateMutability": "view", "type": "function" }, { "inputs": [ { "internalType": "address", "name": "cOwner", "type": "address" } ], "name": "owner", "outputs": [ { "internalType": "bool", "name": "", "type": "bool" } ], "stateMutability": "view", "type": "function" }, { "inputs": [], "name": "owner", "outputs": [ { "internalType": "address", "name": "", "type": "address" } ], "stateMutability": "view", "type": "function" }, { "inputs": [ { "internalType": "uint256", "name": "tradeId", "type": "uint256" } ], "name": "refundEscrow", "outputs": [], "stateMutability": "nonpayable", "type": "function" }, { "inputs": [ { "internalType": "address", "name": "toRemove", "type": "address" } ], "name": "renounceOwnership", "outputs": [], "stateMutability": "nonpayable", "type": "function" }, { "inputs": [ { "internalType": "address", "name": "folklore", "type": "address" }, { "internalType": "address", "name": "zmachine", "type": "address" } ], "name": "setBoundAddresses", "outputs": [], "stateMutability": "nonpayable", "type": "function" }, { "inputs": [ { "internalType": "address", "name": "recipient", "type": "address" }, { "internalType": "address", "name": "rewardToken", "type": "address" }, { "internalType": "uint256", "name": "amount", "type": "uint256" }, { "internalType": "uint256", "name": "zObjId", "type": "uint256" }, { "internalType": "uint256", "name": "zPropId", "type": "uint256" }, { "internalType": "uint256", "name": "targetValue", "type": "uint256" }, { "internalType": "uint256", "name": "timeoutBlocks", "type": "uint256" } ], "name": "stageEscrow", "outputs": [ { "internalType": "uint256", "name": "tradeId", "type": "uint256" } ], "stateMutability": "nonpayable", "type": "function" }, { "inputs": [], "name": "symbol", "outputs": [ { "internalType": "string", "name": "", "type": "string" } ], "stateMutability": "view", "type": "function" }, { "inputs": [], "name": "totalSupply", "outputs": [ { "internalType": "uint256", "name": "", "type": "uint256" } ], "stateMutability": "view", "type": "function" }, { "inputs": [ { "internalType": "address", "name": "to", "type": "address" }, { "internalType": "uint256", "name": "value", "type": "uint256" } ], "name": "transfer", "outputs": [ { "internalType": "bool", "name": "", "type": "bool" } ], "stateMutability": "nonpayable", "type": "function" }, { "inputs": [ { "internalType": "address", "name": "from", "type": "address" }, { "internalType": "address", "name": "to", "type": "address" }, { "internalType": "uint256", "name": "value", "type": "uint256" } ], "name": "transferFrom", "outputs": [ { "internalType": "bool", "name": "", "type": "bool" } ], "stateMutability": "nonpayable", "type": "function" }, { "inputs": [], "name": "zmachineAddress", "outputs": [ { "internalType": "address", "name": "", "type": "address" } ], "stateMutability": "view", "type": "function" }]