0%

Section 07: Whole-corpus verification + aot-mono link-back

Goal

Terminal mission gate: a full ./test-all.sh emits ZERO monomorphization-class signatures across every stage, proving the plan-wide functional acceptance criterion. Link back: unblock plans/aot-mono-completeness s-81bd0419 work_items w-da8b78de + w-14999222 (its mission-assertion items) — aot-mono cannot close its mission until this metric reaches 0.

Implementation Sketch

Run the mission probe (cd compiler_repo && ./test-all.sh; grep -cE the four signatures) and assert 0. This is the direct measurement; a green suite still emitting the signatures (even as non-fatal WARNs) does NOT satisfy the mission (the §09 FALSE-GREEN trap — never a typeck-only mono_instances-non-empty assertion). On 0, record the link-back to aot-mono.

Spec References

The plan-wide functional criterion (this plan’s sc); plans/aot-mono-completeness overview.md HISTORY 2026-06-24 (the gap origin); missions.md §execution-time grounding (gap test); .claude/rules/v7-plan-system.md §8 mission gate.

Work Items

  • Run the mission probe: cd compiler_repo && ./test-all.sh >test-all.log 2>&1; grep -cE ‘missing mono instance|could not map callee var to caller scheme var|Tag::Var in JIT pre-mono|UnresolvedTypeVar’ test-all.log — assert 0. If non-zero, the remaining signatures route back into §01 classification + the owning cure section (NOT brushed aside).
  • Whole-suite regression: ./test-all.sh green (no NEW suite ERR/CRASHED/failure vs prior), clippy clean, dual-exec parity preserved across the new cures, ORI_CHECK_LEAKS=1 zero leaks.
  • Link-back: record in this plan + aot-mono that sc-a11d0e00 is now satisfiable; aot-mono s-81bd0419 w-da8b78de/w-14999222 unblock. Plan close-out: /tpr-review + /impl-hygiene-review clean over the cure arc, /commit-push.

Fresh intel (regenerated)

{ “schema_version”: 1, “target”: { “kind”: “plan-section”, “ref”: “aot-mono-stdlib-completeness/s-50bfe700” }, “generated_at”: “2026-06-25T15:39:19.464284+00:00”, “graph_state”: { “head_sha”: “b74d6b9a”, “last_code_import_at”: “2026-06-25T15:37:37.383Z”, “embedding_stale”: false, “insights_stale”: false, “cpg_stale”: false }, “surfaces”: {}, “summary”: “intel-package[plan-section:aot-mono-stdlib-completeness/s-50bfe700] 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/aot-mono-stdlib-completeness” } } }

(full dossier: whole-corpus-verification—s-50bfe700.intel.json)