Skip to content

[M0-EXIT-01] M0 exit gate: verify all M0 steps, record evidence, mark milestone complete - #15

Merged
offdev merged 2 commits into
masterfrom
m0-exit-01
Sep 13, 2026
Merged

offdev merged 2 commits into
masterfrom
m0-exit-01

Conversation

@offdev

@offdev offdev commented Sep 13, 2026

Copy link
Copy Markdown
Owner

M0-EXIT-01 — M0 exit gate

All 21 prior M0 steps re-verified against their Scope/Verify clauses and the PRD; the three exit criteria are confirmed and recorded.

Verification performed (on commit 829026f)

Local (this machine):

  • Fresh canonical build tree (g++ 16.2.1): configure + build zero warnings, ctest 32/32
  • build-shared (NFR-8.9), build-asan (ASan+UBSan fatal), build-tsan (TSan halt_on_error=1), fresh Clang 22.1.8 tree: all ctest 32/32
  • laige-fuzz json_parse --runs=1000 clean; laige-detcheck --scenario=synthetic OK; laige-api-scanner --check laige-api.json up to date (376 symbols); tools/laige-include-lint OK (count: 1 (budget: 10, PRD §11))
  • Vendored-tree lock re-proven live: tampered deps/googletest file fails the configure with expected-vs-actual hashes; restored tree passes

CI (gate evidence):

Changes in this PR

  1. docs/benchmarks/baselines/m0-synthetic.md — first baseline file: full AGENTS §12 metadata (hardware, OS, compiler, build type, flags, workload, warm-up, n, stats, before/after), both verbatim runs, exact commands + commit. The synthetic stand-in measures no physical quantity, so no budgets.json measured field is updated (all 15 entries keep measured: 0 until their subsystem lands in M1+).
  2. docs/benchmarks/baselines/README.md — stale "no baselines yet" line replaced with a pointer to the first baseline.
  3. README.md — status line: M0 complete.
  4. roadmap/M0-foundations.md — M0-EXIT-01 checked, with Decision/Verify evidence (CI run URL, per-OS ctest summaries, baseline link).
  5. roadmap/README.md — Progress Board M0 22/22 complete, Total 22, change-log row.

Docs-only change (two commits: baseline + status updates, then the roadmap records). No code, no flag, no budget movement.

@offdev
offdev merged commit c742c56 into master Sep 13, 2026
10 checks passed
Sign up for free to join this conversation on GitHub. Already have an account? Sign in to comment

Labels

None yet

Projects

None yet

Development

Successfully merging this pull request may close these issues.

1 participant