Section 07: Integration, acceptance hardening, plan-agnostic verification + rule sync
Goal
Wire the whole forward-coherence loop end-to-end on the real production path, prove the plan-wide functional criterion, keep the tooling plan-agnostic, and sync the rules.
Implementation Sketch
Full end-to-end acceptance on the real entry point (no seam-injection). Plan-agnostic per script-first §11 (generic hook + plan-declared opt-in; no plan-specific branch). Rule + doc sync for the new surfaces.
Spec References
scripts/plan_orchestrator/route_walk.py; scripts/plan_corpus/write.py; .claude/rules/routing.md; .claude/rules/state-discipline.md; .claude/rules/script-first.md §11; .claude/skills/review-section/SKILL.md.
Work Items
- Promote the §00 two-section fixture to the full plan-wide acceptance test wired through the real route_walk boundary + the real registry + the real detector + the real applier; assert halt-gate (B) + serve (C) + a forward-restructuring (R1) disposition applied to a future section.
- Plan-agnostic verification (script-first §11): no plan-id / domain-term hardcoding in any generic runtime; the forward-coherence machinery runs identically for every plan; a plan that declares nothing runs no constraint gate.
- Rule sync: document the forward-coherence pass + binding_constraints registry in the owning rules (routing.md / state-discipline.md / the review-section + continue-roadmap surfaces); run plan_corpus check + prose-lint clean.
- Wire apply_forward_coherence_verdict (R1 forward restructuring) into a real production caller at the route_walk/roadmap section boundary so a fresh per-section dossier’s forward verdict actually reworks/reorders/abandons/inserts FUTURE not-started sections on the live /continue-roadmap path (today it has ZERO production caller — built + unit-tested only). The R1 dispatch fires at the same section-boundary pass as the R2 constraint gate, is plan-agnostic/opt-in (inert when a dossier carries no forward disposition), and re-validates INV-19 after every mutation. This production wiring is the precondition for the acceptance test’s R1-disposition assertion.
Fresh intel (regenerated)
{ “schema_version”: 1, “target”: { “kind”: “plan-section”, “ref”: “plan-forward-coherence/s-dd80164c” }, “generated_at”: “2026-06-26T02:35:53.345886+00:00”, “graph_state”: { “head_sha”: “ff29e96c”, “last_code_import_at”: “2026-06-26T02:35:35.88Z”, “embedding_stale”: false, “insights_stale”: false, “cpg_stale”: false }, “surfaces”: {}, “summary”: “intel-package[plan-section:plan-forward-coherence/s-dd80164c] agent-authored dossier”, “degraded”: false, “dossier”: { “objective_symbols”: [], “tiers”: {}, “agent_authored”: true, “constrained_symbols”: [], “difficulty”: { “class”: “routine”, “research_online”: false, “research_mode”: “auto”, “signals”: [], “plan_dir”: “/home/eric/projects/ori_lang/plans/plan-forward-coherence” } } }
(full dossier: integration-acceptance—s-dd80164c.intel.json)