Cedar Teaching Bank · synthetic USD minor units

One reservation, one posted capture

Reserve capacity, then post only what is captured. Watch posted funds and remaining reservations change together.

This browser runs the bundled TypeScript reference model. It does not connect to PostgreSQL or establish database concurrency/durability.

Current committed state

Posted liability
Effective remaining holds
Available · posted minus held
Posted funds split into held and available portionsThe purple portion is effective remaining reservation. The green portion is available capacity. Exact values appear in the metrics; bar coordinates are rounded for display.Effective heldAvailable capacity

Hold decomposition

Original = captured + released + remaining. At expiry equality an active stored row can be effectively expired until its worker writes the terminal event.

Attempt history · model output
StepActionDecisionHold versionJournals