Every TAO the simulated protocol bought, less what it paid out, set beside everything stakers have accrued. Computed from the same records the journal lists.
◇SIMULATION×NOT DEPLOYED
1Modeled reserve2.9241 τ
2Claimable obligations2.9241 τ
3Paid claims0.0621 τ
4Available reserve0.0000 τ
J
1Modeled reserve2.9241 τ
2Claimable obligations2.9241 τ
3Paid claims0.0621 τ
4Available reserve0.0000 τ
JJournal rail31 entries, one tick at each balance
JJournal rail31 entries, one tick at each balance
Modeled TAO acquired
2.9861 τ
every purchase, before claims
Simulated paid claims
0.0621 τ
drawn out of the bottom
Accrued staker liability
2.9861 τ
everything ever owed, paid included
Reserve-backed liability
2.9241 τ
unpaid and covered by assets
Executable claim liability
×UNAVAILABLE
no claim contract exists
Surplus
0.0000 τ
the available reserve, modeled
Actual reserve vaultVault×NOT DEPLOYEDAddress×UNAVAILABLEBalance×UNAVAILABLEAddress, balance×UNAVAILABLEEvery figure above is modeled; no vault exists to read.
The left chamber holds the modeled reserve; the right one is bounded, not filled, because it holds a claim rather than TAO. The chamber shows current modeled assets, not the modeled TAO acquired over the window.
Modeled TAO acquired2.9861 τ−minuspaid claims0.0621 τ=equalsmodeled reserve2.9241 τ
Modeled reserve − claimable obligations = available reserve
Modeled reservewhat a reward vault would hold
2.9241τ
−
minus Claimable obligationsaccrued to stakers, not yet paid
2.9241τ
=
equals Available reserveheld and owed to nobody
0.0000τ
◇SIMULATIONCoverage 100.00%, by construction of the model: entitlement is only created by a purchase that landed in the vault. That is a property of the proposed rules, not evidence of a deployed, solvent vault.
Claimable obligations are what a deployed claim contract would have to pay. Executable today: none, because no claim contract exists. The model reserves for them anyway.
Where the reserve came from
Purchases in, claims out. Treasury capital and pending fees sit outside the vault and are never payable to a staker.
Last purchase +0.086957 τ at 09-06 22:30
Where the reserve came from
Opening reserve
0.000000τ
+Modeled TAO acquired
2.986132τ
−Previously paid
0.062056τ
=Modeled reserve
2.924077τ
Acquired this window, from the selected execution alone, is 0.086957 τ. It is one term of the cumulative figure above, not the same number.
What of it is spoken for
Modeled reserve
2.924077τ
−Claimable liability
2.924077τ
=Available reserve
0.000000τ
Nothing is unallocated: every TAO the vault holds has already accrued to a staker. Available reserve is the surplus above what is owed, and in this model there is none by construction.
Reserve journal
26 purchases · 4 stopped at the price limit · 1 simulated claim paid. The changes add up to the reserve: 2.924077 τ.
Every figure here comes from the deterministic simulation, seed 54414F4E (hex), generated for 2026-09-07 00:30:39Z. On a deployed protocol these would come from an indexer reading vault and executor events, reconciled against the vault’s actual TAO balance. Neither exists.