RERUN LOG -- reproducibility package of OWR-793-006
(Python 3.13.5, numpy 2.5.2, macOS, one laptop; 11 October 2026)

==========================================================================================================
Part 1.  Complete re-run from this folder layout: sh run_all.sh <part>, parts o1, o2, a, b1, b2, b3, final
==========================================================================================================
The parts o1, a, b1, b3 ran at the same time, then o2 and b2, then final.  Wall-clock times of the parts
(UTC 11:48 to 12:10): o1 734 s, o2 457 s, a 653 s, b1 475 s, b2 606 s, b3 888 s, final 50 s.  No program
failed.  The recorded outputs of this package are the outputs of this re-run.  They were compared with the
outputs of the first runs of the three stages (which are not part of the package), after replacing every
field that records a running time; lines appended to some first outputs by the shell's time command were
ignored.

original/outputs/ against the outputs of the first runs:
  verify_datum.txt: identical up to running times
  dfs_pgl34.txt: identical up to running times
  lattice_pgl34.txt: identical up to running times
  lattice_psl34.txt: identical up to running times
  dfs_count_pgl34.txt: identical up to running times
  dfs_count_psl34.txt: identical up to running times
  lattice_selftest.txt: identical up to running times
  check_pgammal_from_pgl.txt: identical up to running times
  toy_validate.txt: identical up to running times
  direct_check_pgl34.txt: identical up to running times
  classical.txt: identical up to running times
  stress_numbers.txt: identical up to running times
  t_basic.txt: no output of the first runs (new in this package)
  check_parabolic_psl35.txt: identical up to running times (apart from the reworded phrase of the last line)
  dfs_psl34.txt: identical up to running times (lines sorted; the program prints in the order of completion)
  dfs_psigmal34.txt: identical up to running times (lines sorted; the program prints in the order of completion)
  dfs_pgammal34.txt: identical up to running times (lines sorted; the program prints in the order of completion)
  dfs_psl35.txt: identical up to running times (lines sorted; the program prints in the order of completion)
  lattice_PGL_4.npz: all arrays identical
  lattice_PSL_4.npz: all arrays identical
verification_run_A/ against the outputs of the first runs:
  t0_datum.out: identical up to running times
  t1_validate.out: identical up to running times
  t2_main.out: identical up to running times
  t2_main.log: identical up to running times
  t3_break.out: identical up to running times
  t4_spot.out: identical up to running times
  t5_configs.out: identical up to running times
  t6_random.out: identical up to running times
verification_run_B/out/ against the outputs of the first runs:
  b0_datum_PGAMMAL4.txt: identical up to running times
  b0_datum_PGL4.txt: identical up to running times
  b0_datum_PSIGMAL4.txt: identical up to running times
  b0_datum_PSL4.txt: identical up to running times
  b0_datum_PSL5.txt: identical up to running times
  b1_compare_E_L.txt: identical up to running times
  b1_ext_PGAMMAL4_all.txt: identical up to running times
  b1_ext_PGAMMAL4_good.txt: identical up to running times
  b1_ext_PGL4_all.txt: identical up to running times
  b1_ext_PGL4_good.txt: identical up to running times
  b1_ext_PSIGMAL4_all.txt: identical up to running times
  b1_ext_PSIGMAL4_good.txt: identical up to running times
  b1_ext_PSL4_all.txt: identical up to running times
  b1_ext_PSL4_good.txt: identical up to running times
  b1_ext_PSL5_all.txt: identical up to running times
  b1_ext_PSL5_good.txt: identical up to running times
  b1_lattice_PGAMMAL4.txt: identical up to running times
  b1_lattice_PGL4.txt: identical up to running times
  b1_lattice_PSIGMAL4.txt: identical up to running times
  b1_lattice_PSL4.txt: identical up to running times
  b1_selftest.txt: identical up to running times
  b1_selftest_big.txt: identical up to running times
  b2_climb_21.txt: identical up to running times (apart from the label "[PGL(3,4)]" which the program now prints in front of its summary line)
  b2_climb_22.txt: identical up to running times (apart from the label "[PGL(3,4)]" which the program now prints in front of its summary line)
  b2_fix.txt: identical up to running times (apart from the label "[PGL(3,4)]" which the program now prints in front of its summary line)
  b2_fixbig_PGAMMAL4.txt: identical up to running times
  b2_fixbig_PGL4.txt: identical up to running times
  b2_fixbig_PSIGMAL4.txt: identical up to running times
  b2_fixbig_PSL4.txt: identical up to running times
  b2_fixbig_PSL5.txt: identical up to running times
  b2_fixrand_31.txt: identical up to running times (apart from the label "[PGL(3,4)]" which the program now prints in front of its summary line)
  b2_fixrand_PGAMMAL4.txt: identical up to running times
  b2_fixrand_PSL5.txt: identical up to running times
  b2_one.txt: identical up to running times
  b2_one_PGAMMAL4.txt: identical up to running times
  b2_one_PSL5.txt: identical up to running times
  b2_random_11.txt: identical up to running times (apart from the label "[PGL(3,4)]" which the program now prints in front of its summary line)
  b2_random_PGAMMAL4.txt: identical up to running times
  b2_random_PSL5.txt: identical up to running times
  b2_struct.txt: identical up to running times (apart from the label "[PGL(3,4)]" which the program now prints in front of its summary line)
  b2_three_0.txt: identical up to running times (apart from the label "[PGL(3,4)]" which the program now prints in front of its summary line)
  b2_three_1.txt: identical up to running times (apart from the label "[PGL(3,4)]" which the program now prints in front of its summary line)
  b2_toy.txt: identical up to running times
  b2_two_0.txt: identical up to running times (apart from the label "[PGL(3,4)]" which the program now prints in front of its summary line)
  b2_two_1.txt: identical up to running times (apart from the label "[PGL(3,4)]" which the program now prints in front of its summary line)
  b2_validate.txt: identical up to running times
  b2_validate_PGAMMAL4.txt: identical up to running times
  b2_validate_PSL5.txt: identical up to running times
  b3_compare_lattices.txt: identical up to running times
  b4_classical.txt: identical up to running times
  b5_maximal.txt: identical up to running times
  b6_scope.txt: identical up to running times
  b7_sanity.txt: identical up to running times
  b1_classes_PGAMMAL_4.npz: all arrays identical
  b1_classes_PGL_4.npz: all arrays identical
  b1_classes_PSIGMAL_4.npz: all arrays identical
  b1_classes_PSL_4.npz: all arrays identical
  b1_ext_big_PGAMMAL_4.npz: all arrays identical
  b1_ext_big_PGL_4.npz: all arrays identical
  b1_ext_big_PSIGMAL_4.npz: all arrays identical
  b1_ext_big_PSL_4.npz: all arrays identical
  b1_ext_big_PSL_5.npz: all arrays identical
  b1_rows_PGAMMAL_4.json: identical content
  b1_rows_PGL_4.json: identical content
  b1_rows_PSIGMAL_4.json: identical content
  b1_rows_PSL_4.json: identical content

summary: 93 files identical (up to running times and the two exceptions named above), 0 different

writing_stage/extra_selftests.txt and writing_stage/cl_compare.txt were produced at the writing and have no
earlier counterpart.

==========================================================================================================
Part 2.  sh run_main_certificate.sh, run from an extracted copy of the archive (before this log was added)
==========================================================================================================
start: 2026-10-11T12:38:52Z
IDENTICAL up to running times: verify_datum.txt
IDENTICAL up to running times: dfs_pgl34.txt
IDENTICAL up to running times: t2_main.out
IDENTICAL up to running times: b0_datum_PGL4.txt
IDENTICAL up to running times: b1_ext_PGL4_good.txt
IDENTICAL up to running times: b1_ext_PGL4_all.txt
IDENTICAL up to running times: b1_lattice_PGL4.txt
IDENTICAL up to running times: b2_validate.txt
IDENTICAL up to running times: b2_one.txt
IDENTICAL up to running times: b2_fix.txt
IDENTICAL up to running times: b2_fixbig_PGL4.txt
IDENTICAL up to running times: b6_scope.txt
end:   2026-10-11T12:41:08Z
main results:
RESULT: M = 240, M_G = 240, |P|/M = 252, |P|/M_G = 252, strict = False  (time 17.8s)
RESULT: largest order of a good subgroup among all listed subgroups of order >= 240: 240
RESULT PGL(3,4): M = 240; M_G = largest order of a good subgroup over all 100 classes = 240; classes with |S| > M: 12, of which good: 0; good classes of order M: 2; |P|/M = 252, |P|/M_G = 252; strict inequality: False
  largest order of a subgroup good at the base point found: 240  (M = 240)
fixbig PGL(3,4): M = 240; subgroups of order > M in the list of method E: 29, by order {288: 8, 360: 2, 480: 6, 576: 3, 960: 4, 2880: 4, 20160: 1, 60480: 1}; with a non-identity fixed element of B: 0
ALL 12 COMPARISONS: outputs identical to the recorded ones up to running times

The run took 2 min 16 s.  In the same extracted copy, writing_stage/extra_selftests.py was run again and
printed the recorded output up to running times.

==========================================================================================================
Part 3.  Re-run by the third verification run (11 October 2026), from extracted copies of the archive
==========================================================================================================
(a) From an extracted copy of the archive as it was before the folder independent_run_2/ was added (sha256
of that archive: 110abf65e459e647352eb986d8f25c2628319440e10b86abfdffc588d5617162).

sh run_main_certificate.sh: 12 of 12 comparisons identical up to running times (2 min 25 s).

sh run_all.sh, all seven parts: o1 and a at the same time; then o2, b1, b2; then b3; then final; at most six
processes at a time.  Wall-clock times of the parts (UTC 13:25 to 13:49): o1 518 s, o2 421 s, a 457 s,
b1 337 s, b2 533 s, b3 626 s, final 55 s.  No program failed.  The 96 outputs and data files written by
run_all.sh were compared with the recorded ones (text files after replacing every field that records a
running time, as compare_outputs.py does; for the four outputs of run_par.py with sorted lines; .npz files
array by array; .json files by content):

  original/outputs/check_parabolic_psl35.txt              identical up to running times
  original/outputs/check_pgammal_from_pgl.txt             identical up to running times
  original/outputs/classical.txt                          identical up to running times
  original/outputs/dfs_count_pgl34.txt                    identical up to running times
  original/outputs/dfs_count_psl34.txt                    identical up to running times
  original/outputs/dfs_pgammal34.txt                      identical up to running times (lines sorted)
  original/outputs/dfs_pgl34.txt                          identical up to running times
  original/outputs/dfs_psigmal34.txt                      identical up to running times (lines sorted)
  original/outputs/dfs_psl34.txt                          identical up to running times (lines sorted)
  original/outputs/dfs_psl35.txt                          identical up to running times (lines sorted)
  original/outputs/direct_check_pgl34.txt                 identical up to running times
  original/outputs/lattice_PGL_4.npz                      all arrays identical
  original/outputs/lattice_PSL_4.npz                      all arrays identical
  original/outputs/lattice_pgl34.txt                      identical up to running times
  original/outputs/lattice_psl34.txt                      identical up to running times
  original/outputs/lattice_selftest.txt                   identical up to running times
  original/outputs/stress_numbers.txt                     identical up to running times
  original/outputs/t_basic.txt                            differs only in a running time printed without unit ("time 0.3" against "time 0.5")
  original/outputs/toy_validate.txt                       identical up to running times
  original/outputs/verify_datum.txt                       identical up to running times
  writing_stage/cl_compare.txt                            identical up to running times
  writing_stage/extra_selftests.txt                       identical up to running times
  verification_run_A/t0_datum.out                         identical up to running times
  verification_run_A/t1_validate.out                      identical up to running times
  verification_run_A/t2_main.log                          identical up to running times
  verification_run_A/t2_main.out                          identical up to running times
  verification_run_A/t3_break.out                         identical up to running times
  verification_run_A/t4_spot.out                          identical up to running times
  verification_run_A/t5_configs.out                       identical up to running times
  verification_run_A/t6_random.out                        identical up to running times
  verification_run_B/out/b0_datum_PGAMMAL4.txt            identical up to running times
  verification_run_B/out/b0_datum_PGL4.txt                identical up to running times
  verification_run_B/out/b0_datum_PSIGMAL4.txt            identical up to running times
  verification_run_B/out/b0_datum_PSL4.txt                identical up to running times
  verification_run_B/out/b0_datum_PSL5.txt                identical up to running times
  verification_run_B/out/b1_classes_PGAMMAL_4.npz         all arrays identical
  verification_run_B/out/b1_classes_PGL_4.npz             all arrays identical
  verification_run_B/out/b1_classes_PSIGMAL_4.npz         all arrays identical
  verification_run_B/out/b1_classes_PSL_4.npz             all arrays identical
  verification_run_B/out/b1_compare_E_L.txt               identical up to running times
  verification_run_B/out/b1_ext_PGAMMAL4_all.txt          identical up to running times
  verification_run_B/out/b1_ext_PGAMMAL4_good.txt         identical up to running times
  verification_run_B/out/b1_ext_PGL4_all.txt              identical up to running times
  verification_run_B/out/b1_ext_PGL4_good.txt             identical up to running times
  verification_run_B/out/b1_ext_PSIGMAL4_all.txt          identical up to running times
  verification_run_B/out/b1_ext_PSIGMAL4_good.txt         identical up to running times
  verification_run_B/out/b1_ext_PSL4_all.txt              identical up to running times
  verification_run_B/out/b1_ext_PSL4_good.txt             identical up to running times
  verification_run_B/out/b1_ext_PSL5_all.txt              identical up to running times
  verification_run_B/out/b1_ext_PSL5_good.txt             identical up to running times
  verification_run_B/out/b1_ext_big_PGAMMAL_4.npz         all arrays identical
  verification_run_B/out/b1_ext_big_PGL_4.npz             all arrays identical
  verification_run_B/out/b1_ext_big_PSIGMAL_4.npz         all arrays identical
  verification_run_B/out/b1_ext_big_PSL_4.npz             all arrays identical
  verification_run_B/out/b1_ext_big_PSL_5.npz             all arrays identical
  verification_run_B/out/b1_lattice_PGAMMAL4.txt          identical up to running times
  verification_run_B/out/b1_lattice_PGL4.txt              identical up to running times
  verification_run_B/out/b1_lattice_PSIGMAL4.txt          identical up to running times
  verification_run_B/out/b1_lattice_PSL4.txt              identical up to running times
  verification_run_B/out/b1_rows_PGAMMAL_4.json           identical content
  verification_run_B/out/b1_rows_PGL_4.json               identical content
  verification_run_B/out/b1_rows_PSIGMAL_4.json           identical content
  verification_run_B/out/b1_rows_PSL_4.json               identical content
  verification_run_B/out/b1_selftest.txt                  identical up to running times
  verification_run_B/out/b1_selftest_big.txt              identical up to running times
  verification_run_B/out/b2_climb_21.txt                  identical up to running times
  verification_run_B/out/b2_climb_22.txt                  identical up to running times
  verification_run_B/out/b2_fix.txt                       identical up to running times
  verification_run_B/out/b2_fixbig_PGAMMAL4.txt           identical up to running times
  verification_run_B/out/b2_fixbig_PGL4.txt               identical up to running times
  verification_run_B/out/b2_fixbig_PSIGMAL4.txt           identical up to running times
  verification_run_B/out/b2_fixbig_PSL4.txt               identical up to running times
  verification_run_B/out/b2_fixbig_PSL5.txt               identical up to running times
  verification_run_B/out/b2_fixrand_31.txt                identical up to running times
  verification_run_B/out/b2_fixrand_PGAMMAL4.txt          identical up to running times
  verification_run_B/out/b2_fixrand_PSL5.txt              identical up to running times
  verification_run_B/out/b2_one.txt                       identical up to running times
  verification_run_B/out/b2_one_PGAMMAL4.txt              identical up to running times
  verification_run_B/out/b2_one_PSL5.txt                  identical up to running times
  verification_run_B/out/b2_random_11.txt                 identical up to running times
  verification_run_B/out/b2_random_PGAMMAL4.txt           identical up to running times
  verification_run_B/out/b2_random_PSL5.txt               identical up to running times
  verification_run_B/out/b2_struct.txt                    identical up to running times
  verification_run_B/out/b2_three_0.txt                   identical up to running times
  verification_run_B/out/b2_three_1.txt                   identical up to running times
  verification_run_B/out/b2_toy.txt                       identical up to running times
  verification_run_B/out/b2_two_0.txt                     identical up to running times
  verification_run_B/out/b2_two_1.txt                     identical up to running times
  verification_run_B/out/b2_validate.txt                  identical up to running times
  verification_run_B/out/b2_validate_PGAMMAL4.txt         identical up to running times
  verification_run_B/out/b2_validate_PSL5.txt             identical up to running times
  verification_run_B/out/b3_compare_lattices.txt          identical up to running times
  verification_run_B/out/b4_classical.txt                 identical up to running times
  verification_run_B/out/b5_maximal.txt                   identical up to running times
  verification_run_B/out/b6_scope.txt                     identical up to running times
  verification_run_B/out/b7_sanity.txt                    identical up to running times

summary: 95 files identical, 1 file (original/outputs/t_basic.txt) different only in a running time, 0
missing.  compare_outputs.py recognises running times in the form "0.5s"; t_basic.py prints "time 0.5".

(b) From an extracted copy of the archive with the folder independent_run_2/ (before this part of the log
was added).

sh run_main_certificate.sh:
start: 2026-10-11T14:25:53Z
IDENTICAL up to running times: verify_datum.txt
IDENTICAL up to running times: dfs_pgl34.txt
IDENTICAL up to running times: t2_main.out
IDENTICAL up to running times: b0_datum_PGL4.txt
IDENTICAL up to running times: b1_ext_PGL4_good.txt
IDENTICAL up to running times: b1_ext_PGL4_all.txt
IDENTICAL up to running times: b1_lattice_PGL4.txt
IDENTICAL up to running times: b2_validate.txt
IDENTICAL up to running times: b2_one.txt
IDENTICAL up to running times: b2_fix.txt
IDENTICAL up to running times: b2_fixbig_PGL4.txt
IDENTICAL up to running times: b6_scope.txt
end:   2026-10-11T14:28:19Z
main results:
RESULT: M = 240, M_G = 240, |P|/M = 252, |P|/M_G = 252, strict = False  (time 18.3s)
RESULT: largest order of a good subgroup among all listed subgroups of order >= 240: 240
RESULT PGL(3,4): M = 240; M_G = largest order of a good subgroup over all 100 classes = 240; classes with |S| > M: 12, of which good: 0; good classes of order M: 2; |P|/M = 252, |P|/M_G = 252; strict inequality: False
  largest order of a subgroup good at the base point found: 240  (M = 240)
fixbig PGL(3,4): M = 240; subgroups of order > M in the list of method E: 29, by order {288: 8, 360: 2, 480: 6, 576: 3, 960: 4, 2880: 4, 20160: 1, 60480: 1}; with a non-identity fixed element of B: 0
ALL 12 COMPARISONS: outputs identical to the recorded ones up to running times

The run took 2 min 26 s.

sh independent_run_2/run_all.sh <python> pgl34.pdf psl35.pdf (the two tables of Connor and Leemans, which
are not part of the package): every program ended with its line "ALL CHECKS ... PASSED" and the comparison
with the tables ended with "AGREEMENT" (7 min 30 s, up to four programs at the same time).  The 18 text
outputs are identical to the recorded ones up to running times (compare_outputs.py), and the 15 class lists
(.json) have identical content.
