Rerun of release/reproducibility from an extracted copy of release/source.zip (sha256 597a619a5a5bd6a3e5cf6c33b0033545578fb4f2e76fdd2377dc4eeef0269c86)
extracted to a scratch directory; each script run as: cd <folder> && python3 -B <script>.py; stdout compared byte-for-byte (cmp) with the recorded <script>_output.txt
Python: Python 3.13.5; date: 2026-09-30T10:10:22Z

verifier/verify_ec_orbits.py rc=0 time=23s IDENTICAL
verifier/verify_forms.py rc=0 time=0s IDENTICAL
verifier/verify_matrix_lemma.py rc=0 time=3s IDENTICAL
verifier/verify_torus_orbits.py rc=0 time=29s IDENTICAL
claimant/check_abelian.py rc=0 time=15s IDENTICAL
claimant/check_abelian_constructive.py rc=0 time=93s IDENTICAL
claimant/check_explicit_iso.py rc=0 time=225s IDENTICAL
claimant/check_inseparable.py rc=0 time=2s IDENTICAL
claimant/check_torus_family.py rc=0 time=41s IDENTICAL
DONE

stderr of every run was empty:
claimant_check_abelian.err 0 bytes
claimant_check_abelian_constructive.err 0 bytes
claimant_check_explicit_iso.err 0 bytes
claimant_check_inseparable.err 0 bytes
claimant_check_torus_family.err 0 bytes
verifier_verify_ec_orbits.err 0 bytes
verifier_verify_forms.err 0 bytes
verifier_verify_matrix_lemma.err 0 bytes
verifier_verify_torus_orbits.err 0 bytes

Also checked: source.zip main.tex/references.bib/reproducibility/verification_report.md identical to release/ and paper/ copies; zenodo/ files identical to release/ files; sha256 of the three zenodo files equal to ZENODO_METADATA.md.
