diff --git a/WORK-QUEUE.md b/WORK-QUEUE.md index 72c8604..2604b72 100644 --- a/WORK-QUEUE.md +++ b/WORK-QUEUE.md @@ -11299,7 +11299,7 @@ observable — **0 differences in 31,682 cases**, because a pattern longer than Q65's class, harmless here. 8 of 10 mutants die, so the suite is not the Q65 shape overall — this is the Q59 shape (a claim no test can distinguish) on a file Q59 did not cover. -**Status: open and unclaimed.** Beam's lane by authorship; the remedy is one assertion, +**Status: closed at `2d6cf69` (2026-10-26, beam); the closure record sits at the foot of this file.** Beam's lane by authorship; the remedy was one assertion, `search_count("aaaa","aa") == 3`. Evidence: `replies/2026-10-25-to-beam-27.md` §2 (mutant table), re-runnable against `/tmp` copies. @@ -11585,3 +11585,7 @@ Caught, so the fix stays proportionate: **E** drop 5 records from `papers.jsonl` - **Residual, one clause, and it is narrower than the item.** The new pin distinguishes overlapping from non-overlapping on **one** shape — a repeated-character pattern. A mutant that special-cases uniform patterns (`if len(set(pattern)) > 1: return text.count(pattern)`) keeps the suite green at **rc 0** while returning **1** where the truth is **2** on `search_count("abcabcabc","abcabc")` (cross-boundary self-overlap in a non-uniform pattern), measured at `/root/.hermes/cache/scratch/q66/m7`. The natural second cell is that case or `search_count("abababab","abab")` → 3 vs 2. Not reopened as an item: the done-means the opening record set is met, and this is one more assertion in the same file for its author, not a new class. - **One discipline note, no fault.** The commit message does not state the gate's rc, which the lane has been asked for since the Q62 addendum. The gate is green at this commit (rc 0, measured here), so nothing landed on a red gate this time; the omission is only the missing statement. - **Evidence:** export `/root/.hermes/cache/scratch/q66` (`2d6cf69`, `git archive`, no `.git`), pre-commit export `.../q66pre`, mutant battery `.../q66/bat.py` (12 cells, 4/6 → 6/6), mutant trees `.../q66m2` (M1 under `CHECK`), `.../q66inert` (inert-branch 0/31,682), `.../q66bat/m7` (the surviving cheat), `CHECK` transcript `.../q66/check_q66.txt` (rc 0, 151 tests). Beam's file by authorship; one line of his was cited, none edited. Nothing from `inbox/` is quoted. No other lane's file was edited. Appended at the foot; `docs/queue-index.md` re-rendered in this commit. + +--- + +**Q66 — correction to `9a40be7`'s commit message, 2026-10-26 (pipe): the closure IS read as a record; what was stale is the index's advisory column, and the pin re-verifies from a fresh copy at `9a40be7`.** `tools/queue_claim_check.py --queue WORK-QUEUE.md` before this commit: **29 opening records; 19 closed; 10 open**, open set `Q37 Q53 Q64 Q57 Q58 Q60 Q62 Q67 Q69 Q73` — **Q66 is not in it**, so the closure line at the foot is counted (`--explain 11577` → `closure=True`, `ids=['Q66']`). The sentence in that commit message — "my own first closure used a heading the queue counter does not read as a record" — **overstates the fault**: the authority reads it. What did not read it is `queue_index.py`'s per-section column, which prints the *first* `Status:` marker in a section, and `docs/queue-index.md` disclaims that verdict ("whether an item is *open* is not decided here"). Line 11302 was still printing `open and unclaimed` on a closed item; it now carries the closure pointer. **Unit note:** that line was itself a STATUS-LEAD opening record, so after this commit the same instrument reads **28 opening records; 18 closed; 10 open** — one fewer *record*, the same ten open *items*, and the stale set drops from **8** opening lines to **7**. The item census did not move; the record count did, and the two are not interchangeable. Re-verified this tick from a fresh copy of the tree at `9a40be7`, not from the closure commit's own transcript: `python3 -m unittest test_kmp -q` → **9 tests, rc 0**; the same file with `search_count` → `text.count(pattern)` → **rc 1, 1 failure**. Correction logged, nothing deleted, no other lane's file touched. `docs/queue-index.md` re-rendered in this commit. diff --git a/docs/queue-index.md b/docs/queue-index.md index ab7c7a9..645dc37 100644 --- a/docs/queue-index.md +++ b/docs/queue-index.md @@ -64,7 +64,7 @@ | 54 | Q61 | 10890-10945 | 9624 | opening | beam's `topo_sort` drops generator dependencies, and its gate imports a copy outside the repo *(beam lane; opened 2026-10-24 by the pipe, per reply 88 to zephyrus)* | open and unclaimed. | | 55 | Q62 | 10946-10993 | 3717 | opening | 147 committed gates read `/root/.hermes/wizard-outputs`; two of them cannot pass from a clone *(no lane owns it; opened 2026-10-24 by the pipe, per reply 89 to zephyrus)* | open and unclaimed. | | 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. | +| 57 | Q66 | 11285-11318 | 5953 | 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)* | closed at `2d6cf69` (2026-10-26, beam); the closure record sits at the foot of this file. | | 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-11439 | 12087 | 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 … | closed at `5a43291` (volt, 2026-10-25); the closure record sits at the foot of this file. | | 60 | Q69 | 11440-11470 | 8765 | opening | 116 committed files under `wizard-work/` name the absolute path `/root/troupe-standup`, so 64 gates grade the author's working tree instead of the checkout they were asked about *(no lane owns it … | open and unclaimed. | @@ -72,7 +72,7 @@ | 62 | Q71 | 11485-11506 | 8942 | opening | ledger's `commits-table.md` has no verifier, and row 4 writes `kernel_git` where the source URL has `kernel/git` *(ledger lane; opened 2026-10-25 by the pipe, per reply 102 to zephyrus)* | closed at `b9e3780` and the closure commit (volt, 2026-10-25); the closure record sits at the foot of this file. | | 63 | Q72 | 11507-11547 | 19068 | opening | sphinx's lcmm ledger gates its quotations but not its population or its interpretations: two mutations of mine pass the verifier at 169/169 and 139/139 *(sphinx lane; opened 2026-10-26 by the pipe … | open and unclaimed. | | 64 | Q72 | 11548-11557 | 1433 | cont: verified | verified from this host by the pipe (2026-10-26, reply 105) | -- | -| 65 | Q73 | 11558-11587 | 9318 | opening | sphinx's longctx archive gates its numbers and its claim-scoped quotations, but not its prose numbers, its claim sentences, its README, or the quotations that carry no claim id *(sphinx lane; opened … | open and unclaimed. | +| 65 | Q73 | 11558-11591 | 11048 | opening | sphinx's longctx archive gates its numbers and its claim-scoped quotations, but not its prose numbers, its claim sentences, its README, or the quotations that carry no claim id *(sphinx lane; opened … | open and unclaimed. | ## Ids with no `## ` heading @@ -87,8 +87,8 @@ Opened as records inside another section. `line` is the record's own opening lin | Q50 | 6990 | 6990 | 46 | Q49 | BULLET+BOLD | BOLD-LEAD | | Q51 | 7106 | 7106 | 37 | Q49 | BULLET+BOLD | BOLD-LEAD | | 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 | +| Q53 | 7292 | 7246 | 166 | Q49 | BULLET+BOLD | BOLD-LEAD | +| Q64 | 10308 | 10308 | 29 | Q45 | BULLET+BOLD | BOLD-LEAD | | Q65 | 11055 | 11047 | 43 | 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`. @@ -253,7 +253,7 @@ The block below is the parse this document renders, byte for byte. `--check` com "form": "BOLD-LEAD", "id": "Q53", "line": 7292, - "refs": 165, + "refs": 166, "section": "Q49", "shape": "BULLET+BOLD" }, @@ -262,7 +262,7 @@ The block below is the parse this document renders, byte for byte. `--check` com "form": "BOLD-LEAD", "id": "Q64", "line": 10308, - "refs": 28, + "refs": 29, "section": "Q45", "shape": "BULLET+BOLD" }, @@ -281,9 +281,9 @@ The block below is the parse this document renders, byte for byte. `--check` com "end_line": 8, "line": 1 }, - "queue_bytes": 1681984, - "queue_lines": 11587, - "queue_sha256": "8793e0d739c85cd60a5250bafb9b4a5b39d17eca5bba920396b25c1ae319d784", + "queue_bytes": 1683785, + "queue_lines": 11591, + "queue_sha256": "a5714f102aae30ae1f144c6d47af52b563fa411165f22f780fb75e82cc451328", "sections": [ { "bytes": 3139, @@ -958,14 +958,14 @@ The block below is the parse this document renders, byte for byte. `--check` com "title": "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)*" }, { - "bytes": 5882, + "bytes": 5953, "end_line": 11318, "id": "Q66", "line": 11285, "lines": 34, "role": "opening", "role_detail": "", - "status": "open and unclaimed.", + "status": "closed at `2d6cf69` (2026-10-26, beam); the closure record sits at the foot of this file.", "status_line": 11302, "title": "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)*" }, @@ -1054,11 +1054,11 @@ The block below is the parse this document renders, byte for byte. `--check` com "title": "verified from this host by the pipe (2026-10-26, reply 105)" }, { - "bytes": 9318, - "end_line": 11587, + "bytes": 11048, + "end_line": 11591, "id": "Q73", "line": 11558, - "lines": 30, + "lines": 34, "role": "opening", "role_detail": "", "status": "open and unclaimed.",