Skip to content
Dysnomia Docs
Technical Reference

CHOA

Contract address0x0f5a352fd4cA4850c2099C15B3600ff085B66197
Hash-verified 0xe3a49cfe…ddcfc8
Source details
Property Value
Keccak256 Hash 0xe3a49cfe56d7054d4e949fa1c55bd639f366b4a6cc9fcb695ce88ada56ddcfc8
Source URL https://raw.githubusercontent.com/busytoby/atropa_pulsechain/58607494f7741b80525953e4a85bc99e66fd20fc/solidity/dysnomia/domain/sky/02_choa.sol
Source Revision 58607494f7741b80525953e4a85bc99e66fd20fc
Source Status Canonical source snapshot; deployed bytecode equivalence is only established where a deployment record says so.
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 0xe8ae63a75ddd85ea382fed1f258f47c7d5509801218d66c7971a4520fd1f7805
Compilation Closure Files 34
Hash Generated 2026-09-14T19:34:02Z

Overview

Section titled “Overview”

CHOA is the game operations contract that handles player gameplay actions. It manages playing, chatting, and coordinates with SEI for player state.

  • Kind: Contract
  • License: Sharia
  • Solidity: ^0.8.21
  • Source: domain/sky/02_choa.sol

Inheritance Chain (C3 Linearized)

Section titled “Inheritance Chain (C3 Linearized)”
  1. self — CHOA
  2. DYSNOMIA
  3. MultiOwnable

Immediate Parents

Section titled “Immediate Parents”

What This Means For Players

Section titled “What This Means For Players”

Plain English Summary: CHOA is the gameplay controller - it handles your playing and chatting actions. When you want to start playing or send a chat message in a venue, CHOA is the contract that processes those actions and calculates your rewards.

Real-World Analogy: Think of CHOA like the game’s action handler in a multiplayer game. When you press buttons to perform actions (chat, join a venue), CHOA processes those inputs, updates the game state, and dishes out experience points (rewards) based on your activity.

How It Affects Your Gameplay:

  • Start playing - Use Play() to register as an active player and get your YUE set up
  • Chat and earn - Chatting through CHOA earns you MAI tokens as rewards
  • Yuan power - Your “Yuan” score weighs your token holdings (wallet + LAU + YUE)
  • First-time bonus - New players get an initial YUE token mint

State Variables

Section titled “State Variables”
Variable Type Visibility Mutability Initial Value NatSpec
Type string public constant CHOA
Sei SEI public mutable ``
_players mapping(uint64 => YUEINTERFACE) private mutable ``

Constructor

Section titled “Constructor”

constructor

Section titled “constructor”
constructorconstructor
constructor(address SeiAddress) DYSNOMIA("Dysnomia Chao", "CHOA", address(DYSNOMIA(SeiAddress).Xiao()))
  • Modifiers: DYSNOMIA("Dysnomia Chao", "CHOA", address(DYSNOMIA(SeiAddress).Xiao()))
  • Parameters: address SeiAddress

Functions

Section titled “Functions”

External & Public

Section titled “External & Public”

Yuan

Section titled “Yuan”
Yuanfunction
function Yuan(address Currency) public view returns (uint256 Bae)

Open this function to load its call form.

  • Visibility: public
  • State Mutability: view
  • Parameters: address Currency
  • Returns: uint256 Bae

Play

Section titled “Play”
Playfunction
function Play(address UserTokenAddress) public returns (YUEINTERFACE Chi, LAU UserToken)

Open this function to load its call form.

  • Visibility: public
  • Parameters: address UserTokenAddress
  • Returns: YUEINTERFACE Chi, LAU UserToken

Chat

Section titled “Chat”
Chatfunction
function Chat(address Qing, string memory MSG) public returns (uint256 Charge)

Open this function to load its call form.

  • Visibility: public
  • Parameters: address Qing, string memory MSG
  • Returns: uint256 Charge

Inherited Members

Section titled “Inherited Members”

This contract inherits the members below from its parents. See each parent’s dedicated MD for full signatures, NatSpec, and semantics.

From DYSNOMIA

Section titled “From DYSNOMIA”

External & Public Functions

Function Signature State Mutability
Rename function Rename(string memory newName, string memory newSymbol) public virtual onlyOwners nonpayable
mintToCap function mintToCap() public onlyOwners nonpayable
GetMarketRate function GetMarketRate(address _a) public view returns (uint256) view
Purchase function Purchase(address _t, uint256 _a) public nonpayable
Redeem function Redeem(address _t, uint256 _a) public nonpayable
name function name() public view virtual returns (string memory) view
symbol function symbol() public view virtual returns (string memory) view
decimals function decimals() public view virtual returns (uint8) view
totalSupply function totalSupply() public view virtual returns (uint256) view
balanceOf function balanceOf(address account) public view virtual returns (uint256) view
transfer function transfer(address to, uint256 value) public virtual returns (bool) nonpayable
allowance function allowance(address owner, address spender) public view virtual returns (uint256) view
approve function approve(address spender, uint256 value) public virtual returns (bool) nonpayable
transferFrom function transferFrom(address from, address to, uint256 value) public virtual returns (bool) nonpayable

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
_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

From MultiOwnable

Section titled “From MultiOwnable”

External & Public Functions

Function Signature State Mutability
owner function owner() external view virtual returns (address) view
renounceOwnership function renounceOwnership(address toRemove) public virtual onlyOwners nonpayable
addOwner function addOwner(address newOwner) public virtual onlyOwners nonpayable

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)

Contract Interactions

Section titled “Contract Interactions”

Depends On

Section titled “Depends On”

Depended On By

Section titled “Depended On By”
  • ZI - Uses CHOA for player state

Special Mechanisms

Section titled “Special Mechanisms”

Yuan Calculation

Section titled “Yuan Calculation”
function Yuan(address Currency) public view returns (uint256 Bae) {
    (YUEINTERFACE Yue, LAU UserToken) = Sei.Chi();
    DYSNOMIA Bai = DYSNOMIA(Currency);


    // Weighted sum: direct + 10x LAU + 40x YUE
    return Bai.balanceOf(tx.origin)
         + (10 * Bai.balanceOf(address(UserToken)))
         + (40 * Bai.balanceOf(address(Yue)));
}

Play Registration

Section titled “Play Registration”
function Play(address UserTokenAddress) public returns (YUEINTERFACE Chi, LAU UserToken) {
    // Enter via CHO
    Sei.Chan().Xie().Xia().Mai().Qi().Zuo().Cho().Enter(UserTokenAddress);


    // Get player state
    (Chi, UserToken) = Sei.Chi();


    // First time player gets YUE mint
    if(address(_players[UserToken.Saat(1)]) == address(0x0))
        Sei.Chan().YueMintToOrigin(Chi);


    _players[UserToken.Saat(1)] = Chi;
}

Chat With Rewards

Section titled “Chat With Rewards”
function Chat(address Qing, string memory MSG) public returns (uint256 Charge) {
    (YUEINTERFACE Yue, LAU UserToken) = Sei.Chi();
    QINGINTERFACE _qing = QINGINTERFACE(Qing);


    // Send chat
    _qing.Chat(UserToken, MSG);


    // React for charge
    Charge = Sei.Chan().ReactYue(Yue, Qing);


    // Calculate MAI reward
    uint256 Mai = Sei.Chan().Xie().Xia().Mai().React(UserToken.Saat(1), _qing.Waat());


    // Cap and transfer
    if(Mai > 1 * 10 ** decimals()) Mai = 1 * 10 ** decimals();
    if(balanceOf(address(this)) >= Mai)
        _transfer(address(this), address(Yue), Mai);
}
Inherited functions and getters (23)
CHOA.GetMarketRate(address _a)Read

Open this function to load its call form.

CHOA.MotzkinPrime()Read

Open this function to load its call form.

CHOA.Purchase(address _t, uint256 _a)Simulate / call

Open this function to load its call form.

CHOA.Redeem(address _t, uint256 _a)Simulate / call

Open this function to load its call form.

CHOA.Rename(string newName, string newSymbol)Simulate / call

Open this function to load its call form.

CHOA.Sei()Read

Open this function to load its call form.

CHOA.Type()Read

Open this function to load its call form.

CHOA.Xiao()Read

Open this function to load its call form.

CHOA.addOwner(address newOwner)Simulate / call

Open this function to load its call form.

CHOA.allowance(address owner, address spender)Read

Open this function to load its call form.

CHOA.approve(address spender, uint256 value)Simulate / call

Open this function to load its call form.

CHOA.balanceOf(address account)Read

Open this function to load its call form.

CHOA.decimals()Read

Open this function to load its call form.

CHOA.maxSupply()Read

Open this function to load its call form.

CHOA.mintToCap()Simulate / call

Open this function to load its call form.

CHOA.name()Read

Open this function to load its call form.

CHOA.owner(address cOwner)Read

Open this function to load its call form.

CHOA.owner()Read

Open this function to load its call form.

CHOA.renounceOwnership(address toRemove)Simulate / call

Open this function to load its call form.

CHOA.symbol()Read

Open this function to load its call form.

CHOA.totalSupply()Read

Open this function to load its call form.

CHOA.transfer(address to, uint256 value)Simulate / call

Open this function to load its call form.

CHOA.transferFrom(address from, address to, uint256 value)Simulate / call

Open this function to load its call form.

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": "SeiAddress",
        "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": "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": "address",
        "name": "Qing",
        "type": "address"
      },
      {
        "internalType": "string",
        "name": "MSG",
        "type": "string"
      }
    ],
    "name": "Chat",
    "outputs": [
      {
        "internalType": "uint256",
        "name": "Charge",
        "type": "uint256"
      }
    ],
    "stateMutability": "nonpayable",
    "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": "UserTokenAddress",
        "type": "address"
      }
    ],
    "name": "Play",
    "outputs": [
      {
        "internalType": "contract YUEINTERFACE",
        "name": "Chi",
        "type": "address"
      },
      {
        "internalType": "contract LAU",
        "name": "UserToken",
        "type": "address"
      }
    ],
    "stateMutability": "nonpayable",
    "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": "Sei",
    "outputs": [
      {
        "internalType": "contract SEI",
        "name": "",
        "type": "address"
      }
    ],
    "stateMutability": "view",
    "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": "address",
        "name": "Currency",
        "type": "address"
      }
    ],
    "name": "Yuan",
    "outputs": [
      {
        "internalType": "uint256",
        "name": "Bae",
        "type": "uint256"
      }
    ],
    "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": [],
    "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": [
      {
        "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": "address",
        "name": "toRemove",
        "type": "address"
      }
    ],
    "name": "renounceOwnership",
    "outputs": [],
    "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"
  }
]