Ledger

The double-entry ledger — accounts, transactions, and entries. Every transaction must balance (Σ debit = Σ credit); assertBalanced enforces it before each write. The check column is the invariant made visible.