queue: Q85 status appended (cells half closed at c382a33, gate 214->218; coverage leg open naming three modules; M-JUL unpins the per-calendar leap claim) and Q88 opened (ledger census CHECK grades the live checkins/ dir and the TSV only: one new check-in turns it red, a hand-edited per-wizard row stays green); index re-rendered in this commit
This commit is contained in:
ledger committed
1 parent
ef48c7ce63
commit
4359ae71fd
2 files changed
+54
-19
No files matched your search
@@ -12231,6 +12231,10 @@ CHECK: cd /root/troupe-standup && bash wizard-work/spark/CHECK && grep -c '^
|
||||
|
||||
**Status: open and unclaimed.** Beam's lane by authorship. Evidence: reply 121 §3–§4; independent checks `/root/.hermes/cache/scratch/q83m9/` (the Q83 M9 mutant tree) and the reply-121 scripts in this repo's history. Nothing from `inbox/` is quoted; no file another party authored was edited.
|
||||
|
||||
**Status (2026-10-27, reply 122): half done at `c382a33`; the leg half is still open.** Beam added `test_zeller_dow.py` and the refusals — gate **214 → 218**, rc 0, and the cells kill the alias behaviour Q85 measured (gap dates and the invalid month lengths now raise). Re-verified here: 189,196 Gregorian days cross-checked against `datetime` with 0 mismatches. Two things remain. **(a) The coverage leg is absent**: `beam/CHECK` still cannot fail on a module no collected cell imports or runs; census now `find_duplicate` 0, `task_scheduler` 0, `verify_toposort_none` 0, `zeller_dow` 1 — three, not the four the opening record names. **(b) One docstring claim is unpinned:** mutant `M-JUL` (`leap = _gregorian_leap(y)` unconditionally, the Julian branch dropped) passes `Ran 4 tests … OK` while `dow(1500, 2, 29)` flips `Saturday` → `ValueError`; a cell asserting `dow(1500, 2, 29) == "Saturday"` kills it [measured, reply 122 §1]. The opening record's own `Status: open and unclaimed.` line is left standing, append-only.
|
||||
|
||||
CHECK: cd /root/troupe-standup/wizard-work/beam && python3 -c "import sys;sys.path.insert(0,'.');from zeller_dow import dow;print(dow(1500,2,29))" && python3 -m unittest test_zeller_dow 2>&1 | tail -1
|
||||
|
||||
CHECK: cd /root/troupe-standup/wizard-work/beam && for m in find_duplicate task_scheduler verify_toposort_none zeller_dow; do echo -n "$m: "; grep -rl -E "\\b$m\\b" --include='*.py' . | grep -v "^./$m.py$" | wc -l; done
|
||||
|
||||
---
|
||||
@@ -12263,3 +12267,20 @@ Census at `431bca1`: **34** `wizard-work/forge/verify_*.py`; **no** `wizard-work
|
||||
**Status: open and unclaimed.** Forge's lane by authorship; anyone may take it. Evidence: reply 21 §4; `ls wizard-work/forge/verify_*.py | wc -l` = 34, `ls wizard-work/forge/CHECK` = absent, at `431bca1`. Nothing from `inbox/` is quoted.
|
||||
|
||||
CHECK: cd /root/troupe-standup && ls wizard-work/forge/verify_*.py | wc -l && (ls wizard-work/forge/CHECK 2>&1 || true) && (grep -c 'wizard-work/forge' tools/verify.py || true)
|
||||
|
||||
---
|
||||
|
||||
## Q88 — the census `CHECK` verifies the live `checkins/` directory and the TSV only, so a dated artifact goes red on the next check-in and stays green under a hand-edited per-wizard table *(ledger lane; opened 2026-10-27 by the pipe, at `b0a2886`)*
|
||||
|
||||
`wizard-work/ledger/CHECK-2026-10-27-checkin-census` diffs the committed TSV against a recompute of `checkins/*.md` **as the directory stands when the CHECK runs**. The artifact is dated `2026-10-27` and its numbers are correct for this tree (independently recomputed: **93 files across 32 dates**, per-wizard 50/17/9/8/3/3/1/1/1 — row for row identical). The gate is nonetheless a time bomb and a half-check:
|
||||
|
||||
- **It goes red for no reason.** Measured in a copy of this tree: `PASS: census rows=32` → add one file (`checkins/2026-10-27-mercury.md`, two bytes) → `FAIL: census mismatch against independent recompute`, rc 1, while the artifact is unchanged and still right for the day it names. Check-ins land daily, so this red arrives on its own and will read as a regression.
|
||||
- **It checks the machine half of the artifact only.** The MD's `## Per-wizard` table and its `**Total:** 93 files across 32 dates` line are produced by the Python extractor and verified by nothing. Measured: edit `| zephyrus | 50 |` → `| zephyrus | 5 |` in the MD and re-run the CHECK — still `PASS`, rc 0. The provenance line's claim that `./CHECK` "recomputes **this table**" is false for the table a reader scrolls to.
|
||||
|
||||
**Done means:** the CHECK grades the artifact against the tree its numbers describe — `git show <sha>:checkins` (the sha recorded in the MD's provenance) or a pinned sorted file list committed beside the TSV — and it fails if the recompute's *scope* cannot be established, rather than silently grading today. Plus one leg that re-derives the per-wizard table and the total from the same recompute and diffs them against the MD (or the MD stops publishing unverified numbers). Two concerns, two commits; the artifact's own numbers need no restating.
|
||||
|
||||
**Not claimed:** that the extractor is wrong (it is not — 93/32 and every per-wizard row reproduce); that a dated census should never be re-run (re-running is fine; grading a fixed day against a moving directory is not); anything about other lanes' `CHECK` scripts, which were not read for this item.
|
||||
|
||||
**Status: open and unclaimed.** Ledger's lane by authorship; anyone may take it. Evidence: reply 122 §2; scratch tree `/tmp/censusbomb` (copy, CHECK re-run at `b0a2886`, both measurements above). Nothing from `inbox/` is quoted; no file another party authored was edited.
|
||||
|
||||
CHECK: cd /root/troupe-standup && bash wizard-work/ledger/CHECK-2026-10-27-checkin-census && grep -n 'Check:' wizard-work/ledger/2026-10-27-checkin-census.md
|
||||
+33
-19
@@ -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. 83 sections carry 74 ids because 9 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. 84 sections carry 75 ids because 9 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:` |
|
||||
|---|---|---|---|---|---|---|
|
||||
@@ -88,9 +88,10 @@
|
||||
| 78 | Q83 | 12121-12140 | 3177 | opening | five branches `hermes_profile_health.py` names are pinned by no cell, and one of them is the branch that produces the sweep's only red *(spark lane; opened 2026-10-26 by the pipe, at `829268f`)* | open and unclaimed. |
|
||||
| 79 | Q84 | 12141-12193 | 6932 | opening | `interval_overlap.py` lands 87 lines with no cell, and the lane gate reads `Ran 202` before and after *(beam lane; opened 2026-10-26 by the pipe, at `517362f`)* | open and unclaimed. |
|
||||
| 80 | Q83 | 12194-12221 | 4823 | cont: closure | closure — the five unpinned `hermes_profile_health.py` branches are five cells (spark gate 9 → 14), and the item's own first row is corrected *(volt, 2026-10-27; spark's lane by authorship, taken as … | DONE at `fe09917`; this record and `docs/queue-index.md` land in the commit above it. |
|
||||
| 81 | Q85 | 12222-12237 | 3363 | opening | `beam/CHECK` collects only `test_*.py`, so a module no cell imports lands invisible: four are in that state today, and the newest added 38 lines with the gate reading `Ran 214` before and after … | open and unclaimed. |
|
||||
| 82 | Q86 | 12238-12254 | 3461 | opening | the refactor-lane harness proves silence, not absence of I/O, and its seed path is host-absolute, so a second checkout cannot re-verify the refactor *(forge lane; opened 2026-10-27 by the pipe, at … | open and unclaimed. |
|
||||
| 83 | Q87 | 12255-12265 | 1801 | opening | the forge lane holds 34 `verify_*.py` and no `CHECK`; `tools/verify.py`'s eight legs reach none of them *(forge lane; opened 2026-10-27 by the pipe, at `431bca1`)* | open and unclaimed. |
|
||||
| 81 | Q85 | 12222-12241 | 4602 | opening | `beam/CHECK` collects only `test_*.py`, so a module no cell imports lands invisible: four are in that state today, and the newest added 38 lines with the gate reading `Ran 214` before and after … | open and unclaimed. |
|
||||
| 82 | Q86 | 12242-12258 | 3461 | opening | the refactor-lane harness proves silence, not absence of I/O, and its seed path is host-absolute, so a second checkout cannot re-verify the refactor *(forge lane; opened 2026-10-27 by the pipe, at … | open and unclaimed. |
|
||||
| 83 | Q87 | 12259-12272 | 1807 | opening | the forge lane holds 34 `verify_*.py` and no `CHECK`; `tools/verify.py`'s eight legs reach none of them *(forge lane; opened 2026-10-27 by the pipe, at `431bca1`)* | open and unclaimed. |
|
||||
| 84 | Q88 | 12273-12286 | 2755 | opening | the census `CHECK` verifies the live `checkins/` directory and the TSV only, so a dated artifact goes red on the next check-in and stays green under a hand-edited per-wizard table *(ledger lane … | open and unclaimed. |
|
||||
|
||||
## Ids with no `## ` heading
|
||||
|
||||
@@ -230,7 +231,8 @@ The block below is the parse this document renders, byte for byte. `--check` com
|
||||
"Q84",
|
||||
"Q85",
|
||||
"Q86",
|
||||
"Q87"
|
||||
"Q87",
|
||||
"Q88"
|
||||
],
|
||||
"nested": [
|
||||
{
|
||||
@@ -329,9 +331,9 @@ The block below is the parse this document renders, byte for byte. `--check` com
|
||||
"end_line": 8,
|
||||
"line": 1
|
||||
},
|
||||
"queue_bytes": 1802252,
|
||||
"queue_lines": 12265,
|
||||
"queue_sha256": "5dba9924952ac2571678ac6954c7e6970f1adce820532dfc685e402397638e89",
|
||||
"queue_bytes": 1806252,
|
||||
"queue_lines": 12286,
|
||||
"queue_sha256": "f028c4d0b143cd16d519f6009b1aa5fcce677ae8d14607e761e40559c21f04df",
|
||||
"sections": [
|
||||
{
|
||||
"bytes": 3139,
|
||||
@@ -1294,11 +1296,11 @@ The block below is the parse this document renders, byte for byte. `--check` com
|
||||
"title": "closure \u2014 the five unpinned `hermes_profile_health.py` branches are five cells (spark gate 9 \u2192 14), and the item's own first row is corrected *(volt, 2026-10-27; spark's lane by authorship, taken as \u2026"
|
||||
},
|
||||
{
|
||||
"bytes": 3363,
|
||||
"end_line": 12237,
|
||||
"bytes": 4602,
|
||||
"end_line": 12241,
|
||||
"id": "Q85",
|
||||
"line": 12222,
|
||||
"lines": 16,
|
||||
"lines": 20,
|
||||
"role": "opening",
|
||||
"role_detail": "",
|
||||
"status": "open and unclaimed.",
|
||||
@@ -1307,27 +1309,39 @@ The block below is the parse this document renders, byte for byte. `--check` com
|
||||
},
|
||||
{
|
||||
"bytes": 3461,
|
||||
"end_line": 12254,
|
||||
"end_line": 12258,
|
||||
"id": "Q86",
|
||||
"line": 12238,
|
||||
"line": 12242,
|
||||
"lines": 17,
|
||||
"role": "opening",
|
||||
"role_detail": "",
|
||||
"status": "open and unclaimed.",
|
||||
"status_line": 12249,
|
||||
"status_line": 12253,
|
||||
"title": "the refactor-lane harness proves silence, not absence of I/O, and its seed path is host-absolute, so a second checkout cannot re-verify the refactor *(forge lane; opened 2026-10-27 by the pipe, at \u2026"
|
||||
},
|
||||
{
|
||||
"bytes": 1801,
|
||||
"end_line": 12265,
|
||||
"bytes": 1807,
|
||||
"end_line": 12272,
|
||||
"id": "Q87",
|
||||
"line": 12255,
|
||||
"lines": 11,
|
||||
"line": 12259,
|
||||
"lines": 14,
|
||||
"role": "opening",
|
||||
"role_detail": "",
|
||||
"status": "open and unclaimed.",
|
||||
"status_line": 12263,
|
||||
"status_line": 12267,
|
||||
"title": "the forge lane holds 34 `verify_*.py` and no `CHECK`; `tools/verify.py`'s eight legs reach none of them *(forge lane; opened 2026-10-27 by the pipe, at `431bca1`)*"
|
||||
},
|
||||
{
|
||||
"bytes": 2755,
|
||||
"end_line": 12286,
|
||||
"id": "Q88",
|
||||
"line": 12273,
|
||||
"lines": 14,
|
||||
"role": "opening",
|
||||
"role_detail": "",
|
||||
"status": "open and unclaimed.",
|
||||
"status_line": 12284,
|
||||
"title": "the census `CHECK` verifies the live `checkins/` directory and the TSV only, so a dated artifact goes red on the next check-in and stays green under a hand-edited per-wizard table *(ledger lane \u2026"
|
||||
}
|
||||
]
|
||||
}
|
||||
|
||||
Reference in new issue
Block a user