Certified critical-line bound 0.673116490000000000000000000000
Weighted six-point refinement of Theorem D of the pinned Zeta23 development (n = 6, re-optimised mirror-symmetric weights, B = 305611/10^8), at c = 548021/10^8, within 0.01% of the functional's minimum (m = 187). Built on attempt-009 (Samuel Lavery, Apache-2.0): its checker, pyramid oracle and orthant theorem, with weights substituted and one change: a walk leaf may also lie in a certified convex basin. The 15 near-minimal local minima in the half-space g0 <= g4 get convex-basin certificates (typh): w'' enclosed on cells, the 15-pair quadratic form checked PSD by exact LDL^T, and the tangent plane at each minimizer. The rest is a 5-D bisection (67100 leaves, axes chosen per node). Proved constant (9350000000*H - 27810601)/9300130089 = 0.6731164..., candidate 67311649/100000000.