From 32e59766f94973368106b71c850763bd301ffd08 Mon Sep 17 00:00:00 2001 From: Brummel Date: Mon, 18 May 2026 23:29:31 +0200 Subject: [PATCH] =?UTF-8?q?roadmap:=20Tick-coverage=20on=20M3=20[todo]=20-?= =?UTF-8?q?>=20[x]=20(170464f)=20=E2=80=94=20keep=20one=20cycle=20for=20co?= =?UTF-8?q?ntext?= MIME-Version: 1.0 Content-Type: text/plain; charset=UTF-8 Content-Transfer-Encoding: 8bit --- docs/roadmap.md | 21 +++++++++++---------- 1 file changed, 11 insertions(+), 10 deletions(-) diff --git a/docs/roadmap.md b/docs/roadmap.md index 705bd3f..b5b0fd2 100644 --- a/docs/roadmap.md +++ b/docs/roadmap.md @@ -321,16 +321,17 @@ work progresses. Stays one cycle for context, then delete. - context: `docs/journals/2026-05-18-brainstorm-embedding-abi-m4-retired.md`. -- [ ] **\[todo\]** Tick-coverage on M3 — E2E + fixture pinning the - two-record-param per-tick crossing `(State, Tick) -> State` on the - shipped M3 ABI (host builds `Tick` via `ailang_rc_alloc` per the - frozen `make_state` recipe, calls once per tick, threads `State`, - alloc==free, both `own`/`borrow`). Zero language change — capability - is present today but only E2E-proven for a *single* record param - (`State`); this pins the two-record-param shape by fixture. No - brainstorm (test backfill). The residual of retired M4 — the actual - "minimal data-server binding". - - context: `docs/journals/2026-05-18-brainstorm-embedding-abi-m4-retired.md`. +- [x] **\[todo\]** Tick-coverage on M3 — DONE 2026-05-18 (`170464f`). + E2E + fixtures pinning the two-record-param per-tick crossing + `(State, Tick) -> State` on the shipped M3 ABI (`own` + `borrow` + Tick, globally leak-free, Boss-verified both tests green on HEAD; + zero language change — independently re-confirms the M4-retirement + reasoning). Surfaced a conservative `[over-strict-mode]` advisory + false-positive (nested-`match` scrutinee; non-gating, exit 0) — + recorded as a separate finding, not silenced (fixtures kept + LLM-natural). Stays one cycle for context, then delete. + - context: `docs/journals/2026-05-18-brainstorm-embedding-abi-m4-retired.md`; + commit `170464f`. - [ ] **\[milestone\]** Embedding ABI — M5: `ail-embed` adapter + `data-server` wiring + thread-swarm backtest (fieldtest