Every mistake, near-miss, or correction in any lane gets a name, a timestamp, and a permanent record in an append-only ledger. Same session, no exceptions. A mistake that only gets "remembered" is itself a violation: a logged-but-not-ruled Jerry is a Jerry.