# Re-runs of 14 October 2026 (Python 3.13.5, numpy 2.5.2, scipy 1.18.1, sympy 1.14.0; macOS; one process at a time).
# Every program was run from a fresh copy of this folder, inside its own folder, with the command shown, and its
# standard output was compared with the recorded file after masking fields that record running times.
# Columns: job, command, wall time, exit status, comparison.

check_note                 ./check_note.py                                     9.1 s  exit 0  IDENTICAL (up to timing fields)
orig_hilbert_raicu         original/hilbert_raicu.py 60                        3.2 s  exit 0  IDENTICAL (up to timing fields)
orig_hilbert_cleanformula  original/hilbert_cleanformula.py 120                4.4 s  exit 0  IDENTICAL (up to timing fields)
orig_hf_cert               original/hf_cert.py 5                               3.8 s  exit 0  IDENTICAL (up to timing fields)
orig_gorenstein_chart      original/gorenstein_chart.py                        0.2 s  exit 0  IDENTICAL (up to timing fields)
orig_check_ball_thmA       original/check_ball_thmA.py                         0.0 s  exit 0  IDENTICAL (up to timing fields)
A_hilbert                  verification_run_A/vA_hilbert.py                    2.0 s  exit 0  IDENTICAL (up to timing fields)
A_weightspaces             verification_run_A/vA_weightspaces.py               9.1 s  exit 0  IDENTICAL (up to timing fields)
A_chart                    verification_run_A/vA_chart.py                      2.4 s  exit 0  IDENTICAL (up to timing fields)
A_canonical                verification_run_A/vA_canonical.py                 17.7 s  exit 0  IDENTICAL (up to timing fields)
A_degree                   verification_run_A/vA_degree.py                     0.0 s  exit 0  IDENTICAL (up to timing fields)
A_ball                     verification_run_A/vA_ball.py                       0.1 s  exit 0  IDENTICAL (up to timing fields)
B_raicu                    verification_run_B/raicu_hf_B.py 300               89.5 s  exit 0  IDENTICAL (up to timing fields)
B_toric                    verification_run_B/toric_chart_B.py                 0.9 s  exit 0  IDENTICAL (up to timing fields)
B_linalg_N4                verification_run_B/hf_linalg_B.py 4 2,3,4,5,6 --wrong    2.5 s  exit 0  DIFFERS: 2 recorded lines not reproduced, 3 new lines | missing: ['  r=2 w=(1, 1, 1, 1) n_w=    8 predicted=    9 lower=    8 upper=    8 (#products      0) NOT CERTIFIED  [_s]', "  W2 random non-ideal cubic added (dim 'I_3' becomes 33): detected: False"] | new: ['  r=6 w=(3, 3, 3, 3) n_w=  328 predicted=  149 lower=  148 upper=  148 (#products    448) NOT CERTIFIED  [_s]', '  r=6 w=(3, 3, 3, 3) n_w=  328 predicted=  148 lower=  148 upper=  140 (#products    462) INCONSISTENT(lower>upper)  [_s]', "  W2 random non-ideal cubic added (dim 'I_3' becomes 33): detected: True"]
B_linalg_N5_r2to5          verification_run_B/hf_linalg_B.py 5 2,3,4,5 --wrong    2.2 s  exit 0  IDENTICAL (up to timing fields)
B_linalg_N5_r6             verification_run_B/hf_linalg_B.py 5 6             148.2 s  exit 0  IDENTICAL (up to timing fields)
B_ball                     verification_run_B/ball_check_B.py                  5.1 s  exit 0  IDENTICAL (up to timing fields)
B_polar                    verification_run_B/polar_map_test_B.py            300.0 s  TIMEOUT after 300 s (process killed by the driver)  IDENTICAL (up to timing fields)

# Notes
# B_linalg_N4: all certified lines and totals are identical; only the wrong-input lines differ. The recorded file
#   was produced by an earlier revision of hf_linalg_B.py whose wrong-input tests ran in degree 2 (there the added
#   non-ideal cubic is invisible and 'detected: False' was printed); the included revision runs them in degree 6,
#   where both wrong inputs are detected ('NOT CERTIFIED' and 'INCONSISTENT(lower>upper)').
# B_polar: the program does not terminate in reasonable time on its third example (f = x0 x1 x2 x3); the recorded
#   output was cut at the same point. The re-run was stopped after 300 s by the driver; its partial output (examples
#   E2 and E1, 5 trials) is identical to the recorded partial output.
