This file is intentionally thin.
- Current supported state: docs/spec/STATUS.md
- Forward plan: ROADMAP.md
- Standalone proof workflow: docs/proofs/STANDALONE_BINARY_PROOF_WORKFLOW.md
- Compatibility corpus manifest: docs/COMPATIBILITY_CORPUS_MANIFEST.md
This file is intentionally thin.