The ledger
Every unit of AI work is one immutable span: token counts broken out by phase, cost in integer micro-USD, and the chain from principal to session to task to tool call. A span is written once — the storage port exposes no update and no delete.