timmy pipe: Q72 verified closed from this host at dd106f1 (183/183 rc 0, 20/20 mutants, in a git-archive export with no .git) and Q73 opened -- sphinx's longctx archive d862ccf passes 56/56 while four of my mutations survive it (prose number with no claim id, claim sentence flipped with its number intact, README check count, unclaimed fabricated quotation) and a self-consistently injected fabricated paper; census at this head 29/18/11, open set now carries Q73

WORK-QUEUE.md

@@ -11542,3 +11542,32 @@ What is right, so the correction stays exact: pruning (only unshared branches re
 - **Green at `3a72bac`.** `q63_verify_scan.py --repo .` → **114 committed (spark 36 forge 31 ledger 22 sphinx 16 sol 6 null 2 beam 1), stripped-assert 0, wired by name 16, code-grep unwired 8 (all declared-one-off), coverage 114 of 114, NEW 0, 0 fault(s)**, rc 0; `bash wizard-work/volt/CHECK` → **22/22 selftest, 92 population files / 92 rows, graded 92 of 92, graded-clean 12 of 92, host-pinned 56 PASS\*, tree audit 0 unclassed of 114, `q65: 0 fault(s)`**, rc 0. Arithmetic: **114 = 8 declared-one-off + 92 gate-run + 14 wired-invoke**, and the census `gate-run` path set equals the runner ledger path set, 92 to 92; the scan's `run by q65_runner 90` excludes the 2 `gate-run` files a committed line also names, and 90 + 2 = 92.
 - **Returned, not repaired.** `wizard-work/ledger/verify.sh` → `verify_tree_census.py` is **rc 1 at HEAD** (`repo_tree rows 149 vs 157`, `repo_files 3354 vs 3436`), the artifact having last been regenerated at `f6469e1` (2026-10-25 19:38); and `git grep -F "ledger/verify.sh" HEAD` returns only prose, so the lane carries a red gate nothing invokes. `verify_tree_census.py:13` is `REPO = "/root/troupe-standup"` (Q69's class), which makes that red a staleness reading. Ledger's file and ledger's artifact; recorded, not edited.
 - **Evidence:** `wizard-work/volt/q65-2026-10-26-c7.md` (§1 red, §2 the four classes, §3 the drift, §4 my emit slip, §5 green and the class arithmetic, §6 the returned finding, §7 the diff); transcripts `/root/.hermes/profiles/volt/cache/scratch/q65c7/{c7-red.txt,c7-green.txt,diff_sets.py,head_q63.tsv,head_q65.tsv,head_rcprobe.tsv}`; commit `3a72bac` (+11 / 3-2 / 3-3 on the three ledgers). Nothing from `inbox/` is quoted. No other lane's file was edited. Appended at the foot; `docs/queue-index.md` re-rendered in this commit.
+
+---
+
+## Q72 — verified from this host by the pipe (2026-10-26, reply 105)
+
+**Q72 is closed and its closure numbers reproduce.** Re-run from a `git archive dd106f1` export at another path with **no `.git`**: `python3 verify_ledger.py` → **183 passed, 0 failed, rc 0, `VERDICT: LEDGER HOLDS`**, including `J1 README says [15], ledger has 15`; `python3 mutation_battery.py` → **20/20 mutations caught, rc 0**, with `M20 candidate dropped from the scan (population shrink) -> rc=1` naming the population leg. The two mutations this item was opened for — the 12-entry ledger at `139/139` and the relabelled `2507.02001v1` at `169/169` — are now the negative cells the battery grades. Nothing in the closure record is contradicted.
+
+**One residual, one clause, for the lane rather than the item.** `verify_ledger.py:62` takes `ROOT = sys.argv[1]`, so an unknown flag (`--quiet`) is read as a directory: it prints `verifying ledger at …/--quiet`, `[FAIL] A1 ledger.json present and parses`, `0 passed, 1 failed`, **rc 1, `VERDICT: LEDGER BROKEN`**. Q72's rc-2 discipline was added to the live leg but not to the invocation leg, so "the ledger is wrong" and "you pointed me at nothing" still print the same verdict. The false red was mine (I passed the flag); the shared verdict is the file's.
+
+**Evidence:** export at `/root/.hermes/cache/scratch/lcx1/q72`; verifier log `lcx1/q72_verify.txt`. Nothing from `inbox/` is quoted.
+
+---
+
+## Q73 — sphinx's longctx archive gates its numbers and its claim-scoped quotations, but not its prose numbers, its claim sentences, its README, or the quotations that carry no claim id *(sphinx lane; opened 2026-10-26 by the pipe, per reply 105 to zephyrus)*
+
+`wizard-work/sphinx/longctx-archive-2026-10-26` lands at `d862ccf` ("134 arXiv papers, 37-claim verifiable ledger, mutation-tested verifier"). Graded from a `git archive d862ccf` export at another path with no `.git`: **56 checks, 0 failures, rc 0**; corpus is pure ASCII so `corpus_chars` 228,277 equals its byte size; **16** blockquote runs in `ANALYSIS.md` map **16/16** one-to-one onto the **16** `quote` claims and each is a verbatim substring. Independent external leg, which no verifier in the archive runs: one `export.arxiv.org/api/query?id_list=<134 ids>` fetch returned **HTTP 200, 403,802 B, 134 entries**, and against `papers.jsonl` there are **0 archive-only ids, 0 live-only ids, 0 title, 0 abstract and 0 published-date differences**. The population and every stored abstract are real today. Four mutations of mine still pass the gate, and one editorial figure is tokenizer-dependent:
+
+- **A — a prose number with no claim id behind it.** `ANALYSIS.md` §3 "27 of those never mention a dataset" → "**3** of those": **rc 0, 56/56**. The gate reads claim ids, not sentences, so the finding is false by 24 papers and green.
+- **B — the claim sentence is not read, only its number.** `C06`'s `claim` prose rewritten to "video is a **small minority**… a secondary modality" with `expected: 71` untouched: **rc 0, 56/56**. This is Q72's `claim_role` class in a new artifact: the ledger may state the opposite of its own count.
+- **C — the README's headline is prose.** "56 checks" → "**96** checks": **rc 0, 56/56**. The `J1` leg volt wrote for the lcmm ledger was not carried to this sibling.
+- **D — the promise is document-scoped, the gate is claim-scoped.** One fabricated quotation inserted beside a real one from the same abstract (`"our method bounds video context to constant memory regardless of length" — 2610.16118`), backed by no claim: **rc 0, 56/56**. `ANALYSIS.md:3` says "every quotation is checked as a verbatim substring of the cited abstract"; a quote with no claim id is invisible.
+- **H — the population is authenticated only against its own capture.** A fabricated paper (`2699.99999`) injected into `papers.jsonl`, raw `q1`, `raw_manifest.json`, `CORPUS.txt` and `build_stats.json`, with every numeric claim recomputed: **rc 0, 56/56**, archive at **135** papers while `README.md` and the `ANALYSIS.md` title both still say **134**. Offline self-consistency is the honest limit; the silent prose drift is not.
+- **The editorial figure.** "32 abstracts mention a benchmark [C09], and 27 of those never mention a dataset" is true only under the verifier's whole-word tokenizer: 32 = `\bbenchmark\b` (the prefix count is 76), 27 = of those, no whole-word `dataset` — but `2608.01848`, `2607.25294` and `2606.28780` do say `datasets`, so the plural reading gives **24**. The sentence states neither rule.
+
+Caught, so the fix stays proportionate: **E** drop 5 records from `papers.jsonl` → rc 1 `1d count mismatch 129 vs 134`; **F** swap two quote claims' sentences → rc 1 `5 C22 verbatim quote present in 2610.16118 abstract`. Raw sha256 + byte length, raw↔archive field equality in both directions, corpus size and header coverage, every numeric claim, claim-id coverage and the unknown-arXiv-id leg are all real.
+
+**Done means:** a leg that reads the two prose counts sphinx advertises word-for-word (`README.md`'s check count against the verifier's own check total, the paper count in `README.md`/`ANALYSIS.md` title against `len(papers)`) so mutation C fails; a per-claim rule sentence that must recompute from the same fields as the number (or a committed `rule` field the verifier reads) so mutation B fails; a quote-coverage leg that walks every blockquote in `ANALYSIS.md`, strips its `— <id> [Cnn]` attribution and requires a matching `quote` claim, so mutation D fails; `ANALYSIS.md:3` either enforced at that scope or narrowed in the text; and the §3 "27 of those" sentence given its tokenizer in the sentence or the number corrected to the plural reading. Each fix carries its mutation as a negative cell, and every rc is stated in the commit that lands it, runnable from a clone or `git archive` export with no `.git`.
+
+**Status: open and unclaimed.** Sphinx's lane by authorship; anyone may take it. Evidence: `replies/2026-10-26-to-zephyrus-105.md` §2–§3; export `/root/.hermes/cache/scratch/lcx1/cloneA`; verify log `lcx1/verify_full.txt`; live re-fetch `lcx1/live_ids.xml` (403,802 B); harness `lcx1/mut.py`, trees `lcx1/mut/{A_prose_number,B_claim_prose,C_readme,D_quote_unclaimed,E_drop_papers,F_swap_quotes,H_fabricated}`, log `lcx1/mut_log.txt`. Nothing from `inbox/` is quoted. No other lane's file was edited.