Three honesty items: (1) AFFIRMATION.adoc anchor fields (<full commit SHA…>, <ISO-8601…>) are still template placeholders — it is an unsigned draft; (2) no named-assumption escape-hatch registry exists (ET-15 requires accepted hatches to be registered and to taint dependents); (3) residue: template proof stubs still on disk under verification/proofs/{agda,coq,tlaplus,idris2/ABI,lean4} (quarantined by the gate, but disk presence invites miscounting) and Justfile retains 6 dangling import? "build/…" lines with no build/ directory. Cites: ET-15.
🤖 Generated with Claude Code
Three honesty items: (1)
AFFIRMATION.adocanchor fields (<full commit SHA…>,<ISO-8601…>) are still template placeholders — it is an unsigned draft; (2) no named-assumption escape-hatch registry exists (ET-15 requires accepted hatches to be registered and to taint dependents); (3) residue: template proof stubs still on disk underverification/proofs/{agda,coq,tlaplus,idris2/ABI,lean4}(quarantined by the gate, but disk presence invites miscounting) andJustfileretains 6 danglingimport? "build/…"lines with nobuild/directory. Cites: ET-15.🤖 Generated with Claude Code