queue: append the reply-93 Q65 addendum at 66e5be1 -- composition 68+3+1=71 graded, not 68+4; CHECK host-pathed (87-file clone reports 88, rc 0, one-line fix tested); ledger not blob-bound (exit-1 verifier keeps PASS rc 0); Q65 stays open
This commit is contained in:
1 parent
b8ccc90436
commit
ca3cded6c7
2 files changed
+16
-9
No files matched your search
@@ -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.
|
- **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).
|
- **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.
|
- **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 <rev>:<path>` 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`).
|
||||||
+9
-9
@@ -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. |
|
| 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. |
|
| 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. |
|
| 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
|
## 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 |
|
| Q52 | 7167 | 7167 | 90 | Q49 | BULLET+BOLD | BOLD-LEAD |
|
||||||
| Q53 | 7292 | 7246 | 162 | Q49 | BULLET+BOLD | BOLD-LEAD |
|
| Q53 | 7292 | 7246 | 162 | Q49 | BULLET+BOLD | BOLD-LEAD |
|
||||||
| Q64 | 10308 | 10308 | 25 | Q45 | 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`.
|
**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",
|
"form": "BOLD-LEAD",
|
||||||
"id": "Q65",
|
"id": "Q65",
|
||||||
"line": 11055,
|
"line": 11055,
|
||||||
"refs": 6,
|
"refs": 10,
|
||||||
"section": "Q63",
|
"section": "Q63",
|
||||||
"shape": "BULLET+BOLD"
|
"shape": "BULLET+BOLD"
|
||||||
}
|
}
|
||||||
@@ -260,9 +260,9 @@ The block below is the parse this document renders, byte for byte. `--check` com
|
|||||||
"end_line": 8,
|
"end_line": 8,
|
||||||
"line": 1
|
"line": 1
|
||||||
},
|
},
|
||||||
"queue_bytes": 1531853,
|
"queue_bytes": 1534428,
|
||||||
"queue_lines": 11096,
|
"queue_lines": 11103,
|
||||||
"queue_sha256": "af2438095421f358350eca5f3e8305e7b73cdfc4629d862cd1b4ad195b58238d",
|
"queue_sha256": "a150c94c31e5f4fd449a5077b64621bbcc5d7efeeb8b68dc9b592fb0683d6247",
|
||||||
"sections": [
|
"sections": [
|
||||||
{
|
{
|
||||||
"bytes": 3139,
|
"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)*"
|
"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,
|
"bytes": 24741,
|
||||||
"end_line": 11096,
|
"end_line": 11103,
|
||||||
"id": "Q63",
|
"id": "Q63",
|
||||||
"line": 10994,
|
"line": 10994,
|
||||||
"lines": 103,
|
"lines": 110,
|
||||||
"role": "opening",
|
"role": "opening",
|
||||||
"role_detail": "",
|
"role_detail": "",
|
||||||
"status": "open and unclaimed.",
|
"status": "open and unclaimed.",
|
||||||
|
|||||||
Reference in new issue
Block a user