Adapter Retirement Documentation and Sunset

Goal

Finish the architectural cutover: remove transitional authority, synchronize every normative surface, preserve the full burden-plan disposition, and leave one durable provenance story.

Retirement Scope

Delete shared mechanism selectors and duplicate logical authorities once their reads are eliminated. Projection-local representation, atomicity, call ABI, layout, and cleanup choices remain valid inside their adapters. Permanent verification tooling remains; this plan explicitly rejects the old burden proposal to dismantle LLVM sanitizers, Alive2, nightly checks, or other independent verification surfaces.

Retire migration toggles and baselines by proving their covered families green, not by renaming switches or refreshing expected failures. Remove stale ownership scans, compatibility rosters, duplicated verifier paths, and docs that describe LLVM as the logical authority. Repository-wide searches must distinguish projection-local mechanism use from forbidden shared logical authority.

Documentation and Proof Sync

Update compiled Lean, .proof mirrors, proof-map rows, aims-rules.md, arc.md, Annex E, executor architecture documents, diagnostic help, and canonical rosters in one change set. The bytecode artifact remains the container and identity authority; AIMS remains the logical ownership authority; evaluators remain independent semantic oracles; physical executors remain sibling projections.

Burden Closure Record

Carry a durable section-by-section disposition for all twelve formerly open burden sections. It must name completed provenance foundations, these replacement sections, semantic-optimization-pipeline TRMC admission, repr-opt allocation/list optimizations, and the rejected verification teardown. No obligation may be represented only by an archived plan path with no live successor.

Final Gate

Run the mission diagnostic, all section probes, proof synchronization, plan-corpus checks, authority/toggle/schema scans, cross-executor conformance, full tests, leak checks, and applicable sanitizers. The plan closes only with zero shared mechanism-shaped ownership authority, zero duplicate AIMS realization or validation path, an archived burden plan, live successor anchors, and a complete final status report.

Work Items

• Remove transitional shared ownership-mechanism authority and compatibility adapters proven unused by the conformance matrix, including stale RcStrategy/RcAtomicity/RcInc/RcDec/ValueRepr decision paths, layout-derived logical funding, duplicate validators, and executor-local AIMS reruns.
• Retire obsolete burden/ledger migration toggles, baseline exceptions, scan-era probes, and compatibility rosters; retain only explicit projection-local configuration and permanent verification controls such as sanitizers, Alive2, leak checking, and nightly verification.
• Synchronize compiled Lean, .proof mirrors, proof-lean-map.json, aims-rules.md, arc.md, Annex E AIMS, executor architecture docs, diagnostics, and canonical ownership/provenance rosters with the shipped one-artifact and sibling-projection contract.
• Publish the final aims-burden-tracking closure disposition and carried-dead-ends record, including delivered, transferred, superseded, and rejected obligations and exact successor anchors; remove stale active-plan references.
• Run repository-wide authority scans, toggle scans, artifact-schema scans, verifier uniqueness checks, documentation drift checks, proof synchronization, cross-executor conformance, full tests, and leak/sanitizer verification; investigate every exception rather than rebasing a failure floor.
• Close the plan only when the functional mission criterion and all section criteria are satisfied, the hard bytecode dependency is terminal, external successor anchors remain live, no active burden plan remains, and the final status report records the one-artifact architecture.