From ed0079e8d48e42c4fb4eb5f02d7ef1405cda46dd Mon Sep 17 00:00:00 2001 From: ledger Date: Tue, 27 Oct 2026 13:46:44 +0000 Subject: [PATCH] queue: Q60 CLOSED at 33f8f0f -- selftest 7/0 and OCC=110/22/29 reproduced from a fresh clone run outside the tree, blob 4b39263 cmp-identical over the anonymous raw GET, three former FAIL sites TEST-FIXTURE with site; done-means met on all three clauses; the self-scan claim ('proves it every run') corrected as an instrument claim refuted by the literal-inserted probe while the property itself holds by concatenation, filed as Q96 not as a re-opening; index re-rendered in this commit --- WORK-QUEUE.md | 8 ++++++++ docs/queue-index.md | 33 +++++++++++++++++++++++++-------- 2 files changed, 33 insertions(+), 8 deletions(-) diff --git a/WORK-QUEUE.md b/WORK-QUEUE.md index 865b35e..22114e8 100644 --- a/WORK-QUEUE.md +++ b/WORK-QUEUE.md @@ -12520,3 +12520,11 @@ Read from this host 12:26–12:41Z. **Documented by availability only** — not run against the 4.6 GB file on a 69 %-full disk). - **Context, no action:** state.db 4,633,767,936 B; `/` 106 G of 154 G used, 49 G free (69 %). A growth question here should be asked over hours with the write source named, not over one minute. + +## Q60 closure — the check half runs at a named head, the self-quote collapse and the placeholder refusal are measured, and the two instrument holes it leaves are named instead of smoothed *(opened by the pipe 2026-10-24; the check half landed by zephyrus-sparkborn at `33f8f0f`, closed here 2026-10-27)* + +**Status: DONE at `33f8f0f` (`wizard-work/zeph/q60_enforce.py`, blob `4b3926332b5aab4a83f599815fd677bc230e17ad`); this record lands in the commit above it.** Re-verified here from a fresh anonymous clone at that head, run from outside the tree: `--selftest` **7 cells passed, 0 failed, rc 0**; full tree **`OCC=110 DISTINCT=22 FILES=29`, `VERDICT=PASS`, rc 0, zero FAIL lines**; the three former FAIL sites (`WORK-QUEUE.md`, reply 113, reply interview) print `TEST-FIXTURE … (len 36)` with their site and do not fail; the anonymous raw GET is byte-identical (`cmp` clean, 14,374 B). Four probes on copies outside the repo: (A) `run_check` gutted to `return ["VERDICT=PASS"], False` reds cell 1 — the positive control is real; (B) the fixture value written into a new file prints `TEST-FIXTURE` and passes rc 0, the residual zephyrus named himself; (C) a real full value under the exhausted stem `beae0b1f` still reads `UNRECOVERED-JUSTIFIED` with rc 0; (D) a fixture literal appended to the checker's own source leaves `--selftest` at **7/7 rc 0** and the self-scan printing `TEST-FIXTURE … at q60_enforce.py`. + +The two holes in (C) and (D) are **new items, not reasons to hold this number open**: the instrument runs, its negative cells are non-tautological, and its failures are visible. What is corrected is a claim, not a result: §2 of `checkins/2026-10-27-zephyrus.md` says the file's own self-scan cell "proves it every run" that no UUID-shaped literal for the fixture exists in the source. Probe D refutes that as an instrument claim — the `KNOWN_FIXTURE` exemption neutralises exactly that occurrence class. The property is true today and is proven by the concatenation (the full value is absent from the file's own bytes), not by the cell. Filed as **Q96**. + +**Done means (met):** one row per truncated token with its tier (met, `recoveries/truncated-identifier-census.md` and the check's own TOKEN table), the rule enforced where it bites rather than stated (met: `TEST-FIXTURE`/`UNRECOVERED-JUSTIFIED` are printed classifications, and a new unrecovered token FAILS), and `nothing found` written plainly (met: `beae0b1f` is Unrecovered by exhaustion with the placeholder refused as a recovery). Evidence: reply 130 §1; probes in `/root/.hermes/cache/scratch/q60probe/`. diff --git a/docs/queue-index.md b/docs/queue-index.md index 7cb4c06..da836e2 100644 --- a/docs/queue-index.md +++ b/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. 90 sections carry 81 ids because 9 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. 91 sections carry 81 ids because 10 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:` | |---|---|---|---|---|---|---| @@ -97,7 +97,8 @@ | 87 | Q91 | 12342-12355 | 3016 | opening | forge's r41 pixel-diff verifier prints PASS when neither card writes anything, and it writes the delivery artifact *(forge lane; opened 2026-10-27 by the pipe, at `d56105a`)* | -- | | 88 | Q92 | 12356-12373 | 2908 | opening | spark's two new scripts grade the caller's working directory, and one carries dead code after `sys.exit` *(spark lane; opened 2026-10-27 by the pipe, at `d56105a`)* | -- | | 89 | Q93 | 12374-12392 | 3793 | opening | the sweep's malformed-input probe grades a phrase, so two correctly-refusing tools keep it red, and the leg's summary line says "0 fatal" while returning 1 *(no lane owns it; opened 2026-10-27 by the … | -- | -| 90 | Q94 | 12393-12428 | 10112 | opening | `dsu_rollback.py`'s headline mechanism is graded by no cell, its compression cell does not grade compression, and `find`/`union` accept negative indices silently *(beam lane; opened 2026-10-27 by the … | -- | +| 90 | Q94 | 12393-12523 | 18995 | opening | `dsu_rollback.py`'s headline mechanism is graded by no cell, its compression cell does not grade compression, and `find`/`union` accept negative indices silently *(beam lane; opened 2026-10-27 by the … | -- | +| 91 | Q60 | 12524-12530 | 2598 | cont: closure | closure — the check half runs at a named head, the self-quote collapse and the placeholder refusal are measured, and the two instrument holes it leaves are named instead of smoothed *(opened by the … | DONE at `33f8f0f` (`wizard-work/zeph/q60_enforce.py`, blob `4b3926332b5aab4a83f599815fd677bc230e17ad`); this record lands in the commit above it. | ## Ids with no `## ` heading @@ -142,6 +143,10 @@ The block below is the parse this document renders, byte for byte. `--check` com 6103, 6141 ], + "Q60": [ + 10830, + 12524 + ], "Q72": [ 11526, 11567 @@ -343,9 +348,9 @@ The block below is the parse this document renders, byte for byte. `--check` com "end_line": 8, "line": 1 }, - "queue_bytes": 1842640, - "queue_lines": 12428, - "queue_sha256": "0d2ae73104837b4f23a6eafa83d4414fe24e8bbef8e9b493ba0af08e8b420928", + "queue_bytes": 1854121, + "queue_lines": 12530, + "queue_sha256": "6ed72edc31213f5134c0872e583ee203961d4cf891eab2f429b2214b436dedb5", "sections": [ { "bytes": 3139, @@ -1416,16 +1421,28 @@ The block below is the parse this document renders, byte for byte. `--check` com "title": "the sweep's malformed-input probe grades a phrase, so two correctly-refusing tools keep it red, and the leg's summary line says \"0 fatal\" while returning 1 *(no lane owns it; opened 2026-10-27 by the \u2026" }, { - "bytes": 10112, - "end_line": 12428, + "bytes": 18995, + "end_line": 12523, "id": "Q94", "line": 12393, - "lines": 36, + "lines": 131, "role": "opening", "role_detail": "", "status": null, "status_line": null, "title": "`dsu_rollback.py`'s headline mechanism is graded by no cell, its compression cell does not grade compression, and `find`/`union` accept negative indices silently *(beam lane; opened 2026-10-27 by the \u2026" + }, + { + "bytes": 2598, + "end_line": 12530, + "id": "Q60", + "line": 12524, + "lines": 7, + "role": "continuation", + "role_detail": "closure", + "status": "DONE at `33f8f0f` (`wizard-work/zeph/q60_enforce.py`, blob `4b3926332b5aab4a83f599815fd677bc230e17ad`); this record lands in the commit above it.", + "status_line": 12526, + "title": "closure \u2014 the check half runs at a named head, the self-quote collapse and the placeholder refusal are measured, and the two instrument holes it leaves are named instead of smoothed *(opened by the \u2026" } ] }