ledger
29bded26c7
spark: verify_csv.py's checks become an exit path (-O no longer prints PASS over a wrong CSV)
...
Q65 cycle 8 (volt), found by the census pass at 40662f8 : this 23-line verifier
carried four assert statements as its only failure path, so `python3 -O`
compiled them away and the file printed "PASS: CSV is valid with correct data
structure" over any input. Measured on copies against a 3-row CSV where the
contract says 2 (transcript: cache/scratch/q65c8/probe_csv_opt.out):
OLD normal rc=1 Traceback
OLD -O rc=0 PASS: CSV is valid with correct data structure / Records: 3
NEW normal rc=1 FAIL: Expected 2 rows, got 3
NEW -O rc=1 FAIL: Expected 2 rows, got 3
Real subject, normal mode: PASS, Records: 2, rc=0. The four checks are now a
_check(cond, msg) that prints the same message to stderr and raises SystemExit(1);
subject and messages unchanged. Spark's file by authorship -- the reason for
editing another lane's verifier is stated in wizard-work/volt/q65-2026-10-27-c8.md
section 3 and in the queue addendum. It returns Q63's STRIPPED_ASSERT population
to 0 of 135 at the next census, which is what this file left behind.
2026-10-27 14:31:16 +00:00
..
2026-10-20 17:41:45 +00:00
2026-10-20 17:41:45 +00:00
2026-10-20 17:41:45 +00:00
2026-10-20 17:41:45 +00:00
2026-10-20 17:41:45 +00:00
2026-10-27 09:11:57 +00:00
2026-10-20 17:41:45 +00:00
2026-10-25 08:35:38 +00:00
2026-10-27 03:11:16 +00:00
2026-10-20 17:41:45 +00:00
2026-10-21 07:46:37 +00:00
2026-10-27 14:21:28 +00:00
2026-10-20 17:41:45 +00:00
2026-10-27 11:38:33 +00:00
2026-10-22 02:56:26 +00:00
2026-10-26 16:12:39 +00:00
2026-10-20 17:41:45 +00:00
2026-10-24 13:42:43 +00:00
2026-10-24 13:44:36 +00:00
2026-10-24 13:42:43 +00:00
2026-10-20 17:41:45 +00:00
2026-10-20 17:41:45 +00:00
2026-10-20 17:41:45 +00:00
2026-10-20 23:13:00 +00:00
2026-10-20 17:41:45 +00:00
2026-10-20 17:41:45 +00:00
2026-10-20 17:41:45 +00:00
2026-10-20 17:41:45 +00:00
2026-10-23 09:54:35 +00:00
2026-10-21 07:46:37 +00:00
2026-10-20 17:41:45 +00:00
2026-10-20 23:13:00 +00:00
2026-10-20 17:41:45 +00:00
2026-10-22 22:15:17 +00:00
2026-10-23 09:30:17 +00:00
2026-10-20 17:41:45 +00:00
2026-10-23 14:58:29 +00:00
2026-10-20 17:41:45 +00:00
2026-10-20 17:41:45 +00:00
2026-10-25 11:27:03 +00:00
2026-10-25 11:27:03 +00:00
2026-10-20 17:41:45 +00:00
2026-10-22 22:15:17 +00:00
2026-10-22 22:15:17 +00:00
2026-10-22 22:15:17 +00:00
2026-10-20 17:41:45 +00:00
2026-10-20 17:41:45 +00:00
2026-10-25 13:56:33 +00:00
2026-10-20 17:41:45 +00:00
2026-10-20 17:41:45 +00:00
2026-10-20 17:41:45 +00:00
2026-10-20 17:41:45 +00:00
2026-10-20 17:41:45 +00:00
2026-10-21 04:35:05 +00:00
2026-10-20 17:41:45 +00:00
2026-10-20 17:41:45 +00:00
2026-10-20 17:41:45 +00:00
2026-10-26 16:12:39 +00:00
2026-10-20 17:41:45 +00:00
2026-10-20 17:41:45 +00:00
2026-10-20 17:41:45 +00:00
2026-10-24 19:01:28 +00:00
2026-10-25 03:11:36 +00:00
2026-10-20 17:27:09 +00:00
2026-10-20 17:41:45 +00:00
2026-10-21 10:13:21 +00:00
2026-10-26 03:35:11 +00:00
2026-10-26 00:58:35 +00:00
2026-10-20 17:41:45 +00:00
2026-10-20 17:41:45 +00:00
2026-10-23 06:35:53 +00:00
2026-10-20 17:41:45 +00:00
2026-10-21 15:52:46 +00:00
2026-10-20 17:41:45 +00:00
2026-10-20 17:41:45 +00:00
2026-10-20 17:41:45 +00:00
2026-10-20 17:41:45 +00:00
2026-10-22 22:15:17 +00:00
2026-10-20 17:41:45 +00:00
2026-10-26 01:04:53 +00:00
2026-10-27 09:11:57 +00:00
2026-10-22 22:15:17 +00:00
2026-10-22 11:07:41 +00:00
2026-10-21 02:18:05 +00:00
2026-10-21 15:43:57 +00:00
2026-10-20 17:41:45 +00:00
2026-10-20 17:41:45 +00:00
2026-10-20 17:41:45 +00:00
2026-10-23 01:03:13 +00:00
2026-10-23 01:03:13 +00:00
2026-10-20 17:41:45 +00:00
2026-10-20 17:41:45 +00:00
2026-10-22 22:15:17 +00:00
2026-10-20 17:41:45 +00:00
2026-10-20 17:41:45 +00:00
2026-10-20 17:41:45 +00:00
2026-10-20 17:41:45 +00:00
2026-10-21 07:46:37 +00:00
2026-10-22 22:15:17 +00:00
2026-10-20 17:41:45 +00:00
2026-10-20 17:41:45 +00:00
2026-10-20 20:38:11 +00:00
2026-10-20 17:41:45 +00:00
2026-10-20 17:41:45 +00:00
2026-10-20 17:41:45 +00:00
2026-10-21 15:52:46 +00:00
2026-10-20 17:41:45 +00:00
2026-10-20 17:41:45 +00:00
2026-10-21 07:46:37 +00:00
2026-10-24 05:10:47 +00:00
2026-10-24 05:10:47 +00:00
2026-10-27 14:28:30 +00:00
2026-10-23 23:27:08 +00:00
2026-10-23 23:27:08 +00:00
2026-10-20 17:41:45 +00:00
2026-10-21 18:26:37 +00:00
2026-10-20 17:41:45 +00:00
2026-10-26 22:20:06 +00:00
2026-10-20 17:41:45 +00:00
2026-10-20 17:41:45 +00:00
2026-10-21 07:46:37 +00:00
2026-10-25 13:56:33 +00:00
2026-10-20 17:41:45 +00:00
2026-10-20 17:41:45 +00:00
2026-10-20 23:13:00 +00:00
2026-10-20 17:28:40 +00:00
2026-10-20 17:41:45 +00:00
2026-10-20 17:41:45 +00:00
2026-10-22 22:14:09 +00:00
2026-10-25 08:24:18 +00:00
2026-10-20 17:41:45 +00:00
2026-10-20 17:41:45 +00:00
2026-10-20 17:41:45 +00:00
2026-10-20 17:41:45 +00:00
2026-10-20 17:41:45 +00:00
2026-10-26 16:12:39 +00:00
2026-10-26 08:46:00 +00:00
2026-10-20 17:41:45 +00:00
2026-10-20 17:41:45 +00:00
2026-10-20 17:41:45 +00:00
2026-10-20 17:41:45 +00:00
2026-10-21 07:46:37 +00:00
2026-10-20 17:41:45 +00:00
2026-10-26 18:23:22 +00:00
2026-10-26 06:19:26 +00:00
2026-10-27 11:38:33 +00:00
2026-10-27 11:32:55 +00:00
2026-10-20 17:41:45 +00:00
2026-10-24 07:55:43 +00:00
2026-10-20 17:41:45 +00:00
2026-10-25 08:35:38 +00:00
2026-10-20 17:41:45 +00:00
2026-10-20 17:41:45 +00:00
2026-10-20 17:41:45 +00:00
2026-10-21 21:11:56 +00:00
2026-10-27 00:38:41 +00:00
2026-10-20 17:41:45 +00:00
2026-10-20 17:41:45 +00:00
2026-10-27 03:11:16 +00:00
2026-10-26 16:12:39 +00:00
2026-10-25 22:29:47 +00:00
2026-10-20 17:41:45 +00:00
2026-10-20 17:41:45 +00:00
2026-10-20 17:41:45 +00:00
2026-10-20 14:42:05 +00:00
2026-10-26 00:58:35 +00:00
2026-10-20 17:41:45 +00:00
2026-10-20 17:41:45 +00:00
2026-10-20 17:41:45 +00:00
2026-10-20 17:41:45 +00:00
2026-10-21 07:29:22 +00:00
2026-10-20 17:41:45 +00:00
2026-10-24 16:17:44 +00:00
2026-10-26 03:35:11 +00:00
2026-10-26 16:12:39 +00:00
2026-10-24 13:42:43 +00:00
2026-10-20 17:41:45 +00:00
2026-10-24 10:56:57 +00:00
2026-10-27 03:11:16 +00:00
2026-10-27 11:32:55 +00:00
2026-10-21 18:26:37 +00:00
2026-10-20 17:41:45 +00:00
2026-10-25 05:56:26 +00:00
2026-10-20 23:13:00 +00:00
2026-10-27 09:11:57 +00:00
2026-10-23 20:53:24 +00:00
2026-10-23 20:53:24 +00:00
2026-10-22 19:39:08 +00:00
2026-10-20 17:41:45 +00:00
2026-10-20 17:41:45 +00:00
2026-10-20 20:31:59 +00:00
2026-10-24 13:42:43 +00:00
2026-10-20 17:41:45 +00:00
2026-10-27 03:11:16 +00:00
2026-10-21 07:46:37 +00:00
2026-10-26 00:58:35 +00:00
2026-10-25 11:12:53 +00:00
2026-10-24 10:49:27 +00:00
2026-10-22 05:34:57 +00:00
2026-10-23 14:58:29 +00:00
2026-10-20 17:41:45 +00:00
2026-10-20 17:41:45 +00:00
2026-10-20 17:41:45 +00:00
2026-10-23 17:58:19 +00:00
2026-10-26 16:12:39 +00:00
2026-10-20 17:41:45 +00:00
2026-10-20 17:41:45 +00:00
2026-10-20 17:41:45 +00:00
2026-10-26 16:12:39 +00:00
2026-10-20 17:27:09 +00:00
2026-10-26 16:12:39 +00:00
2026-10-21 07:46:37 +00:00
2026-10-20 17:41:45 +00:00
2026-10-20 17:41:45 +00:00
2026-10-24 13:42:43 +00:00
2026-10-21 07:46:37 +00:00
2026-10-20 17:41:45 +00:00
2026-10-20 17:41:45 +00:00
2026-10-20 17:41:45 +00:00
2026-10-27 11:32:55 +00:00
2026-10-20 17:41:45 +00:00
2026-10-20 17:41:45 +00:00
2026-10-20 17:41:45 +00:00
2026-10-20 17:41:45 +00:00
2026-10-20 17:41:45 +00:00
2026-10-20 17:41:45 +00:00
2026-10-20 17:41:45 +00:00
2026-10-20 17:41:45 +00:00
2026-10-20 17:41:45 +00:00
2026-10-20 17:41:45 +00:00
2026-10-20 17:41:45 +00:00
2026-10-20 17:41:45 +00:00
2026-10-23 09:52:29 +00:00
2026-10-22 13:53:38 +00:00
2026-10-22 16:39:46 +00:00
2026-10-27 06:25:27 +00:00
2026-10-24 13:42:43 +00:00
2026-10-24 21:40:44 +00:00
2026-10-20 17:41:45 +00:00
2026-10-20 17:41:45 +00:00
2026-10-20 17:41:45 +00:00
2026-10-20 17:41:45 +00:00
2026-10-20 17:41:45 +00:00
2026-10-20 17:41:45 +00:00
2026-10-25 19:27:00 +00:00
2026-10-22 22:15:17 +00:00
2026-10-21 16:02:05 +00:00
2026-10-26 11:19:40 +00:00
2026-10-26 00:58:35 +00:00
2026-10-22 00:13:42 +00:00
2026-10-20 17:41:45 +00:00
2026-10-20 17:41:45 +00:00
2026-10-20 17:41:45 +00:00
2026-10-20 17:41:45 +00:00
2026-10-20 17:41:45 +00:00
2026-10-20 17:41:45 +00:00
2026-10-20 17:41:45 +00:00
2026-10-20 17:41:45 +00:00
2026-10-20 17:41:45 +00:00
2026-10-27 14:08:55 +00:00
2026-10-20 17:41:45 +00:00
2026-10-20 17:41:45 +00:00
2026-10-21 13:05:44 +00:00
2026-10-20 17:41:45 +00:00
2026-10-25 11:27:03 +00:00
2026-10-20 17:41:45 +00:00
2026-10-25 16:46:36 +00:00
2026-10-20 17:41:45 +00:00
2026-10-26 16:12:39 +00:00
2026-10-20 17:41:45 +00:00
2026-10-26 16:12:39 +00:00
2026-10-20 17:41:45 +00:00
2026-10-20 17:41:45 +00:00
2026-10-20 17:41:45 +00:00
2026-10-20 20:38:11 +00:00
2026-10-27 00:54:56 +00:00
2026-10-20 17:41:45 +00:00
2026-10-23 12:16:02 +00:00
2026-10-20 17:41:45 +00:00
2026-10-22 22:10:48 +00:00
2026-10-20 17:41:45 +00:00
2026-10-24 07:55:43 +00:00
2026-10-26 00:58:35 +00:00
2026-10-20 17:41:45 +00:00
2026-10-27 09:11:57 +00:00
2026-10-22 22:15:17 +00:00
2026-10-22 22:15:17 +00:00
2026-10-24 13:42:43 +00:00
2026-10-24 13:42:43 +00:00
2026-10-20 17:41:45 +00:00
2026-10-26 16:12:39 +00:00
2026-10-22 00:16:13 +00:00
2026-10-24 13:42:43 +00:00
2026-10-22 22:15:17 +00:00
2026-10-25 08:35:38 +00:00
2026-10-21 07:46:37 +00:00
2026-10-20 17:41:45 +00:00
2026-10-22 19:39:08 +00:00
2026-10-26 16:12:39 +00:00
2026-10-20 17:41:45 +00:00
2026-10-21 10:25:35 +00:00
2026-10-20 17:41:45 +00:00
2026-10-20 17:41:45 +00:00
2026-10-25 22:29:47 +00:00
2026-10-21 07:46:37 +00:00
2026-10-25 22:29:47 +00:00
2026-10-20 17:41:45 +00:00
2026-10-20 17:41:45 +00:00
2026-10-20 17:41:45 +00:00
2026-10-24 13:42:43 +00:00
2026-10-21 07:46:37 +00:00
2026-10-21 07:46:37 +00:00
2026-10-21 12:56:51 +00:00
2026-10-22 22:15:17 +00:00
2026-10-20 17:41:45 +00:00
2026-10-20 17:41:45 +00:00
2026-10-20 17:41:45 +00:00
2026-10-26 06:19:26 +00:00
2026-10-26 06:19:26 +00:00
2026-10-20 17:41:45 +00:00
2026-10-20 17:41:45 +00:00
2026-10-20 17:41:45 +00:00
2026-10-20 17:41:45 +00:00
2026-10-20 17:41:45 +00:00
2026-10-20 17:41:45 +00:00
2026-10-25 00:29:29 +00:00
2026-10-24 13:42:43 +00:00
2026-10-20 17:41:45 +00:00
2026-10-22 22:10:48 +00:00
2026-10-20 17:41:45 +00:00
2026-10-22 08:23:16 +00:00
2026-10-20 17:41:45 +00:00
2026-10-26 00:58:35 +00:00
2026-10-20 17:41:45 +00:00
2026-10-20 17:41:45 +00:00
2026-10-20 17:41:45 +00:00
2026-10-23 17:15:45 +00:00
2026-10-26 16:12:39 +00:00
2026-10-23 15:13:37 +00:00
2026-10-22 22:15:17 +00:00
2026-10-26 18:23:22 +00:00
2026-10-26 18:23:22 +00:00
2026-10-20 17:41:45 +00:00
2026-10-21 07:46:37 +00:00
2026-10-26 16:12:39 +00:00
2026-10-20 17:41:45 +00:00
2026-10-20 17:41:45 +00:00
2026-10-20 17:41:45 +00:00
2026-10-25 00:28:01 +00:00
2026-10-26 16:12:39 +00:00
2026-10-24 13:42:43 +00:00
2026-10-20 17:41:45 +00:00
2026-10-20 17:41:45 +00:00
2026-10-20 17:41:45 +00:00
2026-10-24 13:42:43 +00:00
2026-10-20 17:41:45 +00:00
2026-10-22 16:39:46 +00:00
2026-10-22 05:38:33 +00:00
2026-10-20 17:41:45 +00:00
2026-10-26 16:12:39 +00:00
2026-10-26 06:19:55 +00:00
2026-10-20 17:41:45 +00:00
2026-10-24 13:42:43 +00:00
2026-10-21 07:46:37 +00:00
2026-10-21 07:46:37 +00:00
2026-10-20 17:41:45 +00:00
2026-10-27 14:31:16 +00:00
2026-10-20 17:41:45 +00:00
2026-10-27 01:11:47 +00:00
2026-10-21 07:46:37 +00:00
2026-10-21 07:46:37 +00:00
2026-10-25 03:11:36 +00:00
2026-10-21 07:46:37 +00:00
2026-10-20 17:41:45 +00:00
2026-10-26 01:04:53 +00:00
2026-10-20 17:41:45 +00:00
2026-10-20 17:41:45 +00:00
2026-10-26 16:12:39 +00:00
2026-10-26 11:19:40 +00:00
2026-10-26 00:58:35 +00:00
2026-10-23 03:46:00 +00:00
2026-10-27 06:11:23 +00:00
2026-10-20 17:41:45 +00:00
2026-10-20 17:41:45 +00:00
2026-10-20 17:41:45 +00:00
2026-10-20 17:41:45 +00:00
2026-10-24 13:42:43 +00:00
2026-10-26 16:12:39 +00:00
2026-10-25 19:32:04 +00:00
2026-10-20 17:41:45 +00:00
2026-10-21 15:52:46 +00:00
2026-10-20 17:41:45 +00:00
2026-10-27 01:11:47 +00:00
2026-10-20 17:41:45 +00:00
2026-10-27 01:11:47 +00:00
2026-10-27 01:11:47 +00:00
2026-10-24 21:40:44 +00:00
2026-10-20 17:41:45 +00:00
2026-10-20 17:41:45 +00:00
2026-10-20 17:41:45 +00:00
2026-10-20 17:41:45 +00:00
2026-10-20 20:38:11 +00:00
2026-10-21 21:12:39 +00:00
2026-10-20 17:41:45 +00:00
2026-10-24 02:37:48 +00:00
2026-10-20 17:41:45 +00:00
2026-10-20 17:41:45 +00:00
2026-10-20 17:41:45 +00:00
2026-10-25 13:56:33 +00:00
2026-10-20 17:41:45 +00:00
2026-10-20 17:41:45 +00:00
2026-10-20 17:41:45 +00:00
2026-10-20 17:41:45 +00:00
2026-10-23 09:52:29 +00:00
2026-10-27 09:11:57 +00:00
2026-10-20 17:41:45 +00:00
2026-10-20 17:41:45 +00:00
2026-10-20 17:41:45 +00:00
2026-10-20 17:41:45 +00:00
2026-10-20 17:41:45 +00:00
2026-10-20 17:41:45 +00:00
2026-10-21 15:52:46 +00:00
2026-10-20 17:41:45 +00:00