neuwirth
/
pmacs
1
0
Fork 0
Code Issues Pull Requests Packages Projects Releases Wiki Activity

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 <noreply@anthropic.com>
This commit is contained in:
Levi Neuwirth 2026-08-11 17:39:35 +02:00
parent bf1a0ac1be
commit ac02952c91
No known key found for this signature in database
1 changed files with 5 additions and 5 deletions
Show Stats Download Patch File Download Diff File Expand all files Collapse all files

10
docs/active-work.md
View File

@ -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 in `lsp.lua` (after-tick cadence, single-flight state machine with
the round-3 non-success partition, registration epochs, backoff, the round-3 non-success partition, registration epochs, backoff,
retirement), and eighteen acceptance tests — the six #234 tests retirement), and eighteen acceptance tests — the six #234 tests
byte-unchanged plus twelve witnesses, each mutation-verified. Two byte-unchanged plus twelve witnesses, each mutation-verified.
implementation-time facts worth keeping: Implementation-time facts and review-round records worth keeping:
- **Retirement is deliberately double-enforced** (the unregister path - **Retirement is deliberately double-enforced** (the unregister path
and the post-scan sweep), and the mutation pass proved it: biting 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 anything was committed: empty-tree cancellation (the entry loops
never run, so a pre-cancelled walk returned empty SUCCESS — the never run, so a pre-cancelled walk returned empty SUCCESS — the
deletion-storm shape the non-success arm exists to prevent); the deletion-storm shape the non-success arm exists to prevent); the
defensive attachment fallback was still `pairs`-order attachment fallback was still `pairs`-order nondeterministic (now
nondeterministic (now lexicographic-minimum, with its lexicographic-minimum; this round also called it unreachable, which
unreachability-through-production-spawning recorded at the site); a round two above DISPROVED via the manual-spawn adoption path); a
filesystem-root base joined as `//path` (now `join_under`, dired's filesystem-root base joined as `//path` (now `join_under`, dired's
idiom); and two test probes defaulted on error, so a broken pair idiom); and two test probes defaulted on error, so a broken pair
could compare equal and lie green (every probe now `expect`s). could compare equal and lie green (every probe now `expect`s).