Re-run of the reproducibility package by the independent verification run on the final text (2026-10-14).
The package was extracted from release/source.zip (SHA-256 511f43b9fa02f7ad899e4413a7aca19804cfa60b33382f9d305db864e61277cc) into a scratch folder;
every program was run there with nice -n 10 (macOS, Python 3.13.5, mpmath 1.3.0, SymPy 1.14.0); recorded outputs were not overwritten.

1. Quick part: sh run_quick.sh PY  (11.9 s wall)
   IDENTICAL  check1_k5_A.txt  (original/outputs/check1_k5_A.txt)
   IDENTICAL  check1_k6_A.txt  (original/outputs/check1_k6_A.txt)
   IDENTICAL  check1_k6_B.txt  (original/outputs/check1_k6_B.txt)
   IDENTICAL  check1_k7_A.txt  (original/outputs/check1_k7_A.txt)
   IDENTICAL  check1_k8_d2_s6_A.txt  (original/outputs/check1_k8_d2_s6_A.txt)
   IDENTICAL  check1_k9_d2_s7_A.txt  (original/outputs/check1_k9_d2_s7_A.txt)
   IDENTICAL  check2_k5_A.txt  (original/outputs/check2_k5_A.txt)
   IDENTICAL  check2_k6_A.txt  (original/outputs/check2_k6_A.txt)
   IDENTICAL  check2_k6_B.txt  (original/outputs/check2_k6_B.txt)
   IDENTICAL  check2_k7_A.txt  (original/outputs/check2_k7_A.txt)
   IDENTICAL  check2_k8_d2_s6_A.txt  (original/outputs/check2_k8_d2_s6_A.txt)
   IDENTICAL  check2_k9_d2_s7_A.txt  (original/outputs/check2_k9_d2_s7_A.txt)
   IDENTICAL  check_k7_exact.txt  (original/outputs/check_k7_exact.txt)
   IDENTICAL  check_note.txt  (outputs/check_note.txt)
   IDENTICAL  exact_symmetric_k7-31.txt  (original/outputs/exact_symmetric_k7-31.txt)
   IDENTICAL  identity_k5_A.txt  (original/outputs/identity_k5_A.txt)
   IDENTICAL  identity_k6_A.txt  (original/outputs/identity_k6_A.txt)
   IDENTICAL  identity_k6_B.txt  (original/outputs/identity_k6_B.txt)
   IDENTICAL  identity_k7_A.txt  (original/outputs/identity_k7_A.txt)
   IDENTICAL  identity_k8_d2_s6_A.txt  (original/outputs/identity_k8_d2_s6_A.txt)
   IDENTICAL  identity_k9_d2_s7_A.txt  (original/outputs/identity_k9_d2_s7_A.txt)
   IDENTICAL  real_structure_k5_A.txt  (original/outputs/real_structure_k5_A.txt)
   IDENTICAL  rejection_tests_k7_exact.txt  (outputs/rejection_tests_k7_exact.txt)
   real 11.92
   user 8.48
   sys 0.24
   -> 23 of 23 byte-identical.

2. Hashes: shasum -a 256 -c original/outputs/sha256.txt
   certificates/cert_k5_d2_s4_A.json: OK
   certificates/cert_k6_d2_s5_A.json: OK
   certificates/cert_k6_d2_s5_B.json: OK
   certificates/cert_k7_d2_s6_A.json: OK
   certificates/cert_k8_d2_s6_A.json: OK
   certificates/cert_k9_d2_s7_A.json: OK
   check_krawczyk.py: OK
   check_krawczyk_mpiv.py: OK
   rejection_tests.py: OK
   check_real_structure_k5.py: OK
   show_identity.py: OK
   make_cert.py: OK
   exact_symmetric.py: OK
   check_k7_exact.py: OK

3. Slow part of original/
   IDENTICAL  rejection_tests_k5_A.txt  (python3 -I rejection_tests.py certificates/<cert>.json PY)
   IDENTICAL  rejection_tests_k6_A.txt  (python3 -I rejection_tests.py certificates/<cert>.json PY)
   IDENTICAL  rejection_tests_k6_B.txt  (python3 -I rejection_tests.py certificates/<cert>.json PY)
   IDENTICAL  rejection_tests_k7_A.txt  (python3 -I rejection_tests.py certificates/<cert>.json PY)
   IDENTICAL  rejection_tests_k8_d2_s6_A.txt  (python3 -I rejection_tests.py certificates/<cert>.json PY)
   IDENTICAL  rejection_tests_k9_d2_s7_A.txt  (python3 -I rejection_tests.py certificates/<cert>.json PY)
   IDENTICAL  precision_variation.txt  (checker 1 with P = 256, checker 2 with 250 bits; 12 x PASS)
   IDENTICAL  exact_symmetric_k7-201.txt  (PY -I exact_symmetric.py 201; real 35.57 s)

4. verification_run_A/ (run in a copy of the folder)
   IDENTICAL  vA_k7_exact.out
   IDENTICAL  vA_k7_controls.out
   IDENTICAL  vA_k7_numeric.out
   IDENTICAL  vA_cert_controls.out
   IDENTICAL  resumed_cert_controls.out
   IDENTICAL  vA_k5_realstructure.out
   IDENTICAL  vA_oddk_numeric.out
   SAME       vA_cert_check_all.out (the recorded file has one appended shell timing line)
   SAME       vA_oddk_201.out (98/98; the recorded file has one appended shell timing line; real 52.57 s)

5. verification_run_B/ (run in a copy of the folder)
   IDENTICAL  vb_k7_numeric.out.txt
   IDENTICAL  vb_kantorovich_summary.txt
   IDENTICAL  vb_orbit_invariants_k5.out.txt
   SAME modulo running times  vb_kantorovich_cert_k5_d2_s4_A.out.txt (8 variants)
   SAME modulo running times  vb_kantorovich_cert_k6_d2_s5_A.out.txt (8 variants)
   SAME modulo running times  vb_kantorovich_cert_k6_d2_s5_B.out.txt (8 variants)
   SAME modulo running times  vb_kantorovich_cert_k7_d2_s6_A.out.txt (8 variants)
   SAME modulo running times  vb_kantorovich_cert_k8_d2_s6_A.out.txt (8 variants)
   SAME modulo running times  vb_kantorovich_cert_k9_d2_s7_A.out.txt (8 variants)
   SAME modulo running times  vb_k7_exact.out.txt
   SAME modulo running times  vb_oddk.out.txt (OVERALL: PASS)
   SAME modulo running times  vb_oddk_extend.out.txt (odd k in [7,201] and [203,1001]: no failure)

Not re-run: the search programs (original/search/, vb_search.py, vb_refine_cert.py); they are not part of any proof.
Result: every re-run output agrees with the recorded one (byte for byte, or up to running times).
