RERUN_LOG.txt -- re-runs of 15 October 2026, made when the note was written (Python 3.13.5, numpy 2.5.2,
scipy 1.18.1, sympy 1.14.0; one laptop).  Every program was run in a scratch copy of its folder, so no
recorded file was touched.  "identical": the new output is byte-identical to the recorded file, up to the
path of the input files, which some programs print.  "new": no recorded output existed; the new output is in
rerun_outputs/.

== the program of the note
passed     check_note.py: 27 checks, 0 failed (recorded as check_note_output.txt); about 1 second

== original/  (programs with which the results were first obtained)
identical  verify_cert_independent.py on the three certificate files      = outputs/verify_cert_independent.out
identical  regen_check.py on the three certificate files                  = outputs/regen_check.out
identical  cert_n3_exact.py (0.5 s)                                        = outputs/cert_n3_exact.out
identical  cert_n3_sym.py (0.4 s)                                          = outputs/cert_n3_sym.out
identical  exact_system.py 3 4 (5 s): screen output                        = outputs/exact_system_d3_n4.out
identical  exact_system.py 3 4: the written file system_d3_n4.json         = outputs/system_d3_n4.json
new        reduced_class.py: n = 4, class 100 (two reflections): Groebner basis [1] (0.9 s); n = 3, classes 100
           and 001: zero-dimensional, exactly two real solutions with values +-1/sqrt2; n = 4, classes 100,111
           (half-turn) with the f5b method of this program: stopped after 618 s without result
                                                                           -> rerun_outputs/reduced_class.out

== verification_run_A/
identical  vA_prop1_exact.py                                               = outputs/vA_prop1_exact.out
identical  vA_certcheck.py . DATA (2 s; DATA = a folder with system_d3_n4.json and the three certificates,
           for example original/outputs/)                                  = outputs/vA_certcheck.out
new        vA_groebner.py . 4 r23 (half-turn, 0.9 s) and . 4 s23 (two reflections, 0.0 s): basis [1]
                                                                           -> rerun_outputs/vA_groebner.out
new        vA_probe_lm_drift.py . (about 2 minutes): six unconstrained Levenberg-Marquardt runs on (star) for
           n = 4; |h| grows from 521-1092 to 44069-103504 while residual * |h| stays between 2.61 and 3.03
                                                                           -> rerun_outputs/vA_probe_lm_drift.out

== verification_run_B/
identical  own_prop1_exact.py                                              = outputs/own_prop1_exact.out
identical  own_cert_check.py on the three certificate files (classes 100; 100,010; 100,111), without --tamper
                                                                           = the first 18 lines of
                                                                             outputs/own_cert_check.out

== not re-run
The long numerical searches (original/gcub.py with 200 and 400 starts: 22 and 2 minutes; the node-space and
h-space searches of run B and the sphere searches of run A: up to 15 minutes each), the searches for the
identities (original/cert_exact.py, cert_sparse.py; their results are the certificate files, which are checked
above), and original/lattice_test.py.  Verification run B re-ran the deterministic original programs on
15 October 2026 and reported byte-identical outputs.
