YANG
Source Revision 0xc56c0fac…4115f8
| Property | Value |
|---|---|
| Source Revision | 0xc56c0facdcf6e2b68d9fda3ef769ea09f7818f7fa161d5ef941e4d6fd24115f8 |
| Source URL | https://raw.githubusercontent.com/busytoby/atropa_pulsechain/cae528a2b9f1f083a114180dae2e20e073976356/solidity/dysnomia/08_yang.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 | 0x98da4edc0b7219a96eb4eaaf9a6d45eee87f00e888bebac1b346c800d7557738 |
| Compilation Closure Files | 14 |
| Hash Generated | 2026-04-20T02:38:20Z |
Overview
Section titled “Overview”YANG is the multi-state aggregator that creates a three-part state structure (Bang, Lai, Le). It orchestrates multiple reactions and installations to establish a comprehensive protocol state.
- Kind: Contract
- License: Sharia
- Solidity: ^0.8.21
- Source:
08_yang.sol
Inheritance Chain (C3 Linearized)
Section titled “Inheritance Chain (C3 Linearized)”- self — YANG
- DYSNOMIA
- MultiOwnable
Immediate Parents
Section titled “Immediate Parents”What This Means For Players
Section titled “What This Means For Players”Plain English Summary: YANG is the state tracker - it remembers what’s happened in the game. It maintains three connected states (Bang, Lai, Le) that capture the history and current condition of the system. When you perform actions, YANG’s state evolves to reflect those changes.
Real-World Analogy: Think of YANG as a game save file that has three checkpoints. Each checkpoint (Bang, Lai, Le) captures a different aspect of the game state. Together, they provide a complete picture of where everything stands, and they’re cryptographically linked so they can’t be tampered with.
How It Affects Your Gameplay:
- History tracking - YANG records the sequence of reactions that define the current game state
- State dependencies - Many game mechanics check YANG’s state to determine valid actions
- Pole values - YANG provides the “pole” values used in identity generation and reactions
State Variables
Section titled “State Variables”| Variable | Type | Visibility | Mutability | Initial Value | NatSpec |
|---|---|---|---|---|---|
Type |
string |
public | constant | YANG |
|
Mu |
YAU |
public | mutable | `` | |
Rho |
Tai |
public | mutable | `` | |
Pole |
uint64[3] |
public | mutable | `` |
Constructor
Section titled “Constructor”constructor
Section titled “constructor”constructorconstructor
constructor(address YauAddress) DYSNOMIA(unicode"CHATLOG Yang", unicode"YANG", address(DYSNOMIA(YauAddress).Xiao()))- Modifiers:
DYSNOMIA(unicode"CHATLOG Yang", unicode"YANG", address(DYSNOMIA(YauAddress).Xiao())) - Parameters: address YauAddress
Functions
Section titled “Functions”Internal
Section titled “Internal”Augment
Section titled “Augment”Augmentfunction
function Augment() internal- Visibility: internal
Inherited Members
Section titled “Inherited Members”Public and external functions below are callable through this contract’s address. Parent links identify where each member is defined.
External & Public Functions
Rename
Section titled “Rename”Renamefunction
function Rename(string memory newName, string memory newSymbol) public onlyOwnersOpen this function to load its call form.
- Visibility: public
- Modifiers:
onlyOwners - Parameters: string memory newName, string memory newSymbol
mintToCap
Section titled “mintToCap”mintToCapfunction
function mintToCap() public onlyOwnersOpen this function to load its call form.
- Visibility: public
- Modifiers:
onlyOwners
GetMarketRate
Section titled “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
Section titled “Purchase”Purchasefunction
function Purchase(address _t, uint256 _a) publicOpen this function to load its call form.
- Visibility: public
- Parameters: address _t, uint256 _a
Redeem
Section titled “Redeem”Redeemfunction
function Redeem(address _t, uint256 _a) publicOpen 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
symbol
Section titled “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
Section titled “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
Section titled “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
Section titled “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
Section titled “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
Section titled “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
Section titled “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
Section titled “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 |
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
renounceOwnership
Section titled “renounceOwnership”renounceOwnershipfunction
function renounceOwnership(address toRemove) public virtual onlyOwnersOpen this function to load its call form.
- Visibility: public
- Virtual: yes
- Modifiers:
onlyOwners - Parameters: address toRemove
addOwner
Section titled “addOwner”addOwnerfunction
function addOwner(address newOwner) public virtual onlyOwnersOpen 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
Section titled “Contract Interactions”Depends On
Section titled “Depends On”- DYSNOMIA - Base token functionality
- YAU - Protocol coordination
- ZHOU - Market orchestration (via YAU)
- ZHENG - Installation management (via YAU)
- YI - Token operations (via YAU)
Depended On By
Section titled “Depended On By”- SIU - Uses YANG for token generation
Constructor Logic
Section titled “Constructor Logic”constructor(YauAddress) { Mu = YAU(YauAddress);
// Add ownership through entire chain Mu.addOwner(address(this)); Mu.Tau().addOwner(address(this)); Mu.Tau().Upsilon().addOwner(address(this)); Mu.Tau().Upsilon().Eta().addOwner(address(this));
// 1. Bang: React via YAU Rho.Bang = Mu.React(); Rho.Bang.Xi = Pole[0] = Rho.Bang.Omicron;
// 2. Le: React via ZHOU Rho.Le = Mu.Tau().React(Pole[0]); Rho.Le.Xi = Pole[1] = Rho.Le.Omicron;
// 3. Lai: Create new SHIO pair Rho.Lai.Phi = address(this); Rho.Lai.Mu = Mu.Tau().Alpha("Yang Rod", "MROD"); SHA Cone = Mu.Tau().Upsilon().Eta().Beta("Yang Cone", "MCONE"); Rho.Lai.Shio = Mu.Tau().Upsilon().Eta().Kappa(Rho.Lai.Mu, Cone);
// Configure ownership Rho.Lai.Shio.addOwner(address(Mu.Tau())); Rho.Lai.Shio.addOwner(address(Mu.Tau().Upsilon())); Rho.Lai.Shio.addOwner(address(Mu.Tau().Upsilon().Eta()));
// Generate with XOR'd Xi Rho.Lai.Xi = Rho.Bang.Omega ^ Rho.Le.Omega; Rho.Lai.Shio.Generate(Rho.Lai.Xi, Pole[1], Pole[0]);
// Iodize and magnetize Mu.Tau().Upsilon().Iodize(Rho.Lai.Shio); Rho.Lai.Ring = Rho.Lai.Shio.Magnetize();
// React and install Rho.Lai = Mu.Tau().Upsilon().Eta().React(Rho.Lai, Pole[1]); Pole[2] = Rho.Lai.Omicron; Rho.Lai = Mu.Tau().Upsilon().InstallRod(Rho.Lai.Xi, Rho.Lai, Pole[2]);}Special Mechanisms
Section titled “Special Mechanisms”Three-State Architecture
Section titled “Three-State Architecture”YANG creates three distinct states:
- Bang: Result of reacting via YAU
- Le: Result of reacting via ZHOU
- Lai: Newly created and installed SHIO
Pole Value Chain
Section titled “Pole Value Chain”The Pole array creates a dependency chain:
Pole[0]= Bang.Omicron (used to generate Le)Pole[1]= Le.Omicron (used to generate Lai)Pole[2]= Lai.Omicron (final installation monopole)
XOR Generation
Section titled “XOR Generation”Lai’s Xi is computed as Bang.Omega ^ Le.Omega, combining entropy from both reactions.
Deep Ownership Chain
Section titled “Deep Ownership Chain”YANG adds itself as owner at four levels:
- YAU (Mu)
- ZHOU (Mu.Tau)
- ZHENG (Mu.Tau.Upsilon)
- YI (Mu.Tau.Upsilon.Eta)
Comprehensive Market Rates
Section titled “Comprehensive Market Rates”The Augment function sets market rates for all tokens across all three states:
- Lai’s tokens (Mu, Shio, Shio.Cone)
- Bang’s tokens (Phi, Mu, Shio, Rod, Cone)
- Le’s tokens (Phi, Mu, Shio, Rod, Cone)
State Diagram
Section titled “State Diagram”YAU.React() → Bang ↓ZHOU.React(Bang.Omicron) → Le ↓Create new Shio with Xi = Bang.Omega ^ Le.Omega ↓React and Install → Lai ↓Rho = {Bang, Lai, Le}Usage Pattern
Section titled “Usage Pattern”// Access the three statesBao memory bang = yang.Rho().Bang;Bao memory lai = yang.Rho().Lai;Bao memory le = yang.Rho().Le;
// Access pole valuesuint64 pole0 = yang.Pole(0);uint64 pole1 = yang.Pole(1);uint64 pole2 = yang.Pole(2);Inherited functions and getters (7)
YANG.MotzkinPrime()Read
Open this function to load its call form.
YANG.Mu()Read
Open this function to load its call form.
YANG.Pole(uint256)Read
Open this function to load its call form.
YANG.Rho()Read
Open this function to load its call form.
YANG.Type()Read
Open this function to load its call form.
YANG.Xiao()Read
Open this function to load its call form.
YANG.maxSupply()Read
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": "YauAddress", "type": "address" } ], "stateMutability": "nonpayable", "type": "constructor" }, { "inputs": [ { "internalType": "address", "name": "origin", "type": "address" }, { "internalType": "address", "name": "sender", "type": "address" }, { "internalType": "address", "name": "owner", "type": "address" }, { "internalType": "address", "name": "spender", "type": "address" }, { "internalType": "address", "name": "what", "type": "address" }, { "internalType": "uint256", "name": "allowance", "type": "uint256" }, { "internalType": "uint256", "name": "needed", "type": "uint256" } ], "name": "DysnomiaInsufficientAllowance", "type": "error" }, { "inputs": [ { "internalType": "address", "name": "origin", "type": "address" }, { "internalType": "address", "name": "sender", "type": "address" }, { "internalType": "address", "name": "from", "type": "address" }, { "internalType": "address", "name": "to", "type": "address" }, { "internalType": "address", "name": "what", "type": "address" }, { "internalType": "uint256", "name": "balance", "type": "uint256" }, { "internalType": "uint256", "name": "needed", "type": "uint256" } ], "name": "DysnomiaInsufficientBalance", "type": "error" }, { "inputs": [ { "internalType": "address", "name": "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" }, { "anonymous": false, "inputs": [ { "indexed": true, "internalType": "address", "name": "owner", "type": "address" }, { "indexed": true, "internalType": "address", "name": "spender", "type": "address" }, { "indexed": false, "internalType": "uint256", "name": "value", "type": "uint256" } ], "name": "Approval", "type": "event" }, { "anonymous": false, "inputs": [ { "indexed": true, "internalType": "address", "name": "newOwner", "type": "address" }, { "indexed": true, "internalType": "bool", "name": "state", "type": "bool" } ], "name": "OwnershipUpdate", "type": "event" }, { "anonymous": false, "inputs": [ { "indexed": true, "internalType": "address", "name": "from", "type": "address" }, { "indexed": true, "internalType": "address", "name": "to", "type": "address" }, { "indexed": false, "internalType": "uint256", "name": "value", "type": "uint256" } ], "name": "Transfer", "type": "event" }, { "inputs": [ { "internalType": "address", "name": "_a", "type": "address" } ], "name": "GetMarketRate", "outputs": [ { "internalType": "uint256", "name": "", "type": "uint256" } ], "stateMutability": "view", "type": "function" }, { "inputs": [], "name": "MotzkinPrime", "outputs": [ { "internalType": "uint64", "name": "", "type": "uint64" } ], "stateMutability": "view", "type": "function" }, { "inputs": [], "name": "Mu", "outputs": [ { "internalType": "contract YAU", "name": "", "type": "address" } ], "stateMutability": "view", "type": "function" }, { "inputs": [ { "internalType": "uint256", "name": "", "type": "uint256" } ], "name": "Pole", "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": "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": [ { "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": "Bang", "type": "tuple" }, { "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": "Lai", "type": "tuple" }, { "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": "Le", "type": "tuple" } ], "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" }]