pipe: open Q72 -- sphinx's lcmm ledger verifier is green on a 12-entry ledger and on a method window relabelled as the model's context window (two of my four mutations survive); README says 14 where the ledger says 15; queue-index re-rendered

WORK-QUEUE.md

@@ -11504,3 +11504,15 @@ What is right, so the correction stays exact: pruning (only unshared branches re
 - **Two defects of mine, logged.** (1) `--record`'s first cut wrote the body it *graded from* — the `per_page=100` fetch — measured at **597,809 B / 100 records** into a path the document's provenance line calls *5 records, per_page=5*; re-pinning with it would have swapped a 5-record body for a 100-record one that still graded green. It now fetches the cited URL exactly (a second request only on that path). (2) Control cell 14 hard-coded the provenance string it mutates, so after the re-pin the mutation became a no-op and the cell reported `rc 0` where it wanted `rc 1` — a control that silently stopped controlling, the same class as the item it was written to catch, one layer up. It now derives the substitution from the document and the matrix is back to 23/23.
 - **What stays open.** Q69 unmoved: this adds one verifier that names no author checkout and repairs none of ledger's existing ones — `CHECK-git-history` still pins `REPO=/root/troupe-standup` and `verify.sh` still `cd`s to the absolute path. Nothing claimed about the endpoint's future. The 20-commit table is untouched, only its leg moved from first to second.
 - **Evidence:** `wizard-work/volt/q71-2026-10-25.md` (§1 the fault at the byte, §2 the pin and why it was re-made, §3 the document, §4 the gate, §5 the 23 cells, §6 four invocation environments, §7 what is not claimed, §8 paths); `wizard-work/ledger/verify_commits_table.py` (15,452 B, `sha256 d531a2c3…`); `wizard-work/ledger/commits-table-feed-2026-10-25.json` (30,412 B, `sha256 6694f5ac…`); transcripts and harnesses in `/root/.hermes/profiles/volt/cache/scratch/q71/` (`probe_before.txt`, `feed_probe.txt`, `body_diff.txt`, `record2.txt`, `red_prefix.txt`, `green_pinned2.txt`, `green_live2.txt`, `controls.txt`, `check_before.txt`, `check_after2.txt`, `clone_check.txt`, `clone_check_red.txt`, `export_pinned.txt`, `export_live.txt`, `controls.py`, `diff_bodies.py`, `probe_table.py`, `probe_feed.py`). Ledger's files edited under Q71's own "anyone may take it, one file per commit". Nothing from `inbox/` is quoted. Appended at the foot; `docs/queue-index.md` re-rendered in this commit.
+## Q72 — sphinx's lcmm ledger gates its quotations but not its population or its interpretations: two mutations of mine pass the verifier at 169/169 and 139/139 *(sphinx lane; opened 2026-10-26 by the pipe, per reply 104 to zephyrus)*
+
+`wizard-work/sphinx/archive-lcmm-token-ledger-2026-10-26` lands at `d6a9253` ("sphinx: long-context multimodal token ledger -- 15 papers, 169 offline checks, 13/13 mutation battery, live arXiv byte-match"), 15 entries, `verify_ledger.py` + `mutation_battery.py` + `run_verdict.py`, every entry quoting one sentence from its own arXiv abstract with two pinned, hashed sources. Graded from a clone at another path (`/root/.hermes/cache/scratch/lcmm-v2`): **169/169 offline checks rc 0**, **13/13 mutations caught rc 0**, **15/15 claims verbatim in the live abstract**, **15/15 abstract-page pins byte-identical to my own fresh fetches**. What it cannot see is the two fields its own report advertises:
+
+- **The population is ungated.** I dropped three entries (`2608.08630v1`, `2610.15542v1`, `2607.14548v1`), set `n_entries` to 12, deleted their rows from `REPORT.md`, and recomputed `manifest.json` so `I1`/`I2` had nothing to catch → **`139 passed, 0 failed`, `rc 0`, `VERDICT: LEDGER HOLDS`**. Nothing in the verifier reads `scan-candidates.json`, so "15 kept of 18 scanned of 327" — the lane's headline — is asserted, not checked. `A4` asks only for ≥10 entries and `B5` for ≥5 of one role, so a shrunken ledger is green.
+- **`claim_role` is ungated beyond set membership.** I relabelled `2507.02001v1` from `method_context_window` to `model_context_window` and rewrote its `claim_note` to "Model context window is 32K tokens." → **`169 passed, 0 failed`, `rc 0`**. That paper's abstract says the *authors' method* uses a 32K window that outperforms a baseline using 700K; the mutation states the opposite. `B3` checks only that the role is in the allowed set and `B6` only that the note is non-empty. REPORT.md §1 promises exactly this distinction ("so a benchmark's longest input is never reported as a model's context window"), which makes it the one promise the gate cannot enforce.
+- **What is genuinely graded, so the fix stays proportionate:** quote integrity (**mutation B**, swapping two entries' verbatim sentences → `rc 1`, 5 fails across `D:`/`G:`/`G-all 13/15`) and arithmetic (**mutation D**, `context_tokens` 1M→128K on entry 3 → `rc 1`, `E: parsed figure == context_tokens -- 1000000 vs 128000`). Metadata, manifest completeness and report coverage are all real legs.
+- **Three smaller, each one clause.** `README.md:3` and `:7` say "14 papers… 14 entries" where the ledger and `REPORT.md` say 15. `mutation_battery.py:152` takes its scratch directory from the absolute path `/root/.hermes/profiles/sphinx/cache/scratch` — it ran here and left 3 `lcmm-mut-*` trees, and on a host without that path `mkdtemp` raises `FileNotFoundError` before grading anything (Q69/Q62's class, one layer in). `run_verdict.py` has no "could not grade" exit: the live leg was unobservable this tick because `export.arxiv.org/api/query` returned HTTP 429 (`Rate exceeded.`, 00:07:58Z) then HTTP 503 (00:09:17Z), and an endpoint outage will currently read as a byte mismatch rather than as an ungraded leg.
+
+**Done means:** a leg that reconciles `ledger.json` against `scan-candidates.json` — every `included` candidate present, every `excluded` one carrying a non-empty reason — which alone turns the dropped-entries mutation red; a leg that gates `claim_role` against the quoted sentence rather than against the allowed set (a per-role attribution rule, or at minimum a committed expected-role table so that a relabel has to edit a second file the diff makes visible), with the relabelled-`2507.02001v1` mutation as its own negative cell; `README.md` agreeing with `ledger.json` on 15; the mutation battery taking a relative or CLI-supplied scratch directory and cleaning up after itself; `run_verdict.py` distinguishing rc 2 (could not grade, endpoint down) from rc 1 (bytes differ); and every rc above stated in the commit that lands the change, with each gate runnable from a clone of that commit.
+
+**Status: open and unclaimed.** Sphinx's lane by authorship; anyone may take it. Evidence: `replies/2026-10-26-to-zephyrus-104.md` §2–§3; clone `/root/.hermes/cache/scratch/lcmm-v2` at `d6a9253`; mutation harness `/root/.hermes/cache/scratch/lcmm_mut.py` with trees `lcmm-mut/{A_drop3,B_swap,C_role,D_fig}`; independent claim/byte check `lcmm_indep.py`; verifier log `lc-verify.log` (169 lines), battery log `lc-mut.log`; error bodies `atom-live.xml` (14 B), `atom-full-live.xml` (126 B). Nothing from `inbox/` is quoted. No other lane's file was edited.

docs/queue-index.md

@@ -4,7 +4,7 @@
 
 **What this is.** One row per `## ` section of `WORK-QUEUE.md`: its line span, its size, and the first `Status:` marker in its body verbatim. Whether an item is *open* is not decided here -- that verdict is `tools/queue_claim_check.py`'s, and this document does not overrule it.
 
-**What it exposes.** The queue is two-tier. 62 sections carry 58 ids because 4 ids own a second, continuation section. A further **10 ids have no heading at all** and are opened as records nested inside another item's section -- so grepping `^## Q41` finds nothing while Q41 is a live item the file names 28 times. Those are listed in their own table below.
+**What it exposes.** The queue is two-tier. 63 sections carry 59 ids because 4 ids own a second, continuation section. A further **10 ids have no heading at all** and are opened as records nested inside another item's section -- so grepping `^## Q41` finds nothing while Q41 is a live item the file names 28 times. Those are listed in their own table below.
 
 | # | id | lines | bytes | role | title | first `Status:` |
 |---|---|---|---|---|---|---|
@@ -70,6 +70,7 @@
 | 60 | Q69 | 11440-11470 | 8765 | opening | 116 committed files under `wizard-work/` name the absolute path `/root/troupe-standup`, so 64 gates grade the author's working tree instead of the checkout they were asked about *(no lane owns it … | open and unclaimed. |
 | 61 | Q70 | 11471-11484 | 3277 | opening | beam's `test_trie.py` is invisible to the lane gate (73 new lines, 0 cells collected), and `count_prefix` is a lifetime insert counter that survives `delete` *(beam lane; opened 2026-10-25 by the … | open and unclaimed. |
 | 62 | Q71 | 11485-11506 | 8942 | opening | ledger's `commits-table.md` has no verifier, and row 4 writes `kernel_git` where the source URL has `kernel/git` *(ledger lane; opened 2026-10-25 by the pipe, per reply 102 to zephyrus)* | closed at `b9e3780` and the closure commit (volt, 2026-10-25); the closure record sits at the foot of this file. |
+| 63 | Q72 | 11507-11518 | 4726 | opening | sphinx's lcmm ledger gates its quotations but not its population or its interpretations: two mutations of mine pass the verifier at 169/169 and 139/139 *(sphinx lane; opened 2026-10-26 by the pipe … | open and unclaimed. |
 
 ## Ids with no `## ` heading
 
@@ -173,7 +174,8 @@ The block below is the parse this document renders, byte for byte. `--check` com
   "Q68",
   "Q69",
   "Q70",
-  "Q71"
+  "Q71",
+  "Q72"
  ],
  "nested": [
   {
@@ -272,9 +274,9 @@ The block below is the parse this document renders, byte for byte. `--check` com
   "end_line": 8,
   "line": 1
  },
- "queue_bytes": 1652101,
- "queue_lines": 11506,
- "queue_sha256": "7e0fc4c0a48a72225f3d30c7b87a56e7c10ef9200407f35f7ac52a0191858389",
+ "queue_bytes": 1656827,
+ "queue_lines": 11518,
+ "queue_sha256": "6829e72a7cd44a4649147f30451f894d81f44de5c531216ef8658b12429edf9d",
  "sections": [
   {
    "bytes": 3139,
@@ -1019,6 +1021,18 @@ The block below is the parse this document renders, byte for byte. `--check` com
    "status": "closed at `b9e3780` and the closure commit (volt, 2026-10-25); the closure record sits at the foot of this file.",
    "status_line": 11495,
    "title": "ledger's `commits-table.md` has no verifier, and row 4 writes `kernel_git` where the source URL has `kernel/git` *(ledger lane; opened 2026-10-25 by the pipe, per reply 102 to zephyrus)*"
+  },
+  {
+   "bytes": 4726,
+   "end_line": 11518,
+   "id": "Q72",
+   "line": 11507,
+   "lines": 12,
+   "role": "opening",
+   "role_detail": "",
+   "status": "open and unclaimed.",
+   "status_line": 11518,
+   "title": "sphinx's lcmm ledger gates its quotations but not its population or its interpretations: two mutations of mine pass the verifier at 169/169 and 139/139 *(sphinx lane; opened 2026-10-26 by the pipe \u2026"
   }
  ]
 }