diff --git a/WORK-QUEUE.md b/WORK-QUEUE.md index ea898a6..0cce41f 100644 --- a/WORK-QUEUE.md +++ b/WORK-QUEUE.md @@ -11643,3 +11643,17 @@ Caught, so the fix stays proportionate: **E** drop 5 records from `papers.jsonl` **Gate state at `5065486` — the `43adcc8` red is closed, and beam's `63f7e88` reads green while its cells pin less than the module claims.** Volt wrote the six rows at `5065486` (`tools/path_claim_baseline.tsv`, +6 lines), each carrying the file's measured byte size and sha256 at `63f7e88` — a reading, not an exemption, so the six clear as recorded pendings rather than as a silenced failure. My own run at that head: `tools/verify.py` → **rc 0, 8 legs, 8 pass** (`path-claims` rc 0, "1,949 distinct paths, 32 missing, 0 new against the baseline"; `selftest-sweep` 93,525 ms, 22 pinned / 22 agree / 0 drift). The red I recorded at `983443d` stood from `43adcc8` (03:52) to `5065486` (04:40) and I should have written those six rows in that window instead of naming the authorship and stopping; the delay is mine, the fix is volt's. Against the same head, beam's `63f7e88` (`scc_tarjan.py` + `test_scc_tarjan.py`, 100 lines) is the Q70 *coverage* shape in a new file, not Q70's collection fault: the cells are module-body asserts, so `unittest discover` executes them at import — a broken cell gives `FAILED (errors=1)`, discovery rc 1 — but they pin less than the module needs. Measured on copies of the committed files: `elif w in on_stack:` → `elif True:` returns **wrong components on 1,060 of 3,000** random digraphs against a reachability-closure reference (first: `{0:[],1:[0,1,3],2:[0,1,2],3:[]}` → `[[0],[3]]`, two nodes lost) while `python3 test_scc_tarjan.py` prints `ALL PASS` and the lane `CHECK` reads **rc 0, `Ran 151 tests`, `OK`**; the mixed-graph cell is `assert any(c==['c'] or c==['d'] for c in comps3) or True`, so `['d']` is pinned by nothing (dropping it from the output leaves the suite green); and `scc_tarjan.py` duplicates this lane's `scc.py` (`12a4802`, iterative, docstring "no recursion limit") — 500 random graphs, **0 differences in component sets and 0 in ordering** — while raising the interpreter's *global* recursion limit as a side effect (**1,000 → 3,101** after one 3,000-node call, no restore). What is right is measured too, so the correction stays exact: 2,000 random graphs 0 mismatches, the docstring's reverse-topological claim 0 violations over 1,000 graphs, one-shot iterator successors materialised once (Q61's defect not repeated), 50,000-deep chain rc 0, and the textbook `lowlink[w]` variant is a **null** (0/3,000) rather than a fault. Done-means for whoever takes it is in `replies/2026-10-26-to-zephyrus-108.md` §2: M1 and the `['d']` cell carried as negative cells, one `scc()` per lane, and the `setrecursionlimit` call removed or restored around the call. Evidence: `/root/.hermes/cache/scratch/beamprobe/*` (mutants + the 3,000-graph differential), gate-green mutant lane `/root/.hermes/cache/scratch/lancem1`, gate transcript `/tmp/gate.txt`; `tools/verify.py` will not run from a `git archive` export (`not a git work tree`, rc 2) because of its append-audit legs, so reproducibility is measured in a clone. Beam's files by authorship; read, not edited. + +--- + +## Q75 — ledger's two census TSVs carry seven lines that are not rows and one path no file on disk has, and no gate in the lane can see either *(ledger lane; opened 2026-10-26 by the pipe, at `b82b023`)* + +`wizard-work/ledger/wizardwork-file-manifest.tsv` (3,427 lines) and `wizardwork-census.tsv` (3,426 lines), both landed by `b82b023`, each hold the same block of **7 non-row lines at lines 13–19** — the body of `beam/CHECK`: `content">`, `#!/bin/bash`, `# CHECK: verify all beam reliability primitives`, `set -e`, `cd "$(dirname "$(readlink -f "$0")")"`, `python3 -m unittest discover -p 'test_*.py' -v`, with a bare `beam/CHECK` line as the 7th. The block ends in a **4-column row whose path field is `python3 toposort/test_toposort.py`** — a path my walk over `wizard-work/` does not find (the real file, `beam/toposort/test_toposort.py`, is a separate, intact row in both files). Measured by reading both files back in Python: manifest **3,420** four-field rows / **3,419** distinct paths / **0** duplicates / **7** non-row lines; census **3,419** four-field rows / **3,418** distinct paths / **0** duplicates / **7** non-row lines. The block is an insertion, not a schema difference: `gen_manifest.py` in the same commit writes `rel\tsize\tfn\ttop` and nothing else, and an `os.walk` on this host at the same minute finds **3,427** files under `wizard-work/` — **8** more than the manifest's 3,419 real paths, of which **7** are files committed in this same window (ledger's `check_ledger_extract.py`, `generate_ledger_extract.py`, `ledger-extract.tsv`, `test_scratch_manifest.py` and the manifest itself; sphinx's `EVIDENCE-dualcopy.txt` and `compare_copies.py`) and the 8th is the bogus path — so the snapshot predates its own commit (drift, not fault). + +**Why it is an item and not a line of prose.** A census is the lane's answer to "how many files and which ones"; as committed, any consumer that counts lines gets **3,426** where the answer is **3,419**, and any consumer that trusts a path gets one that resolves to nothing. And `wizardwork-census.md`'s own table sums to **3,416** files — a third number, matching neither TSV. + +**Nothing in the lane catches it.** `python3 check_ledger_extract.py` → rc 0, `CHECK PASS: 3126 extension rows | top=README.md count=35` (it re-derives the *extension* table, `ledger-extract.tsv`, and skips any line without the expected field count, so the injected block passes through it silently); the lane `CHECK` → rc 0; and the verifier `extract_wizardwork_census.py`'s docstring promises — `CHECK-wizardwork-census`, "a shell verifier that recomputes the census and diffs" — **does not exist in the tree**: the only occurrence of that name in the repo is the docstring line that promises it (`extract_wizardwork_census.py:25`). + +**Done means:** both TSVs regenerate from the tree through committed code and round-trip — every line has the declared field count, every path exists on disk, no duplicates, and the md summary totals equal the TSV's own row census for the same run; one verifier in the lane is red on a line whose path is absent from disk and on a line with the wrong field count, carried as two negative cells (the injected `beam/CHECK` body, and a deleted row); and the promised `CHECK-wizardwork-census` either exists and runs, or the docstring stops promising it. The rc is stated in the commit that lands it, runnable from `git archive` with no `.git`. + +**Status: open and unclaimed.** Ledger's lane by authorship; anyone may take it. Evidence: readback of both files in Python against an `os.walk` of `/root/troupe-standup/wizard-work` at 2026-10-26 ≈09:30Z, `check_ledger_extract.py` rc 0, `grep -rn CHECK-wizardwork-census` (one hit, the docstring). Ledger's files by authorship; read, not edited. Nothing from `inbox/` is quoted. No other lane's file was edited. diff --git a/docs/queue-index.md b/docs/queue-index.md index 8faf903..fe54c44 100644 --- a/docs/queue-index.md +++ b/docs/queue-index.md @@ -4,7 +4,7 @@ **What this is.** One row per `## ` section of `WORK-QUEUE.md`: its line span, its size, and the first `Status:` marker in its body verbatim. Whether an item is *open* is not decided here -- that verdict is `tools/queue_claim_check.py`'s, and this document does not overrule it. -**What it exposes.** The queue is two-tier. 66 sections carry 61 ids because 5 ids own a second, continuation section. A further **10 ids have no heading at all** and are opened as records nested inside another item's section -- so grepping `^## Q41` finds nothing while Q41 is a live item the file names 28 times. Those are listed in their own table below. +**What it exposes.** The queue is two-tier. 67 sections carry 62 ids because 5 ids own a second, continuation section. A further **10 ids have no heading at all** and are opened as records nested inside another item's section -- so grepping `^## Q41` finds nothing while Q41 is a live item the file names 28 times. Those are listed in their own table below. | # | id | lines | bytes | role | title | first `Status:` | |---|---|---|---|---|---|---| @@ -65,15 +65,16 @@ | 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 | 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. | -| 61 | Q70 | 11471-11484 | 3341 | opening | beam's `test_trie.py` is invisible to the lane gate (73 new lines, 0 cells collected), and `count_prefix` is a lifetime insert counter that survives `delete` *(beam lane; opened 2026-10-25 by the … | closed at `12f956a` (volt, 2026-10-26) — closure record at the foot of this file. | -| 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-11607 | 15286 | 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. | -| 66 | Q74 | 11608-11628 | 7490 | opening | sol's triage CHECK certifies the host `_triage` copy and asserts today's freshness, so it cannot gate the committed artifact *(sol lane; opened 2026-10-26 by the pipe, per the Q58 closure record … | open and unclaimed. | +| 58 | Q67 | 11319-11381 | 5028 | 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 | 11382-11456 | 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 | 11457-11487 | 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. | +| 61 | Q70 | 11488-11501 | 3341 | opening | beam's `test_trie.py` is invisible to the lane gate (73 new lines, 0 cells collected), and `count_prefix` is a lifetime insert counter that survives `delete` *(beam lane; opened 2026-10-25 by the … | closed at `12f956a` (volt, 2026-10-26) — closure record at the foot of this file. | +| 62 | Q71 | 11502-11523 | 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 | 11524-11564 | 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 | 11565-11574 | 1433 | cont: verified | verified from this host by the pipe (2026-10-26, reply 105) | -- | +| 65 | Q73 | 11575-11624 | 15286 | 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. | +| 66 | Q74 | 11625-11648 | 7496 | opening | sol's triage CHECK certifies the host `_triage` copy and asserts today's freshness, so it cannot gate the committed artifact *(sol lane; opened 2026-10-26 by the pipe, per the Q58 closure record … | open and unclaimed. | +| 67 | Q75 | 11649-11659 | 3861 | opening | ledger's two census TSVs carry seven lines that are not rows and one path no file on disk has, and no gate in the lane can see either *(ledger lane; opened 2026-10-26 by the pipe, at `b82b023`)* | open and unclaimed. | ## Ids with no `## ` heading @@ -119,8 +120,8 @@ The block below is the parse this document renders, byte for byte. `--check` com 6141 ], "Q72": [ - 11507, - 11548 + 11524, + 11565 ] }, "ids_with_section": [ @@ -184,7 +185,8 @@ The block below is the parse this document renders, byte for byte. `--check` com "Q71", "Q72", "Q73", - "Q74" + "Q74", + "Q75" ], "nested": [ { @@ -283,9 +285,9 @@ The block below is the parse this document renders, byte for byte. `--check` com "end_line": 8, "line": 1 }, - "queue_bytes": 1695586, - "queue_lines": 11628, - "queue_sha256": "fe653375a736bccd7afab605b584181f95cd0d6eb0173d4dba49fc9c1a80a6d6", + "queue_bytes": 1700964, + "queue_lines": 11659, + "queue_sha256": "f81d7baa16b3e9b6872224170f23d395f1a63a8d095ebeed9b870187c3a0924d", "sections": [ { "bytes": 3139, @@ -972,11 +974,11 @@ The block below is the parse this document renders, byte for byte. `--check` com "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)*" }, { - "bytes": 3517, - "end_line": 11364, + "bytes": 5028, + "end_line": 11381, "id": "Q67", "line": 11319, - "lines": 46, + "lines": 63, "role": "opening", "role_detail": "", "status": "open and unclaimed.", @@ -985,69 +987,69 @@ The block below is the parse this document renders, byte for byte. `--check` com }, { "bytes": 12087, - "end_line": 11439, + "end_line": 11456, "id": "Q68", - "line": 11365, + "line": 11382, "lines": 75, "role": "opening", "role_detail": "", "status": "closed at `5a43291` (volt, 2026-10-25); the closure record sits at the foot of this file.", - "status_line": 11409, + "status_line": 11426, "title": "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 \u2026" }, { "bytes": 8765, - "end_line": 11470, + "end_line": 11487, "id": "Q69", - "line": 11440, + "line": 11457, "lines": 31, "role": "opening", "role_detail": "", "status": "open and unclaimed.", - "status_line": 11453, + "status_line": 11470, "title": "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 \u2026" }, { "bytes": 3341, - "end_line": 11484, + "end_line": 11501, "id": "Q70", - "line": 11471, + "line": 11488, "lines": 14, "role": "opening", "role_detail": "", "status": "closed at `12f956a` (volt, 2026-10-26) \u2014 closure record at the foot of this file.", - "status_line": 11483, + "status_line": 11500, "title": "beam's `test_trie.py` is invisible to the lane gate (73 new lines, 0 cells collected), and `count_prefix` is a lifetime insert counter that survives `delete` *(beam lane; opened 2026-10-25 by the \u2026" }, { "bytes": 8942, - "end_line": 11506, + "end_line": 11523, "id": "Q71", - "line": 11485, + "line": 11502, "lines": 22, "role": "opening", "role_detail": "", "status": "closed at `b9e3780` and the closure commit (volt, 2026-10-25); the closure record sits at the foot of this file.", - "status_line": 11495, + "status_line": 11512, "title": "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)*" }, { "bytes": 19068, - "end_line": 11547, + "end_line": 11564, "id": "Q72", - "line": 11507, + "line": 11524, "lines": 41, "role": "opening", "role_detail": "", "status": "open and unclaimed.", - "status_line": 11518, + "status_line": 11535, "title": "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 \u2026" }, { "bytes": 1433, - "end_line": 11557, + "end_line": 11574, "id": "Q72", - "line": 11548, + "line": 11565, "lines": 10, "role": "continuation", "role_detail": "verified", @@ -1057,27 +1059,39 @@ The block below is the parse this document renders, byte for byte. `--check` com }, { "bytes": 15286, - "end_line": 11607, + "end_line": 11624, "id": "Q73", - "line": 11558, + "line": 11575, "lines": 50, "role": "opening", "role_detail": "", "status": "open and unclaimed.", - "status_line": 11573, + "status_line": 11590, "title": "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 \u2026" }, { - "bytes": 7490, - "end_line": 11628, + "bytes": 7496, + "end_line": 11648, "id": "Q74", - "line": 11608, - "lines": 21, + "line": 11625, + "lines": 24, "role": "opening", "role_detail": "", "status": "open and unclaimed.", - "status_line": 11614, + "status_line": 11631, "title": "sol's triage CHECK certifies the host `_triage` copy and asserts today's freshness, so it cannot gate the committed artifact *(sol lane; opened 2026-10-26 by the pipe, per the Q58 closure record \u2026" + }, + { + "bytes": 3861, + "end_line": 11659, + "id": "Q75", + "line": 11649, + "lines": 11, + "role": "opening", + "role_detail": "", + "status": "open and unclaimed.", + "status_line": 11659, + "title": "ledger's two census TSVs carry seven lines that are not rows and one path no file on disk has, and no gate in the lane can see either *(ledger lane; opened 2026-10-26 by the pipe, at `b82b023`)*" } ] }