Re-runs of the package programs, 2026-10-19 (when the note was written), from copies of the folders in a
scratch directory (so that no file of the package was overwritten).  Machine: Apple-silicon Mac, Python 3.13,
z3 4.15.4.  Times are wall-clock.

1. check_note.py                                   ALL CHECKS PASSED                         3.8 s
   (recorded output: check_note_output.txt; identical up to the line "time ...")
2. original/scripts/verify_tilings.py P7 certificates/original
                                                   136 tiling files checked: 0 failures      1.0 s
   original/scripts/verify_tilings.py P7 certificates/verification_run_B
                                                   87 tiling files checked: 0 failures       1.0 s
   (negative control: a copy with one tile line deleted, and a copy of a file saved under the name of another
   benzel, are both reported FAILED)
3. original/scripts/p7_F1_z3.py                    P1, P2, PV, PS, PF: unsat                 0.1 s
   original/scripts/p7_F1_z3_negcontrol.py         P1, P2: unsat; PV, PS, PF: sat            0.1 s
   The regenerated .smt2 files are byte-identical to original/recorded_outputs/smt_F1/*.smt2.
4. verification_run_A/programs/vA_F1.py 30         "F1 rule re-derived and verified for 2 <= D <= 30"   0.6 s
   verification_run_A/programs/vA_check.py BASE    (BASE/p7_tilings = copy of certificates/original,
                                                   BASE/p4_tilings empty): Propp tables 0 mismatches;
                                                   P7: 136 certificate files, 0 failures      0.7 s
   the same with BASE/p7_tilings = copy of certificates/verification_run_B:
                                                   P7: 87 certificate files, 0 failures
5. verification_run_B/programs/t2_F1.py 40         T2 RESULT: ALL OK                         21 s
   verification_run_B/programs/t7_coverage.py certificates/original certificates/verification_run_B
                                                   valid tilings for 223 benzels; invalid files: 0;
                                                   R7 with b <= 60: 206 benzels, uncovered 0  5.9 s
6. check_note.py on a modified copy of the package (one tile removed from B_9_12.txt, one letter changed in
   B_47_55.txt, B_51_60.txt left out, B_49_59.txt copied to B_48_60.txt): 4 CHECKS FAILED, as expected.
   check_note.py part [3] with t = D-2 in place of t = D-1: fails (runs of length not divisible by 3).

Not re-run (long SAT searches; their outputs are recorded): original/scripts/p7_exist_d.py, p7_exist_cases.py,
run_existence.py, cluster_test2.py, tring_test.py, ring_lemmas.py, zmove_test.py, rule_search.py, tables.py;
verification_run_B/programs/t1_tables.py (about 6 minutes), t1b_invariant.py, t4_sat_extra.py, t6_symsat.py.
