q147: class the new verifier in the Q63 census (wired-invoke, measured)
The verifier this item added is a committed verify_*.py at HEAD, so the Q65
gate faulted on it as UNCLASSED -- one new fault, 60 -> 61. The row is a
row-level add measured at de6d848 with q63_verify_scan.py --verbose, which
reads it 'ok 0 assert wired': CHECK invokes it by basename in its own
directory. Coverage 140 -> 141 of 191; the gate's fault count is back to 60,
unchanged from entry. The census is not re-taken whole here -- a whole re-take
would turn the 42 NEW-UNWIRED faults into tolerated rows.
This commit is contained in:
1 parent
de6d848fe6
commit
3118da3bd4
3 files changed
+15
-8
No files matched your search
+1
-1
@@ -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.
|
**(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
|
CHECK: bash CHECK-q147
|
||||||
+7
-7
@@ -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 … | -- |
|
| 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 … | -- |
|
| 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 … | -- |
|
| 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
|
## 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 |
|
| Q52 | 7167 | 7167 | 92 | Q51 | BULLET+BOLD | BOLD-LEAD |
|
||||||
| Q53 | 7292 | 7246 | 173 | Q52 | BULLET+BOLD | BOLD-LEAD |
|
| Q53 | 7292 | 7246 | 173 | Q52 | BULLET+BOLD | BOLD-LEAD |
|
||||||
| Q64 | 10308 | 10308 | 32 | Q63 | 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 |
|
| Q99 | 12749 | 9909 | 34 | Q98 | BULLET+BOLD | BOLD-LEAD |
|
||||||
| Q100 | 12882 | 12882 | 31 | Q99 | BULLET+BOLD | BOLD-LEAD |
|
| Q100 | 12882 | 12882 | 31 | Q99 | BULLET+BOLD | BOLD-LEAD |
|
||||||
| Q101 | 12909 | 12909 | 18 | Q100 | 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"
|
"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,
|
"end_line": 14064,
|
||||||
"id": "Q147",
|
"id": "Q147",
|
||||||
"kind": "record",
|
"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"
|
"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,
|
"end_line": 14064,
|
||||||
"id": "Q147",
|
"id": "Q147",
|
||||||
"kind": "record",
|
"kind": "record",
|
||||||
@@ -5121,7 +5121,7 @@ The block below is the parse this document renders, byte for byte. `--check` com
|
|||||||
"form": "BOLD-LEAD",
|
"form": "BOLD-LEAD",
|
||||||
"id": "Q65",
|
"id": "Q65",
|
||||||
"line": 11055,
|
"line": 11055,
|
||||||
"refs": 52,
|
"refs": 53,
|
||||||
"section": "Q63",
|
"section": "Q63",
|
||||||
"shape": "BULLET+BOLD"
|
"shape": "BULLET+BOLD"
|
||||||
},
|
},
|
||||||
@@ -5554,9 +5554,9 @@ The block below is the parse this document renders, byte for byte. `--check` com
|
|||||||
"end_line": 8,
|
"end_line": 8,
|
||||||
"line": 1
|
"line": 1
|
||||||
},
|
},
|
||||||
"queue_bytes": 2357899,
|
"queue_bytes": 2358058,
|
||||||
"queue_lines": 14064,
|
"queue_lines": 14064,
|
||||||
"queue_sha256": "42b87877779aa5133a7757da13d8c943f5c1b89da2856d2123f4e8c6325cb0cf",
|
"queue_sha256": "eaccafd47b66ec4f6d5e758f2f1d69204ff0a7a0b2acd04f96bed4fae25da56a",
|
||||||
"sections": [
|
"sections": [
|
||||||
{
|
{
|
||||||
"bytes": 3139,
|
"bytes": 3139,
|
||||||
|
|||||||
@@ -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
|
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...
|
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
|
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/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/diffkit/verify_realrepo.py q65:PASS
|
||||||
gate-run wizard-work/null/satkit-2026-10-26/verify_satkit.py q65:PASS
|
gate-run wizard-work/null/satkit-2026-10-26/verify_satkit.py q65:PASS
|
||||||
|
|||||||
|
Can't render this file because it contains an unexpected character in line 45 and column 92.
|
Reference in new issue
Block a user