Re-run of release/reproducibility from an extracted copy of release/source.zip (v1, sha256 74bd2c6fe77b08daac59f8459156575e17eebaf6b7033ab53168b9e00195ed07), 2026-10-19.
Python 3 (system) for the standard-library programs; venv with sympy 1.14.0, numpy 2.5.2, networkx 3.6.1 for the others.

DIFFERS    check_note.py vs check_note_output.txt:
    3c3
    <   (0.5 s)
    ---
    >   (0.4 s)
    15c15
    <   (0.6 s)
    ---
    >   (0.5 s)
    26c26
    <   (17.7 s)
    ---
    >   (15.8 s)
IDENTICAL  original/scripts/verify_certs.py
IDENTICAL  original/scripts/sos_check.py
IDENTICAL  original/scripts/match12.py
IDENTICAL  original/scripts/thm34_maps.py
IDENTICAL  original/scripts/verify_maps.py
IDENTICAL  original/scripts/check_fmp.py
IDENTICAL  original/scripts/sp_tree.py 1000 + gen_certs.py 1000000 ... 12 8 (regenerated certificates.csv)
IDENTICAL  gen_certs log
IDENTICAL  original/scripts/sp_pairs.py 300 + sp_missing.py ... 3 7 11 19 23
IDENTICAL  original/scripts/sp_tree.py 700 + test_maps.py + test_maps2.py (maps_test.txt)
IDENTICAL  verification_run_A my_maps.py (my_maps_big.txt)
IDENTICAL  verification_run_A my_verify.py
IDENTICAL  verification_run_A sym_fix.py
DIFFERS    verification_run_B out_check_certs_all:
    1c1
    < range 0..20000 checked=16703 ok=16703 bad=0 maxE=368 stats=[(('F1', 'pres'), 15330), (('F2', 'pres'), 771), (('F3', 'pres'), 602)] time=7.7s
    ---
    > range 0..20000 checked=16703 ok=16703 bad=0 maxE=368 stats=[(('F1', 'pres'), 15330), (('F2', 'pres'), 771), (('F3', 'pres'), 602)] time=6.9s
IDENTICAL  verification_run_B out_symbolic
IDENTICAL  verification_run_B out_residual
IDENTICAL  verification_run_B out_remark_qpairs
IDENTICAL  verification_run_B out_thm234
IDENTICAL  verification_run_B out_invariants
IDENTICAL  verification_run_B out_thm1_random
IDENTICAL  verification_run_B out_mutations
IDENTICAL  verification_run_B out_writhe_power
IDENTICAL  verification_run_B out_exceptions
IDENTICAL  verification_run_B out_test_basic

Only timing lines differ. vb_check_certs.py needs networkx (the README lists networkx among the requirements).
