Technical Reference

SHIO

Source updated:
Last updated:
Source Revision 0xfcb03144…315b64
Property Value
Source Revision 0xfcb03144ff9a373458124e215f2655545d3cce0652b334257eceaaa02a315b64
Source URL https://raw.githubusercontent.com/busytoby/atropa_pulsechain/cae528a2b9f1f083a114180dae2e20e073976356/solidity/dysnomia/03_shio.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 0xd08921edfcc829ce5f82249628dceda3ba5159d6aa0081b3057c337951580fb2
Compilation Closure Files 6
Hash Generated 2026-04-20T02:38:19Z

SHIO (Paired Token System) combines two SHA tokens (Rod and Cone) into a cryptographically-bound pair. The pairing enables symmetric reactions and logging functionality for chat/messaging systems.

  • Kind: Contract
  • License: Sharia
  • Solidity: ^0.8.21
  • Source: 03_shio.sol
Contract addressInstance-specific
  1. self — SHIO
  2. DYSNOMIA
  3. MultiOwnable

Plain English Summary: SHIO is a paired lock system - like having two keys that must work together. It combines two SHA tokens (called Rod and Cone) into a cryptographically linked pair that powers your chat messages and identity verification. Your SHIO is what allows you to send messages and proves you’re really you.

Real-World Analogy: Imagine a safe deposit box at a bank that requires two keys - the bank has one key, you have the other, and both must be used together to open the box. SHIO works similarly: the Rod and Cone are mathematically bound together, and both must “agree” for any action to be valid. This makes it extremely secure.

How It Affects Your Gameplay:

  • Chat messaging - Every chat message you send is logged through your SHIO
  • Symmetric verification - The Rod and Cone verify each other, preventing forgery
  • Reaction outputs - When you interact with venues or other players, SHIO produces unique outputs that track your activity
Variable Type Visibility Mutability Initial Value NatSpec
Type string public constant SHIO
Rho Shao public mutable ``
Manifold uint64 public mutable ``
Monopole uint64 public mutable ``
Event Parameters Anonymous NatSpec
LogEvent uint64 Soul, uint64 Aura, string LogLine no
Error Parameters NatSpec
ManifoldInequality uint64 Manifold
RingInequality uint64 Ring
BarnInequality uint64 Barn
ReactionZeroError uint64 Eta, uint64 Kappa
ReactionInequalityError uint64 Eta, uint64 Kappa
constructorconstructor
constructor(address RodAddress, address ConeAddress, address MathLib) DYSNOMIA(unicode"CHATLOG Shio", unicode"SHIO", MathLib)
  • Modifiers: DYSNOMIA(unicode"CHATLOG Shio", unicode"SHIO", MathLib)
  • Parameters: address RodAddress, address ConeAddress, address MathLib
Logfunction
function Log(uint64 Soul, uint64 Aura, string memory LogLine) public onlyOwners

Open this function to load its call form.

  • Visibility: public
  • Modifiers: onlyOwners
  • Parameters: uint64 Soul, uint64 Aura, string memory LogLine
Rodfunction
function Rod() public view returns (SHA)

Open this function to load its call form.

  • Visibility: public
  • State Mutability: view
  • Returns: SHA
Conefunction
function Cone() public view returns (SHA)

Open this function to load its call form.

  • Visibility: public
  • State Mutability: view
  • Returns: SHA
Generatefunction
function Generate(uint64 Xi, uint64 Alpha, uint64 Beta) public onlyOwners

Open this function to load its call form.

  • Visibility: public
  • Modifiers: onlyOwners
  • Parameters: uint64 Xi, uint64 Alpha, uint64 Beta
Isomerizefunction
function Isomerize() public onlyOwners

Open this function to load its call form.

  • Visibility: public
  • Modifiers: onlyOwners
Isolatefunction
function Isolate() public onlyOwners

Open this function to load its call form.

  • Visibility: public
  • Modifiers: onlyOwners
Magnetizefunction
function Magnetize() public onlyOwners returns (uint64)

Open this function to load its call form.

  • Visibility: public
  • Modifiers: onlyOwners
  • Returns: uint64
Reactfunction
function React(uint64 Pi) public returns (uint64, uint64)

Open this function to load its call form.

  • Visibility: public
  • Parameters: uint64 Pi
  • Returns: uint64, uint64
Augmentfunction
function Augment() internal
  • Visibility: internal
ConductorGeneratefunction
function ConductorGenerate(uint64 Xi) private
  • Visibility: private
  • Parameters: uint64 Xi

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

External & Public Functions

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

Open this function to load its call form.

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

Open this function to load its call form.

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

Open this function to load its call form.

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

Open this function to load its call form.

  • Visibility: public
  • Parameters: address _t, uint256 _a
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
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
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
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
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
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
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
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
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

External & Public Functions

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
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
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
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)
  • DYSNOMIA - Base token functionality
  • SHA - Rod and Cone tokens
  • VMREQ - Math operations
  • SHIOFactory - Creates SHIO instances
  • YI - Uses SHIO for DeFi operations
  • Bao - References SHIO in operations

Private function that:

  1. Calls Avail on both Rod and Cone with Xi
  2. Calls Form on each with the other’s Contour (cross-linking)
  3. Polarizes both tokens

Magnetize() includes three equality assertions:

  • Manifold computed from Rod must equal Manifold from Cone
  • Ring values must match
  • Barn values must match

This ensures proper cryptographic pairing.

The React function verifies that reacting on Rod with Cone’s Channel produces the same result as reacting on Cone with Rod’s Channel (transposed). This symmetric property is essential for message encryption/verification.

// Creation via factory
SHIO shio = SHIOFactory.New(rodAddr, coneAddr, mathAddr);
// Initialization
shio.Generate(xi, alpha, beta);
shio.Isomerize();
shio.Isolate();
uint64 ring = shio.Magnetize();
// Usage
(uint64 omicron, uint64 omega) = shio.React(inputValue);
shio.Log(soul, aura, "Hello World");
Inherited functions and getters (7)
SHIO.Manifold()Read

Open this function to load its call form.

SHIO.Monopole()Read

Open this function to load its call form.

SHIO.MotzkinPrime()Read

Open this function to load its call form.

SHIO.Rho()Read

Open this function to load its call form.

SHIO.Type()Read

Open this function to load its call form.

SHIO.Xiao()Read

Open this function to load its call form.

SHIO.maxSupply()Read

Open this function to load its call form.

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": "RodAddress",
"type": "address"
},
{
"internalType": "address",
"name": "ConeAddress",
"type": "address"
},
{
"internalType": "address",
"name": "MathLib",
"type": "address"
}
],
"stateMutability": "nonpayable",
"type": "constructor"
},
{
"inputs": [
{
"internalType": "uint64",
"name": "Barn",
"type": "uint64"
}
],
"name": "BarnInequality",
"type": "error"
},
{
"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": "uint64",
"name": "Manifold",
"type": "uint64"
}
],
"name": "ManifoldInequality",
"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": "Eta",
"type": "uint64"
},
{
"internalType": "uint64",
"name": "Kappa",
"type": "uint64"
}
],
"name": "ReactionInequalityError",
"type": "error"
},
{
"inputs": [
{
"internalType": "uint64",
"name": "Eta",
"type": "uint64"
},
{
"internalType": "uint64",
"name": "Kappa",
"type": "uint64"
}
],
"name": "ReactionZeroError",
"type": "error"
},
{
"inputs": [
{
"internalType": "uint64",
"name": "Ring",
"type": "uint64"
}
],
"name": "RingInequality",
"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": false,
"internalType": "uint64",
"name": "Soul",
"type": "uint64"
},
{
"indexed": false,
"internalType": "uint64",
"name": "Aura",
"type": "uint64"
},
{
"indexed": false,
"internalType": "string",
"name": "LogLine",
"type": "string"
}
],
"name": "LogEvent",
"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": [],
"name": "Cone",
"outputs": [
{
"internalType": "contract SHA",
"name": "",
"type": "address"
}
],
"stateMutability": "view",
"type": "function"
},
{
"inputs": [
{
"internalType": "uint64",
"name": "Xi",
"type": "uint64"
},
{
"internalType": "uint64",
"name": "Alpha",
"type": "uint64"
},
{
"internalType": "uint64",
"name": "Beta",
"type": "uint64"
}
],
"name": "Generate",
"outputs": [],
"stateMutability": "nonpayable",
"type": "function"
},
{
"inputs": [
{
"internalType": "address",
"name": "_a",
"type": "address"
}
],
"name": "GetMarketRate",
"outputs": [
{
"internalType": "uint256",
"name": "",
"type": "uint256"
}
],
"stateMutability": "view",
"type": "function"
},
{
"inputs": [],
"name": "Isolate",
"outputs": [],
"stateMutability": "nonpayable",
"type": "function"
},
{
"inputs": [],
"name": "Isomerize",
"outputs": [],
"stateMutability": "nonpayable",
"type": "function"
},
{
"inputs": [
{
"internalType": "uint64",
"name": "Soul",
"type": "uint64"
},
{
"internalType": "uint64",
"name": "Aura",
"type": "uint64"
},
{
"internalType": "string",
"name": "LogLine",
"type": "string"
}
],
"name": "Log",
"outputs": [],
"stateMutability": "nonpayable",
"type": "function"
},
{
"inputs": [],
"name": "Magnetize",
"outputs": [
{
"internalType": "uint64",
"name": "",
"type": "uint64"
}
],
"stateMutability": "nonpayable",
"type": "function"
},
{
"inputs": [],
"name": "Manifold",
"outputs": [
{
"internalType": "uint64",
"name": "",
"type": "uint64"
}
],
"stateMutability": "view",
"type": "function"
},
{
"inputs": [],
"name": "Monopole",
"outputs": [
{
"internalType": "uint64",
"name": "",
"type": "uint64"
}
],
"stateMutability": "view",
"type": "function"
},
{
"inputs": [],
"name": "MotzkinPrime",
"outputs": [
{
"internalType": "uint64",
"name": "",
"type": "uint64"
}
],
"stateMutability": "view",
"type": "function"
},
{
"inputs": [
{
"internalType": "address",
"name": "_t",
"type": "address"
},
{
"internalType": "uint256",
"name": "_a",
"type": "uint256"
}
],
"name": "Purchase",
"outputs": [],
"stateMutability": "nonpayable",
"type": "function"
},
{
"inputs": [
{
"internalType": "uint64",
"name": "Pi",
"type": "uint64"
}
],
"name": "React",
"outputs": [
{
"internalType": "uint64",
"name": "",
"type": "uint64"
},
{
"internalType": "uint64",
"name": "",
"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": [],
"name": "Rho",
"outputs": [
{
"internalType": "contract SHA",
"name": "Rod",
"type": "address"
},
{
"internalType": "contract SHA",
"name": "Cone",
"type": "address"
},
{
"internalType": "uint64",
"name": "Barn",
"type": "uint64"
}
],
"stateMutability": "view",
"type": "function"
},
{
"inputs": [],
"name": "Rod",
"outputs": [
{
"internalType": "contract SHA",
"name": "",
"type": "address"
}
],
"stateMutability": "view",
"type": "function"
},
{
"inputs": [],
"name": "Type",
"outputs": [
{
"internalType": "string",
"name": "",
"type": "string"
}
],
"stateMutability": "view",
"type": "function"
},
{
"inputs": [],
"name": "Xiao",
"outputs": [
{
"internalType": "contract atropaMath",
"name": "",
"type": "address"
}
],
"stateMutability": "view",
"type": "function"
},
{
"inputs": [
{
"internalType": "address",
"name": "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"
}
]