David/dotfiles
1
0
Fork 0
Code Issues Pull Requests Actions Packages Projects Releases Wiki Activity

session 2026-07-18 S4: prep→fleet + batch 2 graduated (table credit real); unrecognized census+positive-test; S4 session file + 3 KG lines + 1 harvest proposal

Browse Source
This commit is contained in:
David F Glidden
2026-07-18 20:43:30 +02:00
parent de7fe35c56
commit 9effd630ae
6 changed files with 69 additions and 1 deletions
Download Patch File Download Diff File Expand all files Collapse all files
claude/memory/skill-harvest-register.md
+1
View File
@@ -527,6 +527,7 @@ The single place proposed skills live so they don't evaporate between sessions.
| Element | Kind | One-line | Where it lands | Status |
|---|---|---|---|---|
| **sandbox-must-pin-the-shared-module** | verification-ladder entry | When a test sandboxes module-level state (paths/constants), the patch must land on the SAME module object the code-under-test imports (sys.modules) — NOT a freshly-exec'd copy (a `_load()`-style loader builds a different object, and the mispinned sandbox silently runs the driven code against REAL data). Pair: any test that can touch a shared real store gets a **before/after census of the real substrate** as the standing guard. Earned hard 2026-07-18: the PENDING-63 ratification test's own first red — the gate-driven leg ran against the real Chamber Sources from inside the fleet; only the refusal path kept it read-only (censused untouched before+after). The witnessed red DETECTED — this is also the S2 watch-list item earning its instance. | `reference-verification-ladder.md` | **PROPOSED** |
| **census-the-substrate-when-a-safety-net-stays-silent** | verification-ladder entry | A safety net (generic fallback, fail-loud branch, `unrecognized` kind) that never fires across N real cases is UNINFORMATIVE, not reassuring — the negative-grep class generalized from bypass properties to net-silence; worse, the failure it guards can be invisible to every other gate (a flattened structure keeps its words: fab 0 · lost 0 · green, typing silently gone). Antidote: (1) CENSUS the substrate for what WOULD fire — silence becomes evidence only against a censused absence of triggers; (2) positive-test the net at a censused trigger (real data, real path); (3) keep the INVERTED watch-list — cases where the net MUST fire, so a future silence there reads as a broken net, not a clean input. Earned 2026-07-18 (steward-named): `unrecognized` 0×11 → DSL census (465/448/17-novel) + real firing (Menander papyrus columns · Pausanias 94/94 plate-captions 1:1 · NE figure). Kin to positive-test-at-the-enforcement-path (the census half is the new instrument). | `reference-verification-ladder.md` | **PROPOSED** |
*Reinforcements recorded, not re-proposed:* **implementation-is-a-second-gate** (S1 proposal) is now thrice-earned and effectively jurist-endorsed — the PENDING-63 ruling's own opener: "Every significant finding here came from *doing* rather than reading… exercise-before-ratification making its own case." **witnessed-red** (S2 watch-list) earned its live instance and folds into that ladder entry as planned. **`/jurist-package`** (07-17 proposal) proved twice more today — both rulings engaged every question the packages posed; the repo-blind-brief method is now 4-for-4.