PR #56 dropped the src/ RSR ABI/FFI scaffold (OQ-001 resolution A — coordinator + verification host). Six docs still reference src/interface/Abi in prose (none are CI-executed, so nothing breaks, but they're now stale):
TEMPLATE-STANDARDS-AUDIT.adocdocs/governance/MAINTENANCE-CHECKLIST.adocdocs/governance/MAINTENANCE-CHECKLIST.a2ml (the abi_ffi_policy array)docs/developer/ABI-FFI-README.adoc — a stale stub still carrying an unfilled {{~ … ~}} template tokendocs/RSR_OUTLINE.adocdocs/practice/AI-CONVENTIONS.adoc
Retarget these to verification/proofs/ (the canonical ABI/proof location) or drop the ABI/FFI authoring docs outright (especially ABI-FFI-README.adoc, which documents an ABI this repo no longer hosts).
https://claude.ai/code/session_01GJatEm2TVFSTBEkKXmserJ
PR #56 dropped the
src/RSR ABI/FFI scaffold (OQ-001 resolution A — coordinator + verification host). Six docs still referencesrc/interface/Abiin prose (none are CI-executed, so nothing breaks, but they're now stale):TEMPLATE-STANDARDS-AUDIT.adocdocs/governance/MAINTENANCE-CHECKLIST.adocdocs/governance/MAINTENANCE-CHECKLIST.a2ml(theabi_ffi_policyarray)docs/developer/ABI-FFI-README.adoc— a stale stub still carrying an unfilled{{~ … ~}}template tokendocs/RSR_OUTLINE.adocdocs/practice/AI-CONVENTIONS.adocRetarget these to
verification/proofs/(the canonical ABI/proof location) or drop the ABI/FFI authoring docs outright (especiallyABI-FFI-README.adoc, which documents an ABI this repo no longer hosts).https://claude.ai/code/session_01GJatEm2TVFSTBEkKXmserJ