wbubble state

Token

Token is the registered token, exported as wugnot exports its own: a \*grc20.Token carries no spend authority (its tellers act only for the realm that builds them, and only with an allowance), and the registry hands the same pointer to anyone. ledger is the mint and burn, and it never leaves this package.

ledger

Token is the registered token, exported as wugnot exports its own: a \*grc20.Token carries no spend authority (its tellers act only for the realm that builds them, and only with an allowance), and the registry hands the same pointer to anyone. ledger is the mint and burn, and it never leaves this package.

tokenName

tokenSymbol

tokenDecimals

pkgPath

// must match gnomod.toml

RegistryKey

one

// one BUBBLE in base units

init.8

Address

Reserve

Reserve is the BUBBLE this realm holds. It covers TotalSupply after every call (checkReserve).

Wrap

Wrap takes amount BUBBLE from the caller and mints as much wrapped BUBBLE to them. First, on the bubble realm, the caller approves THIS realm for the amount (bubble.Approve with spender Address()): bubble reads its own caller as the spender, and its caller here is this realm, not the user. A failure inside bubble panics across the realm boundary and aborts the whole transaction, so nothing is minted for BUBBLE that did not arrive.

Unwrap

Unwrap burns amount of the caller's wrapped BUBBLE and sends them as much BUBBLE. The burn goes first: a caller without the wrapped tokens is refused before anything moves.

checkReserve

checkReserve is the invariant after every move: the reserve moved by exactly the amount, and it covers the supply. Not \`reserve == supply\`: anyone can send BUBBLE straight to this realm's address, and a wrapper that demanded equality would then refuse every Wrap and Unwrap for good. Such a gift only puts the reserve over the supply; it belongs to nobody and stays.

TotalSupply

BalanceOf

Allowance

Transfer

Approve

TransferFrom

Render

Render: "" the token's page; "balance/\<addr>" one wrapped balance as a number (wugnot's path); "json" the figures for the box.

home

json

amount

amount prints base units as BUBBLE with up to six decimals, trailing zeros dropped.

require

checkErr