RERUN_LOG.txt -- re-runs of 10 October 2026 (times in UTC).
Machine: one laptop, Apple M3 Max, macOS; Python 3.13.5, numpy 2.5.2, scipy 1.18.1, Apple clang 21.0.0.
run_all.sh runs one process at a time; times in seconds as printed by the script.
While the run of Part 1 and the measurements of Part 5 were made, one further process was running on the same
machine (the enumerations of Part 4).  The run of Part 2 was made after Part 4 had finished.

====================================================================================================
Part 1.  First complete run, `sh run_all.sh PYTHON --searches`, in the working copy of this folder.
At that time the script had 71 steps (the step writing_stage/density_bounds_exhaust.txt was added afterwards)
and the folder expected_outputs/ did not exist yet (hence '0 output files compared').  The outputs of this
run, together with the output of the added step, are the files of expected_outputs/.
====================================================================================================
== run_all.sh: 2026-10-10T08:28:42Z; Darwin arm64; Python 3.13.5
   numpy 2.5.2
   scipy 1.18.1
   Apple clang version 21.0.0 (clang-2100.3.34.2)
== 1. Dimension 2: the checkers of the note (original/) on its three certificates
ok         1 s  rerun_out/original/check_gcert_q20.txt
ok         0 s  rerun_out/original/check_gcert_q280.txt
ok         1 s  rerun_out/original/check_gcert_numpy_q20.txt
ok         0 s  rerun_out/original/check_gcert_numpy_q280.txt
ok         0 s  rerun_out/original/check_extremal_q280.txt
ok         0 s  rerun_out/original/check_density_q280.txt
ok         0 s  rerun_out/original/check_gcert_numpy_density.txt
ok         1 s  rerun_out/original/identity_test.txt
ok         1 s  rerun_out/original/rejection_tests.txt
ok         0 s  rerun_out/original/check_abb2d.txt
== 2. Dimension 2: the checker of verification run A on the three certificates of the note
ok         1 s  rerun_out/A/check2d_q20.txt
ok         1 s  rerun_out/A/check2d_q280.txt
ok         1 s  rerun_out/A/check2d_density.txt
ok         1 s  rerun_out/A/theoremB_C.txt
ok        11 s  rerun_out/A/reject2d.txt
ok         1 s  rerun_out/A/three_letters.txt
== 3. Dimension 2: the checker of verification run B on all six certificates
ok         2 s  rerun_out/B/verify2d_cert_q20.txt
ok         1 s  rerun_out/B/verify2d_cert_q280.txt
ok         1 s  rerun_out/B/verify2d_cert_density.txt
ok         1 s  rerun_out/B/verify2d_mycert.txt
ok         1 s  rerun_out/B/verify2d_mycert_density.txt
ok         1 s  rerun_out/B/verify2d_mycert_piece3.txt
ok         0 s  rerun_out/B/check_gluing2d.txt
== 4. Dimension 2: the checker written with the note on all six certificates; cross-checks
ok         0 s  rerun_out/writing_stage/check_window_cert_q20.txt
ok         0 s  rerun_out/writing_stage/check_window_cert_q280.txt
ok         0 s  rerun_out/writing_stage/check_window_cert_mycert.txt
ok         0 s  rerun_out/writing_stage/check_window_cert_density.txt
ok         0 s  rerun_out/writing_stage/check_window_cert_mydensity.txt
ok         1 s  rerun_out/writing_stage/check_window_cert_piece3.txt
ok         0 s  rerun_out/writing_stage/convert_mycert.txt
ok         0 s  rerun_out/writing_stage/convert_mycert_density.txt
ok         0 s  rerun_out/writing_stage/convert_mycert_piece3.txt
ok         0 s  rerun_out/original/check_gcert_mycert.txt
ok         0 s  rerun_out/original/check_gcert_numpy_mycert.txt
ok         0 s  rerun_out/original/check_gcert_numpy_mydensity.txt
ok         1 s  rerun_out/original/check_extremal_mycert.txt
ok         0 s  rerun_out/original/check_density_mycert.txt
ok         1 s  rerun_out/A/check2d_mycert.txt
ok         1 s  rerun_out/A/check2d_mycert_density.txt
ok         1 s  rerun_out/A/check2d_mycert_piece3.txt
== 5. Dimension 2: examples, families, identities, Corollary 1.8
ok         0 s  rerun_out/writing_stage/strip_family.txt
ok         6 s  rerun_out/writing_stage/density_region.txt
ok         2 s  rerun_out/A/strip_family.txt
identical           the grid 20 x 240 written by vA_strip_family.py and the recorded one
ok         6 s  rerun_out/A/corE_misc.txt
ok        19 s  rerun_out/A/identity_tests.txt
ok         9 s  rerun_out/B/identity_tests.txt
ok         5 s  rerun_out/B/corE_lp.txt
== 6. Dimension 3: both certificates with the checker of the note and the checker of run B   [numpy; 1.3 and 2.6 GB]
ok        17 s  rerun_out/original/check_abb3d_cert.txt
ok        16 s  rerun_out/original/check_abb3d_mycert.txt
ok        14 s  rerun_out/B/verify3d_cert.txt
ok        17 s  rerun_out/B/verify3d_mycert.txt
ok         1 s  rerun_out/original/identity_test_3d.txt
ok        64 s  rerun_out/original/rejection_tests_3d.txt
== 7. Dimension 3: both certificates with the two C programs of run A   [cc; 1.1 GB]
ok         8 s  rerun_out/A/3d_prep_cert.txt
ok        11 s  rerun_out/A/3d_prep_mycert.txt
ok         0 s  rerun_out/A/make_samples3d.txt
ok        14 s  rerun_out/A/3d_zeta_cert.txt
ok        13 s  rerun_out/A/3d_zeta_mycert.txt
ok         1 s  rerun_out/A/3d_post_cert.txt
ok        83 s  rerun_out/A/3d_gray_cert.txt
ok       167 s  rerun_out/A/3d_gray_mycert.txt
identical           checksums over all 2^27 values, zeta transform and Gray-code walk (cert): c6847e70920edc41
identical           checksums over all 2^27 values, zeta transform and Gray-code walk (mycert): 61ea377e23c930ef
identical           the 39 tight patterns of both certificates and the recorded list of run A
== 8. Exhaustive searches of the note   [numpy]
ok        18 s  rerun_out/original/torus_exhaust_25.txt
ok        43 s  rerun_out/original/torus_exhaust_3d_24.txt
ok        21 s  rerun_out/original/stability_exhaust_25.txt
== 9. Exhaustive searches of run A (all binary tori with at most 30 cells, d = 2; at most 28 cells and 2x3x5, d = 3)   [cc]
ok         5 s  rerun_out/A/exhaust_selftest.txt
ok      555 s  rerun_out/A/exhaust_small_raw.txt (121 shapes)
ok      235 s  rerun_out/A/exhaust_stats_raw.txt (58 shapes)
ok         2 s  rerun_out/A/exhaust_summary.txt
== 10. Exhaustive searches of run B (all binary tori with at most 25 cells, d = 2; at most 24 cells and 3x3x3, d = 3)   [cc]
ok      23 s  rerun_out/B/exhaust2d_raw.txt (46 shapes), rerun_out/B/exhaust3d_raw.txt (51 shapes)
ok        17 s  rerun_out/B/exhaust_3x3x3.txt
ok         0 s  rerun_out/B/summary_searches.txt
== comparison with the recorded outputs in expected_outputs/
0 output files compared with expected_outputs/ (running times removed): 0 different
== done: 0 step(s) failed, were skipped or differ
exit 0
2026-10-10T08:52:30Z

====================================================================================================
Part 2.  Complete run, `sh run_all.sh PYTHON --searches`, from an extracted copy of the archive source.zip
(the archive as it was before this log and the final texts of the README and of the paper were added; the
programs, the certificates, run_all.sh and expected_outputs/ are the same): 72 steps, and the comparison of
all output files with expected_outputs/.
====================================================================================================
== run_all.sh: 2026-10-10T09:22:39Z; Darwin arm64; Python 3.13.5
   numpy 2.5.2
   scipy 1.18.1
   Apple clang version 21.0.0 (clang-2100.3.34.2)
== 1. Dimension 2: the checkers of the note (original/) on its three certificates
ok         0 s  rerun_out/original/check_gcert_q20.txt
ok         1 s  rerun_out/original/check_gcert_q280.txt
ok         0 s  rerun_out/original/check_gcert_numpy_q20.txt
ok         0 s  rerun_out/original/check_gcert_numpy_q280.txt
ok         0 s  rerun_out/original/check_extremal_q280.txt
ok         0 s  rerun_out/original/check_density_q280.txt
ok         1 s  rerun_out/original/check_gcert_numpy_density.txt
ok         0 s  rerun_out/original/identity_test.txt
ok         0 s  rerun_out/original/rejection_tests.txt
ok         0 s  rerun_out/original/check_abb2d.txt
== 2. Dimension 2: the checker of verification run A on the three certificates of the note
ok         1 s  rerun_out/A/check2d_q20.txt
ok         1 s  rerun_out/A/check2d_q280.txt
ok         1 s  rerun_out/A/check2d_density.txt
ok         1 s  rerun_out/A/theoremB_C.txt
ok        11 s  rerun_out/A/reject2d.txt
ok         2 s  rerun_out/A/three_letters.txt
== 3. Dimension 2: the checker of verification run B on all six certificates
ok         1 s  rerun_out/B/verify2d_cert_q20.txt
ok         1 s  rerun_out/B/verify2d_cert_q280.txt
ok         1 s  rerun_out/B/verify2d_cert_density.txt
ok         1 s  rerun_out/B/verify2d_mycert.txt
ok         1 s  rerun_out/B/verify2d_mycert_density.txt
ok         1 s  rerun_out/B/verify2d_mycert_piece3.txt
ok         0 s  rerun_out/B/check_gluing2d.txt
== 4. Dimension 2: the checker written with the note on all six certificates; cross-checks
ok         0 s  rerun_out/writing_stage/check_window_cert_q20.txt
ok         0 s  rerun_out/writing_stage/check_window_cert_q280.txt
ok         0 s  rerun_out/writing_stage/check_window_cert_mycert.txt
ok         0 s  rerun_out/writing_stage/check_window_cert_density.txt
ok         1 s  rerun_out/writing_stage/check_window_cert_mydensity.txt
ok         0 s  rerun_out/writing_stage/check_window_cert_piece3.txt
ok         0 s  rerun_out/writing_stage/convert_mycert.txt
ok         0 s  rerun_out/writing_stage/convert_mycert_density.txt
ok         0 s  rerun_out/writing_stage/convert_mycert_piece3.txt
ok         0 s  rerun_out/original/check_gcert_mycert.txt
ok         0 s  rerun_out/original/check_gcert_numpy_mycert.txt
ok         0 s  rerun_out/original/check_gcert_numpy_mydensity.txt
ok         1 s  rerun_out/original/check_extremal_mycert.txt
ok         0 s  rerun_out/original/check_density_mycert.txt
ok         1 s  rerun_out/A/check2d_mycert.txt
ok         1 s  rerun_out/A/check2d_mycert_density.txt
ok         1 s  rerun_out/A/check2d_mycert_piece3.txt
== 5. Dimension 2: examples, families, identities, Corollary 1.8
ok         0 s  rerun_out/writing_stage/strip_family.txt
ok         6 s  rerun_out/writing_stage/density_region.txt
ok        20 s  rerun_out/writing_stage/density_bounds_exhaust.txt
ok         1 s  rerun_out/A/strip_family.txt
identical           the grid 20 x 240 written by vA_strip_family.py and the recorded one
ok         6 s  rerun_out/A/corE_misc.txt
ok        16 s  rerun_out/A/identity_tests.txt
ok         8 s  rerun_out/B/identity_tests.txt
ok         1 s  rerun_out/B/corE_lp.txt
== 6. Dimension 3: both certificates with the checker of the note and the checker of run B   [numpy; 1.3 and 2.5 GB]
ok        16 s  rerun_out/original/check_abb3d_cert.txt
ok        15 s  rerun_out/original/check_abb3d_mycert.txt
ok        14 s  rerun_out/B/verify3d_cert.txt
ok        17 s  rerun_out/B/verify3d_mycert.txt
ok         1 s  rerun_out/original/identity_test_3d.txt
ok        63 s  rerun_out/original/rejection_tests_3d.txt
== 7. Dimension 3: both certificates with the two C programs of run A   [cc; 1.1 GB]
ok         8 s  rerun_out/A/3d_prep_cert.txt
ok         9 s  rerun_out/A/3d_prep_mycert.txt
ok         0 s  rerun_out/A/make_samples3d.txt
ok        13 s  rerun_out/A/3d_zeta_cert.txt
ok        14 s  rerun_out/A/3d_zeta_mycert.txt
ok         1 s  rerun_out/A/3d_post_cert.txt
ok        83 s  rerun_out/A/3d_gray_cert.txt
ok       169 s  rerun_out/A/3d_gray_mycert.txt
identical           checksums over all 2^27 values, zeta transform and Gray-code walk (cert): c6847e70920edc41
identical           checksums over all 2^27 values, zeta transform and Gray-code walk (mycert): 61ea377e23c930ef
identical           the 39 tight patterns of both certificates and the recorded list of run A
== 8. Exhaustive searches of the note   [numpy]
ok        20 s  rerun_out/original/torus_exhaust_25.txt
ok        44 s  rerun_out/original/torus_exhaust_3d_24.txt
ok        21 s  rerun_out/original/stability_exhaust_25.txt
== 9. Exhaustive searches of run A (all binary tori with at most 30 cells, d = 2; at most 28 cells and 2x3x5, d = 3)   [cc]
ok         5 s  rerun_out/A/exhaust_selftest.txt
ok      559 s  rerun_out/A/exhaust_small_raw.txt (121 shapes)
ok      229 s  rerun_out/A/exhaust_stats_raw.txt (58 shapes)
ok         1 s  rerun_out/A/exhaust_summary.txt
== 10. Exhaustive searches of run B (all binary tori with at most 25 cells, d = 2; at most 24 cells and 3x3x3, d = 3)   [cc]
ok      23 s  rerun_out/B/exhaust2d_raw.txt (46 shapes), rerun_out/B/exhaust3d_raw.txt (51 shapes)
ok        17 s  rerun_out/B/exhaust_3x3x3.txt
ok         0 s  rerun_out/B/summary_searches.txt
== comparison with the recorded outputs in expected_outputs/
73 output files compared with expected_outputs/ (running times removed): 0 different
== done: 0 step(s) failed, were skipped or differ
exit 0
2026-10-10T09:46:35Z

====================================================================================================
Part 3.  Comparison of the outputs of Part 1 with the outputs recorded earlier by the original computation
(original/outputs/) and by the two verification runs (verification_run_A/outputs/, verification_run_B/outputs/),
after removing running times, paths and file names of certificates.
====================================================================================================
identical   original check_gcert q20
identical   original check_gcert q280
identical   original check_gcert_numpy q20
identical   original check_gcert_numpy q280
identical   original check_extremal
identical   original check_density
identical   original check_gcert_numpy --density
identical   original identity_test
identical   original rejection_tests
identical   original check_abb3d
identical   original check_abb2d
identical   original identity_test_3d
identical   original rejection_tests_3d
identical   run A check2d (three certificates)
identical   run A theoremB_C
identical   run A reject2d
identical   run A three_letters
identical   run A strip_family
identical   run A corE_misc
identical   run A identity_tests
identical   run A 3d_prep
identical   run A 3d_zeta
identical   run A 3d_post
identical   run B verify2d (certificates of the note)
identical   run B verify2d (its own certificates)
identical   run B verify3d (certificate of the note)
identical   run B verify3d (its own certificate)
identical   run B check_gluing2d
identical   run B identity_tests
identical   run B corE_lp
identical   original torus_exhaust 25
identical   original torus_exhaust_3d 24
identical   original stability_exhaust 25
identical   run A exhaust_selftest
identical   run A exhaust_small_raw (sorted)
identical   run A exhaust_stats_raw (sorted)
identical   run A exhaust_summary
identical   run B exhaust2d_raw (sorted)
identical   run B exhaust3d_raw (sorted)
identical   run B summary_searches
0 comparison(s) different

====================================================================================================
Part 4.  The six largest enumerations of verification run A (program vA_exhaust, arguments L and the shape;
one process per shape, one after the other, with nice -n 10): running times, results, and the comparison with
the recorded results (verification_run_A/outputs/exhaust_big_raw.txt, where the shapes were split into parts).
====================================================================================================
3 2 16: 153 s
3 4 8: 154 s
2 2 4 4: 493 s
2 2 2 8: 479 s
3 5 7: 1257 s
3 6 6: 2482 s

L=3 shape=2x16 cells=32 dirs=8 max_count=48 maximisers_with_x0=2 example=286331153 conc=48/32=1.500000
L=3 shape=4x8 cells=32 dirs=8 max_count=48 maximisers_with_x0=32 example=255 conc=48/32=1.500000
L=2 shape=2x4x4 cells=32 dirs=26 max_count=168 maximisers_with_x0=3864 example=49349361 conc=168/32=5.250000
L=2 shape=2x2x8 cells=32 dirs=26 max_count=144 maximisers_with_x0=88786 example=151587081 conc=144/32=4.500000
L=3 shape=5x7 cells=35 dirs=8 max_count=48 maximisers_with_x0=34 example=1241551905 conc=48/35=1.371429
L=3 shape=6x6 cells=36 dirs=8 max_count=48 maximisers_with_x0=3400 example=1111501317 conc=48/36=1.333333

L=3 shape=2x16: re-run max_count=48 maximisers_with_x0=2; recorded (1 part(s)): max_count=48, maximisers_with_x0 summed over the parts with that maximum=2; AGREE
L=3 shape=4x8: re-run max_count=48 maximisers_with_x0=32; recorded (1 part(s)): max_count=48, maximisers_with_x0 summed over the parts with that maximum=32; AGREE
L=2 shape=2x4x4: re-run max_count=168 maximisers_with_x0=3864; recorded (2 part(s)): max_count=168, maximisers_with_x0 summed over the parts with that maximum=3864; AGREE
L=2 shape=2x2x8: re-run max_count=144 maximisers_with_x0=88786; recorded (2 part(s)): max_count=144, maximisers_with_x0 summed over the parts with that maximum=88786; AGREE
L=3 shape=5x7: re-run max_count=48 maximisers_with_x0=34; recorded (3 part(s)): max_count=48, maximisers_with_x0 summed over the parts with that maximum=34; AGREE
L=3 shape=6x6: re-run max_count=48 maximisers_with_x0=3400; recorded (6 part(s)): max_count=48, maximisers_with_x0 summed over the parts with that maximum=3400; AGREE

====================================================================================================
Part 5.  Wall-clock time and peak memory (maximum resident set size, in bytes) of single programs, measured
with `/usr/bin/time -l`; arguments as in run_all.sh.
====================================================================================================
check_gcert.py q280 | exit 0 | real 0.36 s | maxrss 15663104 bytes
check_gcert_numpy.py q280 | exit 0 | real 0.06 s | maxrss 32194560 bytes
check_extremal.py q280 | exit 0 | real 0.42 s | maxrss 17399808 bytes
check_density.py | exit 0 | real 0.43 s | maxrss 17252352 bytes
vA_check2d.py q280 | exit 0 | real 0.97 s | maxrss 52494336 bytes
verify2d.py mycert | exit 0 | real 2.27 s | maxrss 21856256 bytes
check_window_cert.py piece3 | exit 0 | real 0.15 s | maxrss 20611072 bytes
vA_reject2d.py | exit 0 | real 11.46 s | maxrss 99581952 bytes
density_region.py | exit 0 | real 6.62 s | maxrss 18464768 bytes
density_bounds_exhaust.py 25 | exit 0 | real 21.02 s | maxrss 1635434496 bytes
vA_identity_tests.py | exit 0 | real 18.70 s | maxrss 23396352 bytes
B identity_tests.py | exit 0 | real 8.92 s | maxrss 24608768 bytes
torus_exhaust.py 4 25 | exit 0 | real 18.23 s | maxrss 831012864 bytes
torus_exhaust_3d.py 3 24 | exit 0 | real 43.68 s | maxrss 430800896 bytes
stability_exhaust.py 25 | exit 0 | real 20.60 s | maxrss 1108115456 bytes
vA_3d_prep.py cert | exit 0 | real 8.33 s | maxrss 20234240 bytes
vA_3d_prep.py mycert | exit 0 | real 10.00 s | maxrss 26673152 bytes
identity_test_3d.py | exit 0 | real 0.93 s | maxrss 30572544 bytes
vA_3d_zeta cert | exit 0 | real 13.41 s | maxrss 1075249152 bytes
vA_3d_gray cert | exit 0 | real 82.72 s | maxrss 1900544 bytes
check_abb3d.py cert | exit 0 | real 16.24 s | maxrss 1314013184 bytes
verify3d.py mycert | exit 0 | real 17.05 s | maxrss 2526969856 bytes
rejection_tests_3d.py | exit 0 | real 66.17 s | maxrss 1314226176 bytes
vA_exhaust 3 5 6 | exit 0 | real 39.17 s | maxrss 1458176 bytes
vA_exhaust_stats 3 5 6 | exit 0 | real 41.62 s | maxrss 1703936 bytes
B torus_exhaust ABB 3 3 3 3 | exit 0 | real 17.90 s | maxrss 2293760 bytes
corE_lp.py | exit 0 | real 6.91 s | maxrss 76939264 bytes
vA_corE_misc.py | exit 0 | real 2.65 s | maxrss 79134720 bytes

====================================================================================================
Part 6.  Complete run, `sh run_all.sh PYTHON --searches`, made by verification run 2 from an extracted copy of
the archive source.zip as it was before the folder independent_run_2/ was added (sha256
8419a6b6053a0c40bde3cad29d8e8f90b3c51aad2a43438e58d69d1c3f7205c9; the programs, the certificates, run_all.sh and
expected_outputs/ are the same files in the final archive): 72 steps, and the comparison of all output files with
expected_outputs/.  Other processes of verification run 2 were running on the same machine during this run, so
some running times are longer than in Part 2.  The run ended at 2026-10-10T10:42:32Z.
====================================================================================================
== run_all.sh: 2026-10-10T10:14:57Z; Darwin arm64; Python 3.13.5
   numpy 2.5.2
   scipy 1.18.1
   Apple clang version 21.0.0 (clang-2100.3.34.2)
== 1. Dimension 2: the checkers of the note (original/) on its three certificates
ok         0 s  rerun_out/original/check_gcert_q20.txt
ok         0 s  rerun_out/original/check_gcert_q280.txt
ok         1 s  rerun_out/original/check_gcert_numpy_q20.txt
ok         0 s  rerun_out/original/check_gcert_numpy_q280.txt
ok         0 s  rerun_out/original/check_extremal_q280.txt
ok         0 s  rerun_out/original/check_density_q280.txt
ok         0 s  rerun_out/original/check_gcert_numpy_density.txt
ok         1 s  rerun_out/original/identity_test.txt
ok         0 s  rerun_out/original/rejection_tests.txt
ok         0 s  rerun_out/original/check_abb2d.txt
== 2. Dimension 2: the checker of verification run A on the three certificates of the note
ok         1 s  rerun_out/A/check2d_q20.txt
ok         1 s  rerun_out/A/check2d_q280.txt
ok         1 s  rerun_out/A/check2d_density.txt
ok         1 s  rerun_out/A/theoremB_C.txt
ok        11 s  rerun_out/A/reject2d.txt
ok         2 s  rerun_out/A/three_letters.txt
== 3. Dimension 2: the checker of verification run B on all six certificates
ok         1 s  rerun_out/B/verify2d_cert_q20.txt
ok         1 s  rerun_out/B/verify2d_cert_q280.txt
ok         1 s  rerun_out/B/verify2d_cert_density.txt
ok         1 s  rerun_out/B/verify2d_mycert.txt
ok         1 s  rerun_out/B/verify2d_mycert_density.txt
ok         1 s  rerun_out/B/verify2d_mycert_piece3.txt
ok         0 s  rerun_out/B/check_gluing2d.txt
== 4. Dimension 2: the checker written with the note on all six certificates; cross-checks
ok         0 s  rerun_out/writing_stage/check_window_cert_q20.txt
ok         0 s  rerun_out/writing_stage/check_window_cert_q280.txt
ok         0 s  rerun_out/writing_stage/check_window_cert_mycert.txt
ok         0 s  rerun_out/writing_stage/check_window_cert_density.txt
ok         0 s  rerun_out/writing_stage/check_window_cert_mydensity.txt
ok         1 s  rerun_out/writing_stage/check_window_cert_piece3.txt
ok         0 s  rerun_out/writing_stage/convert_mycert.txt
ok         0 s  rerun_out/writing_stage/convert_mycert_density.txt
ok         0 s  rerun_out/writing_stage/convert_mycert_piece3.txt
ok         0 s  rerun_out/original/check_gcert_mycert.txt
ok         0 s  rerun_out/original/check_gcert_numpy_mycert.txt
ok         0 s  rerun_out/original/check_gcert_numpy_mydensity.txt
ok         0 s  rerun_out/original/check_extremal_mycert.txt
ok         1 s  rerun_out/original/check_density_mycert.txt
ok         1 s  rerun_out/A/check2d_mycert.txt
ok         1 s  rerun_out/A/check2d_mycert_density.txt
ok         1 s  rerun_out/A/check2d_mycert_piece3.txt
== 5. Dimension 2: examples, families, identities, Corollary 1.8
ok         0 s  rerun_out/writing_stage/strip_family.txt
ok         6 s  rerun_out/writing_stage/density_region.txt
ok        20 s  rerun_out/writing_stage/density_bounds_exhaust.txt
ok         2 s  rerun_out/A/strip_family.txt
identical           the grid 20 x 240 written by vA_strip_family.py and the recorded one
ok         3 s  rerun_out/A/corE_misc.txt
ok        17 s  rerun_out/A/identity_tests.txt
ok         9 s  rerun_out/B/identity_tests.txt
ok         0 s  rerun_out/B/corE_lp.txt
== 6. Dimension 3: both certificates with the checker of the note and the checker of run B   [numpy; 1.3 and 2.5 GB]
ok        17 s  rerun_out/original/check_abb3d_cert.txt
ok        16 s  rerun_out/original/check_abb3d_mycert.txt
ok        16 s  rerun_out/B/verify3d_cert.txt
ok        17 s  rerun_out/B/verify3d_mycert.txt
ok         1 s  rerun_out/original/identity_test_3d.txt
ok        66 s  rerun_out/original/rejection_tests_3d.txt
== 7. Dimension 3: both certificates with the two C programs of run A   [cc; 1.1 GB]
ok         8 s  rerun_out/A/3d_prep_cert.txt
ok        11 s  rerun_out/A/3d_prep_mycert.txt
ok         0 s  rerun_out/A/make_samples3d.txt
ok        14 s  rerun_out/A/3d_zeta_cert.txt
ok        14 s  rerun_out/A/3d_zeta_mycert.txt
ok         4 s  rerun_out/A/3d_post_cert.txt
ok        85 s  rerun_out/A/3d_gray_cert.txt
ok       169 s  rerun_out/A/3d_gray_mycert.txt
identical           checksums over all 2^27 values, zeta transform and Gray-code walk (cert): c6847e70920edc41
identical           checksums over all 2^27 values, zeta transform and Gray-code walk (mycert): 61ea377e23c930ef
identical           the 39 tight patterns of both certificates and the recorded list of run A
== 8. Exhaustive searches of the note   [numpy]
ok        20 s  rerun_out/original/torus_exhaust_25.txt
ok        43 s  rerun_out/original/torus_exhaust_3d_24.txt
ok        20 s  rerun_out/original/stability_exhaust_25.txt
== 9. Exhaustive searches of run A (all binary tori with at most 30 cells, d = 2; at most 28 cells and 2x3x5, d = 3)   [cc]
ok         6 s  rerun_out/A/exhaust_selftest.txt
ok      553 s  rerun_out/A/exhaust_small_raw.txt (121 shapes)
ok      412 s  rerun_out/A/exhaust_stats_raw.txt (58 shapes)
ok         0 s  rerun_out/A/exhaust_summary.txt
== 10. Exhaustive searches of run B (all binary tori with at most 25 cells, d = 2; at most 24 cells and 3x3x3, d = 3)   [cc]
ok      43 s  rerun_out/B/exhaust2d_raw.txt (46 shapes), rerun_out/B/exhaust3d_raw.txt (51 shapes)
ok        32 s  rerun_out/B/exhaust_3x3x3.txt
ok         0 s  rerun_out/B/summary_searches.txt
== comparison with the recorded outputs in expected_outputs/
73 output files compared with expected_outputs/ (running times removed): 0 different
== done: 0 step(s) failed, were skipped or differ

====================================================================================================
Part 7.  Run of the script of verification run 2, `sh independent_run_2/run_run2.sh PYTHON --searches --jobs 6`,
from an extracted copy of the archive source.zip (the archive as it was before this part of the log was added;
all other files of reproducibility/ are the same in the final archive): 23 steps, and the comparison of 21 output
files with independent_run_2/outputs/.  The enumeration (120 tori) and the heuristic search (28 tori) used six
processes; the other steps one process.  The run ended at 2026-10-10T11:11:47Z.
====================================================================================================
== run_run2.sh: 2026-10-10T11:04:45Z; Darwin arm64; Python 3.13.5
   Apple clang version 21.0.0 (clang-2100.3.34.2)
== 1. Dimension 2: the six certificates (exact fractions)
ok         1 s  ../rerun_out/run2/check2d_cert_ABBB_q20.txt
ok         1 s  ../rerun_out/run2/check2d_cert_ABBB_q280.txt
ok         1 s  ../rerun_out/run2/check2d_mycert_ABBB.txt
ok         1 s  ../rerun_out/run2/check2d_cert_ABBB_density_q280.txt
ok         1 s  ../rerun_out/run2/check2d_mycert_ABBB_density.txt
ok         1 s  ../rerun_out/run2/check2d_mycert_ABBB_density_piece3.txt
== 2. Dimension 3: the two certificates
ok         5 s  ../rerun_out/run2/prep3d_cert_ABB_3D.txt
ok         9 s  ../rerun_out/run2/prep3d_mycert_ABB_3D.txt
ok        27 s  ../rerun_out/run2/build/part_cert.txt
ok        25 s  ../rerun_out/run2/build/part_mycert.txt
ok         0 s  ../rerun_out/run2/check3d_cert_ABB_3D.txt
ok         0 s  ../rerun_out/run2/check3d_mycert_ABB_3D.txt
ok         1 s  ../rerun_out/run2/spot3d_cert_ABB_3D.txt
ok         1 s  ../rerun_out/run2/spot3d_mycert_ABB_3D.txt
== 3. Grids counted from the definition; lemmas; Section 7
ok         7 s  ../rerun_out/run2/grids.txt
ok        13 s  ../rerun_out/run2/density.txt
ok         5 s  ../rerun_out/run2/identity.txt
ok         8 s  ../rerun_out/run2/highdim.txt
ok         0 s  ../rerun_out/run2/abb2d.txt
== 4. Enumeration of all grids on two letters (58 + 62 tori) and heuristic search (28 tori)
ok      207 s  ../rerun_out/run2/exhaust_raw.txt (120 tori)
ok         1 s  ../rerun_out/run2/exhaust_summary.txt
ok         0 s  ../rerun_out/run2/compare_runs.txt
ok      107 s  ../rerun_out/run2/anneal.txt (28 tori)
== comparison with the recorded outputs in outputs/
21 output files compared with outputs/: 0 different
== done: 0 step(s) failed, were skipped or differ
