Skip to content
Dysnomia Docs
Technical Reference

VOID

Contract address0x965B0d74591bF30327075A247C47dBf487dCff08
Hash-verified 0x7c7f3267…edfe3a
Source details
Property Value
Keccak256 Hash 0x7c7f3267344c72f8864ae380047ee3a9797d3209fce4fc9285b09c9cc7edfe3a
Source URL https://raw.githubusercontent.com/busytoby/atropa_pulsechain/58607494f7741b80525953e4a85bc99e66fd20fc/solidity/dysnomia/10_void.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 0x970c7db13e3ddbe327086c75acbd228793eafdd0bfb8968e0d7472f672f804e6
Compilation Closure Files 17
Hash Generated 2026-09-14T19:33:40Z

Overview

Section titled “Overview”

VOID is the user session and chat management contract. It handles user registration, authentication, chat logging, and attribute storage. It serves as the primary entry point for user interactions with the Dysnomia ecosystem.

  • Kind: Contract
  • License: Sharia
  • Solidity: ^0.8.21
  • Source: 10_void.sol

Inheritance Chain (C3 Linearized)

Section titled “Inheritance Chain (C3 Linearized)”
  1. self — VOID
  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: VOID is the login system - it manages who you are and your chat sessions. When you first join Dysnomia, you “Enter” through VOID to create your account. VOID remembers your Soul ID, handles your chat messages, and stores your personal settings like your username.

Real-World Analogy: VOID is like the front desk of a members-only club. When you first visit, the front desk creates your membership card (your LAU token) and assigns you a member number (Soul ID). Every time you return, they recognize you and let you in. They also handle the intercom system (chat) and keep track of your preferences.

How It Affects Your Gameplay:

  • Account creation - VOID creates your player session when you first “Enter”
  • Chat routing - All your messages go through VOID to reach the right channels
  • Attribute storage - Your username, aliases, and other settings are managed here
  • Session persistence - VOID remembers you between visits so you don’t have to re-register

State Variables

Section titled “State Variables”
Variable Type Visibility Mutability Initial Value NatSpec
Type string public constant VOID
Nu SIU public mutable ``
_activeUsers mapping(address => uint64) private mutable ``
_kecNames mapping(string => bytes32) private mutable ``
_libraries mapping(string => address) private mutable ``

Errors

Section titled “Errors”
Error Parameters NatSpec
InvalidLogXi string Xi
NoUserEntry address User
NoUserName address User
NotShioOwner address Shio, address Requestor
UserAlreadyCreated address User

Constructor

Section titled “Constructor”

constructor

Section titled “constructor”
constructorconstructor
constructor(address SiuAddress) DYSNOMIA(unicode"CHATLOG Void", unicode"VOID", address(DYSNOMIA(SiuAddress).Xiao()))
  • Modifiers: DYSNOMIA(unicode"CHATLOG Void", unicode"VOID", address(DYSNOMIA(SiuAddress).Xiao()))
  • Parameters: address SiuAddress

Functions

Section titled “Functions”

External & Public

Section titled “External & Public”

GetLibraryAddress

Section titled “GetLibraryAddress”
GetLibraryAddressfunction
function GetLibraryAddress(string memory name) public view returns (address)

Open this function to load its call form.

  • Visibility: public
  • State Mutability: view
  • Parameters: string memory name
  • Returns: address

AddLibrary

Section titled “AddLibrary”
AddLibraryfunction
function AddLibrary(string memory name, address _a) public onlyOwners

Open this function to load its call form.

  • Visibility: public
  • Modifiers: onlyOwners
  • Parameters: string memory name, address _a

Log

Section titled “Log”
Logfunction
function Log(string memory LogLine) public

Open this function to load its call form.

  • Visibility: public
  • Parameters: string memory LogLine

Log

Section titled “Log”
Logfunction
function Log(uint64 Sigma, string memory LogLine) public onlyOwners

Open this function to load its call form.

  • Visibility: public
  • Modifiers: onlyOwners
  • Parameters: uint64 Sigma, string memory LogLine

Log

Section titled “Log”
Logfunction
function Log(address Sigma, string memory LogLine) public onlyOwners

Open this function to load its call form.

  • Visibility: public
  • Modifiers: onlyOwners
  • Parameters: address Sigma, string memory LogLine

Chat

Section titled “Chat”
Chatfunction
function Chat(string memory chatline) public

Open this function to load its call form.

  • Visibility: public
  • Parameters: string memory chatline

SetAttribute

Section titled “SetAttribute”
SetAttributefunction
function SetAttribute(string memory name, string memory value) public

Open this function to load its call form.

  • Visibility: public
  • Parameters: string memory name, string memory value

GetAttribute

Section titled “GetAttribute”
GetAttributefunction
function GetAttribute(string memory name) public view returns (string memory)

Open this function to load its call form.

  • Visibility: public
  • State Mutability: view
  • Parameters: string memory name
  • Returns: string memory

Alias

Section titled “Alias”
Aliasfunction
function Alias(address name, string memory value) public

Open this function to load its call form.

  • Visibility: public
  • Parameters: address name, string memory value

Alias

Section titled “Alias”
Aliasfunction
function Alias(address name) public view returns (string memory)

Open this function to load its call form.

  • Visibility: public
  • State Mutability: view
  • Parameters: address name
  • Returns: string memory

Alias

Section titled “Alias”
Aliasfunction
function Alias(Bao memory Theta, string memory value) public

Open this function to load its call form.

  • Visibility: public
  • Parameters: Bao memory Theta, string memory value

Alias

Section titled “Alias”
Aliasfunction
function Alias(Bao memory Theta) public view returns (string memory)

Open this function to load its call form.

  • Visibility: public
  • State Mutability: view
  • Parameters: Bao memory Theta
  • Returns: string memory

Enter

Section titled “Enter”
Enterfunction
function Enter() public returns (uint64[3] memory Saat, Bao memory On)

Open this function to load its call form.

  • Visibility: public
  • Returns: uint64[3] memory Saat, Bao memory On

Enter

Section titled “Enter”
Enterfunction
function Enter(string memory name, string memory symbol) public returns (uint64[3] memory Saat, Bao memory On)

Open this function to load its call form.

  • Visibility: public
  • Parameters: string memory name, string memory symbol
  • Returns: uint64[3] memory Saat, Bao memory On

Internal

Section titled “Internal”

Augment

Section titled “Augment”
Augmentfunction
function Augment() internal
  • Visibility: internal

Log

Section titled “Log”
Logfunction
function Log(string memory Xi, string memory LogLine) internal
  • Visibility: internal
  • Parameters: string memory Xi, string memory LogLine

GetBySoul

Section titled “GetBySoul”
GetBySoulfunction
function GetBySoul(uint64 Sigma) internal returns (Bao memory On)
  • Visibility: internal
  • Parameters: uint64 Sigma
  • Returns: Bao memory On

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 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
_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
log10 function log10(uint256 value) internal pure returns (uint256)
String function String(uint256 value) internal pure returns (string memory buffer)
Hex function Hex(address account) internal pure returns (string memory)

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”
  • LAU - User interface layer
  • LAUFactory - Creates LAU instances
  • All domain contracts that need user sessions

Constructor Logic

Section titled “Constructor Logic”
constructor(SiuAddress) {
    Nu = SIU(SiuAddress);


    // Add ownership through chain
    Nu.addOwner(address(this));
    // ... (adds to Psi, Mu, Tau, Upsilon, Eta)


    // Add SHIO ownership for specific installations
    GetBySoul(ZHOU(...).Xi()).Shio.addOwner(address(this));
    GetBySoul(YANG(...).Rho().Lai.Xi).Shio.addOwner(address(this));


    // Register channel names
    _kecNames["ZHOU"] = keccak256("ZHOU");
    _kecNames["YANG"] = keccak256("YANG");
}

Special Mechanisms

Section titled “Special Mechanisms”

Soul ID System

Section titled “Soul ID System”

Each user receives a unique 64-bit Soul ID upon registration. The Soul ID is derived from the Saat array and serves as the primary user identifier.

GetBySoul

Section titled “GetBySoul”

Internal function that retrieves a user’s Bao from ZHENG by their Soul ID:

function GetBySoul(uint64 Sigma) internal returns(Bao memory On) {
    return Nu.Psi().Mu().Tau().Upsilon().GetRodByIdx(Sigma);
}

Log Channel Routing

Section titled “Log Channel Routing”

The internal Log function with string Xi parameter routes to specific SHIOs:

  • “ZHOU” → ZHOU’s Xi installation
  • “YANG” → YANG’s Lai installation

Library Integration

Section titled “Library Integration”

VOID registers and uses library contracts:

  • libattribute: User attribute storage
  • Additional libraries can be registered via AddLibrary

Chat Format

Section titled “Chat Format”

Chat messages are formatted as: <Username> message

Usage Pattern

Section titled “Usage Pattern”
// Register new user
(uint64[3] memory saat, Bao memory on) = void.Enter("My Token", "MTKN");


// Set username
void.SetAttribute("Username", "Alice");


// Send chat
void.Chat("Hello World!");


// Login again later
(saat, on) = void.Enter();


// Set alias for an address
void.Alias(someAddress, "Bob's Wallet");
Inherited functions and getters (23)
VOID.GetMarketRate(address _a)Read

Open this function to load its call form.

VOID.MotzkinPrime()Read

Open this function to load its call form.

VOID.Nu()Read

Open this function to load its call form.

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

Open this function to load its call form.

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

Open this function to load its call form.

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

Open this function to load its call form.

VOID.Type()Read

Open this function to load its call form.

VOID.Xiao()Read

Open this function to load its call form.

VOID.addOwner(address newOwner)Simulate / call

Open this function to load its call form.

VOID.allowance(address owner, address spender)Read

Open this function to load its call form.

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

Open this function to load its call form.

VOID.balanceOf(address account)Read

Open this function to load its call form.

VOID.decimals()Read

Open this function to load its call form.

VOID.maxSupply()Read

Open this function to load its call form.

VOID.mintToCap()Simulate / call

Open this function to load its call form.

VOID.name()Read

Open this function to load its call form.

VOID.owner(address cOwner)Read

Open this function to load its call form.

VOID.owner()Read

Open this function to load its call form.

VOID.renounceOwnership(address toRemove)Simulate / call

Open this function to load its call form.

VOID.symbol()Read

Open this function to load its call form.

VOID.totalSupply()Read

Open this function to load its call form.

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

Open this function to load its call form.

VOID.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": "SiuAddress",
        "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": "string",
        "name": "Xi",
        "type": "string"
      }
    ],
    "name": "InvalidLogXi",
    "type": "error"
  },
  {
    "inputs": [
      {
        "internalType": "address",
        "name": "asset",
        "type": "address"
      }
    ],
    "name": "MarketRateNotFound",
    "type": "error"
  },
  {
    "inputs": [
      {
        "internalType": "address",
        "name": "User",
        "type": "address"
      }
    ],
    "name": "NoUserEntry",
    "type": "error"
  },
  {
    "inputs": [
      {
        "internalType": "address",
        "name": "User",
        "type": "address"
      }
    ],
    "name": "NoUserName",
    "type": "error"
  },
  {
    "inputs": [
      {
        "internalType": "address",
        "name": "Shio",
        "type": "address"
      },
      {
        "internalType": "address",
        "name": "Requestor",
        "type": "address"
      }
    ],
    "name": "NotShioOwner",
    "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": "address",
        "name": "User",
        "type": "address"
      }
    ],
    "name": "UserAlreadyCreated",
    "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": "string",
        "name": "name",
        "type": "string"
      },
      {
        "internalType": "address",
        "name": "_a",
        "type": "address"
      }
    ],
    "name": "AddLibrary",
    "outputs": [],
    "stateMutability": "nonpayable",
    "type": "function"
  },
  {
    "inputs": [
      {
        "internalType": "address",
        "name": "name",
        "type": "address"
      },
      {
        "internalType": "string",
        "name": "value",
        "type": "string"
      }
    ],
    "name": "Alias",
    "outputs": [],
    "stateMutability": "nonpayable",
    "type": "function"
  },
  {
    "inputs": [
      {
        "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": "Theta",
        "type": "tuple"
      }
    ],
    "name": "Alias",
    "outputs": [
      {
        "internalType": "string",
        "name": "",
        "type": "string"
      }
    ],
    "stateMutability": "view",
    "type": "function"
  },
  {
    "inputs": [
      {
        "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": "Theta",
        "type": "tuple"
      },
      {
        "internalType": "string",
        "name": "value",
        "type": "string"
      }
    ],
    "name": "Alias",
    "outputs": [],
    "stateMutability": "nonpayable",
    "type": "function"
  },
  {
    "inputs": [
      {
        "internalType": "address",
        "name": "name",
        "type": "address"
      }
    ],
    "name": "Alias",
    "outputs": [
      {
        "internalType": "string",
        "name": "",
        "type": "string"
      }
    ],
    "stateMutability": "view",
    "type": "function"
  },
  {
    "inputs": [
      {
        "internalType": "string",
        "name": "chatline",
        "type": "string"
      }
    ],
    "name": "Chat",
    "outputs": [],
    "stateMutability": "nonpayable",
    "type": "function"
  },
  {
    "inputs": [],
    "name": "Enter",
    "outputs": [
      {
        "internalType": "uint64[3]",
        "name": "Saat",
        "type": "uint64[3]"
      },
      {
        "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"
      }
    ],
    "stateMutability": "nonpayable",
    "type": "function"
  },
  {
    "inputs": [
      {
        "internalType": "string",
        "name": "name",
        "type": "string"
      },
      {
        "internalType": "string",
        "name": "symbol",
        "type": "string"
      }
    ],
    "name": "Enter",
    "outputs": [
      {
        "internalType": "uint64[3]",
        "name": "Saat",
        "type": "uint64[3]"
      },
      {
        "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"
      }
    ],
    "stateMutability": "nonpayable",
    "type": "function"
  },
  {
    "inputs": [
      {
        "internalType": "string",
        "name": "name",
        "type": "string"
      }
    ],
    "name": "GetAttribute",
    "outputs": [
      {
        "internalType": "string",
        "name": "",
        "type": "string"
      }
    ],
    "stateMutability": "view",
    "type": "function"
  },
  {
    "inputs": [
      {
        "internalType": "string",
        "name": "name",
        "type": "string"
      }
    ],
    "name": "GetLibraryAddress",
    "outputs": [
      {
        "internalType": "address",
        "name": "",
        "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": [
      {
        "internalType": "address",
        "name": "Sigma",
        "type": "address"
      },
      {
        "internalType": "string",
        "name": "LogLine",
        "type": "string"
      }
    ],
    "name": "Log",
    "outputs": [],
    "stateMutability": "nonpayable",
    "type": "function"
  },
  {
    "inputs": [
      {
        "internalType": "string",
        "name": "LogLine",
        "type": "string"
      }
    ],
    "name": "Log",
    "outputs": [],
    "stateMutability": "nonpayable",
    "type": "function"
  },
  {
    "inputs": [
      {
        "internalType": "uint64",
        "name": "Sigma",
        "type": "uint64"
      },
      {
        "internalType": "string",
        "name": "LogLine",
        "type": "string"
      }
    ],
    "name": "Log",
    "outputs": [],
    "stateMutability": "nonpayable",
    "type": "function"
  },
  {
    "inputs": [],
    "name": "MotzkinPrime",
    "outputs": [
      {
        "internalType": "uint64",
        "name": "",
        "type": "uint64"
      }
    ],
    "stateMutability": "view",
    "type": "function"
  },
  {
    "inputs": [],
    "name": "Nu",
    "outputs": [
      {
        "internalType": "contract SIU",
        "name": "",
        "type": "address"
      }
    ],
    "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": [
      {
        "internalType": "string",
        "name": "name",
        "type": "string"
      },
      {
        "internalType": "string",
        "name": "value",
        "type": "string"
      }
    ],
    "name": "SetAttribute",
    "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": "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"
  }
]