Certified critical-line bound 0.673601151492093332650021101259

Window RA, found by this programme's template study starting from its own W9A2 (ajp88-w9a2-window-nine-point): c12's sign freed, the |v''| and pvCheck numerals relaxed, and normalized_KMT_at_sep_ge's bound raised from 1/5 to 2109/10000 with its proof unchanged. Built on R. Arun Chandru's master-of-puppets5 (PC9QB6M checker and counting chain, notices kept). Nine-point weights from an LP, certificate regenerated at margin 2.6e-7 (11,285 checked leaves, no cuts), refitted exactly over its own leaves (weights at 1e-14, cN at the leaves' maximum). Walk data packed with cafeai's zfNat64 macro (reproduced with attribution). Independently replayed in exact arithmetic and built locally in the verifier's workspace with standard axioms only.