From ac02952c91d473a6fd82af386b83c16d9ab23108 Mon Sep 17 00:00:00 2001 From: Levi Neuwirth Date: Tue, 11 Aug 2026 17:39:35 +0200 Subject: [PATCH] docs: remove the last superseded unreachability claim from the D3 lane The four-blockers bullet kept its own copy of the round-one claim that round two disproved; both copies now point at the manual-spawn adoption path. The facts-list heading no longer counts itself. Co-Authored-By: Claude Fable 5 --- docs/active-work.md | 10 +++++----- 1 file changed, 5 insertions(+), 5 deletions(-) diff --git a/docs/active-work.md b/docs/active-work.md index 8b3f4cd..aef0007 100644 --- a/docs/active-work.md +++ b/docs/active-work.md @@ -260,8 +260,8 @@ cancellable job per scan, eight Rust unit tests), the group scheduler in `lsp.lua` (after-tick cadence, single-flight state machine with the round-3 non-success partition, registration epochs, backoff, retirement), and eighteen acceptance tests — the six #234 tests -byte-unchanged plus twelve witnesses, each mutation-verified. Two -implementation-time facts worth keeping: +byte-unchanged plus twelve witnesses, each mutation-verified. +Implementation-time facts and review-round records worth keeping: - **Retirement is deliberately double-enforced** (the unregister path and the post-scan sweep), and the mutation pass proved it: biting @@ -306,9 +306,9 @@ implementation-time facts worth keeping: anything was committed: empty-tree cancellation (the entry loops never run, so a pre-cancelled walk returned empty SUCCESS — the deletion-storm shape the non-success arm exists to prevent); the - defensive attachment fallback was still `pairs`-order - nondeterministic (now lexicographic-minimum, with its - unreachability-through-production-spawning recorded at the site); a + attachment fallback was still `pairs`-order nondeterministic (now + lexicographic-minimum; this round also called it unreachable, which + round two above DISPROVED via the manual-spawn adoption path); a filesystem-root base joined as `//path` (now `join_under`, dired's idiom); and two test probes defaulted on error, so a broken pair could compare equal and lie green (every probe now `expect`s).