80%

s-04 Dogfood + code-root filing

Goal

Prove the gate works end-to-end and capture every code root the new LLVM dual-exec verification would have caught. The gate (s-02) is correct iff it REFUSES an LLVM-red compiler-scope section; confirm that against the live 15C duration regression, and file/sequence the code roots for /fix-bug.

Implementation Sketch

  • File the untracked roots via /add-bug: BUG-15C-001 (range-step zero parity), the leak-check cluster (1754 lcfail), the rust_workspace idempotence build error.
  • Dogfood pytest: assert verify_and_complete_v7 refuses a compiler-scope section whose per_section_llvm_parity is red (15C duration class), and completes one that is green.
  • Sequence BUG-04-191 (mono-collection, the nanoseconds-undefined root) + the filed bugs as blocked-by pointers so /fix-bug clears them; the gate flips a section green only once its LLVM leg passes.

Spec References

  • routing.md §2 (every bug routes to bug-tracker/plans/BUG-XX-NNN/).
  • CLAUDE.md §Test & Doc Disciplines (test-all defect = blocker -> /fix-bug).

Work Items

  • /add-bug the untracked code roots: BUG-15C-001 (range-step zero-step interp<->LLVM parity, iterator/mod.rs:23), the leak-check cluster (1754 lcfail across ori_llvm/AOT), the rust_workspace idempotence build error
  • dogfood: run the live gate against the roadmap; confirm verify_and_complete_v7 REFUSES an LLVM-red compiler-scope section (15C duration_literals: interp 60/60, LLVM 0/60)
  • sequence BUG-04-191 + the filed code-root bugs as blocked-by/cross-plan pointers so /fix-bug clears them; confirm the gate flips a section green only once its LLVM leg passes

Items

  • dogfood (plan node): run the live gate against the roadmap; confirm verify_and_complete_v7 REFUSES an LLVM-red compiler-scope section (15C duration_literals: interp 60/60, LLVM 0/60) AND a leak-positive compiler-scope section (leak-check cluster, ORI_CHECK_LEAKS=1 nonzero), and COMPLETES a section only when its parity leg is green AND its leak_free leg is true
  • dogfood (bug node): confirm verify_and_complete_v7 REFUSES a compiler-scope BUG work_item whose per-node verdict is LLVM-red OR leak-positive, and completes one that is parity-green AND leak-free — proving the gate’s universality across plans AND bugs per sc-987101c3 (‘for ANY plan or bug, non-roadmap included’)

Fresh intel (regenerated)

{ “schema_version”: 1, “target”: { “kind”: “plan-section”, “ref”: “roadmap-llvm-verification/s-774104a2” }, “generated_at”: “2026-06-21T02:53:52.815252+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-774104a2] 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: dogfood-code-roots—s-774104a2.intel.json)