RERUN_LOG.txt - re-run of the quick programs of this package (OWR-14299292-015), 27 October 2026

The package was copied to a scratch folder and the programs below were run there from the copies (Python 3.13 with
numpy 2.5.2 and sympy 1.14.0, run as "python3 -I -B"; GAP 4.16.1 as "gap -q -o 6g FILE.g < /dev/null"; all under
"nice -n 10"). The outputs were compared byte by byte with the recorded outputs of the package.

check_note.py (written with the note)          25 s    TOTAL failures: 0, ALL CHECKS PASSED (recorded: check_note.out)

original/scripts                                  time    comparison with original/outputs
  p1_symbolic.py                                  < 1 s   identical (p1_symbolic.out)
  p1_bch.py                                       < 1 s   identical (p1_bch.out)
  p1_bruteforce.py 5 7                              1 s   identical (p1_bruteforce_5_7.out)
  p2_closed_forms.py <76 primes 5..397>           < 1 s   identical (p2_closed_forms.jsonl)
  p2_mass.py <primes 5..127>                        1 s   identical (p2_mass.out)
  p2_tate6_hesse.py                               < 1 s   identical (p2_tate6_hesse.out)
  p2_lifts.py                                     < 1 s   identical (p2_lifts.out)
  p2_table.py                                     < 1 s   identical (p2_table.out)
  p2_total.py                                       1 s   identical (p2_total.out)
  p2_types.py 5 7 11 13                           < 1 s   identical (p2_types_small.jsonl)
  p2_check_D.py 5 7 11 13                         < 1 s   identical (p2_check_D.out)
  test_dsvl.py 5 7 11 13                           21 s   identical (test_dsvl.out)
  p1_pq.g (GAP)                                     7 s   identical (p1_pq.out)
  aut_check_run5.g (GAP)                           16 s   identical up to running times (aut_check_p5.out)
  gap_count_run5.g (GAP)                           59 s   identical up to running times (gap_count_check_p5.out)

verification_run_A
  vA_dimN_check.py 5 7 11                           1 s   identical (vA_dimN_check.out)

verification_run_B
  part1_lie_numeric.py 5 7 11 13 17 19 23           7 s   identical (outputs/part1_lie_numeric.out)
  lemmas_2_9_2_10.py                                1 s   identical (outputs/lemmas_2_9_2_10.out)
  dsvl_vp_check.py                                < 1 s   identical (outputs/dsvl_vp_check.out)
  claim_formulas.py                               < 1 s   identical (outputs/claim_formulas_vs_mine.out)
  part1_cohom_run.g (GAP)                          59 s   identical up to running times (outputs/part1_cohom_5_7_11_13.out)
  part2_group_level.py 5 2 0 0 (GAP, one class)     1 s   same result as the recorded line for (p,a,b,lam) = (5,2,0,0) in
                                                          outputs/part2_group_level.jsonl (up to the field gap_seconds)

Not re-run (longer; see README.md for commands and times): the direct counts for p = 11..23, the order-p^11 data,
the remaining GAP pipeline runs of original/, part1_symbolic.py and the counting programs of verification_run_B.

Second re-run, by the third verification run, 27 October 2026 (UTC): release/source.zip was extracted to a new scratch
folder and the programs were run from that copy (same versions, "python3 -I -B", GAP as above, under "nice -n 10";
script: independent_run_2/rerun_package.sh; outputs: independent_run_2/outputs/rerun_package/).

check_note.py                                    25 s    TOTAL failures: 0, ALL CHECKS PASSED; identical up to timing lines
original/scripts: p1_symbolic.py, p1_bch.py, p1_bruteforce.py 5 7, p2_closed_forms.py <76 primes>, p2_mass.py
  <primes 5..127>, p2_tate6_hesse.py, p2_lifts.py, p2_table.py, p2_total.py, p2_types.py 5 7 11 13,
  p2_check_D.py 5 7 11 13, test_dsvl.py 5 7 11 13 (23 s), p1_pq.g (GAP, 7 s), p2_order11.py 5 (6 s)
                                                          all byte-identical to original/outputs
verification_run_A: vA_dimN_check.py 5 7 11               identical
verification_run_B: part1_lie_numeric.py 5 7 11 13 17 19 23, lemmas_2_9_2_10.py, dsvl_vp_check.py, claim_formulas.py
                                                          all identical to verification_run_B/outputs
