RERUN_LOG.txt — re-run of the quick programs of this package (OWR-15587-006)

Date: 2026-10-14 (UTC times below). Machine: Apple silicon Mac, macOS; Python 3.13.5 with sympy (needed by
verification_run_B/b_run_balls.py); all programs run under `nice -n 10`.
Procedure: the folder reproducibility/ of the final package was copied to a scratch folder, and in the copy
    python3 rerun_quick.py <python 3.13.5 with sympy>
was run. rerun_quick.py runs each program in its own folder, writes its output into rerun_out/ (never into the
recorded files) and compares it with the recorded output after normalising running times ("(1.2 s)",
"elapsed 3.4 s", "time 1.8 s") and ignoring a final line "exit 0" appended by the original runner to two recorded
outputs of the first verification run. Programs not re-run: the search programs (random, long; numpy/scipy),
vA_glyphs_chhh.py (needs the publisher's PDF, not included) and the literature tools of the second verification
run.
A first re-run of the same programs on the same day (before the README and this log were written) also gave
23 of 23 identical outputs.

Output of the re-run:
start 2026-10-14T12:51:18Z
IDENTICAL  exit 0      2.1 s  ./check_note.py  ->  rerun_out/check_note.txt  vs  outputs/check_note.txt
IDENTICAL  exit 0      0.3 s  original/independent_check_thmA.py  ->  rerun_out/original__independent_check_thmA.txt  vs  original/independent_check_thmA.out
IDENTICAL  exit 0      0.5 s  original/verify_direct.py cert_direct_d6_small.json  ->  rerun_out/original__verify_direct_cert_direct_d6_small.txt  vs  original/verify_direct_d6_small.out
IDENTICAL  exit 0      1.3 s  original/verify_direct.py cert_direct_d6_lead.json  ->  rerun_out/original__verify_direct_cert_direct_d6_lead.txt  vs  original/verify_direct_d6_lead.out
IDENTICAL  exit 0      0.2 s  original/verify_ball.py cert_d6.json  ->  rerun_out/original__verify_ball_cert_d6.txt  vs  original/verify_ball_cert_d6.out
IDENTICAL  exit 0      0.1 s  original/verify_ball.py cert_d6_small.json  ->  rerun_out/original__verify_ball_cert_d6_small.txt  vs  original/verify_ball_cert_d6_small.out
IDENTICAL  exit 0      1.0 s  original/verify_ball.py cert_d7.json  ->  rerun_out/original__verify_ball_cert_d7.txt  vs  original/verify_ball_cert_d7.out
IDENTICAL  exit 0      9.4 s  original/verify_padded.py cert_d6.json 7 8  ->  rerun_out/original__verify_padded_cert_d6_7_8.txt  vs  original/verify_padded.out
IDENTICAL  exit 0      1.3 s  original/verify_centered.py cert_d6.json 0 1/2 0 0 1/2 0  ->  rerun_out/original__verify_centered_cert_d6_0_1-2_0_0_1-2_0.txt  vs  original/verify_centered_cert_d6_half.out
IDENTICAL  exit 0      0.6 s  original/verify_centered.py cert_d6_small.json 0 0 1/2 0 1/2 0  ->  rerun_out/original__verify_centered_cert_d6_small_0_0_1-2_0_1-2_0.txt  vs  original/verify_centered_cert_d6_small_half.out
IDENTICAL  exit 0     12.1 s  original/verify_simplex_chhh.py 4  ->  rerun_out/original__verify_simplex_chhh_4.txt  vs  original/verify_simplex_chhh_m4.out
IDENTICAL  exit 0      0.1 s  original/analyze_hits.py search_output/hits2_A80.jsonl search_output/hits_A100.jsonl search_output/hits2_A150.jsonl search_output/hits3_odd_A200.jsonl search_output/hits4_odd_A400.jsonl  ->  rerun_out/original__analyze_hits_hits2_A80_hits_A100_hits2_A150_hits3_odd_A200_hits4_odd_A400.txt  vs  original/search_output/analyze_all.txt
IDENTICAL  exit 0      1.2 s  verification_run_A/vA_thmA.py  ->  rerun_out/verification_run_A__vA_thmA.txt  vs  verification_run_A/vA_thmA.out
IDENTICAL  exit 0     23.0 s  verification_run_A/vA_direct.py certs_copy  ->  rerun_out/verification_run_A__vA_direct_certs_copy.txt  vs  verification_run_A/vA_direct.out
IDENTICAL  exit 0      3.6 s  verification_run_A/vA_chhh.py  ->  rerun_out/verification_run_A__vA_chhh.txt  vs  verification_run_A/vA_chhh.out
IDENTICAL  exit 0      0.6 s  verification_run_B/b_run_balls.py  ->  rerun_out/verification_run_B__b_run_balls.txt  vs  verification_run_B/b_run_balls.out
IDENTICAL  exit 0    460.8 s  verification_run_B/b_wrong_inputs.py  ->  rerun_out/verification_run_B__b_wrong_inputs.txt  vs  verification_run_B/b_wrong_inputs.out
IDENTICAL  exit 0      2.7 s  verification_run_B/b_check_hits.py ../original/search_output  ->  rerun_out/verification_run_B__b_check_hits_-original-search_output.txt  vs  verification_run_B/b_check_hits.out
IDENTICAL  exit 0      0.0 s  verification_run_B/b_lemma8_parity.py  ->  rerun_out/verification_run_B__b_lemma8_parity.txt  vs  verification_run_B/b_lemma8_parity.out
IDENTICAL  exit 0     19.4 s  verification_run_B/b_chhh.py 4 5 3  ->  rerun_out/verification_run_B__b_chhh_4_5_3.txt  vs  verification_run_B/b_chhh_m4_L5_f3.out
IDENTICAL  exit 0     10.9 s  verification_run_B/b_chhh.py 5 4 3  ->  rerun_out/verification_run_B__b_chhh_5_4_3.txt  vs  verification_run_B/b_chhh_m5_L4_f3.out
IDENTICAL  exit 0     12.4 s  verification_run_B/b_chhh.py 4 3 1  ->  rerun_out/verification_run_B__b_chhh_4_3_1.txt  vs  verification_run_B/b_chhh_m4_L3_f1.out
IDENTICAL  exit 0     12.8 s  verification_run_B/b_chhh.py 4 3 2  ->  rerun_out/verification_run_B__b_chhh_4_3_2.txt  vs  verification_run_B/b_chhh_m4_L3_f2.out
23 of 23 outputs identical to the recorded ones (after normalising run times)
real 576.54
user 574.30
sys 0.59
end 2026-10-14T13:00:55Z
