Local, tamper-evident ledger for coding agents — decisions that survive sessions, coordi…