rerun_package_v1.txt -- OWR-14299292-010: re-run of the package of the first version of the note

Made on 2026-10-23 by the verification run of the second round, from an extracted copy of source.zip
(version 1) in a scratch directory (SCRATCH below); its reproducibility/ folder is identical to the one
that was examined (diff -r).  Environment: macOS, Apple silicon; Python 3.13.5 (standard library for
check_note.py; NumPy 2.5.2, SciPy 1.18.1, NetworkX 3.6.1, SymPy 1.14.0 for the other programs); nice 10,
single-threaded numerical libraries, at most four programs at a time.  Each program was run from its own
folder (original/scripts, independent_runs/run_A/programs, independent_runs/run_B/programs, or the
folder of check_note.py).  Its output was compared with the recorded output after removing running
times: 'equal' = the outputs agree line by line; 'subset' = each line of the re-run occurs in the recorded
output (the recorded file also has lines of the shell's time command, or joins several runs).

run                            rc    wall   comparison with the recorded output
check_note                     0      25s   equal
    $ python3 -I check_note.py
verify_cert_out                0       1s   subset (every re-run line occurs in the recorded output)
    $ python -I verify_cert.py ../certs/cert_all_n5_11.jsonl ../certs/cert_all_n12_14.jsonl ../certs/cert_all_n15_18.jsonl ../certs/cert_small_n5_23.jsonl
familyB_gadget_table           0       0s   equal
    $ python -I familyB_table.py
gadgets_out                    0       0s   equal
    $ python -I gadgets.py
sn_parity_check                0       0s   equal
    $ python -I sn_parity.py
ncycle_injection_check         0       7s   equal
    $ python -I ncycle_injection.py
an_brute_check_n4_9            0       8s   subset (every re-run line occurs in the recorded output)
    $ python -I an_brute.py 4 9
nonvanishing_n5_20             0       6s   equal
    $ python -I nonvanishing.py 5 20
A_certs                        0       3s   equal
    $ python -I my_verify_certs.py ../../../original/certs/cert_all_n5_11.jsonl ../../../original/certs/cert_all_n12_14.jsonl ../../../original/certs/cert_all_n15_18.jsonl ../../../original/certs/cert_small_n5_23.jsonl
A_brute                        0      14s   equal
    $ python -I brute_an.py SCRATCH/A_brute_n4_9.pkl 4 5 6 7 8 9
B_selftest                     0       2s   equal
    $ python -I vb_selftest.py
an_expansive_n5_20             0      74s   subset (every re-run line occurs in the recorded output)
    $ python -I an_expansive.py 5 20 SCRATCH/supp
B_brute_n5_9                   0       8s   equal
    $ python -I vb_brute.py 5 9 SCRATCH/B_brute
familyB_out                    0       6s   equal
    $ python -I familyB.py
ncycle_rule_n5_19              0       0s   subset (every re-run line occurs in the recorded output)
    $ python -I ncycle_rule.py 5 19
B_thmB_gadgets                 0      12s   equal
    $ python -I vb_thmB_gadgets.py ../../../original/recorded_outputs/familyB_gadget_table.txt
B_lemma71                      0       2s   equal
    $ python -I vb_lemma71.py
B_nonvanishing                 0       0s   equal
    $ python -I vb_nonvanishing.py
B_thmC_odd                     0      21s   equal
    $ python -I vb_thmC.py 5 7 9 11 13 15 17 19 21 23 25 27 29 31
B_certcheck_notes_certs        0       2s   subset (every re-run line occurs in the recorded output)
    $ python -I vb_certcheck.py ../../../original/certs/cert_all_n5_11.jsonl ../../../original/certs/cert_all_n12_14.jsonl ../../../original/certs/cert_all_n15_18.jsonl ../../../original/certs/cert_small_n5_23.jsonl
ncycle_checks_n7_23            0      41s   subset (every re-run line occurs in the recorded output)
    $ python -I ncycle_checks.py 7 23
B_thmB_exact_n24_31            0      13s   subset (every re-run line occurs in the recorded output)
    $ python -I vb_thmB_exact.py 24 31
B_thmA_n13_24                  0     106s   subset (every re-run line occurs in the recorded output)
    $ python -I vb_thmA.py 13 24 SCRATCH/B_thmA
A_perm_checks                  0     174s   equal
    $ python -I perm_checks.py
A_chartab_13_22                0     112s   equal
    $ python -I chartab_an.py SCRATCH/A_chartab 13 14 15 16 17 18 19 20 21 22
check_note_certs_extra         0      47s   DIFFERS: 1 re-run lines not in the recorded output
    $ python3 -I check_note.py --certs-extra SCRATCH/certs_ii
an_expansive_n21_23            0     744s   equal
    $ python -I an_expansive.py 21 23 SCRATCH/supp2
ncycle_rule_n5_23              0       1s   equal
    $ python -I ncycle_rule.py 5 23
check_saved_matchings_n5_23    0       1s   subset (every re-run line occurs in the recorded output)
    $ python -I check_saved_matchings.py 5 23
an_expansive_n24               0    1167s   equal
    $ python -I an_expansive.py 24 24 SCRATCH/supp2
check_saved_matchings_n5_24    0       0s   equal
    $ python -I check_saved_matchings.py 5 24
familyB_out_n5_24              0       6s   equal
    $ python -I familyB.py
B_thmA_n19                     0       2s   DIFFERS: 1 re-run lines not in the recorded output
    $ python -I vb_thmA.py 19 19 SCRATCH/thma
B_thmA_n20_23                  0      52s   subset (every re-run line occurs in the recorded output)
    $ python -I vb_thmA.py 20 23 SCRATCH/thma
B_thmA_n24                     0      53s   subset (every re-run line occurs in the recorded output)
    $ python -I vb_thmA.py 24 24 SCRATCH/thma
B_certgen_n19                  0      35s   subset (every re-run line occurs in the recorded output)
    $ python -I vb_certgen.py 19 SCRATCH/vb_cert_n19.jsonl.gz SCRATCH/thma 1
B_certgen_n20                  0      70s   subset (every re-run line occurs in the recorded output)
    $ python -I vb_certgen.py 20 SCRATCH/vb_cert_n20.jsonl.gz SCRATCH/thma 1
B_certgen_n21                  0     122s   subset (every re-run line occurs in the recorded output)
    $ python -I vb_certgen.py 21 SCRATCH/vb_cert_n21.jsonl.gz SCRATCH/thma 1
B_certgen_n22                  0     213s   subset (every re-run line occurs in the recorded output)
    $ python -I vb_certgen.py 22 SCRATCH/vb_cert_n22.jsonl.gz SCRATCH/thma 1
B_certgen_n23                  0     384s   subset (every re-run line occurs in the recorded output)
    $ python -I vb_certgen.py 23 SCRATCH/vb_cert_n23.jsonl.gz SCRATCH/thma 1
B_certgen_n24                  0     802s   subset (every re-run line occurs in the recorded output)
    $ python -I vb_certgen.py 24 SCRATCH/vb_cert_n24.jsonl.gz SCRATCH/thma 1

Notes
- 41 runs of 27 programs; every run ended with return code 0.  The result lines of every run agree with the
  recorded ones.  The two runs marked DIFFERS differ only in a printed directory name (check_note_certs_extra
  prints the folder of the certificate files: SCRATCH/certs_ii instead of vbcerts) and in a header line
  (B_thmA_n19 prints 'S_n tables up to 19 built', the recorded file, which joins three runs, 'up to 20/23/24').
- an_expansive.py was re-run for every 5 <= n <= 24 (the note's exact computation, Section 3.2), with the
  supports in SCRATCH/supp and SCRATCH/supp2; check_saved_matchings.py 5 24, familyB.py (check (6) on the exact
  data for 12 <= n <= 24) and ncycle_rule.py 5 23 used them (SUPPDIR = SCRATCH/supp_all).
- The certificates (ii): vb_thmA.py (exact supports, read by the generator only as a fallback guide) and
  vb_certgen.py with seed 1 for every 19 <= n <= 24; the generator logs agree with the recorded ones (0 targeted
  edges, 0 fallback rounds), and the decompressed files have the SHA-256 recorded in
  independent_runs/run_B/CERTIFICATES_n19_24.txt (r2_certs_ii_regen_output.txt).  check_note.py --certs-extra
  accepted all 1,653,478 pairs of the regenerated files.
- Not re-run: vb_thmA_big.py (n = 25, 26, 27; re-run for n = 25 when the note was written, and computed
  independently by r2_exact.py), vb_brute.py for n = 10 (108 s), chartab_an.py for n <= 12 and 23 <= n <= 24,
  vb_wrong_inputs.py, vb_cert_vs_support.py, vb_compare_claim_supports.py, vb_sn_tables_check.py, and the
  random-search generator certify.py of the certificates (i) (its output, the certificates, is checked).

