Re-run of the package programs by the third independent verification run (the second verification stage, on the
final text; folder independent_run_2/), 2026-10-16.
Source: an extracted copy of the source archive as it stood before this run, each program in a fresh copy of its folder,
at most four at a time, under nice -n 10; Python 3.13.5, NumPy 2.5.2, SciPy 1.18.1, SymPy 1.14.0, mpmath 1.3.0
(laptop, macOS, Apple silicon). Outputs in this folder; comparison with the recorded outputs by cmp and by diff
with the timing fields masked. All exit codes 0; all standard-error streams empty.

output file              folder               command                                         wall [s]  result
B4_space_s11.txt         verification_run_B   python3 B4_space.py 11 36 25 0.035 4,5,7           433.4  identical to verification_run_B/B4_space_out_seed11.txt except 1 timing line(s)
B4_space_s12.txt         verification_run_B   python3 B4_space.py 12 36 25 0.035 6,8             304.0  identical to verification_run_B/B4_space_out_seed12.txt except 1 timing line(s)
vA_tt_m3_s2.txt          verification_run_A   python3 vA_theorem_test.py 2 600 3                 223.9  identical to verification_run_A/vA_tt_m3_s2.txt except 1 timing line(s)
vA_tt_m3_s3.txt          verification_run_A   python3 vA_theorem_test.py 3 600 3 skip            218.8  identical to verification_run_A/vA_tt_m3_s3.txt except 1 timing line(s)
vA_tt_m4_s4.txt          verification_run_A   python3 vA_theorem_test.py 4 200 4                 183.4  byte-identical to verification_run_A/vA_tt_m4_s4.txt
check_covering_s2026.txt original             python3 check_covering.py 2026 60                  148.4  byte-identical to original/check_covering_out_seed2026.txt
check_covering_s7.txt    original             python3 check_covering.py 7 40                      98.8  byte-identical to original/check_covering_out_seed7.txt
B3_planar_s2026.txt      verification_run_B   python3 B3_planar.py 2026 600 40                   153.8  byte-identical to verification_run_B/B3_planar_out_seed2026.txt
B2b_s1.txt               verification_run_B   python3 B2b_onedim_slsqp.py 1 400 12               276.1  byte-identical to verification_run_B/B2b_onedim_out_seed1.txt
B2b_s2.txt               verification_run_B   python3 B2b_onedim_slsqp.py 2 400 12               280.7  byte-identical to verification_run_B/B2b_onedim_out_seed2.txt
B4b_s5.txt               verification_run_B   python3 B4b_space_targeted.py 5 30 4,6             320.3  byte-identical to verification_run_B/B4b_targeted_out_seed5.txt
B4b_s6.txt               verification_run_B   python3 B4b_space_targeted.py 6 30 5,8             326.0  byte-identical to verification_run_B/B4b_targeted_out_seed6.txt
check_note.txt           .                    python3 check_note.py                               35.8  identical to check_note_output.txt except 4 timing line(s)
near_extremal_s11.txt    original             python3 near_extremal.py 11                         32.8  byte-identical to original/near_extremal_out_seed11.txt
lemma_checks_s7.txt      original             python3 lemma_checks.py 7 300                       25.2  byte-identical to original/lemma_checks_out_seed7.txt
B7_zero_free.txt         verification_run_B   python3 B7_zero_free_component.py                   68.5  byte-identical to verification_run_B/B7_zero_free_out.txt
vA_prop2.txt             verification_run_A   python3 vA_prop2.py                                  3.9  byte-identical to verification_run_A/vA_prop2_out.txt
B1_exact.txt             verification_run_B   python3 B1_exact.py                                  1.6  byte-identical to verification_run_B/B1_exact_out.txt
chebyshev_sharpness.txt  original             python3 chebyshev_sharpness.py                       1.2  byte-identical to original/chebyshev_sharpness_out.txt
B5_crosscheck.txt        verification_run_B   python3 B5_crosscheck_claim_maxima.py                1.0  byte-identical to verification_run_B/B5_crosscheck_out.txt
B6_norm.txt              verification_run_B   python3 B6_norm_check.py                             1.7  byte-identical to verification_run_B/B6_norm_check_out.txt
vA_coplanar_s2026.txt    verification_run_A   python3 vA_coplanar.py 2026 150                     80.2  no recorded output for this seed (seed of the recorded run not recorded); 0 of 150 configurations with R3 > R2 + 1e-7
