WORLD¶

Overview¶

WORLD is the world simulation contract that manages territory, creation tracking, and reward distribution. It coordinates between players, geographic locations, and the economic system.

Kind: Contract
License: Sharia
Solidity: ^0.8.21
Source: domain/world.sol

Inheritance Chain (C3 Linearized)¶

Immediate Parents¶

DYSNOMIA

What This Means For Players¶

Plain English Summary: WORLD is the territory system - where you claim land and earn creator rewards. When you "Code" at a location, you're planting your flag there and earning VITUS tokens (creator credits). The more territory you control, the more rewards you receive when distributions happen.

Real-World Analogy: Think of WORLD like a virtual real estate system. You can stake claims on territory near venues (QINGs), and as the game economy grows, landowners receive dividends proportional to their holdings. It's like owning property that pays rent.

How It Affects Your Gameplay: - Claim territory - Use Code() to register your presence at a location near a QING - Earn VITUS - Successful coding earns you creator credits - Receive distributions - Token owners can distribute rewards to territory holders - Range limits - You can only code within a certain range of a QING's position

State Variables¶

Variable	Type	Visibility	Mutability	Initial Value
`Type`	`string`	public	constant	`WORLD`
`Cheon`	`CHEON`	public	mutable	``
`Meta`	`META`	public	mutable	``
`Vitus`	`VITUS`	public	mutable	``
`Map`	`MAPINTERFACE`	public	mutable	``
`_world`	`mapping(int256 => mapping(int256 => mapping(address => uint256)))`	private	mutable	``
`_cauda`	`mapping(address => int256[])`	private	mutable	``
`_creation`	`mapping(int256 => address[])`	private	mutable	``
`_creators`	`mapping(int256 => mapping(address => mapping(address => uint256)))`	private	mutable	``
`_whitelist`	`mapping(address => mapping(address => bool))`	private	mutable	``

Errors¶

Error	Parameters	NatSpec
`OutOfRange`	int256 QingLatitude, int256 QingLongitude, uint256 Range

Constructor¶

constructor¶

constructor(address CheonAddress, address MetaAddress, address MapAddress) DYSNOMIA("Dysnomia World", "WORLD", address(DYSNOMIA(CheonAddress).Xiao()))

Modifiers: DYSNOMIA("Dysnomia World", "WORLD", address(DYSNOMIA(CheonAddress).Xiao()))
Parameters: address CheonAddress, address MetaAddress, address MapAddress

Functions¶

External & Public¶

Whitelist¶

function Whitelist(address Caude, address Distributive, bool Allow) public

Visibility: public
Parameters: address Caude, address Distributive, bool Allow

Tail¶

function Tail(address Caude, uint256 Position) public view returns (uint256 Bid)

Visibility: public
State Mutability: view
Parameters: address Caude, uint256 Position
Returns: uint256 Bid

Bun¶

function Bun(int256 Latitude, int256 Longitude, address Caude) public view returns (uint256)

Visibility: public
State Mutability: view
Parameters: int256 Latitude, int256 Longitude, address Caude
Returns: uint256

Buzz¶

function Buzz(int256 Latitude, address Coder, address Caude) public view returns (uint256)

Visibility: public
State Mutability: view
Parameters: int256 Latitude, address Coder, address Caude
Returns: uint256

Distribute¶

function Distribute(address Caude, address Distributive, uint256 Amount) public returns (uint256 Remaining)

Visibility: public
Parameters: address Caude, address Distributive, uint256 Amount
Returns: uint256 Remaining

Code¶

function Code(int256 Latitude, int256 Longitude, address Cause) public

Visibility: public
Parameters: int256 Latitude, int256 Longitude, address Cause

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
CHEON - Player management
META - Calculations
MAP - Geographic registry

Creates¶

VITUS - Creator reward token

Special Mechanisms¶

Range Validation¶

function Code(int256 Latitude, int256 Longitude, address Cause) public {
    // Get QING position
    (int256 qlat, int256 qlon) = Map.Map().Compliment(QingWaat);

    // Yeo is the range from META
    if(Latitude > qlat + int256(Yeo)) revert OutOfRange(...);
    if(Latitude < qlat - int256(Yeo)) revert OutOfRange(...);
    // Same for longitude...
}

Creator Tracking¶

if(_creators[Latitude][address(Chi)][Cause] == 0)
    _creation[Latitude].push(address(Chi));
_creators[Latitude][address(Chi)][Cause] += Deimos;

Distribution Algorithm¶

for each latitude in _cauda[Caude]:
    for each creator at latitude:
        charge = creator_amount % per_distribution
        transfer charge to creator
        subtract from creator_amount

VITUS Minting¶

Successful Code() operations mint VITUS to the player's YUE:

Vitus.Mint(address(Chi), Dione);

Contract Verification¶

Property	Value
Keccak256 Hash	`0x352f6bbc5542e916d30bd52a890f251241111389a034d177fe6a51d4c6011c7f`
Source URL	https://raw.githubusercontent.com/busytoby/atropa_pulsechain/main/solidity/dysnomia/domain/world.sol
Hash Generated	2026-04-17T20:48:09Z