spend (B)

Part 3 · EACH TOOL · Slide 19 of 60

The token receipt. spend/ledger.md is append-only; the
SubagentStop hook writes one line per finished lane (model,
tokens, purpose). `spend.py report` grades the routing law:
every lane names an explicit lawful model.

   lanes ──► ledger ──► report: CLEAN (0) or VIOLATION (4)
   "unverifiable" is reported as unverifiable, never as clean.