Re-run of the package as archived before this run's corrections (source.zip of 16 October 2026, 21:40):
exit 0
IDENTICAL  check_note.py
IDENTICAL  original/dev_core.py
IDENTICAL  original/certify_arb.py
IDENTICAL  original/certify_arb.py generated vertex file
IDENTICAL  original/certify_iv.py
IDENTICAL  original/check_angles_lawcos.py
IDENTICAL  run_A/qcert.py
IDENTICAL  run_A/roll_check.py
IDENTICAL  run_A/extra_checks.py
IDENTICAL  run_A/fcuts.py_rational
IDENTICAL  run_A/fcuts.py_hfar
IDENTICAL  run_A/fcuts.py_gen4
IDENTICAL  paper_stage_s101
IDENTICAL  paper_stage_s102
IDENTICAL  run_B/b_cert.py
IDENTICAL  run_B/b_cert.py_Qprime
IDENTICAL  run_B/b_cert_interior.py
IDENTICAL  run_B/b_float_roll.py
IDENTICAL  run_B/b_selfpair_scan.py
IDENTICAL  run_B/b_float_error.py
hfar_search 5 s seed 41: polygon identical to the saved one: True
search_cover re-evaluation of gen4_h_s61: (np.float64(0.9977814102109415), [(np.float64(0.9470173483360008), np.float64(0.9573494853144066))])
elapsed 42 s
hyptest.py 7 1.55 12000 31: JSON identical to search_results/hyptest_n7_h_s31.json (18.4 s)

Re-run of the final archive (after the corrections; check_note.py extended, independent_run_2/ added):
exit 0
IDENTICAL  check_note.py
IDENTICAL  original/dev_core.py
IDENTICAL  original/certify_arb.py
IDENTICAL  original/certify_arb.py generated vertex file
IDENTICAL  original/certify_iv.py
IDENTICAL  original/check_angles_lawcos.py
IDENTICAL  run_A/qcert.py
IDENTICAL  run_A/roll_check.py
IDENTICAL  run_A/extra_checks.py
IDENTICAL  run_A/fcuts.py_rational
IDENTICAL  run_A/fcuts.py_hfar
IDENTICAL  run_A/fcuts.py_gen4
IDENTICAL  paper_stage_s101
IDENTICAL  paper_stage_s102
IDENTICAL  run_B/b_cert.py
IDENTICAL  run_B/b_cert.py_Qprime
IDENTICAL  run_B/b_cert_interior.py
IDENTICAL  run_B/b_float_roll.py
IDENTICAL  run_B/b_selfpair_scan.py
IDENTICAL  run_B/b_float_error.py
hfar_search 5 s seed 41: polygon identical to the saved one: True
search_cover re-evaluation of gen4_h_s61: (np.float64(0.9977814102109415), [(np.float64(0.9470173483360008), np.float64(0.9573494853144066))])
elapsed 42 s
IDENTICAL  independent_run_2/r2_cert.py
IDENTICAL  independent_run_2/r2_roll.py
IDENTICAL  independent_run_2/r2_float.py_Q
IDENTICAL  independent_run_2/r2_float.py_saved
hyptest.py 7 1.55 12000 31 reproduces search_results/hyptest_n7_h_s31.json: True
elapsed total 94 s
