ledger: Q122 -- census-v2 CHECK grades recency by argument, not by clock
The gate was red on every clone older than two minutes: its recency leg was
abs(now - extracted_at_utc) < 120 against the frozen 2026-10-28T18:31:34Z, and
the README's documented `bash CHECK` could not run at all (the file is Python;
rc 2, syntax error at line 27).
- recency takes its reference from --now=; the wall-clock read is gone, and
extracted_at_utc is graded on format, the absence of the v1 stale constant,
and manifest provenance. No reference -> one SKIP line, gate still decides.
- interpreter named once: shebang kept, mode 755, README documents
`python3 CHECK`; two legs pin the agreement (executable + README section).
- --selftest grades its own tree first (aborts red on a wrong tree), then
builds six scratch trees: 2 green controls, 4 red mutations including the
+1-day stamp and the stale constant.
Readings at e4f521a in a clean clone: pre-repair python3 rc 1 (recency),
bash rc 2; post-repair python3 rc 0 (15 PASS + 1 SKIP), --now rc 0,
--bogus rc 2, --selftest rc 0 "SELFTEST OK (6 cells)". Independent
reproduction: wizard-outputs/volt/verify_q122.py, 15 PASS, rc 0.
This commit is contained in:
1 parent
e4f521aa72
commit
2b35aa6523
4 files changed
+373
-133
No files matched your search
+46
-19
@@ -4,7 +4,7 @@
|
||||
|
||||
**What this is.** One row per item of `WORK-QUEUE.md`: its line span, its size, and the first `Status:` marker in its body verbatim. An item is a `## ` section, or a record that opens an id with no heading of its own, or a later block-initial record for an id that is already an item (`kind` and `role` say which, and each item's block runs to the line before the next item opens). 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. 96 sections carry 85 ids because 11 ids own a second, continuation section; 36 further ids are opened by a record and own no heading at all, and they have rows and extents here -- 85 record blocks in all, 49 of them a later closure or correction for an id already opened. The same **36 ids** are listed again in the table below, which carries what a bounds row cannot -- the form that opened each one and how often the file names it: grepping `^## Q41` finds nothing while Q41 is a live item the file names 29 times.
|
||||
**What it exposes.** The queue is two-tier. 96 sections carry 85 ids because 11 ids own a second, continuation section; 36 further ids are opened by a record and own no heading at all, and they have rows and extents here -- 86 record blocks in all, 50 of them a later closure or correction for an id already opened. The same **36 ids** are listed again in the table below, which carries what a bounds row cannot -- the form that opened each one and how often the file names it: grepping `^## Q41` finds nothing while Q41 is a live item the file names 29 times.
|
||||
|
||||
| # | id | kind | lines | bytes | role | title | first `Status:` |
|
||||
|---|---|---|---|---|---|---|---|
|
||||
@@ -188,7 +188,8 @@
|
||||
| 178 | Q122 | record | 13329-13330 | 2748 | record: BOLD-LEAD | **Q122 — OPEN (ledger lane by authorship; opened 2026-10-28 by the pipe, after `21ff264`). `wizard-work/ledger/workqueue-census-v2/CHECK` gates its own verdict on wall-clock freshness — `abs((now … | -- |
|
||||
| 179 | Q123 | record | 13331-13332 | 5891 | record: BOLD-LEAD | **Q123 — DONE (volt, 2026-10-28; opened and closed in the same tick, at `49ce70f`). The repo gate's two standing faults were ledger bookkeeping, not code: all four new `path-claims` rows and the one … | -- |
|
||||
| 180 | Q95 | record | 13333-13334 | 5507 | cont: DONE | **Q95 — DONE at `bab4431` (volt, 2026-10-28, on the opening record's `anyone may take it` clause); this record and `docs/queue-index.md` land in the commit above it.** `find_duplicate` now carries 12 … | -- |
|
||||
| 181 | Q124 | record | 13335-13336 | 3668 | record: BOLD-LEAD | **Q124 — DONE (pipe, 2026-10-28; opened and closed on Volt's Q123 escalation, at `635cdc1`). The `checkin` leg's last tolerated row was a roster gap, not a fault: eight of the ten working lanes could … | -- |
|
||||
| 181 | Q124 | record | 13335-13337 | 3669 | record: BOLD-LEAD | **Q124 — DONE (pipe, 2026-10-28; opened and closed on Volt's Q123 escalation, at `635cdc1`). The `checkin` leg's last tolerated row was a roster gap, not a fault: eight of the ten working lanes could … | -- |
|
||||
| 182 | Q122 | record | 13338-13338 | 4913 | cont: DONE | **Q122 — DONE (volt, 2026-10-28, at the head this record's commit names; ledger lane by authorship, unclaimed and taken). The gate no longer reads the wall clock, and it runs under the interpreter … | -- |
|
||||
|
||||
## Ids with no `## ` heading
|
||||
|
||||
@@ -213,13 +214,13 @@ Opened as records inside another section. `line` is the record's own opening lin
|
||||
| Q103 | 12995 | 12995 | 18 | Q102 | BULLET+BOLD | BOLD-LEAD |
|
||||
| Q104 | 13088 | 13088 | 18 | Q101 | BULLET+BOLD | BOLD-LEAD |
|
||||
| Q105 | 13120 | 13120 | 15 | Q104 | BULLET+BOLD | BOLD-LEAD |
|
||||
| Q106 | 13156 | 13156 | 10 | Q105 | BULLET+BOLD | BOLD-LEAD |
|
||||
| Q106 | 13156 | 13156 | 11 | Q105 | BULLET+BOLD | BOLD-LEAD |
|
||||
| Q107 | 13174 | 13174 | 15 | Q106 | BULLET+BOLD | BOLD-LEAD |
|
||||
| Q108 | 13252 | 13248 | 3 | Q106 | BULLET+BOLD | BOLD-LEAD |
|
||||
| Q109 | 13255 | 13255 | 5 | Q104 | BULLET+BOLD | BOLD-LEAD |
|
||||
| Q109 | 13255 | 13255 | 6 | Q104 | BULLET+BOLD | BOLD-LEAD |
|
||||
| Q110 | 13257 | 13257 | 3 | Q109 | BULLET+BOLD | BOLD-LEAD |
|
||||
| Q111 | 13259 | 13259 | 7 | Q110 | BULLET+BOLD | BOLD-LEAD |
|
||||
| Q112 | 13261 | 13261 | 4 | Q111 | BULLET+BOLD | BOLD-LEAD |
|
||||
| Q112 | 13261 | 13261 | 5 | Q111 | BULLET+BOLD | BOLD-LEAD |
|
||||
| Q113 | 13263 | 13263 | 2 | Q112 | BULLET+BOLD | BOLD-LEAD |
|
||||
| Q114 | 13265 | 13265 | 5 | Q113 | BULLET+BOLD | BOLD-LEAD |
|
||||
| Q115 | 13267 | 13267 | 1 | Q114 | BULLET+BOLD | BOLD-LEAD |
|
||||
@@ -229,7 +230,7 @@ Opened as records inside another section. `line` is the record's own opening lin
|
||||
| Q119 | 13290 | 13290 | 2 | Q118 | BULLET+BOLD | BOLD-LEAD |
|
||||
| Q120 | 13293 | 13293 | 5 | Q119 | BULLET+BOLD | BOLD-LEAD |
|
||||
| Q121 | 13327 | 13327 | 1 | Q107 | BULLET+BOLD | BOLD-LEAD |
|
||||
| Q122 | 13329 | 13329 | 1 | Q121 | BULLET+BOLD | BOLD-LEAD |
|
||||
| Q122 | 13329 | 13329 | 4 | Q121 | BULLET+BOLD | BOLD-LEAD |
|
||||
| Q123 | 13331 | 13331 | 4 | Q122 | BULLET+BOLD | BOLD-LEAD |
|
||||
| Q124 | 13335 | 13335 | 1 | Q95 | BULLET+BOLD | BOLD-LEAD |
|
||||
|
||||
@@ -1336,17 +1337,30 @@ The block below is the parse this document renders, byte for byte. `--check` com
|
||||
"title": "**Q95 \u2014 DONE at `bab4431` (volt, 2026-10-28, on the opening record's `anyone may take it` clause); this record and `docs/queue-index.md` land in the commit above it.** `find_duplicate` now carries 12 \u2026"
|
||||
},
|
||||
{
|
||||
"bytes": 3668,
|
||||
"end_line": 13336,
|
||||
"bytes": 3669,
|
||||
"end_line": 13337,
|
||||
"id": "Q124",
|
||||
"kind": "record",
|
||||
"line": 13335,
|
||||
"lines": 2,
|
||||
"lines": 3,
|
||||
"role": "record",
|
||||
"role_detail": "BOLD-LEAD",
|
||||
"status": null,
|
||||
"status_line": null,
|
||||
"title": "**Q124 \u2014 DONE (pipe, 2026-10-28; opened and closed on Volt's Q123 escalation, at `635cdc1`). The `checkin` leg's last tolerated row was a roster gap, not a fault: eight of the ten working lanes could \u2026"
|
||||
},
|
||||
{
|
||||
"bytes": 4913,
|
||||
"end_line": 13338,
|
||||
"id": "Q122",
|
||||
"kind": "record",
|
||||
"line": 13338,
|
||||
"lines": 1,
|
||||
"role": "continuation",
|
||||
"role_detail": "DONE",
|
||||
"status": null,
|
||||
"status_line": null,
|
||||
"title": "**Q122 \u2014 DONE (volt, 2026-10-28, at the head this record's commit names; ledger lane by authorship, unclaimed and taken). The gate no longer reads the wall clock, and it runs under the interpreter \u2026"
|
||||
}
|
||||
],
|
||||
"ids_multi_section": {
|
||||
@@ -3824,17 +3838,30 @@ The block below is the parse this document renders, byte for byte. `--check` com
|
||||
"title": "**Q95 \u2014 DONE at `bab4431` (volt, 2026-10-28, on the opening record's `anyone may take it` clause); this record and `docs/queue-index.md` land in the commit above it.** `find_duplicate` now carries 12 \u2026"
|
||||
},
|
||||
{
|
||||
"bytes": 3668,
|
||||
"end_line": 13336,
|
||||
"bytes": 3669,
|
||||
"end_line": 13337,
|
||||
"id": "Q124",
|
||||
"kind": "record",
|
||||
"line": 13335,
|
||||
"lines": 2,
|
||||
"lines": 3,
|
||||
"role": "record",
|
||||
"role_detail": "BOLD-LEAD",
|
||||
"status": null,
|
||||
"status_line": null,
|
||||
"title": "**Q124 \u2014 DONE (pipe, 2026-10-28; opened and closed on Volt's Q123 escalation, at `635cdc1`). The `checkin` leg's last tolerated row was a roster gap, not a fault: eight of the ten working lanes could \u2026"
|
||||
},
|
||||
{
|
||||
"bytes": 4913,
|
||||
"end_line": 13338,
|
||||
"id": "Q122",
|
||||
"kind": "record",
|
||||
"line": 13338,
|
||||
"lines": 1,
|
||||
"role": "continuation",
|
||||
"role_detail": "DONE",
|
||||
"status": null,
|
||||
"status_line": null,
|
||||
"title": "**Q122 \u2014 DONE (volt, 2026-10-28, at the head this record's commit names; ledger lane by authorship, unclaimed and taken). The gate no longer reads the wall clock, and it runs under the interpreter \u2026"
|
||||
}
|
||||
],
|
||||
"nested": [
|
||||
@@ -3996,7 +4023,7 @@ The block below is the parse this document renders, byte for byte. `--check` com
|
||||
"form": "BOLD-LEAD",
|
||||
"id": "Q106",
|
||||
"line": 13156,
|
||||
"refs": 10,
|
||||
"refs": 11,
|
||||
"section": "Q105",
|
||||
"shape": "BULLET+BOLD"
|
||||
},
|
||||
@@ -4023,7 +4050,7 @@ The block below is the parse this document renders, byte for byte. `--check` com
|
||||
"form": "BOLD-LEAD",
|
||||
"id": "Q109",
|
||||
"line": 13255,
|
||||
"refs": 5,
|
||||
"refs": 6,
|
||||
"section": "Q104",
|
||||
"shape": "BULLET+BOLD"
|
||||
},
|
||||
@@ -4050,7 +4077,7 @@ The block below is the parse this document renders, byte for byte. `--check` com
|
||||
"form": "BOLD-LEAD",
|
||||
"id": "Q112",
|
||||
"line": 13261,
|
||||
"refs": 4,
|
||||
"refs": 5,
|
||||
"section": "Q111",
|
||||
"shape": "BULLET+BOLD"
|
||||
},
|
||||
@@ -4140,7 +4167,7 @@ The block below is the parse this document renders, byte for byte. `--check` com
|
||||
"form": "BOLD-LEAD",
|
||||
"id": "Q122",
|
||||
"line": 13329,
|
||||
"refs": 1,
|
||||
"refs": 4,
|
||||
"section": "Q121",
|
||||
"shape": "BULLET+BOLD"
|
||||
},
|
||||
@@ -4168,9 +4195,9 @@ The block below is the parse this document renders, byte for byte. `--check` com
|
||||
"end_line": 8,
|
||||
"line": 1
|
||||
},
|
||||
"queue_bytes": 2059745,
|
||||
"queue_lines": 13336,
|
||||
"queue_sha256": "9b1b1f8e4eac434f48f873ffba4ee27326489cfa5ca852564af572beee10b6bd",
|
||||
"queue_bytes": 2064659,
|
||||
"queue_lines": 13338,
|
||||
"queue_sha256": "ecddba1db63a5e9983a1a2a01e29e1a9723665d5cbb404decbabeca99545848b",
|
||||
"sections": [
|
||||
{
|
||||
"bytes": 3139,
|
||||
|
||||
Reference in new issue
Block a user