50%

s-03 Content backfill: real per-section LLVM dual-exec requirement everywhere

Goal

Replace the roadmap’s phantom LLVM verification (760 LLVM Support prose bullets

  • 578 LLVM Rust Tests refs, 81/106 pointing at non-existent files) with the real, canonical per-section LLVM dual-exec verification requirement, and bake it into the section template + roadmap.md so every future section carries it.

Implementation Sketch

  • Define the canonical requirement: “run this section’s .ori spec corpus via ori test --backend=llvm; assert interp<->LLVM parity” (the s-02 gate enforces it).
  • Backfill across roadmap sections via the plan_corpus write API (executed by the owning orchestrator, never a hand-edit), replacing the phantom LLVM Rust Tests refs with the requirement.
  • Add the requirement to the create-plan section template + .claude/rules/roadmap.md §Dogfood Execution so new sections inherit it.

Spec References

  • routing.md §1.0/§1.1 (roadmap content is created/executed skill-only; write API).
  • roadmap.md §Dogfood Execution (verify-first three terminal moves).

Work Items

  • define the canonical per-section LLVM dual-exec verification requirement: run the section’s .ori spec corpus via ori test --backend=llvm and assert interp<->LLVM parity
  • backfill the requirement across roadmap sections via the plan_corpus write API, replacing the 81 phantom LLVM Rust Tests refs (referenced ori_llvm/tests/*.rs that do not exist)
  • add the LLVM dual-exec verification requirement to the create-plan section template + .claude/rules/roadmap.md so every future section carries it

Items

  • define the canonical per-section backend verification requirement covering BOTH dimensions: (a) run the section’s .ori spec corpus via ori test --backend=llvm and assert interp<->LLVM parity (L9), and (b) run it under ORI_CHECK_LEAKS=1 and assert zero RC leaks (L10) — the per-node verdict the s-02 gate fail-closes on
  • backfill the two-dimension requirement (interp<->LLVM parity AND ORI_CHECK_LEAKS=1 zero-leak) across roadmap sections via the plan_corpus write API, replacing the 81 phantom LLVM Rust Tests refs (referenced ori_llvm/tests/*.rs that do not exist)
  • add the two-dimension backend verification requirement (interp<->LLVM parity AND ORI_CHECK_LEAKS=1 zero-leak) to the create-plan section template + .claude/rules/roadmap.md so every future plan AND bug inherits both legs on creation

Fresh intel (regenerated)

{ “schema_version”: 1, “target”: { “kind”: “plan-section”, “ref”: “roadmap-llvm-verification/s-875ba279” }, “generated_at”: “2026-06-21T02:46:13.936777+00:00”, “graph_state”: { “head_sha”: “b0bd51a8”, “last_code_import_at”: “2026-06-21T02:38:01.055Z”, “embedding_stale”: false, “insights_stale”: false, “cpg_stale”: false }, “surfaces”: {}, “summary”: “intel-package[plan-section:roadmap-llvm-verification/s-875ba279] agent-authored dossier”, “degraded”: false, “dossier”: { “objective_symbols”: [], “tiers”: {}, “agent_authored”: true, “difficulty”: { “class”: “routine”, “research_online”: false, “research_mode”: “auto”, “signals”: [], “plan_dir”: “/home/eric/projects/ori_lang/plans/roadmap-llvm-verification” } } }

(full dossier: content-backfill—s-875ba279.intel.json)