Technical Reference

VOID

Source updated:: 2024-08-23 00:39:44 UTC
Last updated:: 2026-09-19 17:17:45 UTC

Source Revision 0x7c7f3267…edfe3a

Property	Value
Source Revision	`0x7c7f3267344c72f8864ae380047ee3a9797d3209fce4fc9285b09c9cc7edfe3a`
Source URL	https://raw.githubusercontent.com/busytoby/atropa_pulsechain/cae528a2b9f1f083a114180dae2e20e073976356/solidity/dysnomia/10_void.sol
Source commit	`cae528a2b9f1f083a114180dae2e20e073976356`
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	`0x970c7db13e3ddbe327086c75acbd228793eafdd0bfb8968e0d7472f672f804e6`
Compilation Closure Files	17
Hash Generated	2026-04-20T02:38:21Z

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

Contract address:

0x965B0d74591bF30327075A247C47dBf487dCff08

Inheritance Chain (C3 Linearized)

Immediate Parents

DYSNOMIA

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

Variable	Type	Visibility	Mutability	Initial Value
`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

Error	Parameters	NatSpec
`InvalidLogXi`	string Xi
`NoUserEntry`	address User
`NoUserName`	address User
`NotShioOwner`	address Shio, address Requestor
`UserAlreadyCreated`	address User

Constructor

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

External & Public

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

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

Logfunction

function Log(string memory LogLine) public

Open this function to load its call form.

Visibility: public
Parameters: string memory LogLine

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

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

Chatfunction

function Chat(string memory chatline) public

Open this function to load its call form.

Visibility: public
Parameters: string memory chatline

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

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

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

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

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

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

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

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

Augment

Augmentfunction

function Augment() internal

Visibility: internal

Log

Logfunction

function Log(string memory Xi, string memory LogLine) internal

Visibility: internal
Parameters: string memory Xi, string memory LogLine

GetBySoul

GetBySoulfunction

function GetBySoul(uint64 Sigma) internal returns (Bao memory On)

Visibility: internal
Parameters: uint64 Sigma
Returns: Bao memory On

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 onlyOwners

Open this function to load its call form.

Visibility: public
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
`_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`
`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)`
`Hex`	`function Hex(uint256 value) internal pure returns (string memory)`
`Hex`	`function Hex(bytes32 value) internal pure returns (string memory)`
`Hex`	`function Hex(bytes memory data) 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

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 - Base token functionality
SIU - Token generation
LIBATTRIBUTE - Attribute storage

Depended On By

LAU - User interface layer
LAUFactory - Creates LAU instances
All domain contracts that need user sessions

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

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

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

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

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

Library Integration

VOID registers and uses library contracts:

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

Chat Format

Chat messages are formatted as: <Username> message

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 (5)

VOID.MotzkinPrime()Read

Open this function to load its call form.

VOID.Nu()Read

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