Rerun of release/reproducibility from an extracted copy of release/source.zip (2026-10-02, second independent run)
Environment: Python 3.13, numpy 2.5.3, scipy 1.18.1, sympy 1.14.0, mpmath 1.3.0 (fresh virtual environment). Each script was run inside its own folder
with a time limit; its standard output was compared byte for byte with the stored *_output.txt of the release.

script | exit | seconds | stdout vs stored output
main_checks/symbolic/lemmaM_sympy.py | 0 | 10 | identical
main_checks/constants/burchard_threshold.py | 0 | 1 | identical
main_checks/constants/tangent_table.py | 0 | 3 | identical
main_checks/interval_certificate/certify_T.py | 0 | 27 | identical
main_checks/interval_certificate/ia.py | - | - | not run (library module)
main_checks/euler/euler_power_check.py | 0 | 19 | identical
main_checks/numerics/alpha_test.py | 0 | 19 | identical
main_checks/numerics/chain_search.py | 0 | 44 | identical
main_checks/numerics/chain_test.py | 0 | 2 | identical
main_checks/numerics/geom.py | - | - | not run (library module)
main_checks/numerics/hex_upper.py | 0 | 0 | identical
main_checks/numerics/moment_proof_checks.py | 0 | 6 | identical
main_checks/numerics/moment_test.py | 0 | 23 | identical
main_checks/numerics/refined_count_test.py | 0 | 3 | identical
main_checks/numerics/torus_test.py | 0 | 78 | identical
main_checks/numerics/true_F_partition_test.py | 0 | 58 | identical
independent_runs/bf_phi.py | 0 | 98 | identical
independent_runs/bf_torus2.py | 0 | 292 | identical
independent_runs/bf_trueF2.py | - | - | not run (never terminates; stopped before completion in the first release, no result)
independent_runs/chain_indep.py | 0 | 3 | identical
independent_runs/eps_convex.py | 0 | 3 | identical
independent_runs/geomlib.py | - | - | not run (library module)
independent_runs/hex_up_indep.py | 0 | 2 | identical
independent_runs/hp.py | 0 | 0 | identical
independent_runs/identity_euler.py | 0 | 1 | identical
independent_runs/iso_mono.py | 0 | 6 | identical
independent_runs/lemmaM_test.py | 0 | 4 | identical
independent_runs/tangent_test.py | 0 | 52 | identical

All scripts that were run terminated with exit code 0 and reproduced the stored outputs exactly (the scripts are seeded).
