0%

Spec Sync and Close

Goal

Document the CodegenBackend boundary as a sibling invariant to Single Semantic Authority, run full verification, close the plan.

Implementation sketch

  1. Update .claude/rules/canon.md §7.5 (or a new adjacent §7.6) documenting the CodegenBackend boundary invariant, mirroring the existing Single Semantic Authority write-up’s shape.
  2. Update missions.md §oric / §ori_llvm per-crate conflict rules to cite the new boundary.
  3. Update ir.md and crate mission rules for the canonical ExecutableProgram, ori_codegen::CodegenInput, and typed emitted-artifact boundary.
  4. Run full verification: ./test-all.sh green, /tpr-review, /impl-hygiene-review.
  5. python -m scripts.plan_corpus check plans/backend-boundary/ clean.

Work items

  • Update canon.md + missions.md citing the new boundary; run full verification (test-all.sh, /tpr-review, /impl-hygiene-review); close the plan.