Run 2 (2026-10-20): re-run of the release package from an extracted copy of release/source.zip (version before
the run-2 revision; 71 files), in a scratch folder, Python 3.13; outputs compared with the recorded ones by diff.

program                                                        result                     recorded output
check_note.py                                                  ALL CHECKS PASSED          identical (timings ignored)
mutation_test.py                                               ALL MUTATIONS REJECTED     identical
original/scripts/verify_pair.py certificate/pair_A_exact.json  ALL CHECKS PASSED          identical
original/scripts/crosscheck_mp.py certificate/...              CROSSCHECK OK              identical
original/scripts/make_controls.py + verify_pair.py on 4 ctrls  4 controls rejected        json and outputs identical
original/scripts/check_numeric_pairs.py original/outputs/*.npy 4 numerical pairs          identical
verification_run_A/indep_check.py certificate/...              VERIFIER A: ALL OK         identical
verification_run_B/own_verify.py certificate/...               COUNTEREXAMPLE CONFIRMED   identical
verification_run_B/own_embed_numeric.py certificate/...        no self-intersection       identical
verification_run_B/own_check_construction.py certificate/...   construction confirmed     identical
verification_run_B/own_factor_check.py certificate/...         factorization confirmed    DIFFERS: the recorded file
                                                                                          had one extra last line not
                                                                                          printed by the program (moved
                                                                                          to own_factor_check_note.txt)
verification_run_B/own_search2.py 3000 21 nonconvex            21 nontrivial pairs        identical (.txt and .npy)
verification_run_B/own_search2.py 3000 22 convex               0 with a convex member     identical (.txt and .npy)
verification_run_B/own_refine.py <nonconvex_21 .npy> 3         3 pairs refined            identical
