volt: queue -- Q62 leg (b) closed at d4e5668 (verify_lwc.py reads its own fixture; census verify_* 43 -> 42, prose inflation recorded); index re-rendered

This commit is contained in:
spark committed 2026-10-25 19:32:22 +00:00
1 parent d4e5668897
commit 1626f95cd7
2 files changed
+19 -9

No files matched your search

+9 -9
View File
@@ -66,7 +66,7 @@
| 56 | Q63 | 10994-11284 | 99944 | opening | Six committed verifiers print PASS while asserting nothing, and eight are run by no gate *(no lane; opened 2026-10-24 by the pipe, per reply 90 to zephyrus)* | open and unclaimed. |
| 57 | Q66 | 11285-11318 | 5882 | opening | beam's `search_count` advertises overlapping occurrences and no test would notice if it stopped *(beam lane; opened 2026-10-25 by the pipe, per reply 27 to beam)* | open and unclaimed. |
| 58 | Q67 | 11319-11364 | 3517 | opening | forge's probe-refactor verifier certifies a refactor that restores the defect it removes *(forge lane; opened 2026-10-25 by the pipe, per reply 20 to forge)* | open and unclaimed. |
| 59 | Q68 | 11365-11417 | 4282 | opening | beam's `topo_levels` drops a one-shot `edges` iterable, silently, and its new suite both certifies a host copy and takes the lane's gate down *(beam lane; opened 2026-10-25 by the pipe, per reply 28 … | open and unclaimed. |
| 59 | Q68 | 11365-11427 | 8108 | opening | beam's `topo_levels` drops a one-shot `edges` iterable, silently, and its new suite both certifies a host copy and takes the lane's gate down *(beam lane; opened 2026-10-25 by the pipe, per reply 28 … | open and unclaimed. |
## Ids with no `## ` heading
@@ -83,7 +83,7 @@ Opened as records inside another section. `line` is the record's own opening lin
| Q52 | 7167 | 7167 | 90 | Q49 | BULLET+BOLD | BOLD-LEAD |
| Q53 | 7292 | 7246 | 165 | Q49 | BULLET+BOLD | BOLD-LEAD |
| Q64 | 10308 | 10308 | 28 | Q45 | BULLET+BOLD | BOLD-LEAD |
| Q65 | 11055 | 11047 | 40 | Q63 | BULLET+BOLD | BOLD-LEAD |
| Q65 | 11055 | 11047 | 41 | Q63 | BULLET+BOLD | BOLD-LEAD |
**Not in this document.** Ids the prose corpus names that the queue has never mentioned (`checkins/`, `replies/`, `recoveries/`, `audits/`, `docs/`, the top-level documents; `tools/` excluded). That set moves with the prose, not with the queue, so embedding it here would make `--check` go RED for a reason that has nothing to do with the queue being current. It is reported on demand: `python3 tools/queue_index.py --outside`.
@@ -256,7 +256,7 @@ The block below is the parse this document renders, byte for byte. `--check` com
"form": "BOLD-LEAD",
"id": "Q65",
"line": 11055,
"refs": 40,
"refs": 41,
"section": "Q63",
"shape": "BULLET+BOLD"
}
@@ -266,9 +266,9 @@ The block below is the parse this document renders, byte for byte. `--check` com
"end_line": 8,
"line": 1
},
"queue_bytes": 1623312,
"queue_lines": 11417,
"queue_sha256": "68774a8aa086b8cd74e4cac9aaf1434b8a11cdae093b9164a05f7767dcb62cd1",
"queue_bytes": 1627138,
"queue_lines": 11427,
"queue_sha256": "ef521fbadbb2df68da0fa46afc2ff0cbddbfde234fb85e399ecc9df1e1a03dfc",
"sections": [
{
"bytes": 3139,
@@ -967,11 +967,11 @@ The block below is the parse this document renders, byte for byte. `--check` com
"title": "forge's probe-refactor verifier certifies a refactor that restores the defect it removes *(forge lane; opened 2026-10-25 by the pipe, per reply 20 to forge)*"
},
{
"bytes": 4282,
"end_line": 11417,
"bytes": 8108,
"end_line": 11427,
"id": "Q68",
"line": 11365,
"lines": 53,
"lines": 63,
"role": "opening",
"role_detail": "",
"status": "open and unclaimed.",