diff --git a/WORK-QUEUE.md b/WORK-QUEUE.md index 9677c9d..cd9198f 100644 --- a/WORK-QUEUE.md +++ b/WORK-QUEUE.md @@ -11094,3 +11094,10 @@ The class: an invocation-shaped reference to the file exists from nowhere in the - **One decision is not a lane's.** `wizard-work/volt/CHECK` is a committed caller, which is the reachability Q65 says is missing one level up, but nothing in `tools/` runs a `CHECK` file. Promoting the ledger check to a `tools/verify.py` leg is the operator's call; recorded, not taken. - **Shared gate moved with it.** `python3 tools/verify.py` at `d00a103`: **8 legs, 8 pass, 0 fault, 0 ungradable** — before this tick it was 7 pass with `path-claims` faulting on `wizard-work/volt/q63-2026-10-24.md`, the Q63 record the queue cites and no ref held (`d669515` committed it unmodified, as reply 91 §1 named). - **Evidence.** `wizard-work/volt/q65-2026-10-24.md` (the full record, RED/GREEN tables and the disposition table); `q63_unwired_baseline.tsv` (88 rows, rev `2843d50`); `q65_runner_baseline.tsv` (76 rows, rev `b01ec0e`, PASS 53 / FAIL 18 / TIMEOUT 5); commits `d669515`, `ff8b4da`, `b5cc930`, `0e413bc`, `2843d50`, `d00a103`. No other lane's file was edited: the 18 FAIL rows are recorded as findings held open, and each belongs to the lane that owns the file. + +**Q65 addendum (reply 93, 2026-10-24, at `66e5be1`) — every figure reproduces; the gate has two defects, both measured in a scratch clone.** Q65 stays OPEN; the 18 FAIL rows are per-lane findings, not this item's bookkeeping. + +- **Composition corrected.** `q65-2026-10-24.md:88` says the 76-row ledger "grades 68 of the 72 that Q65 opened on plus the 4 files the prose fix released" — 68 + 4 = 72 against a table that says 71, and only 71 rows carry an rc. Measured: 68 of the old 72 graded, plus **3** graded from the tree audit (`ledger/verify_arxiv_csv.py` PASS 0, `ledger/verify_github_python_repos.py` FAIL 1, `forge/verify_roundtrip_refactor.py` PASS 0), plus 1 of the four timed out (`sphinx/archive-remember-r1-figures-2026-10-23/verify_archive.py`). 68 + 3 = 71 graded; 71 + 5 TIMEOUT = 76 rows. The prose fix released 3 files, not 4; the roundtrip verifier was unwired in truth. Table stands, the sentence takes this correction. +- **Defect 1 — `wizard-work/volt/CHECK:13` is host-pathed.** `cd /root/troupe-standup` makes the gate grade that tree whatever checkout invokes it. Tested: a fresh clone with one verifier deleted (`87` committed verifiers) prints `tree audit : 0 unclassed of 88` and `CHECK PASS`, rc 0. One-line remedy tested in the same clone — `cd "$(git -C "$(dirname "$0")" rev-parse --show-toplevel)"` — prints `87` and `STALE wizard-work/spark/verify_fib.py`, rc 1. `q65_runner.py:82` and `q63_verify_scan.py` are path-independent (checked); `CHECK` is the only host-pathed file in the lane. This is Q62's class inside the instrument built to close Q63/Q65, and it is why `CHECK` is not promoted to a `tools/verify.py` leg yet. +- **Defect 2 — the ledger is not bound to verifier content.** Rows carry path, verdict, rc, seconds and note, never a blob id; `check()` compares path sets. Tested in the same clone: a verifier committed to `raise SystemExit(1)` keeps its `PASS 0` row and `--check` returns `0 fault(s)`, rc 0. Nothing is stale today — no committed `verify_*.py` blob changed between `b01ec0e` and `66e5be1` — but the first lane to edit a verifier makes the ledger lie silently. Remedy: a `git rev-parse :` column and a `DRIFT` fault. +- **Done means now:** the five TIMEOUT rows each carry an rc or a refusal under a per-file window; `CHECK` resolves its own repo root; ledger rows are blob-bound and `--check` faults on drift. Evidence: `replies/2026-10-24-to-zephyrus-93.md`; the clone probes above; `q65_runner_baseline.tsv` (76 rows, rev `b01ec0e`); `q63_unwired_baseline.tsv` (88 rows, rev `2843d50`). diff --git a/docs/queue-index.md b/docs/queue-index.md index 13ed306..047b413 100644 --- a/docs/queue-index.md +++ b/docs/queue-index.md @@ -63,7 +63,7 @@ | 53 | Q60 | 10830-10889 | 9719 | opening | Every truncated identifier in the archive: which ones can still be checked *(pipe tooling; opened 2026-10-24 by the pipe, per reply 86 §6 and reply 87 §1)* | open and unclaimed. | | 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-11096 | 22166 | 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. | +| 56 | Q63 | 10994-11103 | 24741 | 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. | ## Ids with no `## ` heading @@ -80,7 +80,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 | 162 | Q49 | BULLET+BOLD | BOLD-LEAD | | Q64 | 10308 | 10308 | 25 | Q45 | BULLET+BOLD | BOLD-LEAD | -| Q65 | 11055 | 11047 | 6 | Q63 | BULLET+BOLD | BOLD-LEAD | +| Q65 | 11055 | 11047 | 10 | 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`. @@ -250,7 +250,7 @@ The block below is the parse this document renders, byte for byte. `--check` com "form": "BOLD-LEAD", "id": "Q65", "line": 11055, - "refs": 6, + "refs": 10, "section": "Q63", "shape": "BULLET+BOLD" } @@ -260,9 +260,9 @@ The block below is the parse this document renders, byte for byte. `--check` com "end_line": 8, "line": 1 }, - "queue_bytes": 1531853, - "queue_lines": 11096, - "queue_sha256": "af2438095421f358350eca5f3e8305e7b73cdfc4629d862cd1b4ad195b58238d", + "queue_bytes": 1534428, + "queue_lines": 11103, + "queue_sha256": "a150c94c31e5f4fd449a5077b64621bbcc5d7efeeb8b68dc9b592fb0683d6247", "sections": [ { "bytes": 3139, @@ -925,11 +925,11 @@ The block below is the parse this document renders, byte for byte. `--check` com "title": "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)*" }, { - "bytes": 22166, - "end_line": 11096, + "bytes": 24741, + "end_line": 11103, "id": "Q63", "line": 10994, - "lines": 103, + "lines": 110, "role": "opening", "role_detail": "", "status": "open and unclaimed.",