RERUN_LOG.txt -- re-runs of 10 October 2026 (Python 3.13.5, mpmath 1.3.0, numpy 2.5.2, scipy 1.18.1, sympy 1.14.0,
macOS, one laptop under other load).  Parts 1 and 2 were made on a copy of this package when the note was written,
parts 3 and 4 in the course of verification run 2, on copies extracted from the archive of the package.

"identical": the new output is byte-identical to the recorded file.  "identical up to times": identical after
removing the fields that record running times.  The second column is the running time of the check.

Part 1.  Output of `sh run_checks.sh quick`.

run_checks.sh quick   started 2026-10-10T15:48:02Z
python 3.13.5 | mpmath 1.3.0 | numpy 2.5.2 | scipy 1.18.1 | sympy 1.14.0
== original/ : the programs with which the results were first obtained (corrected form)
identical                 1s   verify_counterexample.py
identical                 0s   check_family_An.py
identical                 7s   test_bad_faces_exact.py 3 20 40
identical                34s   rigidity_numeric.py 1 300
identical                47s   test_construction.py 11 9 60
identical                43s   test_construction.py 12 9 60
identical                53s   test_construction.py 13 9 60
identical                26s   test_construction.py 21 11 15
identical                20s   test_lemma43.py 4 150
identical                 4s   test_planar_good_cases_exact.py 7 60
identical                 4s   test_against_paper_algorithm.py 9 4000
identical                48s   test_necessity.py 5 3000
identical                 0s   demo_near_counterexample.py
identical                 1s   normalization_checks.py
identical                 0s   check_identities.py
identical                45s   test_end_to_end.py 2 40 4000
== writing_stage/ : the program written with the note (figure data, checks of printed data)
identical                 0s   make_figures.py
== verification_run_A/ (quick part)
identical                 0s   a1_hexagon_exact.py
identical                 0s   a2_quick_selftest.py
identical up to times    89s   a3_stress_G.py face 101 800 4 10 100
identical up to times   195s   a4_lemma43.py 7 1500 50
identical up to times    21s   a5_grid_special_angles.py 4 s9 80
identical                56s   a6_Astar_random_lengths_exact.py 5 20000
identical                 0s   a7_family_An.py
identical                50s   a8_rigidity_numeric.py 3
identical up to times    41s   a9_planar_faces_random.py 11 2000 60
identical up to times   157s   a10_end_to_end_planar_inputs.py 4 3000 80
identical               123s   a11_selfcheck_predicates.py
identical                 9s   a12_spherical_criterion_vs_recursion.py 9 200000
== verification_run_B/ (quick part)
identical                 0s   b1_hexagon_exact.py
identical up to times     0s   b2a_grid_exact.py 3 60
identical                 0s   b2a_grid_exact.py 4 30
identical                 1s   b2a_grid_exact.py 5 12
identical up to times     3s   b2a_grid_exact.py 5 30
identical up to times     1s   b2a_grid_exact.py 6 12
identical up to times     7s   b2a_grid_exact.py 6 18
identical up to times     8s   b2a_grid_exact.py 7 12
identical                 1s   b2a_grid_exact.py 8 6
identical up to times     3s   b2a_grid_exact.py 9 6
identical up to times     4s   b2a_grid_exact.py 8 12 6000000 7
identical up to times     9s   b2a_grid_exact.py 10 12 3000000 8
identical up to times    35s   b2b_realizability_random.py 5 3 150
identical                 0s   b3x_investigate_failure.py 1
identical up to times    59s   b3_simple_realizations_v2.py 5 9 100
identical up to times   101s   b3_simple_realizations_v2.py 9 5 150 near_fenchel
identical up to times    66s   b4_faces_rigidity.py 2 300 30
identical up to times    32s   b6_family_An.py 30
identical                24s   b7_planar_inputs_check.py 3
== done 2026-10-10T16:11:51Z: 48 checks, 0 not identical to the recorded output
exit status of the script: 0

Part 2.  Output of `sh run_checks.sh slow`, started after part 1 had finished.

run_checks.sh slow   started 2026-10-10T16:12:01Z
python 3.13.5 | mpmath 1.3.0 | numpy 2.5.2 | scipy 1.18.1 | sympy 1.14.0
== verification_run_A/ (slow part)
identical up to times    69s   a3_stress_G.py uniform 101 800 4 10 100
identical up to times    54s   a3_stress_G.py twoface 101 800 4 10 100
identical up to times    64s   a3_stress_G.py corner 101 800 4 10 100
identical up to times    54s   a3_stress_G.py fenchel 101 800 4 10 100
identical up to times    47s   a3_stress_G.py zigzag 101 800 4 10 100
identical up to times    49s   a3_stress_G.py face 202 250 11 12 140
identical up to times    58s   a3_stress_G.py twoface 202 250 11 12 140
identical up to times    60s   a3_stress_G.py corner 202 250 11 12 140
identical up to times    48s   a3_stress_G.py zigzag 202 250 11 12 140
identical up to times   133s   a5_grid_special_angles.py 5 s9 80
identical up to times   105s   a5_grid_special_angles.py 6 s7 80 3 0
identical up to times   104s   a5_grid_special_angles.py 6 s7 80 3 1
identical up to times   105s   a5_grid_special_angles.py 6 s7 80 3 2
identical up to times    66s   a5_grid_special_angles.py 7 s5 80 3 0
identical up to times    66s   a5_grid_special_angles.py 7 s5 80 3 1
identical up to times    66s   a5_grid_special_angles.py 7 s5 80 3 2
identical up to times    83s   a5_grid_special_angles.py 7 s5b 100 3 0
identical up to times    86s   a5_grid_special_angles.py 7 s5b 100 3 1
identical up to times    85s   a5_grid_special_angles.py 7 s5b 100 3 2
identical up to times    58s   a5_grid_special_angles.py 8 s4 100 3 0
identical up to times    58s   a5_grid_special_angles.py 8 s4 100 3 1
identical up to times    57s   a5_grid_special_angles.py 8 s4 100 3 2
== verification_run_B/ (slow part)
identical up to times    35s   b2b_realizability_random.py 4 3 150
identical up to times    31s   b2b_realizability_random.py 6 3 150
identical up to times    32s   b2b_realizability_random.py 7 3 150
identical up to times    40s   b2b_realizability_random.py 8 3 150
identical up to times    60s   b3_simple_realizations.py 4 5 150
identical up to times    62s   b3_simple_realizations.py 5 5 150
identical up to times    71s   b3_simple_realizations.py 6 5 150
identical up to times    84s   b3_simple_realizations.py 7 5 150
identical up to times   105s   b3_simple_realizations.py 8 5 150
identical up to times   134s   b3_simple_realizations.py 9 5 150
identical up to times    45s   b3_simple_realizations_v2.py 6 9 100
identical up to times    57s   b3_simple_realizations_v2.py 7 9 100
identical up to times    68s   b3_simple_realizations_v2.py 8 9 100
identical up to times    85s   b3_simple_realizations_v2.py 9 9 100
identical up to times   102s   b3_simple_realizations_v2.py 10 9 100
identical up to times   180s   b5_planar_good_cases.py 3 150
== done 2026-10-10T16:58:11Z: 38 checks, 0 not identical to the recorded output
exit status of the script: 0

Part 3.  Output of `sh run_checks.sh quick`, run in the course of verification run 2 on a copy extracted from the
archive of the package (same machine and software).

run_checks.sh quick   started 2026-10-10T17:39:58Z
python 3.13.5 | mpmath 1.3.0 | numpy 2.5.2 | scipy 1.18.1 | sympy 1.14.0
== original/ : the programs with which the results were first obtained (corrected form)
identical                 1s   verify_counterexample.py
identical                 0s   check_family_An.py
identical                 6s   test_bad_faces_exact.py 3 20 40
identical                24s   rigidity_numeric.py 1 300
identical                39s   test_construction.py 11 9 60
identical                39s   test_construction.py 12 9 60
identical                40s   test_construction.py 13 9 60
identical                22s   test_construction.py 21 11 15
identical                14s   test_lemma43.py 4 150
identical                 1s   test_planar_good_cases_exact.py 7 60
identical                 3s   test_against_paper_algorithm.py 9 4000
identical                33s   test_necessity.py 5 3000
identical                 0s   demo_near_counterexample.py
identical                 0s   normalization_checks.py
identical                 1s   check_identities.py
identical                25s   test_end_to_end.py 2 40 4000
== writing_stage/ : the program written with the note (figure data, checks of printed data)
identical                 1s   make_figures.py
== verification_run_A/ (quick part)
identical                 0s   a1_hexagon_exact.py
identical                 0s   a2_quick_selftest.py
identical up to times    43s   a3_stress_G.py face 101 800 4 10 100
identical up to times    81s   a4_lemma43.py 7 1500 50
identical up to times     9s   a5_grid_special_angles.py 4 s9 80
identical                29s   a6_Astar_random_lengths_exact.py 5 20000
identical                 0s   a7_family_An.py
identical                28s   a8_rigidity_numeric.py 3
identical up to times    27s   a9_planar_faces_random.py 11 2000 60
identical up to times   100s   a10_end_to_end_planar_inputs.py 4 3000 80
identical                81s   a11_selfcheck_predicates.py
identical                 6s   a12_spherical_criterion_vs_recursion.py 9 200000
== verification_run_B/ (quick part)
identical                 0s   b1_hexagon_exact.py
identical up to times     0s   b2a_grid_exact.py 3 60
identical                 0s   b2a_grid_exact.py 4 30
identical up to times     1s   b2a_grid_exact.py 5 12
identical up to times     2s   b2a_grid_exact.py 5 30
identical up to times     1s   b2a_grid_exact.py 6 12
identical up to times     4s   b2a_grid_exact.py 6 18
identical up to times     6s   b2a_grid_exact.py 7 12
identical up to times     1s   b2a_grid_exact.py 8 6
identical up to times     2s   b2a_grid_exact.py 9 6
identical up to times     3s   b2a_grid_exact.py 8 12 6000000 7
identical up to times     7s   b2a_grid_exact.py 10 12 3000000 8
identical up to times    25s   b2b_realizability_random.py 5 3 150
identical                 1s   b3x_investigate_failure.py 1
identical up to times    41s   b3_simple_realizations_v2.py 5 9 100
identical up to times    64s   b3_simple_realizations_v2.py 9 5 150 near_fenchel
identical up to times    61s   b4_faces_rigidity.py 2 300 30
identical up to times    26s   b6_family_An.py 30
identical                15s   b7_planar_inputs_check.py 3
== done 2026-10-10T17:55:11Z: 48 checks, 0 not identical to the recorded output

Part 4.  Output of `sh independent_run_2/run_run2.sh quick`, run on a copy extracted from the archive after the
folder independent_run_2/ had been added.

run_run2.sh quick   started 2026-10-10T18:22:38Z
python 3.13.5 | mpmath 1.3.0 | numpy 2.5.2 | scipy 1.18.1
identical                 7s   r2_01_hexagon.py 3000
identical                17s   r2_02_faces.py 5 100 40
identical                 0s   r2_04_criterion.py grid 3 24
identical up to times     1s   r2_04_criterion.py grid 3 60
identical                 0s   r2_04_criterion.py grid 4 16
identical up to times     4s   r2_04_criterion.py grid 4 30
identical up to times     2s   r2_04_criterion.py grid 5 12
identical up to times     2s   r2_04_criterion.py grid 6 8
identical up to times    33s   r2_04_criterion.py grid 6 12
identical up to times     3s   r2_04_criterion.py grid 7 6
identical up to times    32s   r2_04_criterion.py grid 7 8
identical up to times     4s   r2_04_criterion.py grid 8 5
identical up to times    33s   r2_04_criterion.py grid 8 6
identical up to times     3s   r2_04_criterion.py grid 9 4
identical up to times    43s   r2_04_criterion.py grid 9 5
identical                 0s   r2_04b_faces_all.py 4 12
identical                 0s   r2_04b_faces_all.py 5 12
identical up to times     1s   r2_04b_faces_all.py 6 14
identical up to times     2s   r2_04b_faces_all.py 7 13
identical up to times     3s   r2_04b_faces_all.py 8 12
identical up to times     7s   r2_04b_faces_all.py 9 12
identical up to times     9s   r2_04b_faces_all.py 10 12
identical                 7s   r2_05_misc.py 7
identical                 2s   r2_03_open_region.py random 4 uniform 40 11
identical                 1s   r2_03_open_region.py random 4 sharp 20 11
identical                 1s   r2_03_open_region.py random 4 mixed 20 11
identical                 1s   r2_03_open_region.py random 4 face3 30 11
identical                 2s   r2_03_open_region.py random 4 fenchel 30 11
identical                 1s   r2_03_open_region.py random 4 corner 30 11
identical                 2s   r2_03_open_region.py random 5 uniform 40 11
identical                 1s   r2_03_open_region.py random 5 sharp 20 11
identical                 1s   r2_03_open_region.py random 5 mixed 20 11
identical up to times     1s   r2_03_open_region.py random 5 face3 30 11
identical up to times     2s   r2_03_open_region.py random 5 face5 30 11
identical                 1s   r2_03_open_region.py random 5 fenchel 30 11
identical                 1s   r2_03_open_region.py random 5 corner 30 11
identical                 2s   r2_03_open_region.py random 6 uniform 40 11
identical up to times     1s   r2_03_open_region.py random 6 sharp 20 11
identical                 1s   r2_03_open_region.py random 6 mixed 20 11
identical                 2s   r2_03_open_region.py random 6 face3 30 11
identical                 1s   r2_03_open_region.py random 6 face5 30 11
identical                 2s   r2_03_open_region.py random 6 fenchel 30 11
identical                 1s   r2_03_open_region.py random 6 corner 30 11
identical                 2s   r2_03_open_region.py random 7 uniform 40 11
identical                 1s   r2_03_open_region.py random 7 sharp 20 11
identical up to times     1s   r2_03_open_region.py random 7 mixed 20 11
identical                 2s   r2_03_open_region.py random 7 face3 30 11
identical                 1s   r2_03_open_region.py random 7 face5 30 11
identical                 1s   r2_03_open_region.py random 7 face7 20 11
identical                 2s   r2_03_open_region.py random 7 fenchel 30 11
identical                 1s   r2_03_open_region.py random 7 corner 30 11
identical                 3s   r2_03_open_region.py random 8 uniform 40 11
identical                 1s   r2_03_open_region.py random 8 sharp 20 11
identical                 1s   r2_03_open_region.py random 8 mixed 20 11
identical up to times     2s   r2_03_open_region.py random 8 face3 30 11
identical                 1s   r2_03_open_region.py random 8 face5 30 11
identical                 2s   r2_03_open_region.py random 8 face7 20 11
identical                 1s   r2_03_open_region.py random 8 fenchel 30 11
identical up to times     2s   r2_03_open_region.py random 8 corner 30 11
identical up to times     1s   r2_03_open_region.py grid 4 5
identical up to times     2s   r2_03_open_region.py grid 4 6
identical up to times     6s   r2_03_open_region.py grid 4 8
identical up to times    32s   r2_03_open_region.py grid 4 12
identical up to times     5s   r2_03_open_region.py grid 5 5
identical up to times    12s   r2_03_open_region.py grid 5 6
identical up to times    19s   r2_03_open_region.py grid 6 5
== done 2026-10-10T18:28:19Z: 66 checks, 0 not identical to the recorded output
