META

Contract address0xE77Bdae31b2219e032178d88504Cc0170a5b9B97

Hash-verified 0x1a789194…c4ecd5

Source details▾

Property	Value
Keccak256 Hash	0x1a789194673148a5d1095d86aff3cbf642b96725194a701d31233c085dc4ecd5
Source URL	https://raw.githubusercontent.com/busytoby/atropa_pulsechain/58607494f7741b80525953e4a85bc99e66fd20fc/solidity/dysnomia/domain/tang/03_meta.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	0x31872c157e1b9ced27c22c62dc4817b3b1c2b376cba3ed78f4270ad107cdcc88
Compilation Closure Files	38
Hash Generated	2026-09-14T19:34:15Z

Overview

META is the meta-calculation contract that provides the Beat function for computing game values. It coordinates between RING and the power calculation chain.

• Kind: Contract
• License: Sharia
• Solidity: ^0.8.21
• Source: domain/tang/03_meta.sol

Inheritance Chain (C3 Linearized)

0. self — META
1. DYSNOMIA
2. MultiOwnable

Immediate Parents

• DYSNOMIA

What This Means For Players

Plain English Summary: META is the master calculator for the WORLD territory system. It provides the Beat function that determines the key values (Dione, Charge, Deimos, Yeo) used when you claim territory. The “Yeo” value is especially important - it defines how far from a QING you can code.

Real-World Analogy: META is like a zoning commission that determines property boundaries. When you want to claim territory, META calculates how far your claim can extend (Yeo/range) and what rewards you’ll get (Dione) based on your relationship with nearby venues.

How It Affects Your Gameplay:

• Range limits - META’s Yeo output determines how far from a QING you can Code()
• Reward calculation - Deimos influences how much VITUS you earn
• WORLD integration - META’s Beat() is called during territory claiming

Live Deployment Compatibility

Players can call Beat(uint256) directly. Transaction 0x0569abb1a364305747a806070f6490d29ab2e21d4665e90a99f22e8bfac57007 succeeded canonically at block 27494314 from a wallet that was not a META or RING owner. The deployed execution path differs from this recovered source snapshot by routing the reaction through CHAN, so prerequisites should be checked against live state before preparing a transaction.

State Variables

Variable	Type	Visibility	Mutability	Initial Value	NatSpec
Type	string	public	constant	META
Ring	RING	public	mutable	``

Constructor

constructor

constructorconstructor

constructor(address RingAddress) DYSNOMIA("Dysnomia Meta", "META", address(DYSNOMIA(RingAddress).Xiao()))

• Modifiers: DYSNOMIA("Dysnomia Meta", "META", address(DYSNOMIA(RingAddress).Xiao()))
• Parameters: address RingAddress

Functions

External & Public

Beat

Beatfunction

function Beat(uint256 QingWaat) public returns (uint256 Dione, uint256 Charge, uint256 Deimos, uint256 Yeo)

Open this function to load its call form.

• Visibility: public
• Parameters: uint256 QingWaat
• Returns: uint256 Dione, uint256 Charge, uint256 Deimos, uint256 Yeo

Inherited Members

This contract inherits the members below from its parents. See each parent’s dedicated MD for full signatures, NatSpec, and semantics.

From DYSNOMIA

External & Public Functions

Function	Signature	State Mutability
Rename	function Rename(string memory newName, string memory newSymbol) public virtual 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
_addLibraryOwner	function _addLibraryOwner(VOID Void, string memory what) internal
_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

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

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

Depends On

• DYSNOMIA V2 - Base functionality
• RING - Eta calculations

Depended On By

• WORLD - Uses Beat for Code

Special Mechanisms

Beat Calculation

function Beat(uint256 QingWaat) public returns (uint256 Dione, uint256 Charge, uint256 Deimos, uint256 Yeo) {
    uint256 Omicron;
    uint256 Omega;
    QINGINTERFACE Qing = Ring.Pang().Zi().Choa().Sei().Chan()
        .Xie().Xia().Mai().Qi().Zuo().GetQing(QingWaat);

    // Get Ring Eta values
    (uint256 Phoebe, uint256 Iota1, uint256 Chao, uint256 Charge1) = Ring.Eta();

    // Get Push values
    (Yeo, Omicron, Dione, Omega, Charge) = Ring.Pang().Push(QingWaat);

    // Combine charges
    Charge = Charge1 * Charge / Iota1;

    // Calculate Deimos
    Deimos = Xiao.modExp(Dione, Phoebe, Ring.Pang().Zi().Choa().Yuan(address(Qing)));

    // Scale Yeo
    Yeo = Yeo / Chao;
}

Yeo as Range

The Yeo return value is used in WORLD.Code() to define the valid range around a QING’s position where players can code.

---

---

---

---

---

Inherited functions and getters (23)

META.GetMarketRate(address _a)Read

Open this function to load its call form.

META.MotzkinPrime()Read

Open this function to load its call form.

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

Open this function to load its call form.

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

Open this function to load its call form.

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

Open this function to load its call form.

META.Ring()Read

Open this function to load its call form.

META.Type()Read

Open this function to load its call form.

META.Xiao()Read

Open this function to load its call form.

META.addOwner(address newOwner)Simulate / call

Open this function to load its call form.

META.allowance(address owner, address spender)Read

Open this function to load its call form.

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

Open this function to load its call form.

META.balanceOf(address account)Read

Open this function to load its call form.

META.decimals()Read

Open this function to load its call form.

META.maxSupply()Read

Open this function to load its call form.

META.mintToCap()Simulate / call

Open this function to load its call form.

META.name()Read

Open this function to load its call form.

META.owner(address cOwner)Read

Open this function to load its call form.

META.owner()Read

Open this function to load its call form.

META.renounceOwnership(address toRemove)Simulate / call

Open this function to load its call form.

META.symbol()Read

Open this function to load its call form.

META.totalSupply()Read

Open this function to load its call form.

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

Open this function to load its call form.

META.transferFrom(address from, address to, uint256 value)Simulate / call

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": "RingAddress",
        "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": "uint256",
        "name": "QingWaat",
        "type": "uint256"
      }
    ],
    "name": "Beat",
    "outputs": [
      {
        "internalType": "uint256",
        "name": "Dione",
        "type": "uint256"
      },
      {
        "internalType": "uint256",
        "name": "Charge",
        "type": "uint256"
      },
      {
        "internalType": "uint256",
        "name": "Deimos",
        "type": "uint256"
      },
      {
        "internalType": "uint256",
        "name": "Yeo",
        "type": "uint256"
      }
    ],
    "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": "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": "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": "Ring",
    "outputs": [
      {
        "internalType": "contract RING",
        "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"
  }
]