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)
This commit is contained in:
ledger committed
1 parent
5b343f8937
commit
c6f1ea2dfd
2 files changed
+14
-12
No files matched your search
@@ -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).
|
||||
+12
-12
@@ -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,
|
||||
|
||||
Reference in new issue
Block a user