Re-run of all programs of this package from a copy of the package (2026-10-20), Python 3.13.
Columns: program, exit code, wall time, recorded output compared, result of a byte comparison.

check_note.py rc=0 time=0.3s recorded= -
original/wheel_check.py rc=0 time=0.5s recorded=wheel_check.out identical
original/identities_check.py rc=0 time=0.2s recorded=identities_check.out identical
original/lemma_check.py rc=0 time=0.4s recorded=lemma_check.out identical
original/certificates.py rc=0 time=0.0s recorded=certificates.out identical
original/projective_check.py rc=0 time=0.2s recorded=projective_check.out identical
original/symbolic_formula.py rc=0 time=12.6s recorded=symbolic_formula.out identical
original/symbolic_analysis.py rc=0 time=11.8s recorded=symbolic_analysis.out identical
original/exceptional.py rc=0 time=0.2s recorded=exceptional.out identical
verification_run_A/vA_check1.py rc=0 time=1.5s recorded=vA_check1.out identical
verification_run_A/vA_check2.py rc=0 time=12.3s recorded=vA_check2.out DIFFERENT
verification_run_B/vb_I1I2.py rc=0 time=0.2s recorded=vb_I1I2.out identical
verification_run_B/vb_bracket.py rc=0 time=1.8s recorded=vb_bracket.out identical
verification_run_B/vb_certs.py rc=0 time=0.1s recorded=vb_certs.out identical
verification_run_B/vb_exc.py rc=0 time=0.3s recorded=vb_exc.out identical
verification_run_B/vb_k4.py rc=0 time=0.1s recorded=vb_k4.out identical
verification_run_B/vb_thmA.py rc=0 time=3.3s recorded=vb_thmA.out identical
verification_run_B/vb_thmB.py rc=0 time=0.7s recorded=vb_thmB.out identical
verification_run_B/vb_thmC.py rc=0 time=0.4s recorded=vb_thmC.out identical
verification_run_B/vb_wheel.py rc=0 time=0.1s recorded=vb_wheel.out identical
verification_run_B/vb_propE.py rc=0 time=3.4s recorded=vb_propE_prism.out DIFFERENT
verification_run_B/vb_propE.py rc=0 time=9.8s recorded=vb_propE_K33.out DIFFERENT
verification_run_B/vb_propE.py rc=0 time=2.6s recorded=vb_propE_W5.out DIFFERENT

The four outputs marked DIFFERENT differ from the recorded ones only in their elapsed-time lines:
vA_check2.out lines 13, 17, 21 ('elapsed ...s'); vb_propE_*.out line 12 ('time ...s'). All other lines are identical.

Second re-run (2026-10-20), by the verification run of the written note, from an extracted copy of source.zip:
check_note.py output byte-identical (ALL CHECKS PASSED); original/ 8 programs identical; vA_check1 identical;
vA_check2 and the three vb_propE outputs differ only in the elapsed-time lines; the other 9 programs of
verification_run_B/ identical. The programs of independent_run_2/ were run in place; outputs as recorded there.
