Re-run of the reproducibility package of the note (third independent verification run, 2026-10-22)
Source: source.zip of the release (sha256 9b7b2daddedf45bfb9f822c2c36818208e61c6e09cbae69e59773a76a1f17339), extracted into a new empty scratch folder;
every program run from its own folder in the extracted copy, with nice -n 10; at most 4 processes at a time.
Interpreters: /usr/bin/python3 (Python 3.9.6) for the standard-library programs; Python 3.13.5 with numpy 2.5.2, sympy 1.14.0 for the others.
Comparison: recorded output file in the archive versus the new output (diff).

verify_certificate.py                                      3.56s    identical
rejection_tests.py                                         36.04s   identical
check_note.py                                              7.75s    differs only in running-time lines: 3 line(s)
verify_certificate.py on b0_basis/ (B_0 form)              3.66s    CERTIFICATE VALID: <a,b,c> = E(F_4,Z) = F_4(Z); time 3.6s
search_certificate.py                                      22.41s   differs only in running-time lines: 2 line(s)
export_structure_constants.py                              0.51s    identical
structure_check.py                                         0.59s    identical
hand_step_check.py                                         0.09s    identical
scott_check.py                                             0.91s    identical
exploratory/search_B3                                      0.08s    identical up to running times
exploratory/search_C3                                      0.08s    identical up to running times
exploratory/search_D4                                      9.95s    identical up to running times
exploratory/search2_B3                                     0.40s    identical up to running times
exploratory/search3_B3                                     17.90s   identical up to running times
exploratory/search4_B3                                     2.81s    identical up to running times
exploratory/search4_D4                                     33.35s   identical up to running times
exploratory/free_product_ball                              0.04s    identical up to running times
independent_runs/run_A/my_check_f4                         2.32s    identical
independent_runs/run_A/my_triple_variants                  0.14s    identical
independent_runs/run_B/f4_own                              0.35s    identical
independent_runs/run_B/selftest_lie                        0.88s    identical
independent_runs/run_B/check_claim                         1.12s    identical
independent_runs/run_B/extra_checks                        0.73s    identical
independent_runs/run_B/extraspecial_signs                  0.07s    identical
independent_runs/run_B/word_lengths                        0.02s    identical
independent_runs/run_B/sign_sweep                          12.73s   identical
independent_runs/run_B/negative_tests                      11.30s   identical
independent_runs/run_B/modp_check                          37.85s   identical
independent_runs/run_B/modp_orders_pr                      45.47s   identical
independent_runs/run_A/rerun_corruption_tests.py           6.17s    identical

search_certificate.py: regenerated certificate byte-identical to certificate_F4.json: 1 (1 = yes)
export_structure_constants.py: regenerated table byte-identical to the recorded file: True
check_note.py: TOTAL failures: 0   
All exit codes 0. The extracted archive contains no __pycache__ folder, no .DS_Store, no absolute local path and no personal data
other than the author line of main.tex and the copyright line of LICENSE.txt; all directories have mode drwxr-xr-x.
