Re-run of the reproducibility package of OWR-14299911-020 by the third verification run (independent_run_2), 2026-10-17.

Method: release/source.zip was extracted into an empty scratch folder; every program was started from inside
its folder of the extracted copy with `nice -n 10 <python> <flags> -u <program> > rerun_<label>.txt`, at most
four processes at a time; each new output was compared with the recorded output in the archive by `diff`.
Python 3.13.5 (NumPy 2.5.2 for vA_sharpness_lemmas.py), macOS, Apple silicon. Flags: -I for check_note.py,
original/*.py and verification_run_A/*.py; none for verification_run_B/run_*.py (they import mg.py).

program                                     | exit | time    | differences from the recorded output
--------------------------------------------|------|---------|-----------------------------------------------------
check_note.py                               | 0    | 3.5 s   | the "(running time ... s)" line only; TOTAL 354889 checks, 0 failures
original/check_tp_bruteforce.py             | 0    | 0.8 s   | none
original/check_sharpness_family.py          | 0    | 0.7 s   | none
verification_run_A/vA_bruteforce.py         | 0    | 5.5 s   | the recorded file ends with a line "exit code 0" written by the shell
verification_run_A/vA_sharpness_lemmas.py   | 0    | 2.4 s   | the recorded file ends with a line "exit code 0" written by the shell
verification_run_B/run_A.py                 | 0    | 14.6 s  | first line (date and time) and "# done in ... s"
verification_run_B/run_B.py                 | 0    | 55.3 s  | first line (date and time), "#   (3,2) took ... s", "# done in ... s"
verification_run_B/run_C.py                 | 0    | 7.6 s   | first line (date and time) and "# done in ... s"

All substantive output (every number, every OK/PASS line and every control) is identical to the recorded
output. The re-run outputs are the files rerun_*.txt in this folder.
