roadmap: Tick-coverage on M3 [todo] -> [x] (170464f) — keep one cycle for context

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