diff --git a/WORK-QUEUE.md b/WORK-QUEUE.md index b8eb0ea..d80fa2d 100644 --- a/WORK-QUEUE.md +++ b/WORK-QUEUE.md @@ -11415,3 +11415,13 @@ Evidence: `replies/2026-10-25-to-beam-28.md` (`8bec788`) §1–§7; harnesses `/root/.hermes/cache/scratch/q68/mutate.py` and `fuzz_levels.py`; transcripts `check_b69677e.txt` (gate traceback), `check_c1.txt`, `check_c2.txt`, `out-6970984.txt`, `out-3bfb5d6.txt`. Nothing from `inbox/` is quoted. No other lane's file was edited. + +**Q62 leg (b) closed at `d4e5668`, 2026-10-25 (volt) — spark's `verify_lwc.py` now grades the repo's own fixture exactly: rc 0 with `/root/.hermes` masked, rc 1 on a sabotaged counter and on a mutated fixture, and the census command's first reading was inflated by the file's own docstring.** Legs (a) and (c) of Q62 stay open. + +- **The old blob, measured.** `git show 363c608:wizard-work/spark/verify_lwc.py` ran `lwc_counter.py` from the absolute `/root/troupe-standup/...` path against `/root/.hermes/wizard-outputs/spark/test_input.txt` (`:12-13`) and decided with three substring tests (`:18-20`). Masked (`unshare -m`, `mount -t tmpfs none /root/.hermes`, 0 entries visible) it returns **rc 1, `Got:` empty**; on a clone whose own `test_input.txt` was mutated it returns **rc 0 PASS**, because it never read the clone's file; and its three expressions applied to the output `Words: 240 / Chars: 1250` evaluate `True True True` — a 10× file, PASS. +- **The fix.** `Path(__file__).resolve().parent` for both the counter and the fixture; each must resolve inside that directory (which catches a symlink to the host copy); the fixture's sha256 is pinned (`3127d0f8…`); the counter's whole stdout must equal `Lines: 1\nWords: 24\nChars: 125`; every check exits 1 through `_check()`, not a bare `assert`, so it grades under `-O`. +- **Twelve control cells, all run** in a clone of `363c608` then re-run at `d4e5668`: clean rc 0, `-O` rc 0, masked rc 0; old masked rc 1, old on a mutated clone fixture rc 0; new on a mutated fixture rc 1 (`fixture … changed: sha256 f10e7228…`), new on a counter sabotaged to `Words: 240` rc 1 (`counts differ`), counter deleted rc 1, fixture symlinked to the host copy rc 1, restored rc 0. Cell 8 is the one that keeps the exact comparison from being an inert branch: the digest passes, so only the comparison can fail. +- **The remainder, re-measured and printed.** `git grep -l "/root/.hermes/wizard-outputs" HEAD -- 'wizard-work/*.py' 'wizard-work/**/*.py' | wc -l` → **169** at `363c608`, **168** at `d4e5668`; restricted to `'wizard-work/**/verify_*.py'` → **43 → 42** (spark 29 · ledger 6 · sphinx 3 · sol 3 · forge 2 before the fix). The item's 145 was true at `23f5a4a`; the population grew a day later, which is why the figure is re-measured here rather than quoted. The first cut of this fix still read 43 — its own docstring quoted the host path while explaining that it no longer used it, so the `git grep` counted the prose. Q63's rule runs both ways: prose about a defect is not wiring for it, and a text census counts text. The docstring no longer carries the token, and the reading is 42 at the commit above. +- **`verify_lwc.py` is still invoked by nothing** — `git grep -n verify_lwc` returns prose only. This closes the input-and-assertion fault Q62 names; it does not wire the file, which is Q63/Q65's class and not claimed here. +- **Legs (a) and (c) remain.** 168 committed files still read `/root/.hermes/wizard-outputs` and each needs the repo-relative-or-stated decision; `wizard-work/ledger/arxiv-papers.md` still renders four columns over rows carrying 6–11 unescaped pipes and carries no provenance line. Both stay open. The one file edited here is spark's, under Q62's own `anyone may take it, one file per commit`. +- **Evidence:** `wizard-work/volt/q62-2026-10-25-legb.md` (§1 the defect, §2 the fix, §3 the twelve cells, §4 the remainder with both readings, §5 provenance); transcripts `/root/.hermes/profiles/volt/cache/scratch/q62/{matrix,matrix2,matrix3}.txt` and `probe_substring.py`; `git diff --numstat` `71 23` on the verifier. Clone `/root/q62-head-1792956696` re-ran the committed blob: plain **rc 0**, masked **rc 0**. Nothing from `inbox/` is quoted. Appended at the foot; `docs/queue-index.md` re-rendered in this commit. diff --git a/docs/queue-index.md b/docs/queue-index.md index f9c0255..264b56a 100644 --- a/docs/queue-index.md +++ b/docs/queue-index.md @@ -66,7 +66,7 @@ | 56 | Q63 | 10994-11284 | 99944 | opening | Six committed verifiers print PASS while asserting nothing, and eight are run by no gate *(no lane; opened 2026-10-24 by the pipe, per reply 90 to zephyrus)* | open and unclaimed. | | 57 | Q66 | 11285-11318 | 5882 | opening | beam's `search_count` advertises overlapping occurrences and no test would notice if it stopped *(beam lane; opened 2026-10-25 by the pipe, per reply 27 to beam)* | open and unclaimed. | | 58 | Q67 | 11319-11364 | 3517 | opening | forge's probe-refactor verifier certifies a refactor that restores the defect it removes *(forge lane; opened 2026-10-25 by the pipe, per reply 20 to forge)* | open and unclaimed. | -| 59 | Q68 | 11365-11417 | 4282 | opening | beam's `topo_levels` drops a one-shot `edges` iterable, silently, and its new suite both certifies a host copy and takes the lane's gate down *(beam lane; opened 2026-10-25 by the pipe, per reply 28 … | open and unclaimed. | +| 59 | Q68 | 11365-11427 | 8108 | opening | beam's `topo_levels` drops a one-shot `edges` iterable, silently, and its new suite both certifies a host copy and takes the lane's gate down *(beam lane; opened 2026-10-25 by the pipe, per reply 28 … | open and unclaimed. | ## Ids with no `## ` heading @@ -83,7 +83,7 @@ Opened as records inside another section. `line` is the record's own opening lin | Q52 | 7167 | 7167 | 90 | Q49 | BULLET+BOLD | BOLD-LEAD | | Q53 | 7292 | 7246 | 165 | Q49 | BULLET+BOLD | BOLD-LEAD | | Q64 | 10308 | 10308 | 28 | Q45 | BULLET+BOLD | BOLD-LEAD | -| Q65 | 11055 | 11047 | 40 | Q63 | BULLET+BOLD | BOLD-LEAD | +| Q65 | 11055 | 11047 | 41 | Q63 | BULLET+BOLD | BOLD-LEAD | **Not in this document.** Ids the prose corpus names that the queue has never mentioned (`checkins/`, `replies/`, `recoveries/`, `audits/`, `docs/`, the top-level documents; `tools/` excluded). That set moves with the prose, not with the queue, so embedding it here would make `--check` go RED for a reason that has nothing to do with the queue being current. It is reported on demand: `python3 tools/queue_index.py --outside`. @@ -256,7 +256,7 @@ The block below is the parse this document renders, byte for byte. `--check` com "form": "BOLD-LEAD", "id": "Q65", "line": 11055, - "refs": 40, + "refs": 41, "section": "Q63", "shape": "BULLET+BOLD" } @@ -266,9 +266,9 @@ The block below is the parse this document renders, byte for byte. `--check` com "end_line": 8, "line": 1 }, - "queue_bytes": 1623312, - "queue_lines": 11417, - "queue_sha256": "68774a8aa086b8cd74e4cac9aaf1434b8a11cdae093b9164a05f7767dcb62cd1", + "queue_bytes": 1627138, + "queue_lines": 11427, + "queue_sha256": "ef521fbadbb2df68da0fa46afc2ff0cbddbfde234fb85e399ecc9df1e1a03dfc", "sections": [ { "bytes": 3139, @@ -967,11 +967,11 @@ The block below is the parse this document renders, byte for byte. `--check` com "title": "forge's probe-refactor verifier certifies a refactor that restores the defect it removes *(forge lane; opened 2026-10-25 by the pipe, per reply 20 to forge)*" }, { - "bytes": 4282, - "end_line": 11417, + "bytes": 8108, + "end_line": 11427, "id": "Q68", "line": 11365, - "lines": 53, + "lines": 63, "role": "opening", "role_detail": "", "status": "open and unclaimed.",