Technical Reference

CHO

Source updated:: 2024-11-13 02:35:26 UTC
Last updated:: 2026-09-29 00:09:14 UTC

Source Revision 0x5e4ec26f…d9c4f6

Property	Value
Source Revision	`0x5e4ec26fabea5e497326e361cd820037e9b7fbfbd6b272d2dcd83f0ed2d9c4f6`
Source URL	https://raw.githubusercontent.com/busytoby/atropa_pulsechain/9abc2dfb3a4900c176e68dd0e946b7cd9c6c5bf9/solidity/dysnomia/domain/dan/01_cho.sol
Source commit	`9abc2dfb3a4900c176e68dd0e946b7cd9c6c5bf9`
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	`0xa6c25d01601af9e511ef3abd704b8522225dd53ccb5693710bbd26d9a18f1ee5`
Compilation Closure Files	23
Hash Generated	2026-04-20T02:38:24Z

Overview

CHO is the primary login and user authentication contract. It manages user delegation, entropy tracking, and system address registry. CHO serves as the gateway between user tokens (LAU) and the domain contract system.

Kind: Contract
License: Sharia
Solidity: ^0.8.21
Source: domain/dan/01_cho.sol

Contract address:

0xB6be11F0A788014C1F68C92F8D6CcC1AbF78F2aB

Inheritance Chain (C3 Linearized)

Immediate Parents

DYSNOMIA

What This Means For Players

CHO.Enter registers an owned LAU under Delegates[tx.origin] and maps its Soul back to tx.origin. VerifyUserTokenPermissions checks the origin WITHOUT balance and the LAU’s SHIO/Rod relationships, not caller ownership. Enter adds an owner(tx.origin) check. User getters can mutate entropy.

QING.Chat does not add a caller-ownership check to VerifyUserTokenPermissions. The stricter MCP ownership rule is client policy.

Constants

Constant	Value	Description
Gua	1652929763764148448182513644633101239607891671119935657884642	Universe constant for Luo generation

State Variables

Variable	Type	Visibility	Mutability	Initial Value
`Type`	`string`	public	constant	`CHO`
`Gua`	`uint256`	public	constant	`1652929763764148448182513644633101239...`
`Void`	`VOID`	public	mutable	``
`Saat`	`uint64[3]`	public	mutable	``
`On`	`Bao`	public	mutable	``
`Entropy`	`uint64`	public	mutable	``
`Delegates`	`mapping(address => User)`	private	mutable	``
`DelegateAddresses`	`mapping(uint64 => address)`	private	mutable	``
`Addresses`	`mapping(string => address)`	public	mutable	``
`Qu`	`mapping(uint256 => address)`	public	mutable	``
`Aliases`	`string[]`	public	mutable	``

Errors

Error	Parameters	NatSpec
`SystemAddress`	address Address, string Alias
`InvalidUserToken`	address Asset
`InvalidOwnership`	address UserToken, address User
`UserNotEntered`	address User
`SoulNotEntered`	uint64 Soul
`InvalidUser`	(none)

Constructor

constructor

constructorconstructor

constructor(address VoidAddress) DYSNOMIA("Dysnomia Cho", "CHO", address(DYSNOMIA(VoidAddress).Xiao()))

Modifiers: DYSNOMIA("Dysnomia Cho", "CHO", address(DYSNOMIA(VoidAddress).Xiao()))
Parameters: address VoidAddress

Functions

External & Public

AddContractOwner

AddContractOwnerfunction

function AddContractOwner(address Contract, address Owner) public onlyOwners

Open this function to load its call form.

Visibility: public
Modifiers: onlyOwners
Parameters: address Contract, address Owner

has

hasfunction

function has(address _contract, string memory what) public view returns (bool does)

Open this function to load its call form.

Visibility: public
State Mutability: view
Parameters: address _contract, string memory what
Returns: bool does

AddSystemAddress

AddSystemAddressfunction

function AddSystemAddress(string memory Alias, address Address) public onlyOwners

Open this function to load its call form.

Visibility: public
Modifiers: onlyOwners
Parameters: string memory Alias, address Address

AddLibraryOwner

AddLibraryOwnerfunction

function AddLibraryOwner(string memory what) public onlyOwners

Open this function to load its call form.

Visibility: public
Modifiers: onlyOwners
Parameters: string memory what

Reactor

Reactorfunction

function Reactor() public view returns (LIBCOREREACTIONS)

Open this function to load its call form.

Visibility: public
State Mutability: view
Returns: LIBCOREREACTIONS

Luo

Luofunction

function Luo() public onlyOwners returns (uint256 De)

Open this function to load its call form.

Visibility: public
Modifiers: onlyOwners
Returns: uint256 De

VerifyUserTokenPermissions

VerifyUserTokenPermissionsfunction

function VerifyUserTokenPermissions(address UserToken) public

Open this function to load its call form.

Visibility: public
Parameters: address UserToken

Enter

Enterfunction

function Enter(address UserToken) public returns (User memory)

Open this function to load its call form.

Visibility: public
Parameters: address UserToken
Returns: User memory

Recall

Recallfunction

function Recall(User memory Alpha) public returns (uint64 UserEntropy)

Open this function to load its call form.

Visibility: public
Parameters: User memory Alpha
Returns: uint64 UserEntropy

GetUser

GetUserfunction

function GetUser() public returns (User memory Alpha)

Open this function to load its call form.

Visibility: public
Returns: User memory Alpha

GetUserSoul

GetUserSoulfunction

function GetUserSoul() public view returns (uint64)

Open this function to load its call form.

Visibility: public
State Mutability: view
Returns: uint64

React

Reactfunction

function React(uint64 Eta) public returns (uint64, uint64)

Open this function to load its call form.

Visibility: public
Parameters: uint64 Eta
Returns: uint64, uint64

ReactUser

ReactUserfunction

function ReactUser(uint64 Soul, uint64 Epsilon) public returns (uint64 Omicron)

Open this function to load its call form.

Visibility: public
Parameters: uint64 Soul, uint64 Epsilon
Returns: uint64 Omicron

GetUserBySoul

GetUserBySoulfunction

function GetUserBySoul(uint64 Soul) public returns (User memory Alpha)

Open this function to load its call form.

Visibility: public
Parameters: uint64 Soul
Returns: User memory Alpha

GetAddressBySoul

GetAddressBySoulfunction

function GetAddressBySoul(uint64 soul) public view returns (address UserAddress)

Open this function to load its call form.

Visibility: public
State Mutability: view
Parameters: uint64 soul
Returns: address UserAddress

GetUserTokenAddress

GetUserTokenAddressfunction

function GetUserTokenAddress(address wallet) public view returns (address UserToken)

Open this function to load its call form.

Visibility: public
State Mutability: view
Parameters: address wallet
Returns: address UserToken

Inherited Members

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

From DYSNOMIA

External & Public Functions

Rename

Renamefunction

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

Open this function to load its call form.

Visibility: public
Virtual: yes
Modifiers: onlyOwners
Parameters: string memory newName, string memory newSymbol

mintToCap

mintToCapfunction

function mintToCap() public onlyOwners

Open this function to load its call form.

Visibility: public
Modifiers: onlyOwners

GetMarketRate

GetMarketRatefunction

function GetMarketRate(address _a) public view returns (uint256)

Open this function to load its call form.

Visibility: public
State Mutability: view
Parameters: address _a
Returns: uint256

Purchase

Purchasefunction

function Purchase(address _t, uint256 _a) public

Open this function to load its call form.

Visibility: public
Parameters: address _t, uint256 _a

Redeem

Redeemfunction

function Redeem(address _t, uint256 _a) public

Open this function to load its call form.

Visibility: public
Parameters: address _t, uint256 _a

name

namefunction

function name() public view virtual returns (string memory)

Open this function to load its call form.

Visibility: public
State Mutability: view
Virtual: yes
Returns: string memory

symbol

symbolfunction

function symbol() public view virtual returns (string memory)

Open this function to load its call form.

Visibility: public
State Mutability: view
Virtual: yes
Returns: string memory

decimals

decimalsfunction

function decimals() public view virtual returns (uint8)

Open this function to load its call form.

Visibility: public
State Mutability: view
Virtual: yes
Returns: uint8

totalSupply

totalSupplyfunction

function totalSupply() public view virtual returns (uint256)

Open this function to load its call form.

Visibility: public
State Mutability: view
Virtual: yes
Returns: uint256

balanceOf

balanceOffunction

function balanceOf(address account) public view virtual returns (uint256)

Open this function to load its call form.

Visibility: public
State Mutability: view
Virtual: yes
Parameters: address account
Returns: uint256

transfer

transferfunction

function transfer(address to, uint256 value) public virtual returns (bool)

Open this function to load its call form.

Visibility: public
Virtual: yes
Parameters: address to, uint256 value
Returns: bool

allowance

allowancefunction

function allowance(address owner, address spender) public view virtual returns (uint256)

Open this function to load its call form.

Visibility: public
State Mutability: view
Virtual: yes
Parameters: address owner, address spender
Returns: uint256

approve

approvefunction

function approve(address spender, uint256 value) public virtual returns (bool)

Open this function to load its call form.

Visibility: public
Virtual: yes
Parameters: address spender, uint256 value
Returns: bool

transferFrom

transferFromfunction

function transferFrom(address from, address to, uint256 value) public virtual returns (bool)

Open this function to load its call form.

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

From MultiOwnable

External & Public Functions

owner

ownerfunction

function owner() external view virtual returns (address)

Open this function to load its call form.

Visibility: external
State Mutability: view
Virtual: yes
Returns: address

owner

ownerfunction

function owner(address cOwner) public view virtual returns (bool)

Open this function to load its call form.

Visibility: public
State Mutability: view
Virtual: yes
Parameters: address cOwner
Returns: bool

renounceOwnership

renounceOwnershipfunction

function renounceOwnership(address toRemove) public virtual onlyOwners

Open this function to load its call form.

Visibility: public
Virtual: yes
Modifiers: onlyOwners
Parameters: address toRemove

addOwner

addOwnerfunction

function addOwner(address newOwner) public virtual onlyOwners

Open this function to load its call form.

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)

Contract Interactions

Depends On

DYSNOMIA V2 - Base functionality
VOID - Session management
COREREACTIONSLIB - Reaction library

Depended On By

MAP - Uses CHO for Luo generation
QING - User verification
Domain contracts using user authentication

Special Mechanisms

Delegates is keyed by transaction-origin wallet, and DelegateAddresses maps Soul to that wallet. Enter checks ownership; VerifyUserTokenPermissions checks session structure and origin WITHOUT balance. Luo evolves CHO state and reserves an unused nonzero value. See CHO behavior.

Inherited functions and getters (12)

CHO.Addresses(string)Read

Open this function to load its call form.

CHO.Aliases(uint256)Read

Open this function to load its call form.

CHO.Entropy()Read

Open this function to load its call form.

CHO.Gua()Read

Open this function to load its call form.

CHO.MotzkinPrime()Read

Open this function to load its call form.

CHO.On()Read

Open this function to load its call form.

CHO.Qu(uint256)Read

Open this function to load its call form.

CHO.Saat(uint256)Read

Open this function to load its call form.

CHO.Type()Read

Open this function to load its call form.

CHO.Void()Read

Open this function to load its call form.

CHO.Xiao()Read

Open this function to load its call form.

CHO.maxSupply()Read

Open this function to load its call form.

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": "VoidAddress",
        "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": "UserToken",
        "type": "address"
      },
      {
        "internalType": "address",
        "name": "User",
        "type": "address"
      }
    ],
    "name": "InvalidOwnership",
    "type": "error"
  },
  {
    "inputs": [],
    "name": "InvalidUser",
    "type": "error"
  },
  {
    "inputs": [
      {
        "internalType": "address",
        "name": "Asset",
        "type": "address"
      }
    ],
    "name": "InvalidUserToken",
    "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"
  },
  {
    "inputs": [
      {
        "internalType": "uint64",
        "name": "Soul",
        "type": "uint64"
      }
    ],
    "name": "SoulNotEntered",
    "type": "error"
  },
  {
    "inputs": [
      {
        "internalType": "address",
        "name": "Address",
        "type": "address"
      },
      {
        "internalType": "string",
        "name": "Alias",
        "type": "string"
      }
    ],
    "name": "SystemAddress",
    "type": "error"
  },
  {
    "inputs": [
      {
        "internalType": "address",
        "name": "User",
        "type": "address"
      }
    ],
    "name": "UserNotEntered",
    "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": "Contract",
        "type": "address"
      },
      {
        "internalType": "address",
        "name": "Owner",
        "type": "address"
      }
    ],
    "name": "AddContractOwner",
    "outputs": [],
    "stateMutability": "nonpayable",
    "type": "function"
  },
  {
    "inputs": [
      {
        "internalType": "string",
        "name": "what",
        "type": "string"
      }
    ],
    "name": "AddLibraryOwner",
    "outputs": [],
    "stateMutability": "nonpayable",
    "type": "function"
  },
  {
    "inputs": [
      {
        "internalType": "string",
        "name": "Alias",
        "type": "string"
      },
      {
        "internalType": "address",
        "name": "Address",
        "type": "address"
      }
    ],
    "name": "AddSystemAddress",
    "outputs": [],
    "stateMutability": "nonpayable",
    "type": "function"
  },
  {
    "inputs": [
      {
        "internalType": "string",
        "name": "",
        "type": "string"
      }
    ],
    "name": "Addresses",
    "outputs": [
      {
        "internalType": "address",
        "name": "",
        "type": "address"
      }
    ],
    "stateMutability": "view",
    "type": "function"
  },
  {
    "inputs": [
      {
        "internalType": "uint256",
        "name": "",
        "type": "uint256"
      }
    ],
    "name": "Aliases",
    "outputs": [
      {
        "internalType": "string",
        "name": "",
        "type": "string"
      }
    ],
    "stateMutability": "view",
    "type": "function"
  },
  {
    "inputs": [
      {
        "internalType": "address",
        "name": "UserToken",
        "type": "address"
      }
    ],
    "name": "Enter",
    "outputs": [
      {
        "components": [
          {
            "internalType": "uint64",
            "name": "Soul",
            "type": "uint64"
          },
          {
            "components": [
              {
                "internalType": "address",
                "name": "Phi",
                "type": "address"
              },
              {
                "internalType": "contract SHA",
                "name": "Mu",
                "type": "address"
              },
              {
                "internalType": "uint64",
                "name": "Xi",
                "type": "uint64"
              },
              {
                "internalType": "uint64",
                "name": "Pi",
                "type": "uint64"
              },
              {
                "internalType": "contract SHIO",
                "name": "Shio",
                "type": "address"
              },
              {
                "internalType": "uint64",
                "name": "Ring",
                "type": "uint64"
              },
              {
                "internalType": "uint64",
                "name": "Omicron",
                "type": "uint64"
              },
              {
                "internalType": "uint64",
                "name": "Omega",
                "type": "uint64"
              }
            ],
            "internalType": "struct Bao",
            "name": "On",
            "type": "tuple"
          },
          {
            "internalType": "string",
            "name": "Username",
            "type": "string"
          },
          {
            "internalType": "uint64",
            "name": "Entropy",
            "type": "uint64"
          }
        ],
        "internalType": "struct User",
        "name": "",
        "type": "tuple"
      }
    ],
    "stateMutability": "nonpayable",
    "type": "function"
  },
  {
    "inputs": [],
    "name": "Entropy",
    "outputs": [
      {
        "internalType": "uint64",
        "name": "",
        "type": "uint64"
      }
    ],
    "stateMutability": "view",
    "type": "function"
  },
  {
    "inputs": [
      {
        "internalType": "uint64",
        "name": "soul",
        "type": "uint64"
      }
    ],
    "name": "GetAddressBySoul",
    "outputs": [
      {
        "internalType": "address",
        "name": "UserAddress",
        "type": "address"
      }
    ],
    "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": "GetUser",
    "outputs": [
      {
        "components": [
          {
            "internalType": "uint64",
            "name": "Soul",
            "type": "uint64"
          },
          {
            "components": [
              {
                "internalType": "address",
                "name": "Phi",
                "type": "address"
              },
              {
                "internalType": "contract SHA",
                "name": "Mu",
                "type": "address"
              },
              {
                "internalType": "uint64",
                "name": "Xi",
                "type": "uint64"
              },
              {
                "internalType": "uint64",
                "name": "Pi",
                "type": "uint64"
              },
              {
                "internalType": "contract SHIO",
                "name": "Shio",
                "type": "address"
              },
              {
                "internalType": "uint64",
                "name": "Ring",
                "type": "uint64"
              },
              {
                "internalType": "uint64",
                "name": "Omicron",
                "type": "uint64"
              },
              {
                "internalType": "uint64",
                "name": "Omega",
                "type": "uint64"
              }
            ],
            "internalType": "struct Bao",
            "name": "On",
            "type": "tuple"
          },
          {
            "internalType": "string",
            "name": "Username",
            "type": "string"
          },
          {
            "internalType": "uint64",
            "name": "Entropy",
            "type": "uint64"
          }
        ],
        "internalType": "struct User",
        "name": "Alpha",
        "type": "tuple"
      }
    ],
    "stateMutability": "nonpayable",
    "type": "function"
  },
  {
    "inputs": [
      {
        "internalType": "uint64",
        "name": "Soul",
        "type": "uint64"
      }
    ],
    "name": "GetUserBySoul",
    "outputs": [
      {
        "components": [
          {
            "internalType": "uint64",
            "name": "Soul",
            "type": "uint64"
          },
          {
            "components": [
              {
                "internalType": "address",
                "name": "Phi",
                "type": "address"
              },
              {
                "internalType": "contract SHA",
                "name": "Mu",
                "type": "address"
              },
              {
                "internalType": "uint64",
                "name": "Xi",
                "type": "uint64"
              },
              {
                "internalType": "uint64",
                "name": "Pi",
                "type": "uint64"
              },
              {
                "internalType": "contract SHIO",
                "name": "Shio",
                "type": "address"
              },
              {
                "internalType": "uint64",
                "name": "Ring",
                "type": "uint64"
              },
              {
                "internalType": "uint64",
                "name": "Omicron",
                "type": "uint64"
              },
              {
                "internalType": "uint64",
                "name": "Omega",
                "type": "uint64"
              }
            ],
            "internalType": "struct Bao",
            "name": "On",
            "type": "tuple"
          },
          {
            "internalType": "string",
            "name": "Username",
            "type": "string"
          },
          {
            "internalType": "uint64",
            "name": "Entropy",
            "type": "uint64"
          }
        ],
        "internalType": "struct User",
        "name": "Alpha",
        "type": "tuple"
      }
    ],
    "stateMutability": "nonpayable",
    "type": "function"
  },
  {
    "inputs": [],
    "name": "GetUserSoul",
    "outputs": [
      {
        "internalType": "uint64",
        "name": "",
        "type": "uint64"
      }
    ],
    "stateMutability": "view",
    "type": "function"
  },
  {
    "inputs": [
      {
        "internalType": "address",
        "name": "wallet",
        "type": "address"
      }
    ],
    "name": "GetUserTokenAddress",
    "outputs": [
      {
        "internalType": "address",
        "name": "UserToken",
        "type": "address"
      }
    ],
    "stateMutability": "view",
    "type": "function"
  },
  {
    "inputs": [],
    "name": "Gua",
    "outputs": [
      {
        "internalType": "uint256",
        "name": "",
        "type": "uint256"
      }
    ],
    "stateMutability": "view",
    "type": "function"
  },
  {
    "inputs": [],
    "name": "Luo",
    "outputs": [
      {
        "internalType": "uint256",
        "name": "De",
        "type": "uint256"
      }
    ],
    "stateMutability": "nonpayable",
    "type": "function"
  },
  {
    "inputs": [],
    "name": "MotzkinPrime",
    "outputs": [
      {
        "internalType": "uint64",
        "name": "",
        "type": "uint64"
      }
    ],
    "stateMutability": "view",
    "type": "function"
  },
  {
    "inputs": [],
    "name": "On",
    "outputs": [
      {
        "internalType": "address",
        "name": "Phi",
        "type": "address"
      },
      {
        "internalType": "contract SHA",
        "name": "Mu",
        "type": "address"
      },
      {
        "internalType": "uint64",
        "name": "Xi",
        "type": "uint64"
      },
      {
        "internalType": "uint64",
        "name": "Pi",
        "type": "uint64"
      },
      {
        "internalType": "contract SHIO",
        "name": "Shio",
        "type": "address"
      },
      {
        "internalType": "uint64",
        "name": "Ring",
        "type": "uint64"
      },
      {
        "internalType": "uint64",
        "name": "Omicron",
        "type": "uint64"
      },
      {
        "internalType": "uint64",
        "name": "Omega",
        "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": "uint256",
        "name": "",
        "type": "uint256"
      }
    ],
    "name": "Qu",
    "outputs": [
      {
        "internalType": "address",
        "name": "",
        "type": "address"
      }
    ],
    "stateMutability": "view",
    "type": "function"
  },
  {
    "inputs": [
      {
        "internalType": "uint64",
        "name": "Eta",
        "type": "uint64"
      }
    ],
    "name": "React",
    "outputs": [
      {
        "internalType": "uint64",
        "name": "",
        "type": "uint64"
      },
      {
        "internalType": "uint64",
        "name": "",
        "type": "uint64"
      }
    ],
    "stateMutability": "nonpayable",
    "type": "function"
  },
  {
    "inputs": [
      {
        "internalType": "uint64",
        "name": "Soul",
        "type": "uint64"
      },
      {
        "internalType": "uint64",
        "name": "Epsilon",
        "type": "uint64"
      }
    ],
    "name": "ReactUser",
    "outputs": [
      {
        "internalType": "uint64",
        "name": "Omicron",
        "type": "uint64"
      }
    ],
    "stateMutability": "nonpayable",
    "type": "function"
  },
  {
    "inputs": [],
    "name": "Reactor",
    "outputs": [
      {
        "internalType": "contract LIBCOREREACTIONS",
        "name": "",
        "type": "address"
      }
    ],
    "stateMutability": "view",
    "type": "function"
  },
  {
    "inputs": [
      {
        "components": [
          {
            "internalType": "uint64",
            "name": "Soul",
            "type": "uint64"
          },
          {
            "components": [
              {
                "internalType": "address",
                "name": "Phi",
                "type": "address"
              },
              {
                "internalType": "contract SHA",
                "name": "Mu",
                "type": "address"
              },
              {
                "internalType": "uint64",
                "name": "Xi",
                "type": "uint64"
              },
              {
                "internalType": "uint64",
                "name": "Pi",
                "type": "uint64"
              },
              {
                "internalType": "contract SHIO",
                "name": "Shio",
                "type": "address"
              },
              {
                "internalType": "uint64",
                "name": "Ring",
                "type": "uint64"
              },
              {
                "internalType": "uint64",
                "name": "Omicron",
                "type": "uint64"
              },
              {
                "internalType": "uint64",
                "name": "Omega",
                "type": "uint64"
              }
            ],
            "internalType": "struct Bao",
            "name": "On",
            "type": "tuple"
          },
          {
            "internalType": "string",
            "name": "Username",
            "type": "string"
          },
          {
            "internalType": "uint64",
            "name": "Entropy",
            "type": "uint64"
          }
        ],
        "internalType": "struct User",
        "name": "Alpha",
        "type": "tuple"
      }
    ],
    "name": "Recall",
    "outputs": [
      {
        "internalType": "uint64",
        "name": "UserEntropy",
        "type": "uint64"
      }
    ],
    "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": [
      {
        "internalType": "uint256",
        "name": "",
        "type": "uint256"
      }
    ],
    "name": "Saat",
    "outputs": [
      {
        "internalType": "uint64",
        "name": "",
        "type": "uint64"
      }
    ],
    "stateMutability": "view",
    "type": "function"
  },
  {
    "inputs": [],
    "name": "Type",
    "outputs": [
      {
        "internalType": "string",
        "name": "",
        "type": "string"
      }
    ],
    "stateMutability": "view",
    "type": "function"
  },
  {
    "inputs": [
      {
        "internalType": "address",
        "name": "UserToken",
        "type": "address"
      }
    ],
    "name": "VerifyUserTokenPermissions",
    "outputs": [],
    "stateMutability": "nonpayable",
    "type": "function"
  },
  {
    "inputs": [],
    "name": "Void",
    "outputs": [
      {
        "internalType": "contract VOID",
        "name": "",
        "type": "address"
      }
    ],
    "stateMutability": "view",
    "type": "function"
  },
  {
    "inputs": [],
    "name": "Xiao",
    "outputs": [
      {
        "internalType": "contract atropaMath",
        "name": "",
        "type": "address"
      }
    ],
    "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": "address",
        "name": "_contract",
        "type": "address"
      },
      {
        "internalType": "string",
        "name": "what",
        "type": "string"
      }
    ],
    "name": "has",
    "outputs": [
      {
        "internalType": "bool",
        "name": "does",
        "type": "bool"
      }
    ],
    "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"
  }
]