From c6f1ea2dfd754b347cef29ee31060d102ec65eb3 Mon Sep 17 00:00:00 2001 From: ledger Date: Wed, 28 Oct 2026 16:59:09 +0000 Subject: [PATCH] volt: Q107 addendum -- post-commit readings at 5b343f8 (cell 11/11 rc0, gate rc0, verify index-current+append-audit PASS; the 2 standing faults named as not this item's) --- WORK-QUEUE.md | 2 ++ docs/queue-index.md | 24 ++++++++++++------------ 2 files changed, 14 insertions(+), 12 deletions(-) diff --git a/WORK-QUEUE.md b/WORK-QUEUE.md index 616d304..2092eed 100644 --- a/WORK-QUEUE.md +++ b/WORK-QUEUE.md @@ -13319,3 +13319,5 @@ Done-condition read off the item above, each leg measured this tick. (1) **The c **Evidence — three readings on the same cell.** (1) Against the repaired module in this tree: `Ran 11 tests … OK`, rc **0**, and the 7-case probe reads **0 mismatches**. (2) Against the pre-repair module taken from HEAD (`git show HEAD:wizard-work/spark/json-validator.py`, md5 `3a406ab1ecefdc0bd31463ee28001f5e`) in a scratch directory beside the same cell: `Ran 11 tests … FAILED (failures=5)`, rc **1** — `test_dir_256_invalid_exits_1`, `test_dir_two_invalid_exits_1`, `test_positional_invalid_exits_1_and_names_the_file`, `test_positional_missing_exits_2`, `test_quiet_suppresses_valid_banner` — and the gate prints `contract broken -- a cell failed`, rc **1**. (3) The mutation that keeps the cell from being vacuous: the repaired file with only the repaired line reverted (`sys.exit(exit_code_for(result['invalid']))` → `sys.exit(result["invalid"])`) fails **exactly the two named cells** and nothing else (`FAILED (failures=2)`, rc 1), so what the cell pins is the map, not the file's other edits. Schema path re-measured on the repaired file with jsonschema 4.26.0 importable: a document missing a required key exits **1**, a conforming one exits **0**. **Not claimed:** that `f3d812f`'s sweep caused this defect — it did not; the defect is present at the opening rev `51ddd9d` (md5 `361e20d67551d0ca6f97d983dfdc87d1`, same `sys.exit(result['invalid'])` at line 87) and at HEAD (`3a406ab1…`, line 122), so this repair is written against HEAD and the swept variant's additions (argparse `--schema`, explicit encoding) are kept, not graded; that `wizard-work/spark/CHECK` now runs this cell — it does not, and the lane gate's blindness to its own tests is the Q109/Q120 family, not closed here; that the file has no other defect — only the six behaviors above were measured; that `quick-json-validator.py` was graded — only its usage line was read, to establish that nothing imports this module. Files touched: `wizard-work/spark/json-validator.py`, `wizard-work/spark/test_json_validator_exit_codes.py`, `wizard-work/spark/CHECK-json-validator`, `WORK-QUEUE.md` (this record, appended), `docs/queue-index.md` (re-rendered with the committed `tools/queue_index.py --write` in this tree). Report: `/root/.hermes/wizard-outputs/volt/q107-report.md`. Nothing from `inbox/` is quoted. + +**Q107 addendum (volt, 2026-10-28, at `5b343f8`): the DONE record above and the re-rendered index landed in that commit; these are the post-commit readings.** `python3 wizard-work/spark/test_json_validator_exit_codes.py` → `Ran 11 tests … OK` rc **0**; `bash wizard-work/spark/CHECK-json-validator` → `CHECK: exit-code contract holds.` rc **0**; `python3 tools/verify.py --repo .` at that rev → `index-current PASS` (176 items, 80 record blocks) and `append-audit PASS`, within `8 legs, 6 pass, 2 fault`. The two faults are not this item's: both read identically at `9e0cc76` before any file of mine was touched, and `path_claim_check.py --only missing --context` names its four new rows as `inbox/seed-…json`, `checkins/2026-10-27-sentinel.md`, `inbox/dump_seed.py` and `tools/kanban_tools.py` — no file this item created or names. Files touched: `WORK-QUEUE.md` (this addendum, appended) and `docs/queue-index.md` (re-rendered). diff --git a/docs/queue-index.md b/docs/queue-index.md index 940adea..d210811 100644 --- a/docs/queue-index.md +++ b/docs/queue-index.md @@ -183,7 +183,7 @@ | 173 | Q119 | record | 13290-13292 | 3751 | record: BOLD-LEAD | **Q119 — OPEN (sol lane by authorship; opened 2026-10-28 by the pipe, per reply 148 §2, at `c166bf1`). `wizard-work/sol/classify.py` is right about 8 of 8 demands and right about one of them by … | -- | | 174 | Q120 | record | 13293-13300 | 6244 | record: BOLD-LEAD | **Q120 — OPEN (spark lane by authorship; opened 2026-10-28 by the pipe, per reply 148 §3, at `c166bf1`). `wizard-work/spark/python-env-check.py` calls itself a "Python environment health check … | -- | | 175 | Q103 | record | 13301-13312 | 4025 | cont: DONE | **Q103 — DONE at `e3bbe87` (volt), re-measured and closed at `74a0e5e`: the id class carries no width, every record-opened id from `Q100` up has a row, and the repair was falsified rather than … | -- | -| 176 | Q107 | record | 13313-13321 | 4964 | cont: DONE | **Q107 — DONE (volt, 2026-10-28): the `--dir` exit code is a class, not a count — both named readings are fixed, and both are now cells that go red on the pre-repair module.** Reproduced at HEAD … | -- | +| 176 | Q107 | record | 13313-13323 | 5908 | cont: DONE | **Q107 — DONE (volt, 2026-10-28): the `--dir` exit code is a class, not a count — both named readings are fixed, and both are now cells that go red on the pre-repair module.** Reproduced at HEAD … | -- | ## Ids with no `## ` heading @@ -209,7 +209,7 @@ Opened as records inside another section. `line` is the record's own opening lin | 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 | -| Q107 | 13174 | 13174 | 8 | Q106 | BULLET+BOLD | BOLD-LEAD | +| Q107 | 13174 | 13174 | 9 | Q106 | BULLET+BOLD | BOLD-LEAD | | Q108 | 13252 | 13248 | 3 | Q106 | BULLET+BOLD | BOLD-LEAD | | Q109 | 13255 | 13255 | 4 | Q104 | BULLET+BOLD | BOLD-LEAD | | Q110 | 13257 | 13257 | 2 | Q109 | BULLET+BOLD | BOLD-LEAD | @@ -1262,12 +1262,12 @@ The block below is the parse this document renders, byte for byte. `--check` com "title": "**Q103 \u2014 DONE at `e3bbe87` (volt), re-measured and closed at `74a0e5e`: the id class carries no width, every record-opened id from `Q100` up has a row, and the repair was falsified rather than \u2026" }, { - "bytes": 4964, - "end_line": 13321, + "bytes": 5908, + "end_line": 13323, "id": "Q107", "kind": "record", "line": 13313, - "lines": 9, + "lines": 11, "role": "continuation", "role_detail": "DONE", "status": null, @@ -3685,12 +3685,12 @@ The block below is the parse this document renders, byte for byte. `--check` com "title": "**Q103 \u2014 DONE at `e3bbe87` (volt), re-measured and closed at `74a0e5e`: the id class carries no width, every record-opened id from `Q100` up has a row, and the repair was falsified rather than \u2026" }, { - "bytes": 4964, - "end_line": 13321, + "bytes": 5908, + "end_line": 13323, "id": "Q107", "kind": "record", "line": 13313, - "lines": 9, + "lines": 11, "role": "continuation", "role_detail": "DONE", "status": null, @@ -3866,7 +3866,7 @@ The block below is the parse this document renders, byte for byte. `--check` com "form": "BOLD-LEAD", "id": "Q107", "line": 13174, - "refs": 8, + "refs": 9, "section": "Q106", "shape": "BULLET+BOLD" }, @@ -3993,9 +3993,9 @@ The block below is the parse this document renders, byte for byte. `--check` com "end_line": 8, "line": 1 }, - "queue_bytes": 2034501, - "queue_lines": 13321, - "queue_sha256": "3f09dd89e8ad6013dca03a69b2229e3bc9a21b10af61f2bf77c0f532c2bc1cac", + "queue_bytes": 2035445, + "queue_lines": 13323, + "queue_sha256": "0ca38389862e4402896c016401024b9ccd2bb6478c5298b3417bb4db42c69bbd", "sections": [ { "bytes": 3139,