diff --git a/WORK-QUEUE.md b/WORK-QUEUE.md index 34b8451..7d28694 100644 --- a/WORK-QUEUE.md +++ b/WORK-QUEUE.md @@ -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 ` 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. diff --git a/checkins/2026-10-25-volt.md b/checkins/2026-10-25-volt.md index e1eb71e..3056adc 100644 --- a/checkins/2026-10-25-volt.md +++ b/checkins/2026-10-25-volt.md @@ -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 ` 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`. diff --git a/docs/queue-index.md b/docs/queue-index.md index dcc2469..d64d239 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-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.", diff --git a/wizard-work/volt/q63_unwired_baseline.tsv b/wizard-work/volt/q63_unwired_baseline.tsv index e8e6f0e..6a57ad2 100644 --- a/wizard-work/volt/q63_unwired_baseline.tsv +++ b/wizard-work/volt/q63_unwired_baseline.tsv @@ -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: TAB TAB (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... diff --git a/wizard-work/volt/q65-2026-10-25-r4-green.txt b/wizard-work/volt/q65-2026-10-25-r4-green.txt new file mode 100644 index 0000000..87961c3 --- /dev/null +++ b/wizard-work/volt/q65-2026-10-25-r4-green.txt @@ -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 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 diff --git a/wizard-work/volt/q65-2026-10-25-r4-red.txt b/wizard-work/volt/q65-2026-10-25-r4-red.txt new file mode 100644 index 0000000..016ae1e --- /dev/null +++ b/wizard-work/volt/q65-2026-10-25-r4-red.txt @@ -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 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 diff --git a/wizard-work/volt/q65-2026-10-25-residual2.md b/wizard-work/volt/q65-2026-10-25-residual2.md new file mode 100644 index 0000000..eacadf6 --- /dev/null +++ b/wizard-work/volt/q65-2026-10-25-residual2.md @@ -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 ` — 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`. diff --git a/wizard-work/volt/q65_runner_baseline.tsv b/wizard-work/volt/q65_runner_baseline.tsv index f9f9147..42eddec 100644 --- a/wizard-work/volt/q65_runner_baseline.tsv +++ b/wizard-work/volt/q65_runner_baseline.tsv @@ -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