Supply Model

§ 10

Three terms, one relation. Written as it would appear in the margin of a notebook, because that is what it is.

CONCEPTUAL MODEL

RELATION

S(t+1) = S(t) − B(t)

B(t) = f( F(t) )

Stoken supply — what exists at time t

Bburned supply — what has been removed and cannot return

Fcaptured fee flow — the input the programmable layer receives

THIS IS A MODEL, NOT A DECOMPILATIONthe relation describes intent. The authoritative behaviour is whatever the deployed contract does, and every number on this site is read from chain rather than computed from these equations.

MEASURED TERMS

S(t)SUPPLY—

B(t)BURNED—

F(t)FEE FLOW—

The model has one direction. F drives B, B reduces S, and S never increases as a result of this loop. That monotonicity is the whole point: an economic rule whose only permitted effect on supply is subtraction.

F(t) is displayed as — until fee accounting can be read from the Hook. An unmeasured term is left unmeasured.

the equation is small. the property is not.

§ 11

SUPPLY GRAPH

S plotted against t. One axis is time; the other is how much of the token still exists.

FIG. 8 — S(t)MEASURED SERIES

WAITING FOR ON-CHAIN DATAthe plot stays empty until measured points exist

X — TIME · Y — SUPPLYNO POINTSSYNTHETIC DATA

§ 16

RUNTIME TOKEN

The unit the loop acts on. Everything here is either read from the contract or left blank.

$RUNTIME0x6b346D…a459a0

VIEW CONTRACT

OBSERVER

WALLET DISCONNECTEDconnect to read your position in the experiment

CONTRACT

CONTRACT0x6b346D94D1…0696a459a0

NETWORKEthereum

DECIMALS18

TOTAL SUPPLY—

CIRCULATING SUPPLY—

BURNED—

TOKEN DATA UNAVAILABLEset NEXT_PUBLIC_TOKEN_ADDRESS and a working RPC endpoint to populate these fields

Circulating supply is derived, not asserted: it is total supply as reported by the contract, with tokens sitting at the burn sink treated as removed. Where that derivation is not possible, the field stays empty.