# Verification run 2: re-run of release/reproducibility from an extracted copy of release/source.zip (2026-10-20)
# commands as in reproducibility/README.md, each from a fresh output directory; exit codes and times:
check_note exit=0 time=9s
cert_z5 exit=0 time=0s
verify_json exit=0 time=0s
family_check exit=0 time=1s
dual_fail exit=0 time=0s
enum1to5 exit=0
enum_n6 exit=0 time=34s
g1 done
A_check_z5 exit=0 time=0s
A_affine exit=0 time=1s
A_enum exit=0
g2 done
B_thmA exit=0 time=0s
B_enum1to5 exit=0
B_enum6 exit=0 time=21s
B_family513 exit=0 time=1s
B_lemmas exit=0 time=0s
B_selftest exit=0 time=23s
B_b4 exit=0 time=0s
B_compare exit=0 time=0s
g3 done
B_family1731 exit=0 time=311s
g4 done
# comparison with the recorded outputs (diff of the new output against the recorded file):
TIMINGS-ONLY (non-timing differing lines: 0)  check_note_output.txt
IDENTICAL  original/cert_z5_output.txt
IDENTICAL  original/twist_cert_z5.json
IDENTICAL  original/verify_json_output.txt
IDENTICAL  original/family_check_output.txt
IDENTICAL  original/dual_fail_output.txt
IDENTICAL  original/enum_n1to5_output.txt
TIMINGS-ONLY (non-timing differing lines: 0)  original/enum_n6_output.txt
IDENTICAL  original/collisions_n1.json
IDENTICAL  original/collisions_n2.json
IDENTICAL  original/collisions_n3.json
IDENTICAL  original/collisions_n4.json
IDENTICAL  original/collisions_n5.json
IDENTICAL  original/collisions_n6.json
IDENTICAL  verification_run_A/..._own_check_z5.out
IDENTICAL  verification_run_A/..._own_affine.out
TIMINGS-ONLY (non-timing differing lines: 0)  verification_run_A/..._own_enum.out (recorded file has a final DONE line)
IDENTICAL  verification_run_B/own_thmA_output.txt
IDENTICAL  verification_run_B/own_enum_n1to5_output.txt
TIMINGS-ONLY (non-timing differing lines: 0)  verification_run_B/own_enum_n6_output.txt
IDENTICAL  verification_run_B/own_enum_n1.json
IDENTICAL  verification_run_B/own_enum_n2.json
IDENTICAL  verification_run_B/own_enum_n3.json
IDENTICAL  verification_run_B/own_enum_n4.json
IDENTICAL  verification_run_B/own_enum_n5.json
IDENTICAL  verification_run_B/own_enum_n6.json
IDENTICAL  verification_run_B/own_family_p5-13_output.txt
TIMINGS-ONLY (non-timing differing lines: 0)  verification_run_B/own_family_p17-31_output.txt
IDENTICAL  verification_run_B/own_lemmas_output.txt
IDENTICAL  verification_run_B/own_selftest_output.txt
IDENTICAL  verification_run_B/own_b4_extra_output.txt
IDENTICAL  verification_run_B/compare_collisions_output.txt
