RERUN_LOG.txt -- re-runs of this package, 14 October 2026 (Python 3.13.5, numpy 2.5.2, one laptop, macOS).

1. sh run_quick.sh <python>, run from a copy of this folder. Each line compares a recorded output with the new
   one in rerun_out/, ignoring the fields that record running times.

IDENTICAL (up to running times): check_note_output.txt
IDENTICAL (up to running times): compare_check_note_output.txt
IDENTICAL (up to running times): ../outputs/out_q5.txt
IDENTICAL (up to running times): ../outputs/out_q7_prime.txt
IDENTICAL (up to running times): ../outputs/lemma_checks_out.txt
IDENTICAL (up to running times): ../outputs/lemma17b_out.txt
IDENTICAL (up to running times): ../outputs/parabolic_q_out_q7.txt
IDENTICAL (up to running times): ../outputs/parab_q4.txt
IDENTICAL (up to running times): ../outputs/parab_q4_ge.txt
IDENTICAL (up to running times): ../outputs/parab_q5.txt
IDENTICAL (up to running times): ../outputs/parab_q5_ge.txt
IDENTICAL (up to running times): ../outputs/parab_q7.txt
IDENTICAL (up to running times): ../outputs/parab_q7_ge.txt
IDENTICAL (up to running times): ../outputs/parab_q8.txt
IDENTICAL (up to running times): ../outputs/parab_q8_ge.txt
IDENTICAL (up to running times): ../outputs/ineq_out.txt
IDENTICAL (up to running times): ../outputs/values_check_rerun.txt
IDENTICAL (up to running times): ../outputs/parab/q5_x_M.txt
IDENTICAL (up to running times): ../outputs/parab/q5_x_M2.txt
IDENTICAL (up to running times): ../outputs/parab/q7_x_M.txt
IDENTICAL (up to running times): ../outputs/parab/q4_x_ge240.txt
IDENTICAL (up to running times): ../outputs/parab/q5_m_M.txt
IDENTICAL (up to running times): ../outputs/parab/q5_m_M2.txt
IDENTICAL (up to running times): ../outputs/parab/q7_m_M.txt
IDENTICAL (up to running times): ../outputs/parab/q4_m_ge240.txt
IDENTICAL (up to running times): ../outputs/misc/maximal_5_11.txt
IDENTICAL (up to running times): ../outputs/misc/lemmas_4_11.txt
IDENTICAL (up to running times): ../outputs/misc/test_field.txt
IDENTICAL (up to running times): ../outputs/misc/test_sl2.txt
IDENTICAL (up to running times): ../outputs/misc/compare_sigs.txt
IDENTICAL (up to running times): ../outputs/misc/compare_parabolic_q.txt
run_quick.sh: comparisons with differences: 0
   wall-clock time: 130.50 s

2. Three further programs, run separately from a copy of this folder (outputs in rerun_out/extra/):
   (cd verification_run_A/scripts; python3 lemma_pgl2_check.py 4 5 7 8 9 11 13 16 16,4 25,5 49,7)   195.94 s
   IDENTICAL (up to running times): verification_run_A/outputs/lemma_pgl2_out.txt
   (cd verification_run_B/scripts; python3 vb_maximal.py 5 7 8 9 11)   0.64 s
   IDENTICAL (up to running times): verification_run_B/outputs/misc/maximal_5_11.txt
   (cd verification_run_B/scripts; python3 vb_c9_q11.py .)   0.59 s
   IDENTICAL (up to running times): verification_run_B/outputs/misc/c9_q11.txt


3. The same run_quick.sh, repeated on 14 October 2026 from the extracted archive source.zip of this package (built
   before this section was added; programs and recorded outputs as here): 31 comparisons, all identical
   (run_quick.sh: comparisons with differences: 0). The paper was also built from the extracted archive.


4. The third verification run (the verification run on the final text), 14 October 2026 (Python 3.13.5,
   numpy 2.5.2, scipy 1.18.1, the same laptop).
   (a) sh run_quick.sh, from the extracted archive source.zip of the version before the corrections of this run:
       31 comparisons, all identical (run_quick.sh: comparisons with differences: 0); 132 s.
   (b) From the extracted archive source.zip of this version (built before this section was added; programs
       and recorded outputs as here):
       sh run_quick.sh: 31 comparisons, all identical (run_quick.sh: comparisons with differences: 0); 129 s.
       sh independent_run_2/run_all.sh: 15 comparisons, all identical (run_all.sh: comparisons with
       differences: 0); 488 s. Its lines:
         IDENTICAL (up to running times): outputs/values_out.txt
         IDENTICAL (up to running times): outputs/lattice_selftest_out.txt
         IDENTICAL (up to running times): outputs/ineq_sweep2_out.txt
         IDENTICAL (up to running times): outputs/tight_cases_out.txt
         IDENTICAL (up to running times): outputs/plane_lemmas_out.txt
         IDENTICAL (up to running times): outputs/thmA_q4.txt
         IDENTICAL (up to running times): outputs/thmA_q4_control.txt
         IDENTICAL (up to running times): outputs/thmA_q5.txt
         IDENTICAL (up to running times): outputs/thmA_q5_control.txt
         IDENTICAL (up to running times): outputs/thmA_q7.txt
         IDENTICAL (up to running times): outputs/thmA_q7_control.txt
         IDENTICAL (up to running times): outputs/thmA_q8.txt
         IDENTICAL (up to running times): outputs/thmA_q8_control.txt
         IDENTICAL (up to running times): outputs/thmA_q9.txt
         IDENTICAL (up to running times): outputs/thmA_q9_control.txt
       After this section was added, the final archive source.zip was extracted once more and the paper built from
       it (19 pages; the text of every page equal to that of paper.pdf).
