The data factory was already built. This session proved the part that mattered — aina-academy consuming the engine's export for real — and landed it.
The keystone is done: aina-academy now validates 500/500 of the engine's pinned export against its own contract and records the run — merged to its main, approved by you. Durability + reconciliation debt is closed, the engine is mapped, and the production boundary is specified but locked. 7 engine-room commits + 2 academy PRs, all on main, nothing risky touched.
| Milestone | Outcome | Where |
|---|---|---|
| M0 Durability & Reconciliation | Orphaned work rescued; 26/26 branches decided; fn-002 preserved + gated | c3b9db6 |
| M2 Academy consumer proof (keystone) | Academy validates 500/500 pinned rows + records run. Merged. | academy #1 |
| M2 hardening (Codex P1/P2) | Academy now rejects unsafe exports + aborts on partial. Merged. | academy #2 |
| M3.S2 Coverage & cosine ceiling | Served band = top-1000; Vectorize trigger bounded | 49b530e |
| M4.S1 Load-bearing map | 14 core modules vs the 143-command surface (no deletion) | ee8b314 |
| M5 Production boundary spec | Unlock path specified; boundaries stay false | 04ed9c3 |
| M3.S1 Retrieval gap resolution | Gaps are source-authority (no Gemini); safe follow-on documented | 80075ba |
| Claim | Evidence | Status |
|---|---|---|
| Durability + reconciliation closed | archive tags, verified bundle+sha, ledger closure receipt | Confirmed |
| Academy consumes the export | academy PR #1 merged; 500/500 valid; 363 tests | Confirmed |
| Academy rejects unsafe/partial exports | academy PR #2 merged; 368 tests; Codex MERGE-READY | Confirmed |
| Retrieval gaps need no live Gemini | live_gemini_api_invoked:false; exact cosine | Confirmed |
| Gates green / boundaries locked | validate=pass; AIN-510 pass; all boundaries false | Confirmed |
| Manifest v1.1 · full role resolution | scoped follow-on / academy M3.1.6 | Deferred |
M1.S1 export v1.1 fields — forward-looking; deferred to avoid churning the export right after the academy pinned + hardened v1 (do it cross-repo, together). M3.S1 deterministic fix (reclassify 22 not_found→abstain + 4 backstops) — safe and no-Gemini, but it re-runs the AIN-510 gate; not worth risking the green gate at the finish line for a tracking-only change (those rows already fall back). Founder-gated (unchanged): live Gemini per family · production unlock (specified, locked) · backup-model choice · fn-002 sensitive-bridge promotion.