volt: q65 residual cycle 2 -- census 101 of 101 by execution; forge's stale FAIL re-earned at its current blob; the GDP verifier's PASS measured as host-pinned with a one-line remedy

This commit is contained in:
spark committed 2026-10-25 07:26:10 +00:00
1 parent d05d93c4aa
commit 008bb247df
8 files changed
+265 -12

No files matched your search

+12
View File
@@ -11177,3 +11177,15 @@ The class: an invocation-shaped reference to the file exists from nowhere in the
- **"The gate dies at two characters" is false, and this is the measurement.** Scratch clone of `d712de3`: unmodified **8 new**; with the six rows **2 new**; with the six rows **and** forge's two characters at `:95-96` **still 2 new**, `verify` still 8 legs / 7 pass / 1 fault. After the fix the token is still minted at **five sites, six occurrences** — `WORK-QUEUE.md:11134` (both), `:11148`, `replies/2026-10-25-to-forge-18.md:37`, `:38`, `wizard-work/volt/q65-2026-10-25-residual.md:139` — four of them append-sanctioned under `tools/append_only_audit.py:58`, so no permitted edit can clear them. Every one of the five is a sentence *about* the defect, which is the condition `replies/2026-10-25-to-zephyrus-96.md:24-29` set for quotation-of-a-defect rows; it does not fire yet, because `:95-96` is still an Artifacts list asserting two files that are not there.
- **No item opened or closed, nothing closed early.** `tools/verify.py --repo .` with these six rows in the tree at `a259960`: **8 legs, 7 pass, 1 fault, 0 ungradable** — `path-claims`, `FAIL: 2 missing path(s)`, and that is the honest state. The six rows clear the day their owners commit the files; the two do not clear by bookkeeping.
- **Evidence:** `wizard-work/volt/path-claims-2026-10-25-adjudication.md` (§1 the split with per-file digests, §2 the four-step clone table, §3 what was deliberately not done); `checkins/2026-10-25-volt.md`; `git diff --numstat` `6 0` on the ledger. No other lane's file edited. Appended at the foot; `docs/queue-index.md` re-rendered in this commit.
**Q65 residual cycle 2, 2026-10-25 (volt, at `d05d93c`) — the census is 101 of 101 again by execution, forge's held-open FAIL is re-earned, and the GDP verifier's PASS is a host-pinned PASS with a one-line remedy measured.** No item opened or closed; the open set is unchanged.
- **State before the change, in a detached worktree at `d05d93c`.** `q63_verify_scan.py` 101 committed verifiers, `census coverage 99 of 101`, 2 UNCLASSED, `unwired, NEW (fault) 1` (`wizard-work/ledger/verify_gdp.py`), **rc 1**. `q65_runner.py --check` read **3 fault(s)**: the same two UNCLASSED, plus a **DRIFT** — `wizard-work/forge/verify_check_lint_classes_dry.py` carried `FAIL rc 1` measured against blob `17a08fe2d2`, while the tree at HEAD has held `62082e082a` since `a70197f`.
- **The census re-read is a pure append, measured not asserted.** `--emit-baseline` written to a scratch path and diffed against the committed ledger: **two added rows, no row reclassified, no row dropped** — `undeclared` for the ledger's file, `wired-invoke` for sphinx's (its `CHECK.sh:26` invokes it). A re-emit is the one operation that could launder a fault into a tolerance; here it could not, and the diff says so.
- **Both files were then graded by execution.** `verify_gdp.py` **PASS rc 0** 0.10 s blob `ba577cd8ae`, host probe `L3:/root/troupe-standup`; `verify_mmlongcite.py` **PASS rc 0** 2.28 s blob `c1f03701bf`, host-independent. Negative control on the second: one sha256 pin flipped in a scratch `manifest.json` → **rc 1**, 1 of 39 checks failed, `VERDICT: archive does NOT hold`.
- **The GDP row is a `PASS*`, and the pin is measured in both directions.** In the scratch worktree, `United States` IMF cell rewritten `32,642,373 → 1,000`: the runner's own invocation (no argv) returns **rc 0 PASS** — it graded this host's file — while `verify_gdp.py <corrupted path>` returns **rc 1 FAIL**. The checks are real; the default is pinned. `verify_gdp.py:3` is the literal; the one-line `__file__`-relative default is **the ledger lane's to take**, and until then the row is a row and not tree coverage.
- **The DRIFT row was a FAIL that had outlived its bytes.** `17a08fe2d2` is `4f76eaa:`; `62082e082a` is `a70197f:` and `git diff --stat a70197f..HEAD` on that path is empty — so a held-open finding had been fixed for several commits while the ledger still asserted it. Re-run: **PASS rc 0** 0.53 s at `62082e08`, and the row is now honest in both directions (`PASS*` at `:44`, so still not `graded-clean`).
- **Green, measured.** `q63_verify_scan.py`: 101 committed verifiers, `run by q65_runner 84 (FAIL 24, PASS 60)`, `census coverage 101 of 101`, `unwired NEW 0`, **`q63: 0 fault(s)`, rc 0**. `q65_runner.py --check`: **85 rows, PASS 61 / FAIL 24, 85 of 85 graded, graded-clean 8 of 85, tree audit 0 unclassed of 101, `q65: 0 fault(s)`**. `bash wizard-work/volt/CHECK` → `CHECK PASS`, **rc 0**, selftest **22 of 22**. Ledger movement 83 → 85 rows; FAIL 25 → 24; `graded-clean` 7 → 8.
- **Two display caveats, recorded rather than fixed.** The ledger's `# rev:` line is the last emit's rev, not every row's (83 rows measured at `30653c6`); the binding guarantee is column 7, the per-row blob, which `--check` recomputes. And the runner ledger's `class` column is historical — it still says `undeclared` for rows emitted under that class; the current classification is `q63_unwired_baseline.tsv`, re-emitted at `d05d93c` with 85 `gate-run`.
- **What stays open, and whose.** 24 `FAIL` rows are per-lane findings; 53 `PASS*` rows are Q62's class, one per owning lane (this tick added one and measured its remedy); `path-claims` remains `tools/verify.py`'s single fault on forge's `:95-96`, adjudicated at `a259960` and not touched here; no `tools/verify.py` leg runs this census, which is why the class reopened twice in two days with nothing outside this lane's own `CHECK` noticing — still the operator's call (reply 93 §4), not re-argued.
- **Evidence:** `wizard-work/volt/q65-2026-10-25-residual2.md` (§1 red, §2 the pure-append diff, §3 the two graded rows with both negative controls, §4 the re-earned DRIFT, §5 green, §6 the two caveats); `q65-2026-10-25-r4-red.txt` and `-green.txt` (verbatim, provenance line in each; red captured in a detached worktree at `d05d93c`, green at 07:22:19Z). No other lane's file edited; the two changed instruments are `wizard-work/volt/q63_unwired_baseline.tsv` and `q65_runner_baseline.tsv`. Nothing from `inbox/` is quoted. Appended at the foot; `docs/queue-index.md` re-rendered in this commit.
+15
View File
@@ -11,3 +11,18 @@
**Next:** re-measure when forge's edit lands — the residue should be exactly the five sites in §2, all descriptions, and then the quotation-of-a-defect rows can be written from that reading.
**Ask:** none. No item opened or closed; the open set is unchanged.
## Later tick (07:2xZ) — Q65 residual cycle 2
**Did:**
- Rebuilt the census at `d05d93c`: it read **99 of 101** with 2 UNCLASSED and one NEW_UNWIRED fault (`wizard-work/ledger/verify_gdp.py`). The re-emit is a **pure append** — measured by writing `--emit-baseline` to a scratch path and diffing: two added rows, no row reclassified, no row dropped.
- Graded both by execution with the runner: `verify_gdp.py` **PASS rc 0** 0.10 s (blob `ba577cd8ae`, host-pinned `L3`), `verify_mmlongcite.py` **PASS rc 0** 2.28 s (blob `c1f03701bf`, host-independent). Negative control on the sphinx row: one sha256 pin flipped in a scratch `manifest.json` → **rc 1**, `VERDICT: archive does NOT hold`. So the pass is a pass on the archive it names.
- Measured the GDP row's host pin in both directions: on a scratch tree whose `gdp_nominal.csv` has the US IMF cell rewritten, the runner's invocation returns **rc 0** (it graded this host's file) and `verify_gdp.py <corrupted path>` returns **rc 1**. The one-line `__file__`-relative default is the ledger lane's to take; the row stays `PASS*` until then.
- Re-earned a **DRIFT** row the census could not see: forge's `verify_check_lint_classes_dry.py` held `FAIL rc 1` against blob `17a08fe2d2` (`4f76eaa:`), while HEAD has held `62082e082a` since `a70197f` — a finding fixed in the tree and still asserted in the ledger. Re-ran: **PASS rc 0** 0.53 s at `62082e08`. FAIL rows 25 → 24.
- Green: `q63_verify_scan.py` **0 fault(s)** rc 0, coverage **101 of 101**; `q65_runner.py --check` **85 rows, PASS 61 / FAIL 24, 0 fault(s)**, tree audit 0 unclassed of 101; `bash wizard-work/volt/CHECK` **rc 0**, selftest 22/22.
**Blocked:** nothing on my side. The 24 FAIL rows are per-lane findings and the 53 `PASS*` rows are Q62's class, one per owner.
**Next:** re-run `q63_verify_scan.py --emit-baseline` when the next verifier lands — the class has now reopened three times on exactly that omission, and the census is still not a `tools/verify.py` leg.
**Ask:** none. No item opened or closed; the open set is unchanged. Record: `wizard-work/volt/q65-2026-10-25-residual2.md`.
+9 -9
View File
@@ -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-11179 | 58533 | 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-11191 | 63092 | 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 | 165 | Q49 | BULLET+BOLD | BOLD-LEAD |
| Q64 | 10308 | 10308 | 28 | Q45 | BULLET+BOLD | BOLD-LEAD |
| Q65 | 11055 | 11047 | 21 | Q63 | BULLET+BOLD | BOLD-LEAD |
| Q65 | 11055 | 11047 | 22 | 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": 21,
"refs": 22,
"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": 1568220,
"queue_lines": 11179,
"queue_sha256": "cc8d69a98349aecfabb15a3980e04167615e2ee5f58afcbf8d4d3b3509932c72",
"queue_bytes": 1572779,
"queue_lines": 11191,
"queue_sha256": "9e82c96424033b0e5f85af5ef25e1fd97324a3fc4dc496fc1d4659c3a3c5f3b6",
"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": 58533,
"end_line": 11179,
"bytes": 63092,
"end_line": 11191,
"id": "Q63",
"line": 10994,
"lines": 186,
"lines": 198,
"role": "opening",
"role_detail": "",
"status": "open and unclaimed.",
+3 -1
View File
@@ -1,6 +1,6 @@
# Q63 verifier census -- one row per COMMITTED verify_*.py at the rev the
# scan read, class plus the evidence the class rests on.
# rev: 30653c6 (the tree these classes were read at)
# rev: d05d93c (the tree these classes were read at)
# row: <class> TAB <path> TAB <evidence> (three tab-separated columns)
# class gate-run = q65_runner.py executed it and recorded an rc (Q65);
# class wired-invoke = a committed line invokes it (the ref is the evidence);
@@ -48,6 +48,7 @@ gate-run wizard-work/ledger/verify_arxiv_csv.py q65:PASS
gate-run wizard-work/ledger/verify_arxiv_fresh.py q65:PASS
gate-run wizard-work/ledger/verify_catalog.py q65:PASS
wired-invoke wizard-work/ledger/verify_commits_check.py HEAD:wizard-work/ledger/CHECK:8:exec python3 "$OUT/verify_commits_check.py" "$@"
gate-run wizard-work/ledger/verify_gdp.py q65:PASS
gate-run wizard-work/ledger/verify_gitea_repos.py q65:FAIL
gate-run wizard-work/ledger/verify_github_python_repos.py q65:FAIL
declared-one-off wizard-work/ledger/verify_github_repos.py in-file declaration
@@ -107,6 +108,7 @@ wired-invoke wizard-work/sphinx/archive-lc-mm-dossier-2026-10-23/verify_dossier.
gate-run wizard-work/sphinx/archive-memgallery-2026-10-21/verify_claims.py q65:FAIL
gate-run wizard-work/sphinx/archive-memlens-2026-10-22/verify_memlens_archive.py q65:PASS
gate-run wizard-work/sphinx/archive-mm-prm-2026-10-22/verify_mm_prm_archive.py q65:PASS
gate-run wizard-work/sphinx/archive-mmlongcite-2026-10-25/verify_mmlongcite.py q65:PASS
gate-run wizard-work/sphinx/archive-remember-r1-figures-2026-10-23/verify_archive.py q65:FAIL
wired-invoke wizard-work/sphinx/archive-transformer-pdf-modality-2026-10-23/verify_archive.py HEAD:wizard-work/sphinx/archive-transformer-pdf-modality-2026-10-23/CHECK.py:173: p = subproc...
wired-invoke wizard-work/sphinx/figure-locator-llama3-2026-10-24/verify_locators.py HEAD:wizard-work/sphinx/figure-locator-llama3-2026-10-24/run_checks.sh:13:python3 "$DIR/verif...
Can't render this file because it contains an unexpected character in line 50 and column 102.
@@ -0,0 +1,21 @@
# q63 census at WORKTREE (post-change), captured 2026-10-25T07:22:19Z
q63_verify_scan -- rev HEAD
committed verify_*.py : 101 (spark 36 forge 28 ledger 16 sphinx 13 sol 5 null 2 beam 1)
stripped-assert : 0 of 101 (no _check/raise/non-zero exit; -O compiles `assert` away)
wired by name (invoke) : 9 of 101
run by q65_runner : 84 (FAIL 24, PASS 60)
unwired (code-grep) : 8 of 101 (`git grep -F -l <basename> HEAD -- *.py *.sh :(glob)**/CHECK :(glob)**/CHECK.txt *.yml *.yaml`)
unwired, ledger-tolerated : 8 (q63_unwired_baseline.tsv: 8 declared-one-off)
census coverage : 101 of 101 committed verifier(s) carry a ledger row
unwired, NEW (fault) : 0
q63: 0 fault(s)
q63 rc=0
# q65 runner --check
q65_runner -- rev HEAD, 85 population file(s), 85 ledger row(s) [ledger rev d05d93c]
rows at emit : 85 (PASS 61, FAIL 24)
graded (has rc): 85 of 85
graded-clean : 8 of 85 (PASS on a host-independent verifier)
tree audit : 0 unclassed of 101 committed verifier(s)
q65: 0 fault(s)
runner rc=0
@@ -0,0 +1,28 @@
# q63 census at d05d93c (pre-change), captured 2026-10-25T07:22:08Z
q63_verify_scan -- rev HEAD
committed verify_*.py : 101 (spark 36 forge 28 ledger 16 sphinx 13 sol 5 null 2 beam 1)
stripped-assert : 0 of 101 (no _check/raise/non-zero exit; -O compiles `assert` away)
wired by name (invoke) : 9 of 101
run by q65_runner : 83 (FAIL 25, PASS 58)
unwired (code-grep) : 9 of 101 (`git grep -F -l <basename> HEAD -- *.py *.sh :(glob)**/CHECK :(glob)**/CHECK.txt *.yml *.yaml`)
unwired, ledger-tolerated : 8 (q63_unwired_baseline.tsv: 1 NEW-UNWIRED, 8 declared-one-off)
census coverage : 99 of 101 committed verifier(s) carry a ledger row <-- 2 UNCLASSED, invisible to both instruments
unwired, NEW (fault) : 1
NEW_UNWIRED wizard-work/ledger/verify_gdp.py
q63: 1 fault(s)
q63 rc=1
# q65 runner --check at d05d93c
PASS* wizard-work/spark/verify_skills_fixed.py L6:/root/.hermes
PASS* wizard-work/spark/verify_snippets.py L11:/root/troupe-standup
PASS* wizard-work/spark/verify_status.py L7:/root/.hermes
PASS* wizard-work/spark/verify_sum.py L6:/root/.hermes
PASS* wizard-work/spark/verify_wordcount.py L46:/root/.hermes
PASS* wizard-work/sphinx/verify_mm_dossier.py L28:/root/.hermes
content-bound : 1 row(s) not bound to the tree at HEAD (DRIFT/UNBOUND)
tree audit : 2 unclassed of 101 committed verifier(s) <-- named by neither ledger
DRIFT wizard-work/forge/verify_check_lint_classes_dry.py: rc measured against blobs 17a08fe2d2, tree at HEAD has 62082e082a
UNCLASSED wizard-work/ledger/verify_gdp.py: committed verify_*.py at HEAD, in no class row in q63_unwired_baseline.tsv and no ledger row
UNCLASSED wizard-work/sphinx/archive-mmlongcite-2026-10-25/verify_mmlongcite.py: committed verify_*.py at HEAD, in no class row in q63_unwired_baseline.tsv and no ledger row
q65: 3 fault(s)
runner rc=0
@@ -0,0 +1,173 @@
# Q65 residual, cycle 2 — the census is 101 of 101 again, one stale FAIL was re-earned, and the ledger's PASS on the GDP table is a host-pinned pass
volt lane (Workhorse) · 2026-10-25 · measured at `d05d93c` (pre) and in the worktree carrying
this record (post) · readings in `q65-2026-10-25-r4-red.txt` and `q65-2026-10-25-r4-green.txt`
beside this file
## §0 The claim in one paragraph
When Q65 last closed (`8ec7725`, 02:21Z) the census read 93 of 93. It has reopened twice since,
each time because a verifier landed and no ledger row followed it. At `d05d93c` the census read
**99 of 101**: `wizard-work/ledger/verify_gdp.py` (unwired, unrowed, a NEW_UNWIRED fault) and
`wizard-work/sphinx/archive-mmlongcite-2026-10-25/verify_mmlongcite.py` (invoked by its own
`CHECK.sh`, so wired, but unrowed). Both are now graded **by execution** and every figure below
is an rc, not a reading. In the same pass the lane gate reported a third fault the census could
not see: a **DRIFT** row — forge's `verify_check_lint_classes_dry.py` carried a `FAIL` measured
against blob `17a08fe2d2`, while the tree at HEAD has held `62082e082a` since `a70197f`. That row
was re-run and now holds a `PASS` earned on the bytes that exist.
## §1 The state before anything was changed (red)
Captured in a detached worktree at `d05d93c` (`git worktree add --detach`), so the reading is the
committed tree and not my worktree's residue:
```
committed verify_*.py : 101
run by q65_runner : 83 (FAIL 25, PASS 58)
census coverage : 99 of 101 committed verifier(s) carry a ledger row <-- 2 UNCLASSED
unwired, NEW (fault) : 1
NEW_UNWIRED wizard-work/ledger/verify_gdp.py
q63: 1 fault(s) (q63 rc=1)
```
```
q65_runner -- rev HEAD, 83 population file(s), 83 ledger row(s)
content-bound : 1 row(s) not bound to the tree at HEAD (DRIFT/UNBOUND)
tree audit : 2 unclassed of 101 committed verifier(s) <-- named by neither ledger
DRIFT wizard-work/forge/verify_check_lint_classes_dry.py: rc measured against blobs 17a08fe2d2, tree at HEAD has 62082e082a
UNCLASSED wizard-work/ledger/verify_gdp.py
UNCLASSED wizard-work/sphinx/archive-mmlongcite-2026-10-25/verify_mmlongcite.py
q65: 3 fault(s)
```
Three faults, three different instruments: one unwired file (census), two files in no class row
(tree audit), one rc bound to a blob that is not at HEAD (content-bound). None of them is
bookkeeping an operator could wave through — the first two are "nothing notices if this is
deleted", the third is "this verdict is about bytes that no longer exist".
## §2 The census re-read is a pure append, and that is measured, not asserted
`q63_verify_scan.py --repo . --rev HEAD --emit-baseline` was first written to a scratch path and
diffed against the committed `q63_unwired_baseline.tsv`, comments excluded:
```
36a37
> undeclared wizard-work/ledger/verify_gdp.py no invocation, no declaration, no graded run
95a97
> wired-invoke wizard-work/sphinx/archive-mmlongcite-2026-10-25/verify_mmlongcite.py HEAD:.../CHECK.sh:26:if python3 verify_mmlongcit...
```
Two added lines, no row reclassified, no row dropped. That matters because a re-emit is the one
operation that could *launder* a fault: a census that rewrites its own classes can quietly turn a
`NEW_UNWIRED` into a tolerated row. Here the only change is the two files that were actually
invisible. The scan's own arithmetic then read `101 rows: gate-run 83, wired-invoke 9,
declared-one-off 8` before grading, and `gate-run 85, wired-invoke 8, declared-one-off 8` after —
the ledger's `verify_gdp.py` moved `undeclared -> gate-run` by being executed, and the sphinx file
moved `wired-invoke -> gate-run` for the same reason. Nothing was promoted by editing a label.
## §3 The two files, graded by execution
`q65_runner.py --emit --merge --only <path>` — the runner executes the file, records the rc, the
seconds, the git blob id it graded, and a static host-pin probe of the committed blob:
| path | verdict | rc | s | blob | host probe |
|---|---|---|---|---|---|
| `wizard-work/ledger/verify_gdp.py` | PASS | 0 | 0.10 | `ba577cd8ae` | `L3:/root/troupe-standup` |
| `wizard-work/sphinx/archive-mmlongcite-2026-10-25/verify_mmlongcite.py` | PASS | 0 | 2.28 | `c1f03701bf` | — |
**The sphinx row is a graded-clean pass and it survives a negative control.** In the scratch
worktree, one sha256 pin in `manifest.json` was flipped (`flip_pin.py`, key `sha256`), and the
verifier re-run: **rc 1**, `checks run: 39 failures: 1`, `FAILED: sha256 atom.xml == 1b90f676437a…`,
`VERDICT: archive does NOT hold`. So the `PASS 0` is a pass on the archive it names, not a print.
**The ledger row is a host-pinned pass, and the pin is measured in both directions.** In the same
scratch worktree the United States IMF cell of that tree's `gdp_nominal.csv` was rewritten
`32,642,373 -> 1,000`:
- `python3 verify_gdp.py` (no argv, as the runner invokes it) → **rc 0**, `result: PASS`. The row
graded the host's file (`/root/troupe-standup/wizard-work/ledger/gdp_nominal.csv`), not the tree
that ran it.
- `python3 verify_gdp.py "$PWD/gdp_nominal.csv"` (the same corrupted bytes, named explicitly) →
**rc 1**, `result: FAIL`. The checks are real; the *default* is what is pinned.
`verify_gdp.py:3` is `PATH = sys.argv[1] if len(sys.argv) > 1 else '/root/troupe-standup/wizard-work/ledger/gdp_nominal.csv'`.
One line — `os.path.join(os.path.dirname(os.path.abspath(__file__)), 'gdp_nominal.csv')` — and the
row stops being a `PASS*`. That line is **the ledger lane's to take**; it is not edited here. Until
then the row is a row, a verdict, and not coverage of the tree, which is exactly what the `PASS*`
column exists to say.
## §4 The DRIFT row: a FAIL that had outlived its bytes
`q65_runner_baseline.tsv` carried
`undeclared wizard-work/forge/verify_check_lint_classes_dry.py FAIL 1 0.39 17a08fe2d230…`.
That blob is `4f76eaa:` — the commit that added the verifier. `a70197f` pinned `ORIG_REF` to the
pre-refactor blob and repaired the vacuous equivalence, changing the file to `62082e082a…`;
`git rev-parse HEAD:wizard-work/forge/verify_check_lint_classes_dry.py` and `git hash-object` of the
worktree both return `62082e082a0472546b415219a9180836ac88908b`, and `git diff --stat a70197f..HEAD`
for that path is empty. The ledger's `FAIL` therefore described a file that has not existed at HEAD
for several commits — a held-open finding that had already been fixed, which is the mirror image of
the defect the blob column was added to prevent.
Re-earned by execution at `d05d93c`:
```
PASS 0.53s wizard-work/forge/verify_check_lint_classes_dry.py
row: gate-run .../verify_check_lint_classes_dry.py PASS 0 0.53 62082e082a0472546b415219a9180836ac88908b L44:/root/troupe-standup
```
That row remains `PASS*` (host-pinned at `:44`) and so does not enter `graded-clean`. It is honest
either way: the pin is real, and the verdict now belongs to the bytes under it.
## §5 The state after (green)
```
committed verify_*.py : 101 (spark 36 forge 28 ledger 16 sphinx 13 sol 5 null 2 beam 1)
run by q65_runner : 84 (FAIL 24, PASS 60)
census coverage : 101 of 101 committed verifier(s) carry a ledger row
unwired, NEW (fault) : 0
q63: 0 fault(s) (q63 rc=0)
q65_runner -- rev HEAD, 85 population file(s), 85 ledger row(s)
rows at emit : 85 (PASS 61, FAIL 24)
graded (has rc): 85 of 85
graded-clean : 8 of 85 (PASS on a host-independent verifier)
tree audit : 0 unclassed of 101 committed verifier(s)
q65: 0 fault(s)
```
`bash wizard-work/volt/CHECK` → `CHECK PASS: census covers every committed verifier; runner ledger
grades clean.`, rc **0**, selftest **22 of 22**. Ledger movement: rows 83 → **85**, PASS 58 → **61**
(three: the two new files and the re-earned forge row), FAIL 25 → **24**, `PASS*` 53 of 61 PASS
rows, `graded-clean` **8 of 85** (was 7 of 83).
## §6 Two display caveats, stated so the next reader does not re-derive them
1. **The ledger's `# rev:` line is the last emit's rev, not every row's.** Rows here were measured
at `30653c6` (83 of them) and `d05d93c` (2 plus the re-earned one); the header reads `d05d93c`.
The binding guarantee is not that line — it is column 7, the blob id per row, which `--check`
recomputes at its own `--rev`. A reader who wants "when was this rc taken" must read the blob,
not the header. Recorded, not fixed: changing the header's meaning would break every ledger
read that pins it.
2. **The runner ledger's `class` column is historical.** It says `undeclared` for all 83 rows that
were emitted under that class; the *current* classification is `q63_unwired_baseline.tsv`,
re-emitted at `d05d93c` with 85 `gate-run`. The column records where a row came from at emit
time, and it is not refreshed by `--merge`. No gate reads it as current (`--check` reads the
q63 ledger and the tree), so this is cosmetic — but it reads wrong at a glance.
## §7 What stays open, and whose
- **24 FAIL rows.** Per-lane findings held open in the ledger, unchanged in kind from reply 93.
A FAIL is the file's claim being false at this tree; the runner's job is to make it visible, not
to make it untrue.
- **53 `PASS*` rows (host-pinned).** Q62's class, one per owning lane. This tick added one
(`verify_gdp.py`) and measured its remedy to the line (§3), which is more than a row.
- **`path-claims` is still red, and it is not this item's.** `tools/verify.py --repo .` at this tree
reads 8 legs / 7 pass / 1 fault: two missing paths off forge's
`SMELL_CHECK_MONOTONIC_REFACTOR_VERIFICATION.md:95-96` (the leading-underscore pair) and their
copies in the append-sanctioned record. Adjudicated at `a259960`; unchanged here.
- **No `tools/verify.py` leg runs this census.** Q65's closure recorded that hole; it remains the
operator's call (reply 93 §4) and is not re-argued. The reason it matters is §0: the census
reopened twice in two days and nothing red outside this lane's own `CHECK` noticed either time.
Nothing from `inbox/` is quoted. No other lane's file was edited: the two changed files are
`wizard-work/volt/q63_unwired_baseline.tsv` and `wizard-work/volt/q65_runner_baseline.tsv`.
+4 -2
View File
@@ -17,10 +17,10 @@
# non-docstring string constant naming an absolute host root. Such a row
# is printed PASS* and excluded from the graded-clean figure.
# Regenerate: q65_runner.py --emit
# rev: 30653c6 rows: 83 emitted: q65_runner.py
# rev: d05d93c rows: 85 emitted: q65_runner.py
undeclared wizard-work/forge/verify_append_only_owners_dry_refactor.py PASS 0 0.32 0f650718d98bf28f07be134d49803cc902bf96b7 L41:/root/troupe-standup
undeclared wizard-work/forge/verify_census_row_delta_exit_contract.py PASS 0 1.23 6afe76a665fa32fbcb56cd0c40329b5fe32bfc98 L31:/root/troupe-standup
undeclared wizard-work/forge/verify_check_lint_classes_dry.py FAIL 1 0.39 17a08fe2d230a30614a7835186bd8e9bec4f8f76 L44:/root/troupe-standup
gate-run wizard-work/forge/verify_check_lint_classes_dry.py PASS 0 0.53 62082e082a0472546b415219a9180836ac88908b L44:/root/troupe-standup
undeclared wizard-work/forge/verify_check_lint_dry_refactor.py FAIL 1 1.34 06a5c66c3f319d2fa7b4d9e2f73a2eafa7a99cad L78:/root/troupe-standup
undeclared wizard-work/forge/verify_checkin_check_dry_refactor.py PASS 0 0.43 d8ba2b221b80365165eb3cace77d1764651d4fba L39:/root/troupe-standup
undeclared wizard-work/forge/verify_chunker_refactor.py PASS 0 0.11 c3c7b5631f4a572c7a630269c0b3ec06e32792fc
@@ -49,6 +49,7 @@ undeclared wizard-work/ledger/verify_arxiv_csai_fresh.py PASS 0 0.19 1a5acdde62
undeclared wizard-work/ledger/verify_arxiv_csv.py PASS 0 0.10 cc898af42ea87515111ee0f15fa2f2818382befd L24:/root/troupe-standup
undeclared wizard-work/ledger/verify_arxiv_fresh.py PASS 0 0.09 8c6eb40bcf4d5127f60e9f9b7041c0b63064db8c
undeclared wizard-work/ledger/verify_catalog.py PASS 0 0.08 d08c5d389ece6b9906a7315849dfe83f99f28f41 L13:/root/.hermes
undeclared wizard-work/ledger/verify_gdp.py PASS 0 0.10 ba577cd8ae0502f57bfd7b8a7dadd8ef54455dbd L3:/root/troupe-standup
undeclared wizard-work/ledger/verify_gitea_repos.py FAIL 1 0.23 73ef858149be5fd7e9ec58056435c3bd31f9419c L16:/root/.hermes
undeclared wizard-work/ledger/verify_github_python_repos.py FAIL 1 3.35 6956aa9c1560e8b6bf85f239eb5da663797d0a70
undeclared wizard-work/ledger/verify_issues.py PASS 0 0.09 176fd33f05223aaaf789608b662c3d253f685422 L15:/root/.hermes
@@ -99,5 +100,6 @@ undeclared wizard-work/sphinx/archive-index-2026-10-23/verify_index.py FAIL 1 19
undeclared wizard-work/sphinx/archive-memgallery-2026-10-21/verify_claims.py FAIL 1 0.19 22ba0b4bbdca3180a136ef1e0fac538622e5db0d
undeclared wizard-work/sphinx/archive-memlens-2026-10-22/verify_memlens_archive.py PASS 0 0.22 39a5552b850096a4baf26b6bf0bad28db2db1008
undeclared wizard-work/sphinx/archive-mm-prm-2026-10-22/verify_mm_prm_archive.py PASS 0 0.21 534af05a12fa9d3285384bae57bce527ed033425
wired-invoke wizard-work/sphinx/archive-mmlongcite-2026-10-25/verify_mmlongcite.py PASS 0 2.28 c1f03701bf9af0018e7aac9a567255dd8218488d
undeclared wizard-work/sphinx/archive-remember-r1-figures-2026-10-23/verify_archive.py FAIL 1 837.56 bed5df5c4a24c961a3c2bb564b299444a22d5189
undeclared wizard-work/sphinx/verify_mm_dossier.py PASS 0 4.30 4b015581816de5472d11577d661ce4e97f38773a L28:/root/.hermes
1 # Q65 runner ledger -- one row per committed verify_*.py the runner
17 # non-docstring string constant naming an absolute host root. Such a row
18 # is printed PASS* and excluded from the graded-clean figure.
19 # Regenerate: q65_runner.py --emit
20 # rev: 30653c6 rows: 83 emitted: q65_runner.py # rev: d05d93c rows: 85 emitted: q65_runner.py
21 undeclared
22 undeclared
23 undeclared gate-run
24 undeclared
25 undeclared
26 undeclared
49 undeclared
50 undeclared
51 undeclared
52 undeclared
53 undeclared
54 undeclared
55 undeclared
100 undeclared
101 undeclared
102 undeclared
103 wired-invoke
104 undeclared
105 undeclared