Re-run of the reproducibility package of OWR-1782-017, 17 October 2026.
Each program was run from a copy of this package with the command shown (cwd = its folder), under nice -n 10,
three programs at a time, on a laptop with Apple silicon (Python 3.13.5; mpmath 1.3.0, sympy 1.14.0, numpy 2.5.2).
Times are wall-clock. 'identical' means byte-identical to the recorded output named.

check_note.py
  python3 -I check_note.py                         11.9 s  identical to check_note_output.txt (32 PASS, 0 FAIL)

original/
  python3 -I check_definitions.py                   1.1 s  identical to outputs/check_definitions.out
  python3 -I ineq_check.py                         28.2 s  identical to outputs/ineq_check.out
  python3 -I lemma_check.py                        133.7 s  identical to outputs/lemma_check.out
  python3 -I conj_check.py                         26.1 s  lines 1-10 identical to outputs/conj_check_parts12.out; Part 3 line identical to that of outputs/conj_check_part3.out; total 11089
  python3 -I conj_check.py part3                   21.6 s  identical to outputs/conj_check_part3.out
  python3 -I conj_check.py quick                    1.1 s  small version (run alone), no recorded output; 0 failures in UNI, MAC, PHI, BS

verification_run_A/  (recorded files end with a line 'exit 0' written by the run's wrapper; compared without it)
  python3 -I vA_identities.py                      387.4 s  identical to vA_identities.out
  python3 -I vA_lemmaD.py 30 30000 20000 2026      26.5 s  identical to vA_lemmaD.out
  python3 -I vA_realrooted.py 20000 3000 2026      328.0 s  identical to vA_realrooted.out
  python3 -I vA_propC.py 300000 2026 55 12         134.0 s  identical to vA_propC.out

verification_run_B/  (programs write <name>.out into the current folder; compared with recorded/<name>.out)
  python3 t1_defs.py                                1.6 s  identical to recorded/t1_defs.out
  python3 t2_lemmaD.py                             43.5 s  identical to recorded/t2_lemmaD.out
  python3 t3_propC.py                               1.8 s  identical to recorded/t3_propC.out
  python3 t4b_validate_dp.py 12                     0.0 s  identical to recorded/t4b_validate_dp_B12.out
  python3 t4b_validate_dp.py 30                     1.1 s  identical to recorded/t4b_validate_dp_B30.out
  python3 t4_ulc_dp.py 1000 ulc                     0.2 s  identical to recorded/t4_ulc_dp_ulc_B1000.out
  python3 t4_ulc_dp.py 1000 kk                      0.2 s  identical to recorded/t4_ulc_dp_kk_B1000.out
  python3 t4_ulc_dp.py 1000 lc                      0.7 s  identical to recorded/t4_ulc_dp_lc_B1000.out
  python3 t4_ulc_dp.py 3000 ulc                     0.7 s  identical to recorded/t4_ulc_dp_ulc_B3000.out
  python3 t4_ulc_dp.py 10000 ulc                    4.7 s  identical to recorded/t4_ulc_dp_ulc_B10000.out
  python3 t5_realrooted.py                          9.1 s  identical to recorded/t5_realrooted.out
  python3 t6_bigfamilies.py                        110.6 s  identical to recorded/t6_bigfamilies.out
  python3 t4_ulc_dp.py 100000 ulc                  348.9 s  identical to recorded/t4_ulc_dp_ulc_B100000.out

All programs exited with code 0 and wrote nothing to standard error.

Re-run by verification run 2 (of the written note), 17 October 2026.
The archive source.zip of the previous version of this package (sha256 d49872fdbe0a5896ada9e7ad2b338b7e8798fc6e4f47d6a18bcbfc3e6d482e66)
was extracted into a new folder; each program was run in its folder of the extracted copy with the command of
README.md, under nice -n 10, at most four programs at a time, on a laptop with Apple silicon (Python 3.13.5;
mpmath 1.3.0, sympy 1.14.0, numpy 2.5.2). Times are wall-clock. 'identical' means byte-identical.

check_note.py
  python3 -I check_note.py                         12.1 s  identical to check_note_output.txt

original/
  python3 -I check_definitions.py                   1.1 s  identical to outputs/check_definitions.out
  python3 -I ineq_check.py                         28.1 s  identical to outputs/ineq_check.out
  python3 -I lemma_check.py                        133.0 s  identical to outputs/lemma_check.out
  python3 -I conj_check.py                         26.3 s  lines 1-10 identical to outputs/conj_check_parts12.out; Part 3 line identical to that of outputs/conj_check_part3.out; total 11089
  python3 -I conj_check.py part3                   21.6 s  identical to outputs/conj_check_part3.out
  python3 -I conj_check.py quick                    1.1 s  no recorded output; 0 failures in UNI, MAC, PHI, BS

verification_run_A/  (compared after removing a final line 'exit 0' from the recorded file, where present)
  python3 -I vA_identities.py                      395.6 s  identical to vA_identities.out
  python3 -I vA_lemmaD.py 30 30000 20000 2026      26.6 s  identical to vA_lemmaD.out
  python3 -I vA_realrooted.py 20000 3000 2026      333.2 s  identical to vA_realrooted.out
  python3 -I vA_propC.py 300000 2026 55 12         131.3 s  identical to vA_propC.out

verification_run_B/  (programs write <name>.out into the current folder; compared with recorded/<name>.out)
  python3 t1_defs.py                                1.6 s  identical
  python3 t2_lemmaD.py                             43.6 s  identical
  python3 t3_propC.py                               1.8 s  identical
  python3 t4b_validate_dp.py 12                     0.0 s  identical
  python3 t4b_validate_dp.py 30                     1.1 s  identical
  python3 t4_ulc_dp.py 1000 ulc                     0.2 s  identical
  python3 t4_ulc_dp.py 1000 kk                      0.2 s  identical
  python3 t4_ulc_dp.py 1000 lc                      0.8 s  identical
  python3 t4_ulc_dp.py 3000 ulc                     0.7 s  identical
  python3 t4_ulc_dp.py 10000 ulc                    4.7 s  identical
  python3 t4_ulc_dp.py 100000 ulc                  352.1 s  identical
  python3 t5_realrooted.py                          8.9 s  identical
  python3 t6_bigfamilies.py                        108.6 s  identical

All programs exited with code 0 and wrote nothing to standard error.

Run 2 also ran its own programs again from a copy extracted from the archive of this version (built before these
lines were added; the programs and recorded outputs are unchanged), three lanes in parallel, under nice -n 10.
'identical' means byte-identical apart from the running time printed in the last line.

independent_run_2/
  python3 -I r2_lemmaD.py                          39.3 s  identical to r2_lemmaD.out
  python3 -I r2_propC.py                           29.9 s  identical to r2_propC.out
  python3 -I r2_realrooted.py                      278.9 s  identical to r2_realrooted.out
  python3 -I r2_sd.py                               0.6 s  identical to r2_sd.out
  python3 -I r2_remarks.py                         103.4 s  identical to r2_remarks.out
  python3 -I r2_series.py (SymPy 1.14.0)            0.8 s  identical to r2_series.out (no time printed)
  (recorded files compared without their final line 'exit 0', written by the run's wrapper)

All programs exited with code 0 and wrote nothing to standard error.
