Re-run of every program of this package, 17 October 2026
==========================================================

All programs were run from a copy of this folder (the recorded outputs were not touched), with Python 3.13.5;
numpy 2.5.2, mpmath 1.3.0 and scipy 1.18.1 where needed; laptop with Apple silicon, under `nice -n 10`.
Each program wrote to a new file, which was compared byte by byte with the recorded output (`cmp`).

folder                   command                                                       time     result
-----------------------  ------------------------------------------------------------  -------  ------------------------------
.                        python3 -I check_note.py > new.txt                             3.4 s    identical to check_note_output.txt
original/scripts         python3 -I haar_exact.py > new.out                             2.0 s    identical to ../outputs/haar_exact.out
original/scripts         python3 -I verify_coefficients.py > new.out                    3.8 s    identical to ../outputs/verify_coefficients.out
verification_run_A       python3 -I vA_coeffs.py > new.out                            119.6 s    identical to vA_coeffs.out
verification_run_A       python3 -I vA_lemma2.py > new.out                              1.9 s    identical to vA_lemma2.out
verification_run_A       python3 -I vA_haar.py > new.out                                0.8 s    identical to vA_haar.out
verification_run_A       python3 -I vA_shannon.py > new.out                            25.9 s    identical to vA_shannon.out
verification_run_B       python3 -I own_01_formal_series.py 24 new.out                  1.8 s    identical to own_01_formal_series.out
verification_run_B       python3 -I own_02_numeric.py new.out                          46.7 s    identical to own_02_numeric.out
verification_run_B       python3 -I own_03_haar_exact.py new.out                        1.3 s    identical to own_03_haar_exact.out
verification_run_B       python3 -I own_04_membership_scan.py new.out                   5.5 s    identical except the last line
                                                                                                 ("runtime 5.6s" recorded, "runtime 5.5s" now)
verification_run_B       python3 -I own_04b_diag_eps01.py                               1.0 s    writes own_04b_diag_eps01.out; identical to
                                                                                                 own_04b_diag_eps01_recorded.out

The second verification run had already re-run the two programs of original/ from its own copy; its outputs are in
verification_run_B/rerun_of_original/ and are identical to original/outputs/.
