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)SUPPLY999.77M

B(t)BURNED232.4K

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)SYNTHETIC SERIES

SUPPLYTIME999.74M999.81M999.88M999.95M1B08-1208-1308-1308-1408-14

X — TIME · Y — SUPPLY40 MEASURED POINTSSYNTHETIC DATA

§ 16

RUNTIME TOKEN

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

$RUNTIMECONTRACT NOT CONFIGURED

OBSERVER

WALLET DISCONNECTEDconnect to read your position in the experiment

CONTRACT

CONTRACT—

NETWORKEthereum

DECIMALS18

TOTAL SUPPLY999,767,600

CIRCULATING SUPPLY999,767,600

BURNED232,400

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.