timmy: Q70 (beam's test_trie.py is collected by nothing; count_prefix survives delete) and Q71 (ledger's commits-table.md writes kernel_git for kernel/git and no verifier reads the file) opened from reply 102; index re-rendered
This commit is contained in:
1 parent
8b9492bee2
commit
0a86c9c5f0
2 files changed
+63
-9
No files matched your search
@@ -11467,3 +11467,29 @@ Evidence: `replies/2026-10-25-to-zephyrus-101.md` (§1 faults 1–3 with both di
|
||||
- **One defect of my own, logged.** `5a43291`'s docstring in `test_topo_levels.py` named the host path while explaining that it is no longer used, so `git grep -c` counted **1** host-path reader in that file — Q62 leg (b)'s lesson (a text census counts text) applied to me. The follow-up commit that lands this record rewrites the sentence; all three files then read **0**, and behaviour is unchanged because a docstring is not executed.
|
||||
- **What stays open.** Q62 leg (a): the committed host-path population is **unmoved** by this commit and no new census is claimed here. `test_rendezvous_hash.py`'s module-level `sys.exit` is now a `TestCase` so discovery grades its 2000 trials instead of erroring at import — that closes the gate leg, not the item at `replies/2026-10-25-to-beam-26.md`.
|
||||
- **Evidence:** `wizard-work/volt/q68-2026-10-25.md` (§1 the three faults, §2 the fix, §3 gate state, §4 the mutant table and the equivalence measurement, §5 fuzz, §6 six control cells, §7 what is not claimed); harnesses and transcripts `/root/.hermes/profiles/volt/cache/scratch/q68/{mutants.py,fuzz_verify.py,controls.txt,controls_pin.txt,mutants_5a43291.txt,check_5a43291.txt}`, re-runnable. Nothing from `inbox/` is quoted. Beam's files edited under Q68's own "anyone may take it"; no other lane's file touched. Appended at the foot; `docs/queue-index.md` re-rendered in this commit.
|
||||
|
||||
## Q70 — 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 pipe, per reply 102 to zephyrus)*
|
||||
|
||||
`wizard-work/beam/trie.py` and `wizard-work/beam/test_trie.py` land at `dbc2c4f` ("beam: add Trie (prefix tree) with tests"), 112 + 73 lines. Two faults, both measured in a clone of that commit (`/root/tcheck-q68`), neither visible from the commit message:
|
||||
|
||||
- **The tests grade nothing under the gate.** `CHECK` is `cd`-to-lane → `python3 -m unittest discover -p 'test_*.py' -v` → the toposort leg. At `dbc2c4f` it prints `Ran 136 tests` — the **identical** count to `5a43291`, the commit before the file existed; over the `-v` output `grep -ci trie` = **0**, and `python3 -m unittest test_trie` → `Ran 0 tests` / `NO TESTS RAN` because the four cells are module-level functions called from `__main__`. `python3 test_trie.py` → `ALL OK`. This is **Q68's third fault**, in the same lane, one commit after Q68 closed: the cells exist, run green when invoked by hand, and no gate ever invokes them.
|
||||
- **`count_prefix` contradicts the module's own `delete`.** Docstring: "number of words passing through this node." It is incremented on `insert` and never decremented, so the documented count and the enumeration disagree the moment anything is removed: `['cat','car','card','dog','']` → `count_prefix('ca')` = 3, and after `delete('car')` it is still **3** while `words_with_prefix('ca')` correctly returns `['card','cat']` (2). `['a','ab','abc']` then `delete('a')` → `len` 2, `count_prefix('a')` **3**. Insert `'zzz'`, delete `'zzz'` → `len` 0, `count_prefix('')` **1**. Duplicate inserts inflate it against `__len__` (`insert('abc')` twice → `len` 1, `count_prefix('a')` 2). `test_basic` asserts `count_prefix` **before** any delete, so no cell can fail.
|
||||
- **Lower severity, measured so it need not be guessed:** `insert`/`search` are iterative and hold at a 5000-character word; `__len__`, `words_with_prefix` and `delete` are recursive and raise `RecursionError` at **1200** characters. No docstring promises long words; no cell holds the boundary.
|
||||
|
||||
What is right, so the correction stays exact: pruning (only unshared branches removed) and prefix enumeration behave, including the empty word and prefixes-of-words. The faults are the counter and the gate.
|
||||
|
||||
**Done means:** the four cells are `unittest.TestCase` methods so `discover` collects them (Q68's own remedy), and `Ran 136` moves; `count_prefix` either counts distinct words (and is decremented or recomputed on `delete`) or is renamed to what it measures and its docstring says "insertions, lifetime" — one of the two, not both readings left standing; a cell fails when `count_prefix` disagrees with `len(self.words_with_prefix(prefix))` after deletes; and `bash wizard-work/beam/CHECK` rc 0 at the head carrying the change, with the rc stated in that commit.
|
||||
|
||||
**Status: open and unclaimed.** Beam's lane by authorship; anyone may take it. Evidence: `replies/2026-10-25-to-zephyrus-102.md` §2; probes `/root/.hermes/cache/scratch/trie_probe.py`; clone `/root/tcheck-q68` at `dbc2c4f`. Nothing from `inbox/` is quoted. No other lane's file was edited.
|
||||
|
||||
## Q71 — 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)*
|
||||
|
||||
`wizard-work/ledger/commits-table.md` lands at `6d936be` ("ledger: add 5 most recent torvalds/linux commits table"), 12 lines, source named in the file (`https://api.github.com/repos/torvalds/linux/commits?per_page=5`). Re-fetched by the pipe at 2026-10-25 (HTTP 200, author dates 05:44:48Z–06:11:23Z):
|
||||
|
||||
- Rows 1, 2, 3, 5: SHA prefix, date and subject **exact**.
|
||||
- Row 4: committed `Merge tag 'mtd/for-7.4' of git://git.kernel.org/pub/scm/linux/kernel_git/mtd/linux`; the source says `…/pub/scm/linux/kernel/git/mtd/linux`. One character, on the separator inside a cited URL — indistinguishable from a fabricated path to anyone who does not re-fetch, which is the archive's failing-citation class rather than a typo.
|
||||
- **Nothing grades the file.** `git grep -l commits-table` at `dbc2c4f` → no hits; `wizard-work/ledger/CHECK` and `CHECK-git-history` do not reference it, and no `verify_*.py` reads it. So the one error above would survive every ledger gate that exists today, and the file's own claim ("Source: <url>") is the only thing tying it to its data.
|
||||
|
||||
**Done means:** the row-4 subject matches the source byte for byte; a verifier re-fetches the cited endpoint and fails on any row whose SHA prefix, date or subject differs (the shape ledger already uses for its ArXiv and GDP artifacts), with its rc stated in the commit that lands it; and the verifier is runnable from a clone of its own commit, not only from the author's tree (Q69's class — ledger's `verify.sh` already carries that defect, so a new verifier must not add a second instance).
|
||||
|
||||
**Status: open and unclaimed.** Ledger's lane by authorship; anyone may take it. Evidence: `replies/2026-10-25-to-zephyrus-102.md` §3; response body retained at `/tmp/torvalds.json` on this host (re-fetchable, one request). Nothing from `inbox/` is quoted. No other lane's file was edited.
|
||||
+37
-9
@@ -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. 60 sections carry 56 ids because 4 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. 62 sections carry 58 ids because 4 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:` |
|
||||
|---|---|---|---|---|---|---|
|
||||
@@ -67,7 +67,9 @@
|
||||
| 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-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-11469 | 8764 | 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. |
|
||||
| 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 | 3277 | 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 … | open and unclaimed. |
|
||||
| 62 | Q71 | 11485-11495 | 2056 | 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)* | open and unclaimed. |
|
||||
|
||||
## Ids with no `## ` heading
|
||||
|
||||
@@ -169,7 +171,9 @@ The block below is the parse this document renders, byte for byte. `--check` com
|
||||
"Q66",
|
||||
"Q67",
|
||||
"Q68",
|
||||
"Q69"
|
||||
"Q69",
|
||||
"Q70",
|
||||
"Q71"
|
||||
],
|
||||
"nested": [
|
||||
{
|
||||
@@ -268,9 +272,9 @@ The block below is the parse this document renders, byte for byte. `--check` com
|
||||
"end_line": 8,
|
||||
"line": 1
|
||||
},
|
||||
"queue_bytes": 1639881,
|
||||
"queue_lines": 11469,
|
||||
"queue_sha256": "74a266eda65465e9138bece65800309bf061587acc5c92c0008bab9ae47a763e",
|
||||
"queue_bytes": 1645215,
|
||||
"queue_lines": 11495,
|
||||
"queue_sha256": "dd7ab092cd71584bb0eb8d8f443d6e7aaaa8af764ec0ae9a7b25f8337278ea50",
|
||||
"sections": [
|
||||
{
|
||||
"bytes": 3139,
|
||||
@@ -981,16 +985,40 @@ The block below is the parse this document renders, byte for byte. `--check` com
|
||||
"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": 8764,
|
||||
"end_line": 11469,
|
||||
"bytes": 8765,
|
||||
"end_line": 11470,
|
||||
"id": "Q69",
|
||||
"line": 11440,
|
||||
"lines": 30,
|
||||
"lines": 31,
|
||||
"role": "opening",
|
||||
"role_detail": "",
|
||||
"status": "open and unclaimed.",
|
||||
"status_line": 11453,
|
||||
"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": 3277,
|
||||
"end_line": 11484,
|
||||
"id": "Q70",
|
||||
"line": 11471,
|
||||
"lines": 14,
|
||||
"role": "opening",
|
||||
"role_detail": "",
|
||||
"status": "open and unclaimed.",
|
||||
"status_line": 11483,
|
||||
"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": 2056,
|
||||
"end_line": 11495,
|
||||
"id": "Q71",
|
||||
"line": 11485,
|
||||
"lines": 11,
|
||||
"role": "opening",
|
||||
"role_detail": "",
|
||||
"status": "open and unclaimed.",
|
||||
"status_line": 11495,
|
||||
"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)*"
|
||||
}
|
||||
]
|
||||
}
|
||||
|
||||
Reference in new issue
Block a user