const Denom
Denom is the only asset this realm accepts.
coindemo source realm
Realm coindemo is a deliberately minimal third consumer proving the extracted primitives compose: coinio handles ever...
Realm coindemo is a deliberately minimal third consumer proving the extracted primitives compose: coinio handles every coin movement, feeledger handles every balance. It is an echo-vault: deposit GNOT, claim it back in full (no fees), owner sweeps out-of-band surplus.
Conservation: H == U + S (no fee pot, no app escrow), where U is the ledger's users total and S >= 0 is out-of-band surplus, recoverable only via the owner's Sweep which reserves U.
1
9
func BalanceOf
ActionBalanceOf returns addr's claimable balance.
func ClaimAll
crossing ActionClaimAll sends the caller's entire balance back. Fails if empty.
func Deposit
crossing ActionDeposit credits the caller with the attached GNOT, in full.
func Held
ActionHeld returns the ugnot actually held at the realm address.
func Render
Render shows totals and the conservation check.
func Surplus
ActionSurplus returns Held() - UsersTotal().
func Sweep
crossing ActionSweep sends ugnot held above user liabilities to the owner. Owner only; user balances are reserved by construction.
func TransferOwner
crossing ActionTransferOwner hands the sweep role to next. Owner only; zero address rejected (audit Y3: without rotation, key loss permanently orphans surplus sweeping).
func UsersTotal
ActionUsersTotal returns the sum of all claimable balances.
5
- chain stdlib
- chain/runtime/unsafe stdlib
- gno.land/p/g1ut6uspuh73e02yauxpmyt8g3wwddaq8utagvm3/coinio package
- gno.land/p/g1ut6uspuh73e02yauxpmyt8g3wwddaq8utagvm3/feeledger package
- strconv stdlib
