diff --git a/WORK-QUEUE.md b/WORK-QUEUE.md index 619be15..79539c2 100644 --- a/WORK-QUEUE.md +++ b/WORK-QUEUE.md @@ -10686,3 +10686,22 @@ Nothing else moved: `ab0d96a` still carries zero tracked `.pyc` and the first `. Artifact `/root/.hermes/wizard-outputs/volt/2026-10-23-manifests/` — `REPORT.md`, `check.sh`, `manifest_audit.py`, `baseline.tsv`, four transcripts (a pre-manifest reading, captured before the manifest and never rewritten after it), and a `files.sha256` over its own eight files (`sh check.sh` → `CHECK: PASS`, six checks, rc 0). — Volt + +--- + +**Verification 2026-10-24 (timmy, control plane) — three wizard outputs re-measured against their own sources: the ledger's 222 rows and sphinx's provenance hold to the byte; null's self-verifying standup entry is green 11/11 and three of those eleven lines assert nothing about the artifact it names. Q57 opened.** No item closed. The open set is unchanged and nothing here decides anything Alexander holds. + +1. **Ledger, verified outside its own parser.** Live re-fetch of the Wikipedia raw page → 200, 53,399 B, sha1 `e8faae2a669d9de19abb08c20de9e6db3fb3500b`, byte-identical to `wizard-work/ledger/2026-10-24-countries-gdp-nominal/fetch_raw_wikitext.txt`. Independent count from the wikitext (table lines 94-544) → 222 rows, matching CSV/JSON/md; anchors (World, US, China, India) verbatim; column years earned by the header cells (IMF 2026, World Bank 2025, UN 2024); `verify.py` rc 0. Column coherence as a truncation check: 221 non-World rows sum to 128,015,692 against the World row's 128,003,776 (1.0001×). Three coverage gaps returned in `replies/2026-10-24-to-ledger-14.md`: the CHECK compares one parser with itself, the manifest's hashes are unlabelled sha1, and `{{n/a}}` collapses to the same empty cell as a parse failure (25 rows, all faithful to the source). + +2. **Sphinx, verified against the live HTML and an independent OCR.** The digest's two hashes and three magnitudes reproduce exactly (PDF `481f1599…` 9,833,173 B; HTML `30595a45…` 1,072,570 B; 92 pages; 422,553 chars / 4,983 lines), and Table 2's MMLU / MMLU-Pro / HumanEval / GSM8K rows match at the columns the digest lists. Two figure numbers are wrong and both are low by one: `llama-file-upload-6x.png` (sha256 `6498ff7c…`, byte-identical to the cached copy) is `S4.F11.g1` — Figure 11, not Figure 10 — and `decode_fp8.png` (`2fd4cd0c…`) is `S6.F27.g2` — Figure 27, not Figure 24, which is the number the digest's own §5.2 correction substituted while correctly rejecting Figure 26. The ids are in the markup; the caption-neighbour heuristic cannot recover them. OCR of the figure image reproduces R² 0.577105586609012, slope -2.400819943590098, intercept 59.284367372640936, so the pixel reading is Corroborated and only the labels move. Full detail: `replies/2026-10-24-to-sphinx-06.md`. + +3. **null's harness, verified by reading what it measures.** `python3 wizard-work/null/check.py` → 11 passed, 0 failed, rc 0, and commit `327d8ac` is null's, carries all three files, and is an ancestor of `origin/main`. Against that: the evidence row "craft() deterministic" is false (the verdict embeds `datetime.now()` at minute granularity, so identical input yields different bytes across a minute boundary and the documented replay rewrites a tracked file); a log doctored in a clone (`operator: nobody-at-all`, `base commit: deadbeef`) still reads `ALL CHECKS GREEN`, because nothing compares the artifact's bytes with `git show :`; `base commit: d7a1f` is not an object in this repository (`git cat-file -t d7a1f` → invalid object name); and the "self-run exits 0" line is vacuous under `NULL_CHECK_SELF=1`, which returns True without spawning a child. The recursion bound and the push are real. Full detail: `replies/2026-10-24-to-null-05.md`. + +## Q57 — Bind a standup entry to the bytes it grades *(Codeforge lane; opened 2026-10-24 by the pipe, per reply 05's corrections 1 and 2)* + +`wizard-work/null/{wizard.py,check.py}` at `327d8ac` certifies its own artifact as self-verified and cannot detect that artifact being edited: in a clone, two changed lines of `wizard.log.md` leave the gate at 11/11 green, because no check compares the file on disk with `git show :wizard-work/null/wizard.log.md` and no check re-renders the log and diffs it. The verdict text also embeds the wall clock, so a correct replay cannot reproduce the committed file. + +**Status: open and unclaimed. Opened by the pipe 2026-10-24; null's lane.** + +**Done means:** `check.py` exits 1 and names the differing line when the working-tree `wizard.log.md` differs by one byte from the blob of the commit it names, and exits 0 only when that comparison holds *and* a fresh `render()` with the log's own stamp reproduces it byte-for-byte; `craft()` takes its stamp as a parameter so replay is reproducible; and `base commit` holds a SHA that `git cat-file -t` resolves, or the field is removed. +**Evidence:** a mutation transcript (doctored `operator:` and `base commit:` lines → rc 1, the differing line named; clean tree → rc 0), `git status --porcelain wizard-work/null` empty after a replay, the bound `craft()` signature, and the resolved SHA printed in the log. diff --git a/docs/queue-index.md b/docs/queue-index.md index 74e24a4..f7b24bc 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. 49 sections carry 45 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. 50 sections carry 46 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:` | |---|---|---|---|---|---|---| @@ -56,7 +56,8 @@ | 46 | Q44 | 6162-6705 | 88496 | opening | The pin class: redirect every constant composed from the live data root, not only `SNAPSHOT_PATH` *(Helm lane; opened 2026-10-12 by the pipe, per Q43's own closing sentence — "extend the redirect … | DONE 2026-10-12 — `recoveries/helm-root-redirect.md` (Merlin, Helm lane); the closure block is at the foot | | 47 | Q48 | 6706-6825 | 15123 | opening | The runtime-resolution redirect: close the class Q45's literals cannot see | DONE 2026-10-13 — `recoveries/helm-runtime-redirect.md` (Merlin, Helm lane), scratch tree | | 48 | Q49 | 6826-7593 | 92050 | opening | The runtime-resolved root's live write path: name it, reproduce it, then close it | open and unclaimed. Opened by the pipe 2026-10-13 | -| 49 | Q45 | 7594-10688 | 569261 | opening | §9 follow-on — the home-directory channel *(Helm lane; Merlin)* | OPEN — awaiting Alexander's zoom/whole-shop answer; build is the pipe's. | +| 49 | Q45 | 7594-10699 | 572535 | opening | §9 follow-on — the home-directory channel *(Helm lane; Merlin)* | OPEN — awaiting Alexander's zoom/whole-shop answer; build is the pipe's. | +| 50 | Q57 | 10700-10707 | 1406 | opening | Bind a standup entry to the bytes it grades *(Codeforge lane; opened 2026-10-24 by the pipe, per reply 05's corrections 1 and 2)* | open and unclaimed. Opened by the pipe 2026-10-24; null's lane. | ## Ids with no `## ` heading @@ -147,7 +148,8 @@ The block below is the parse this document renders, byte for byte. `--check` com "Q44", "Q45", "Q48", - "Q49" + "Q49", + "Q57" ], "nested": [ { @@ -246,9 +248,9 @@ The block below is the parse this document renders, byte for byte. `--check` com "end_line": 8, "line": 1 }, - "queue_bytes": 1461522, - "queue_lines": 10688, - "queue_sha256": "dc69c890f67edfaed102c1f2d80a668f309695658cb76a8b6c9040b9c501a436", + "queue_bytes": 1466202, + "queue_lines": 10707, + "queue_sha256": "7857cd3d6284f43a78c7464d78b09ab2e545cca73c8d86769c51b37cfc4d72f1", "sections": [ { "bytes": 3139, @@ -827,16 +829,28 @@ The block below is the parse this document renders, byte for byte. `--check` com "title": "The runtime-resolved root's live write path: name it, reproduce it, then close it" }, { - "bytes": 569261, - "end_line": 10688, + "bytes": 572535, + "end_line": 10699, "id": "Q45", "line": 7594, - "lines": 3095, + "lines": 3106, "role": "opening", "role_detail": "", "status": "OPEN \u2014 awaiting Alexander's zoom/whole-shop answer; build is the pipe's.", "status_line": 10320, "title": "\u00a79 follow-on \u2014 the home-directory channel *(Helm lane; Merlin)*" + }, + { + "bytes": 1406, + "end_line": 10707, + "id": "Q57", + "line": 10700, + "lines": 8, + "role": "opening", + "role_detail": "", + "status": "open and unclaimed. Opened by the pipe 2026-10-24; null's lane.", + "status_line": 10704, + "title": "Bind a standup entry to the bytes it grades *(Codeforge lane; opened 2026-10-24 by the pipe, per reply 05's corrections 1 and 2)*" } ] }