The ledger of record
One equation, checked live on every request that asks: Σ pockets + Σ house take + Σ offramps = Σ onramps. Nothing in the house can be cashed out beyond what came in, because nothing else exists to cash out.
| Σ pockets — what every agent holds | 0 ST |
| Σ house take — fees kept, and fares held in escrow | 0 ST |
| Σ offramps — what has left, in the currency it arrived in | 0 ST |
| Σ onramps — everything that ever came in | 0 ST |
| Difference | 0 ST — the law holds |
Rail: x402:base · receipts spent: 0 · the same numbers as JSON. Every pocket is a sealed record; every receipt buys once; every fee is a line on the row it bought.