From 18ce60cdd77e48cd151e60ece5505ba2eb2a5f3f Mon Sep 17 00:00:00 2001 From: Levi Neuwirth Date: Wed, 12 Aug 2026 11:31:13 +0200 Subject: [PATCH] docs: three counting and wording fixes from review round 3 M24 makes the total 24 mutations, not 23. Stated as M1-M24 with the split named --- twenty-three fail their own rows, and M6 is the P3 exception check, which must STAY GREEN. Writing it as a bare total was what let the count drift twice: an exception check and a failing mutation are both 'mutations' in the ledger's usual sense, so the sentence has to say which is which. 'Gate passes on the final tree' contradicted the very next sentence, which records that prose and doc comments changed after the run. It now says final EXECUTABLE tree and explains why the distinction is drawn --- 'the gate was green' and 'the gate was green on exactly this tree' are different claims, and only the weaker one is true here. Co-Authored-By: Claude Opus 5 Claude-Session: https://claude.ai/code/session_016bqGA6s9tTUFzYpbeW3tai --- docs/active-work.md | 8 +++++--- 1 file changed, 5 insertions(+), 3 deletions(-) diff --git a/docs/active-work.md b/docs/active-work.md index 3270b11..870b8be 100644 --- a/docs/active-work.md +++ b/docs/active-work.md @@ -331,8 +331,8 @@ waits for a signal that is not coming. pointer bodies were checked by re-running rustfmt on the pre-move text at the new indent level and diffing, since de-indenting by 8 columns lets rustfmt rejoin lines. **22 witnesses — 13 routing, 9 effect — and - 23 mutations**, each failing its own rows, plus the P3 exception check - which must stay green. + 24 mutations, M1–M24.** Twenty-three fail their own rows; **M6 is the + P3 exception check and must stay green**. - **P3 IS NOW MEASURED, NOT ASSUMED — and re-measured after the effect harness landed.** Replacing `window_event`'s whole body with `let _ = (event_loop, event);` — a GUI that responds to no input at all — @@ -414,7 +414,9 @@ waits for a signal that is not coming. be **outside `/tmp` and outside every git worktree** — a child of `/tmp` is not isolated, because `/tmp/.git` remains its ancestor. - **GREEN under an isolated `TMPDIR`: all nine gates pass on the final - tree** (log `20260812T090034Z-2989598`, review round 2). fmt, clippy, + EXECUTABLE tree** (log `20260812T090034Z-2989598`, review round 2) — + executable, not final, because prose and doc comments changed after + it, as the sentence below records. fmt, clippy, lib, lib-crdt, `gpu_invocation_acceptance`, **m4 168/0/3**, `PMACS_REQUIRE_GPU=1 -p pmacs-gpu` (**265 tests, none filtered and none skipped**, all nine effect rows included), the **117-target