From dec51960da5967c4da9477cbe8a5e10059487481 Mon Sep 17 00:00:00 2001 From: Levi Neuwirth Date: Sat, 25 Jul 2026 22:36:02 -0400 Subject: [PATCH] docs: record round-six bite evidence Capture the concrete counterfactual outcomes for all five review fixes against 19f48d4. --- docs/active-work.md | 5 ++++- 1 file changed, 4 insertions(+), 1 deletion(-) diff --git a/docs/active-work.md b/docs/active-work.md index b96cc42..2efce61 100644 --- a/docs/active-work.md +++ b/docs/active-work.md @@ -378,7 +378,10 @@ If it does not, stop and repair the remote/fetch configuration. unreserved, therefore not ownership. lsp.lua records successful config-driven spawns privately, and every Lean lifecycle decision keys on that origin fact; the user-server pin deliberately collides on - `default-lean4`. + `default-lean4`. All five bites against `19f48d4` discriminate: the + old files produce 2 same-root servers, a fallback attempt of 4, a + shipped command still targeting `stopped`, retirement of the healthy + root, and retirement of the colliding user server, respectively. - **DURABLE LESSON — "the test that passes" vs "the test that discriminates."** Green tests across six rounds repeatedly pinned only a nearby helper or an absence, and only biting exposed it. **Carry this