MAI

Contract address0xc48B0a4E79eF302c8Eb5be71F562d08fB8E6A3d8

Hash-verified 0x966c96f0…c095d6

Source details▾

Property	Value
Keccak256 Hash	0x966c96f0c83054fdbf8ded08d9564b32fe01b49cdb6cb68713ac601153c095d6
Source URL	https://raw.githubusercontent.com/busytoby/atropa_pulsechain/58607494f7741b80525953e4a85bc99e66fd20fc/solidity/dysnomia/domain/soeng/02_mai.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	0x86b594609072dfae880bc8a13f77f5c30baed59446335d5a3db4fcb8b204b4d7
Compilation Closure Files	28
Hash Generated	2026-09-14T19:34:06Z

Overview

MAI is the second contract in the soeng chain. It extends QI calculations to incorporate QING-specific balance data.

• Kind: Contract
• License: Sharia
• Solidity: ^0.8.21
• Source: domain/soeng/02_mai.sol

Inheritance Chain (C3 Linearized)

0. self — MAI
1. DYSNOMIA
2. MultiOwnable

Immediate Parents

• DYSNOMIA

What This Means For Players

Plain English Summary: MAI calculates your venue-specific power. While QI measures your overall energy, MAI looks at how much of a specific QING’s tokens you hold. More QING tokens = higher MAI = more influence in that venue.

Real-World Analogy: If QI is your general fitness level, MAI is your skill at a particular sport. You might be generally fit (high QI), but your MAI at a basketball venue depends on how much time (tokens) you’ve invested in that specific activity.

How It Affects Your Gameplay:

• Venue-specific power - Your MAI differs for each QING based on your token holdings there
• Chat rewards - MAI determines your rewards when chatting in a venue (capped at 1 token)
• Second in the chain - MAI builds on QI and feeds into XIA calculations

State Variables

Variable	Type	Visibility	Mutability	Initial Value	NatSpec
Type	string	public	constant	MAI
Qi	QIINTERFACE	public	mutable	``

Constructor

constructor

constructorconstructor

constructor(address QiAddress) DYSNOMIA("Dysnomia MAI", "MAI", address(DYSNOMIA(QiAddress).Xiao()))

• Modifiers: DYSNOMIA("Dysnomia MAI", "MAI", address(DYSNOMIA(QiAddress).Xiao()))
• Parameters: address QiAddress

Functions

External & Public

React

Reactfunction

function React(uint64 Soul, uint256 QingWaat) public returns (uint256 Mai)

Open this function to load its call form.

• Visibility: public
• Parameters: uint64 Soul, uint256 QingWaat
• Returns: uint256 Mai

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
• QI - Base calculations

Depended On By

• XIA - Uses MAI for charge calculations
• CHOA - Uses MAI for chat rewards

Special Mechanisms

Mai Calculation

function React(uint64 Soul, uint256 QingWaat) public returns (uint256 Mai) {
    User memory Alpha = Qi.Zuo().Cho().GetUserBySoul(Soul);
    QINGINTERFACE Qing = Qi.Zuo().GetQing(QingWaat);
    return Qing.balanceOf(Alpha.On.Phi) / Alpha.Entropy;
}

---

---

---

---

---

Inherited functions and getters (23)

MAI.GetMarketRate(address _a)Read

Open this function to load its call form.

MAI.MotzkinPrime()Read

Open this function to load its call form.

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

Open this function to load its call form.

MAI.Qi()Read

Open this function to load its call form.

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

Open this function to load its call form.

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

Open this function to load its call form.

MAI.Type()Read

Open this function to load its call form.

MAI.Xiao()Read

Open this function to load its call form.

MAI.addOwner(address newOwner)Simulate / call

Open this function to load its call form.

MAI.allowance(address owner, address spender)Read

Open this function to load its call form.

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

Open this function to load its call form.

MAI.balanceOf(address account)Read

Open this function to load its call form.

MAI.decimals()Read

Open this function to load its call form.

MAI.maxSupply()Read

Open this function to load its call form.

MAI.mintToCap()Simulate / call

Open this function to load its call form.

MAI.name()Read

Open this function to load its call form.

MAI.owner(address cOwner)Read

Open this function to load its call form.

MAI.owner()Read

Open this function to load its call form.

MAI.renounceOwnership(address toRemove)Simulate / call

Open this function to load its call form.

MAI.symbol()Read

Open this function to load its call form.

MAI.totalSupply()Read

Open this function to load its call form.

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

Open this function to load its call form.

MAI.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": "QiAddress",
        "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": [
      {
        "internalType": "address",
        "name": "_t",
        "type": "address"
      },
      {
        "internalType": "uint256",
        "name": "_a",
        "type": "uint256"
      }
    ],
    "name": "Purchase",
    "outputs": [],
    "stateMutability": "nonpayable",
    "type": "function"
  },
  {
    "inputs": [],
    "name": "Qi",
    "outputs": [
      {
        "internalType": "contract QIINTERFACE",
        "name": "",
        "type": "address"
      }
    ],
    "stateMutability": "view",
    "type": "function"
  },
  {
    "inputs": [
      {
        "internalType": "uint64",
        "name": "Soul",
        "type": "uint64"
      },
      {
        "internalType": "uint256",
        "name": "QingWaat",
        "type": "uint256"
      }
    ],
    "name": "React",
    "outputs": [
      {
        "internalType": "uint256",
        "name": "Mai",
        "type": "uint256"
      }
    ],
    "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": "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"
  }
]