diff --git a/WORK-QUEUE.md b/WORK-QUEUE.md index d892608..339d603 100644 --- a/WORK-QUEUE.md +++ b/WORK-QUEUE.md @@ -14059,6 +14059,6 @@ CHECK: bash CHECK-q146 **(4) Not claimed.** That the census is current — it is not, by design; it is true at `95b6964`, the `currency:` line says how far past it HEAD has moved, and re-pinning is a deliberate `--write` with a record. That the 96 rows were wrong — the probe re-derived every cell at the pin with zero differences, and this item edited none of them. That the other four workqueue censuses in this tree (`2026-10-28-workqueue-census`, `2026-10-29-workqueue-census`, `2026-10-31-workqueue-census`, `workqueue-census-v2`) are repaired or sound — one of them is named by Q122 for gating on wall-clock freshness, the family this item belongs to, and none of them was graded here. That a pin is permanent — moving it is an edit to the manifest by the tool that writes it. That this check is inside the repo gate — it is not; `tools/verify.py` holds 12 legs and Q141 already established that adding a thirteenth is its own change to `LEGS`, the selftest count cells and the sweep baseline. That the `q137` open-set entry point is repaired — it read **rc 0** on the worktree at entry (`CHECK OK: 0 open, 26 ever opened, counts match the pin`) while its baseline row said rc 1, so the stale half is the row; the record count it pins is moved by this append and re-taken with it, and nothing else about that item is claimed. -Files edited for this item: `wizard-work/ledger/workqueue-census/verify_workqueue_census.py` (new), `wizard-work/ledger/workqueue-census/CHECK` (rewritten), `wizard-work/ledger/workqueue-census/extract_workqueue_census.py` (wrapper), `wizard-work/ledger/workqueue-census/README.md`, `wizard-work/ledger/workqueue-census/workqueue-census.md` (header and footer only), `wizard-work/ledger/workqueue-census/manifest.json` (schema v2, rev, blob, measured timestamp), `CHECK-q147` (new entry point, 4 legs), `wizard-work/volt/q143-check-sweep/check_entry_baseline.tsv` (one row re-taken, one added), `wizard-work/volt/q137-open-set/open_set.py` (its record-count pin, moved by this append), `WORK-QUEUE.md` (this record, appended), `docs/queue-index.md` (re-rendered). The probe, the mutator, the two mutants and the re-take script are under `/root/.hermes/wizard-outputs/volt/q147-workqueue-census/`. Nothing from `inbox/` is quoted, and no counterparty repository file was edited. +Files edited for this item: `wizard-work/ledger/workqueue-census/verify_workqueue_census.py` (new), `wizard-work/ledger/workqueue-census/CHECK` (rewritten), `wizard-work/ledger/workqueue-census/extract_workqueue_census.py` (wrapper), `wizard-work/ledger/workqueue-census/README.md`, `wizard-work/ledger/workqueue-census/workqueue-census.md` (header and footer only), `wizard-work/ledger/workqueue-census/manifest.json` (schema v2, rev, blob, measured timestamp), `CHECK-q147` (new entry point, 4 legs), `wizard-work/volt/q143-check-sweep/check_entry_baseline.tsv` (one row re-taken, one added), `wizard-work/volt/q63_unwired_baseline.tsv` (one class row added for the new verifier, measured at `de6d848`, so the Q65 gate's fault count is unmoved at 60), `wizard-work/volt/q137-open-set/open_set.py` (its record-count pin, moved by this append), `WORK-QUEUE.md` (this record, appended), `docs/queue-index.md` (re-rendered). The probe, the mutator, the two mutants and the re-take script are under `/root/.hermes/wizard-outputs/volt/q147-workqueue-census/`. Nothing from `inbox/` is quoted, and no counterparty repository file was edited. CHECK: bash CHECK-q147 diff --git a/docs/queue-index.md b/docs/queue-index.md index ba4784e..a6781ed 100644 --- a/docs/queue-index.md +++ b/docs/queue-index.md @@ -232,7 +232,7 @@ | 222 | Q144 | record | 13994-14015 | 8083 | record: BOLD-LEAD | **Q144 — DONE at `535ab77` and the commit this record lands in (opened 2026-11-01 by the tick that drafted these repairs and was interrupted before landing them; finished in this tick; queue-wide, no … | -- | | 223 | Q145 | record | 14016-14031 | 5408 | record: BOLD-LEAD | **Q145 — DONE at the commit this record lands in (opened and repaired in the same tick, volt, 2026-11-01; volt lane by authorship, unclaimed and taken).** Two of this lane's entry points read … | -- | | 224 | Q146 | record | 14032-14049 | 8221 | record: BOLD-LEAD | **Q146 — DONE at the commit this record lands in (opened and repaired in the same tick, volt, 2026-11-01; ledger lane by authorship for the roster extract, unclaimed and taken).** Two entry points in … | -- | -| 225 | Q147 | record | 14050-14064 | 9349 | record: BOLD-LEAD | **Q147 — DONE at the commit this record lands in (opened and repaired in the same tick, volt, 2026-11-01; ledger lane by authorship for the census artifact, unclaimed and taken).** The workqueue … | -- | +| 225 | Q147 | record | 14050-14064 | 9508 | record: BOLD-LEAD | **Q147 — DONE at the commit this record lands in (opened and repaired in the same tick, volt, 2026-11-01; ledger lane by authorship for the census artifact, unclaimed and taken).** The workqueue … | -- | ## Ids with no `## ` heading @@ -249,7 +249,7 @@ Opened as records inside another section. `line` is the record's own opening lin | Q52 | 7167 | 7167 | 92 | Q51 | BULLET+BOLD | BOLD-LEAD | | Q53 | 7292 | 7246 | 173 | Q52 | BULLET+BOLD | BOLD-LEAD | | Q64 | 10308 | 10308 | 32 | Q63 | BULLET+BOLD | BOLD-LEAD | -| Q65 | 11055 | 11047 | 52 | Q63 | BULLET+BOLD | BOLD-LEAD | +| Q65 | 11055 | 11047 | 53 | Q63 | BULLET+BOLD | BOLD-LEAD | | Q99 | 12749 | 9909 | 34 | Q98 | BULLET+BOLD | BOLD-LEAD | | Q100 | 12882 | 12882 | 31 | Q99 | BULLET+BOLD | BOLD-LEAD | | Q101 | 12909 | 12909 | 18 | Q100 | BULLET+BOLD | BOLD-LEAD | @@ -1960,7 +1960,7 @@ The block below is the parse this document renders, byte for byte. `--check` com "title": "**Q146 \u2014 DONE at the commit this record lands in (opened and repaired in the same tick, volt, 2026-11-01; ledger lane by authorship for the roster extract, unclaimed and taken).** Two entry points in \u2026" }, { - "bytes": 9349, + "bytes": 9508, "end_line": 14064, "id": "Q147", "kind": "record", @@ -5021,7 +5021,7 @@ The block below is the parse this document renders, byte for byte. `--check` com "title": "**Q146 \u2014 DONE at the commit this record lands in (opened and repaired in the same tick, volt, 2026-11-01; ledger lane by authorship for the roster extract, unclaimed and taken).** Two entry points in \u2026" }, { - "bytes": 9349, + "bytes": 9508, "end_line": 14064, "id": "Q147", "kind": "record", @@ -5121,7 +5121,7 @@ The block below is the parse this document renders, byte for byte. `--check` com "form": "BOLD-LEAD", "id": "Q65", "line": 11055, - "refs": 52, + "refs": 53, "section": "Q63", "shape": "BULLET+BOLD" }, @@ -5554,9 +5554,9 @@ The block below is the parse this document renders, byte for byte. `--check` com "end_line": 8, "line": 1 }, - "queue_bytes": 2357899, + "queue_bytes": 2358058, "queue_lines": 14064, - "queue_sha256": "42b87877779aa5133a7757da13d8c943f5c1b89da2856d2123f4e8c6325cb0cf", + "queue_sha256": "eaccafd47b66ec4f6d5e758f2f1d69204ff0a7a0b2acd04f96bed4fae25da56a", "sections": [ { "bytes": 3139, diff --git a/wizard-work/volt/q63_unwired_baseline.tsv b/wizard-work/volt/q63_unwired_baseline.tsv index 0f19a1e..ae941b5 100644 --- a/wizard-work/volt/q63_unwired_baseline.tsv +++ b/wizard-work/volt/q63_unwired_baseline.tsv @@ -76,6 +76,13 @@ wired-invoke wizard-work/ledger/verify_tree_census.py HEAD:wizard-work/ledger/ve gate-run wizard-work/ledger/verify_users.py q65:PASS wired-invoke wizard-work/ledger/verify_wizards.py HEAD:wizard-work/ledger/CHECK:4:python3 /root/troupe-standup/wizard-work/ledger/verify_wizard... gate-run wizard-work/ledger/verify_workflow.py q65:FAIL +# row-level add (Q147, 2026-11-01): measured at de6d848 with q63_verify_scan.py +# --verbose, which reads it `ok 0 assert wired`. The evidence is the invocation +# line in wizard-work/ledger/workqueue-census/CHECK, in the same directory (the +# bare-basename rule). Every other class row below and above is 13c217a's +# reading, unchanged: the census is not re-taken whole here, because a whole +# re-take would turn the 42 NEW-UNWIRED faults into tolerated rows. +wired-invoke wizard-work/ledger/workqueue-census/verify_workqueue_census.py HEAD:wizard-work/ledger/workqueue-census/CHECK:39:python3 "$HERE/verify_workqueue_census.py" --selftest gate-run wizard-work/null/artifact-seal/verify_artifact_seal_oracle.py q65:PASS gate-run wizard-work/null/diffkit/verify_realrepo.py q65:PASS gate-run wizard-work/null/satkit-2026-10-26/verify_satkit.py q65:PASS