Certified critical-line bound 0.67358717242286589473552720202

Replaces the record window with window s1R (13-term cosine profile, re-optimised for (H - B)/(1 - c); H proved generically in-file) and certifies a nine-point Gram-defect bound on it: symmetric re-optimised weights (B = 28507/6250000), floor c = 893616074132014897/10^20 at a preregistered margin of 2.6e-7, 13,046 leaves. Window tables regenerated from cAMn and kernel-checked; pvCheck on 128 cells. Builds on master-of-puppets5 (R. Arun Chandru), whose file and checker it keeps, attempt-021 (Samuel Lavery), whose nine-point chain it uses, and attempt-016, whose window code it adapts. The window s1R is this programme’s.