RERUN_LOG.txt -- re-runs of 9 October 2026 (Python 3.13.5, mpmath 1.3.0, numpy 2.5.2, macOS, one laptop), made
when the note was written; one process at a time, with nice -n 10.

"passed": the program ended with its success line ("TOTAL failures: 0" or "ALL CHECKS PASSED").
"identical": the new output is byte-identical to the recorded file.
"identical up to times": identical after the fields which record running times are removed.
The comparisons are made with the recorded files of this package.

Part 1.  Output of `sh run_quick.sh <python> <part>`, run for the four parts one after the other
(writing: 40 seconds; original: 8 minutes; A: 4 minutes 41 seconds; B: 7 minutes 31 seconds).

== writing_stage/ (programs written with the note)
passed                 dodecahedron_halfturns.py (ALL CHECKS PASSED)
identical              writing_stage/dodecahedron_halfturns_output.txt
passed                 witness_check.py (TOTAL failures: 0)
identical              writing_stage/witness_check_output.txt
passed                 check_paper.py (TOTAL failures: 0)
identical up to times  writing_stage/check_paper_output.txt
identical              writing_stage/figures_tikz.tex
== comparisons that failed: 0
== original/ (programs with which the results were first obtained)
identical              original checks_definition.txt
identical              original check_dictionary.txt
identical up to times  original test_conj_n5_R80.txt
identical up to times  original test_conj_n6_R80.txt
identical up to times  original test_conj_n7_R80.txt
identical up to times  original test_conj_n8_R80.txt
identical up to times  original test_conj_n9_R80.txt
identical up to times  original test_conj_n10_R80.txt
identical up to times  original test_conj_n11_R80.txt
identical up to times  original test_conj_n12_R80.txt
identical              original verify_theory_R60.txt
identical              original certificates_R0_9.txt
identical up to times  original dodeca_L120.txt
identical              original dodeca_scan.txt
identical              original closed_side_n15.txt
identical              original closed_side_odd.txt
identical              original closed_table_n6.txt
identical              original closed_table_n8.txt
identical              original closed_table_n9.txt
identical              original closed_table_n10.txt
identical              original closed_table_n12.txt
identical              original closed_table_n15.txt
identical              original factors_orbit_odd_n.txt
identical              original factors_structure.txt
== comparisons that failed: 0
== verification_run_A/
identical              A t1_n4_R30.txt
identical              A t1_n5_R30.txt
identical              A t1_n6_R30.txt
identical              A t1_n7_R30.txt
identical              A t1_n8_R30.txt
identical              A t1_n9_R30.txt
identical              A t1_n10_R30.txt
identical              A t1_n11_R30.txt
identical              A t1_n12_R30.txt
identical up to times  A t1_n4_R120.txt
identical              A t1_n5_R120.txt
identical              A t1_n6_R120.txt
identical              A t1_n7_R120.txt
identical up to times  A t1_n8_R120.txt
identical up to times  A t1_n9_R120.txt
identical              A t1_n10_R120.txt
identical              A t1_n12_R120.txt
identical              A t2_n4.txt
identical              A t2_n5.txt
identical              A t2_n6.txt
identical              A t2_n7.txt
identical              A t2_n8.txt
identical              A t2_n9.txt
identical              A t2_n10.txt
identical              A t2_n11.txt
identical              A t2_n12.txt
identical up to times  A t3_n4_R80.txt
identical up to times  A t3_n5_R80.txt
identical up to times  A t3_n6_R80.txt
identical up to times  A t3_n7_R80.txt
identical up to times  A t3_n8_R80.txt
identical up to times  A t3_n9_R80.txt
identical up to times  A t3_n10_R80.txt
identical up to times  A t3_n11_R80.txt
identical up to times  A t3_n12_R80.txt
identical              A t4_compare_R60.txt
identical              A t5_figures_6_7.txt
identical              A t6_cylinders.txt
identical              A t7_n4.txt
identical              A t7_n6.txt
identical              A t7_n8.txt
identical              A t7_n10.txt
identical              A t7_n12.txt
== comparisons that failed: 0
== verification_run_B/
identical              B definition_check.txt
identical up to times  B conj24_25_n5.txt
identical              B conj24_25_n6.txt
identical              B conj24_25_n7.txt
identical up to times  B conj24_25_n8.txt
identical              B conj24_25_n9.txt
identical              B conj24_25_n10.txt
identical up to times  B conj24_25_n11.txt
identical              B conj24_25_n12.txt
identical up to times  B closed_table_n5_R60.txt
identical up to times  B closed_table_n6_R60.txt
identical up to times  B closed_table_n7_R60.txt
identical up to times  B closed_table_n8_R60.txt
identical up to times  B closed_table_n9_R60.txt
identical up to times  B closed_table_n10_R60.txt
identical up to times  B closed_table_n12_R60.txt
identical up to times  B closed_table_n11_R40.txt
identical up to times  B closed_table_n13_R40.txt
identical up to times  B closed_table_n15_R40.txt
identical up to times  B closed_table_n21_R30.txt
identical up to times  B closed_table_n25_R24.txt
identical up to times  B closed_table_n27_R24.txt
identical up to times  B closed_table_n33_R20.txt
identical up to times  B closed_table_n35_R20.txt
identical up to times  B closed_table_n45_R16.txt
identical up to times  B closed_table_n39_R14.txt
identical up to times  B closed_table_n49_R12.txt
identical up to times  B closed_side_all.txt
identical              B literal_n15.txt
identical              B literal_n9.txt
identical up to times  B thm7_checks.txt
identical              B dodeca_group.txt
identical              B dodeca_L120.txt
identical              B dodeca_rows_L130.json
identical              B dodeca_scan.txt
identical              B lemma7_thm6.txt
identical              B descent.txt
identical              B github_witness.txt
identical              B reading_arbiter.txt
identical              B middle_line.txt
identical              B formulas.txt
identical              B printed_b.txt
identical              B witness_symmetry.txt
== comparisons that failed: 0

Part 2.  Output of `sh run_slow.sh <python>` (28 minutes 45 seconds).

== verification_run_A/, slow runs of t3_conjectures.py
identical up to times  A t3_n4_R150.txt
identical up to times  A t3_n5_R150.txt
identical up to times  A t3_n6_R150.txt
identical up to times  A t3_n7_R150.txt
identical up to times  A t3_n8_R150.txt
identical up to times  A t3_n9_R150.txt
identical up to times  A t3_n10_R150.txt
identical up to times  A t3_n11_R150.txt
identical up to times  A t3_n12_R150.txt
identical up to times  A t3_n13_R60.txt
identical up to times  A t3_n14_R60.txt
identical up to times  A t3_n15_R60.txt
identical up to times  A t3_n16_R60.txt
identical up to times  A t3_n18_R60.txt
identical up to times  A t3_n20_R60.txt
identical up to times  A t3_n17_R40.txt
identical up to times  A t3_n24_R40.txt
identical up to times  A t3_n25_R40.txt
identical up to times  A t3_n30_R40.txt
== comparisons that failed: 0

Summary: 7 lines "passed" or "identical" for the four programs of writing_stage/; 24 comparisons for original/,
43 for verification run A in part 1 and 19 in part 2, 43 for verification run B; none failed.


Parts 3 and 4.  Re-runs by the verification run on the final text (9 October 2026; Python 3.13.5, mpmath 1.3.0,
numpy 2.5.2, macOS, one laptop, with nice -n 10), each from a freshly extracted copy of the archive source.zip as it
was before that run. The programs and recorded outputs of the four parts below are the same files in the present
archive.

Part 3.  Output of `sh run_quick.sh <python>` (all four parts in one call; 21 minutes 24 seconds).

== writing_stage/ (programs written with the note)
passed                 dodecahedron_halfturns.py (ALL CHECKS PASSED)
identical              writing_stage/dodecahedron_halfturns_output.txt
passed                 witness_check.py (TOTAL failures: 0)
identical              writing_stage/witness_check_output.txt
passed                 check_paper.py (TOTAL failures: 0)
identical up to times  writing_stage/check_paper_output.txt
identical              writing_stage/figures_tikz.tex
== original/ (programs with which the results were first obtained)
identical              original checks_definition.txt
identical              original check_dictionary.txt
identical up to times  original test_conj_n5_R80.txt
identical up to times  original test_conj_n6_R80.txt
identical up to times  original test_conj_n7_R80.txt
identical up to times  original test_conj_n8_R80.txt
identical up to times  original test_conj_n9_R80.txt
identical up to times  original test_conj_n10_R80.txt
identical up to times  original test_conj_n11_R80.txt
identical up to times  original test_conj_n12_R80.txt
identical              original verify_theory_R60.txt
identical              original certificates_R0_9.txt
identical up to times  original dodeca_L120.txt
identical              original dodeca_scan.txt
identical              original closed_side_n15.txt
identical              original closed_side_odd.txt
identical              original closed_table_n6.txt
identical              original closed_table_n8.txt
identical              original closed_table_n9.txt
identical              original closed_table_n10.txt
identical              original closed_table_n12.txt
identical              original closed_table_n15.txt
identical              original factors_orbit_odd_n.txt
identical              original factors_structure.txt
== verification_run_A/
identical              A t1_n4_R30.txt
identical              A t1_n5_R30.txt
identical              A t1_n6_R30.txt
identical              A t1_n7_R30.txt
identical              A t1_n8_R30.txt
identical              A t1_n9_R30.txt
identical              A t1_n10_R30.txt
identical              A t1_n11_R30.txt
identical              A t1_n12_R30.txt
identical up to times  A t1_n4_R120.txt
identical up to times  A t1_n5_R120.txt
identical up to times  A t1_n6_R120.txt
identical up to times  A t1_n7_R120.txt
identical              A t1_n8_R120.txt
identical up to times  A t1_n9_R120.txt
identical up to times  A t1_n10_R120.txt
identical up to times  A t1_n12_R120.txt
identical              A t2_n4.txt
identical              A t2_n5.txt
identical              A t2_n6.txt
identical              A t2_n7.txt
identical              A t2_n8.txt
identical              A t2_n9.txt
identical              A t2_n10.txt
identical              A t2_n11.txt
identical              A t2_n12.txt
identical up to times  A t3_n4_R80.txt
identical up to times  A t3_n5_R80.txt
identical up to times  A t3_n6_R80.txt
identical up to times  A t3_n7_R80.txt
identical up to times  A t3_n8_R80.txt
identical up to times  A t3_n9_R80.txt
identical up to times  A t3_n10_R80.txt
identical up to times  A t3_n11_R80.txt
identical up to times  A t3_n12_R80.txt
identical              A t4_compare_R60.txt
identical              A t5_figures_6_7.txt
identical              A t6_cylinders.txt
identical              A t7_n4.txt
identical              A t7_n6.txt
identical              A t7_n8.txt
identical              A t7_n10.txt
identical              A t7_n12.txt
== verification_run_B/
identical              B definition_check.txt
identical              B conj24_25_n5.txt
identical              B conj24_25_n6.txt
identical up to times  B conj24_25_n7.txt
identical              B conj24_25_n8.txt
identical              B conj24_25_n9.txt
identical              B conj24_25_n10.txt
identical              B conj24_25_n11.txt
identical              B conj24_25_n12.txt
identical              B closed_table_n5_R60.txt
identical              B closed_table_n6_R60.txt
identical up to times  B closed_table_n7_R60.txt
identical              B closed_table_n8_R60.txt
identical up to times  B closed_table_n9_R60.txt
identical              B closed_table_n10_R60.txt
identical up to times  B closed_table_n12_R60.txt
identical up to times  B closed_table_n11_R40.txt
identical up to times  B closed_table_n13_R40.txt
identical              B closed_table_n15_R40.txt
identical              B closed_table_n21_R30.txt
identical up to times  B closed_table_n25_R24.txt
identical up to times  B closed_table_n27_R24.txt
identical up to times  B closed_table_n33_R20.txt
identical up to times  B closed_table_n35_R20.txt
identical              B closed_table_n45_R16.txt
identical up to times  B closed_table_n39_R14.txt
identical              B closed_table_n49_R12.txt
identical up to times  B closed_side_all.txt
identical              B literal_n15.txt
identical              B literal_n9.txt
identical up to times  B thm7_checks.txt
identical              B dodeca_group.txt
identical              B dodeca_L120.txt
identical              B dodeca_rows_L130.json
identical              B dodeca_scan.txt
identical              B lemma7_thm6.txt
identical              B descent.txt
identical              B github_witness.txt
identical              B reading_arbiter.txt
identical              B middle_line.txt
identical              B formulas.txt
identical              B printed_b.txt
identical              B witness_symmetry.txt
== comparisons that failed: 0

Part 4.  Output of `sh run_slow.sh <python>` (32 minutes 20 seconds).

== verification_run_A/, slow runs of t3_conjectures.py
identical up to times  A t3_n4_R150.txt
identical up to times  A t3_n5_R150.txt
identical up to times  A t3_n6_R150.txt
identical up to times  A t3_n7_R150.txt
identical up to times  A t3_n8_R150.txt
identical up to times  A t3_n9_R150.txt
identical up to times  A t3_n10_R150.txt
identical up to times  A t3_n11_R150.txt
identical up to times  A t3_n12_R150.txt
identical up to times  A t3_n13_R60.txt
identical up to times  A t3_n14_R60.txt
identical up to times  A t3_n15_R60.txt
identical up to times  A t3_n16_R60.txt
identical up to times  A t3_n18_R60.txt
identical up to times  A t3_n20_R60.txt
identical up to times  A t3_n17_R40.txt
identical up to times  A t3_n24_R40.txt
identical up to times  A t3_n25_R40.txt
identical up to times  A t3_n30_R40.txt
== comparisons that failed: 0

Summary of parts 3 and 4: 117 lines "passed" or "identical" in part 3, 19 in part 4; none failed.

The programs of independent_run_2/ are not covered by run_quick.sh and run_slow.sh; their recorded outputs
(independent_run_2/outputs/) were produced by independent_run_2/programs/run_all.sh (4 minutes 39 seconds, one
process, Python 3.13.5, numpy 2.3.1), which ended with the line "all programs ended without a failed assertion".
