Re-run of every program of the reproducibility package by independent run 2, 17 October 2026
==============================================================================================

Source: an extracted copy of release/source.zip (sha256 0ce92c2b6c2a416f1781eeabe4a911d36532be62f58873bf8f6d25d57259eb44,
the package before this run) in a scratch folder; the recorded outputs were not touched. Python 3.13.5 (numpy 2.5.2,
scipy 1.18.1, mpmath 1.3.0), python -I, nice -n 10, at most four processes at a time (times are wall-clock times with
four processes in parallel). Each program wrote a new file, compared byte by byte with the recorded output.

folder               command                                                  time  exit  result
-------------------- ---------------------------------------------------- -------- -----  ----------------------------------------
.                    python3 -I check_note.py                                3.6 s     0  identical to check_note_output.txt
original/scripts     python3 -I haar_exact.py                                2.2 s     0  identical to ../outputs/haar_exact.out
original/scripts     python3 -I verify_coefficients.py                       2.1 s     0  identical to ../outputs/verify_coefficients.out
verification_run_A   python3 -I vA_coeffs.py                               115.4 s     0  identical to vA_coeffs.out
verification_run_A   python3 -I vA_lemma2.py                                 1.9 s     0  identical to vA_lemma2.out
verification_run_A   python3 -I vA_haar.py                                   0.9 s     0  identical to vA_haar.out
verification_run_A   python3 -I vA_shannon.py                               27.2 s     0  identical to vA_shannon.out
verification_run_B   python3 -I own_01_formal_series.py 24 NEW_own_01.out    1.9 s     0  identical to own_01_formal_series.out
verification_run_B   python3 -I own_02_numeric.py NEW_own_02.out            49.1 s     0  identical to own_02_numeric.out
verification_run_B   python3 -I own_03_haar_exact.py NEW_own_03.out          1.4 s     0  identical to own_03_haar_exact.out
verification_run_B   python3 -I own_04_membership_scan.py NEW_own_04.out     5.6 s     0  identical to own_04_membership_scan.out
verification_run_B   python3 -I own_04b_diag_eps01.py                        1.0 s     0  identical to own_04b_diag_eps01_recorded.out

Result: all 12 programs exit with code 0 and reproduce their recorded outputs byte for byte (own_04_membership_scan
records its running time in its last line; it was 5.6 s again, so that line matched as well).
