Dysnomia Docs
Alpha & Strategy

Economic — Overflow Play

Last updated:

Evidence scope: The behavior below is from the pinned Solidity source. A source-file hash does not establish deployed bytecode equivalence. Check the selected deployment and caller before sending a transaction.

H2O and VITUS apply the following check in Mint after adding the requested amount:

  1. If the recipient balance is no greater than Meridians(13), no overflow transfer occurs.
  2. Otherwise calculate the excess over Meridians(13).
  3. If WORLD’s balance is below Meridians(20) before the transfer, send the full excess to WORLD. Otherwise burn it.

This is a mint-time check, not a universal balance cap enforced on every ERC-20 transfer. WORLD can cross Meridians(20) because the decision uses its pre-transfer balance. The transfers have ERC-20 logs.

The play

Section titled “The play”

Read the exact recipient, WORLD balances and meridian values and simulate the complete minting route. A VITUS withdrawal requires its supported CHAN opt-in route; do not assume H2O exposes the same withdrawal method. YUE.Hong/Hung trade with caller balances and YUE inventory, so they are not a generic way to swap rewards already held inside a YUE.

Overflow received by WORLD does not prove that WORLD.Distribute will later pay it out: the source uses caller-funded transferFrom and an unpopulated _cauda index.

Use these calls here. Simulations preview the current state; each confirmed call is a separate transaction.

H2ODeployment unresolved; calls unavailable.
H2O.balanceOf(address account)Read

A callable deployment has not been resolved for this reference.

VITUSDeployment unresolved; calls unavailable.
VITUS.balanceOf(address account)Read

A callable deployment has not been resolved for this reference.

VITUS.Withdraw(uint256 Amount)Simulate / call

A callable deployment has not been resolved for this reference.

YUEResolve your player or venue above the call forms.
YUE.Hong(address SpendAsset, address QingAsset, uint256 PurchaseAmount)Simulate / call

Open this function to load its call form.

YUE.Hung(address QingAsset, address ReceiveAsset, uint256 RedeemAmount)Simulate / call

Open this function to load its call form.

Sources

Section titled “Sources”

H2O.Mint, VITUS.Mint, WORLD, YUE.