Certified critical-line bound 0.673042300000000000000000000000
Ainta's n-point simple-zero refinement of Theorem D of the pinned Zeta23 development at n = 6, with pair
weights a_ij (symmetric under gap reversal) and per-gap pressures b_r, made unconditional by a finite certificate: a
five-dimensional bisection with 167,720 leaves on the half-space g₀ ≤ g₄ (the other half by reflection), each leaf
decided by a dyadic pyramid of lower bounds for w (495 blocks, 7,374 finest cells certified by the integer cell test;
pyramid adapted from five-point-pyramid-2 by typh, Apache-2.0).