Technical Reference

CABSMarketMachine

Source updated:
Last updated:
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

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
Contract addressNot currently resolved
  1. self — CABSMarketMachine
  2. DYSNOMIA
  3. MultiOwnable
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 ``
struct EscrowTrade {
address depositor;
address recipient;
address rewardToken;
uint256 amount;
uint256 zObjId;
uint256 zPropId;
uint256 targetValue;
uint256 lockBlock;
uint256 timeoutBlocks;
bool active;
}
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
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
setBoundAddressesfunction
function setBoundAddresses(address folklore, address zmachine) public onlyOwners

A callable deployment has not been resolved for this reference.

  • Visibility: public
  • Modifiers: onlyOwners
  • Parameters: address folklore, address zmachine
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.
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.
refundEscrowfunction
function refundEscrow(uint256 tradeId) external

A 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.

Public and external functions below are callable through this contract’s address. Parent links identify where each member is defined.

External & Public Functions

Renamefunction
function Rename(string memory newName, string memory newSymbol) public virtual onlyOwners

A callable deployment has not been resolved for this reference.

  • Visibility: public
  • Virtual: yes
  • Modifiers: onlyOwners
  • Parameters: string memory newName, string memory newSymbol
mintToCapfunction
function mintToCap() public onlyOwners

A callable deployment has not been resolved for this reference.

  • Visibility: public
  • Modifiers: onlyOwners
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
Purchasefunction
function Purchase(address _t, uint256 _a) public

A callable deployment has not been resolved for this reference.

  • Visibility: public
  • Parameters: address _t, uint256 _a
Redeemfunction
function Redeem(address _t, uint256 _a) public

A 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
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
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
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
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
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
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
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
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
renounceOwnershipfunction
function renounceOwnership(address toRemove) public virtual onlyOwners

A callable deployment has not been resolved for this reference.

  • Visibility: public
  • Virtual: yes
  • Modifiers: onlyOwners
  • Parameters: address toRemove
addOwnerfunction
function addOwner(address newOwner) public virtual onlyOwners

A 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.

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"
}
]