SHIO
0xfcb03144…315b64Source details
| Property | Value |
|---|---|
| Keccak256 Hash | 0xfcb03144ff9a373458124e215f2655545d3cce0652b334257eceaaa02a315b64 |
| Source URL | https://raw.githubusercontent.com/busytoby/atropa_pulsechain/58607494f7741b80525953e4a85bc99e66fd20fc/solidity/dysnomia/03_shio.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 | 0xd08921edfcc829ce5f82249628dceda3ba5159d6aa0081b3057c337951580fb2 |
| Compilation Closure Files | 6 |
| Hash Generated | 2026-09-14T19:33:33Z |
Overview
Section titled “Overview”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
Inheritance Chain (C3 Linearized)
Section titled “Inheritance Chain (C3 Linearized)”- self — SHIO
- DYSNOMIA
- MultiOwnable
Immediate Parents
Section titled “Immediate Parents”What This Means For Players
Section titled “What This Means For Players”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
State Variables
Section titled “State Variables”| Variable | Type | Visibility | Mutability | Initial Value | NatSpec |
|---|---|---|---|---|---|
Type |
string |
public | constant | SHIO |
|
Rho |
Shao |
public | mutable | `` | |
Manifold |
uint64 |
public | mutable | `` | |
Monopole |
uint64 |
public | mutable | `` |
Events
Section titled “Events”| Event | Parameters | Anonymous | NatSpec |
|---|---|---|---|
LogEvent |
uint64 Soul, uint64 Aura, string LogLine | no |
Errors
Section titled “Errors”| Error | Parameters | NatSpec |
|---|---|---|
ManifoldInequality |
uint64 Manifold | |
RingInequality |
uint64 Ring | |
BarnInequality |
uint64 Barn | |
ReactionZeroError |
uint64 Eta, uint64 Kappa | |
ReactionInequalityError |
uint64 Eta, uint64 Kappa |
Constructor
Section titled “Constructor”constructor
Section titled “constructor”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
Functions
Section titled “Functions”External & Public
Section titled “External & Public”Logfunction
function Log(uint64 Soul, uint64 Aura, string memory LogLine) public onlyOwnersOpen 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
Generate
Section titled “Generate”Generatefunction
function Generate(uint64 Xi, uint64 Alpha, uint64 Beta) public onlyOwnersOpen this function to load its call form.
- Visibility: public
- Modifiers:
onlyOwners - Parameters: uint64 Xi, uint64 Alpha, uint64 Beta
Isomerize
Section titled “Isomerize”Isomerizefunction
function Isomerize() public onlyOwnersOpen this function to load its call form.
- Visibility: public
- Modifiers:
onlyOwners
Isolate
Section titled “Isolate”Isolatefunction
function Isolate() public onlyOwnersOpen this function to load its call form.
- Visibility: public
- Modifiers:
onlyOwners
Magnetize
Section titled “Magnetize”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
Internal
Section titled “Internal”Augment
Section titled “Augment”Augmentfunction
function Augment() internal- Visibility: internal
Private
Section titled “Private”ConductorGenerate
Section titled “ConductorGenerate”ConductorGeneratefunction
function ConductorGenerate(uint64 Xi) private- Visibility: private
- Parameters: uint64 Xi
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.
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 |
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”- SHIOFactory - Creates SHIO instances
- YI - Uses SHIO for DeFi operations
- Bao - References SHIO in operations
Special Mechanisms
Section titled “Special Mechanisms”ConductorGenerate
Section titled “ConductorGenerate”Private function that:
- Calls Avail on both Rod and Cone with Xi
- Calls Form on each with the other’s Contour (cross-linking)
- Polarizes both tokens
Symmetric Pairing Verification
Section titled “Symmetric Pairing Verification”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.
React Symmetry
Section titled “React Symmetry”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.
Usage Pattern
Section titled “Usage Pattern”// Creation via factorySHIO shio = SHIOFactory.New(rodAddr, coneAddr, mathAddr);
// Initializationshio.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 (25)
SHIO.GetMarketRate(address _a)Read
Open this function to load its call form.
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.Purchase(address _t, uint256 _a)Simulate / call
Open this function to load its call form.
SHIO.Redeem(address _t, uint256 _a)Simulate / call
Open this function to load its call form.
SHIO.Rename(string newName, string newSymbol)Simulate / call
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.addOwner(address newOwner)Simulate / call
Open this function to load its call form.
SHIO.allowance(address owner, address spender)Read
Open this function to load its call form.
SHIO.approve(address spender, uint256 value)Simulate / call
Open this function to load its call form.
SHIO.balanceOf(address account)Read
Open this function to load its call form.
SHIO.decimals()Read
Open this function to load its call form.
SHIO.maxSupply()Read
Open this function to load its call form.
SHIO.mintToCap()Simulate / call
Open this function to load its call form.
SHIO.name()Read
Open this function to load its call form.
SHIO.owner(address cOwner)Read
Open this function to load its call form.
SHIO.owner()Read
Open this function to load its call form.
SHIO.renounceOwnership(address toRemove)Simulate / call
Open this function to load its call form.
SHIO.symbol()Read
Open this function to load its call form.
SHIO.totalSupply()Read
Open this function to load its call form.
SHIO.transfer(address to, uint256 value)Simulate / call
Open this function to load its call form.
SHIO.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": "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" }]