Re-run of the reproducibility package, 15 October 2026 (Python 3 with mpmath 1.3.0 and sympy; nice -n 10).
Every program was run from a copy of this folder, with its output written to a new file and compared with the
recorded output by diff.

program                                   time    result
check_note.py                             18 s    56 checks, TOTAL failures: 0 (recorded: outputs/check_note_output.txt)
original/scan_rows.py                      9 s    identical except one timing field ("0.2s" vs "0.3s")
original/local_checks.py                  11 s    identical
original/kappa_scan.py                    13 s    identical
original/probe_k806.py                    <1 s    identical except the recorded last line "exit 0", which the program does not print
verification_run_A/vA_invariance.py        6 s    identical
verification_run_A/vA_kappa_scan.py       18 s    identical
verification_run_A/vA_zero_k404.py        20 s    identical
verification_run_A/vA_dagger_readings.py   1 s    identical
verification_run_A/vA_highprec_star.py    <1 s    identical
verification_run_B/vb_smoke.py            <1 s    identical except the timing line
verification_run_B/vb_rows.py             14 s    identical except the timing line
verification_run_B/vb_wrong.py             2 s    identical
verification_run_B/vb_kappa.py            19 s    identical except the timing line
verification_run_B/vb_lemmas_numeric.py    1 s    identical
verification_run_B/vb_jacobi.py            7 s    identical except the first line (see below)
verification_run_B/vb_sympy.py            not run (stopped by the second verification run, see vb_sympy_output.txt)

vb_jacobi.py: the first line of the recorded vb_jacobi_output.txt ("J2: ... violations = [('b', 6, 1), ...]") was
printed by an earlier version of the index-arithmetic test J2 of this program.  The program as included prints
"J2: Lemma 3.5(b),(c) brute force N<=40: violations = []", which is the recorded file vb_jacobi_J2_output.txt; all
other lines of vb_jacobi_output.txt are reproduced.  (The lemma numbers in the programs of the verification runs
refer to the first written version of the results; Lemma 3.5 there is Lemmas 4.1 and 4.2 of the note.)

vA_local_output.txt (verification_run_A) has no program in the package; see README.md.

Re-run by the verification run on the final text, 15 October 2026 (20:10-20:13 UTC; Python 3 with mpmath 1.3.0 and
sympy 1.14.0; nice -n 10; at most four programs at a time), from an extracted copy of the source archive:
check_note.py (17 s; 56 checks, TOTAL failures: 0; identical except timing lines), original/ (4 programs),
verification_run_A/ (5 programs) and verification_run_B/ (6 programs, not vb_sympy.py): identical outputs, apart
from timing lines, the recorded "exit 0" line of probe_k806 and the first line of vb_jacobi_output.txt, both as
described above.  The programs of independent_run_2/ were run with the recorded outputs in that folder.
