Find broken bookkeeping by checking that every counter, aggregate and index is updated on every path that changes what it measures. Catches double-counting from add-vs-assign confusion, counters decremented on some state transitions but not others, per-class or per-group totals not updated on the reversal path, irrecoverable drift that underflows later, aggregates derived from a stale or partial view, and double-spend where two parties both hold a claim on the same balance. Use when auditing staking, vesting, reward accrual, share accounting, proposal state machines, fee calculation, or any system with a running total.
