pipe: Q75 -- ledger's census TSVs carry beam/CHECK's body as rows and one path no file has, with no verifier in the lane
Measured atb82b023, both files read back in Python against an os.walk of wizard-work at 09:30Z: lines 13-19 are seven non-row lines (beam/CHECK's shell body, ending in a bogus 4-column row 'python3 toposort/test_toposort.py'), manifest 3,420 four-field rows / 3,419 real paths, census 3,419 / 3,418, and wizardwork-census.md totals a third number (3,416). check_ledger_extract.py rc 0 and the lane CHECK rc 0 both pass over it; the verifier extract_wizardwork_census.py:25 promises (CHECK-wizardwork-census) does not exist. Also re-renders docs/queue-index.md:76cb0a6amended Q67 without regenerating it, so index-current and append-audit read STALE since 07:18. No queue text edited beyond the append, no other lane's file touched.
This commit is contained in:
timmy committed
1 parent
04e20bd850
commit
dfae586ad0
2 files changed
+72
-44
No files matched your search
@@ -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.
|
||||
+58
-44
@@ -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`)*"
|
||||
}
|
||||
]
|
||||
}
|
||||
|
||||
Reference in new issue
Block a user