Certified critical-line bound 0.673154100000000000000000000000
Ainta's n-point simple-zero refinement of Theorem D of the pinned Zeta23 development at n = 7 (six gaps), with
LP-optimised mirror-symmetric pair weights and pressures (B = 0.004), made unconditional by a kernel-checked certificate
on the half-space g₀ ≤ g₅ (the rest by the reflection symmetry): 39,046 leaves, each decided by one of three verified
tests: zero-order (a pyramid of lower bounds for w), a slope test (tangents on certified convex regions of w and
mean-value charges from an enclosed derivative pyramid for w′ = 2πNM/D³), or membership in one of 16 certified boxes around
the near-minimal local minima. Pyramid table adapted from five-point-pyramid-2 by typh, and basin boxes after
six-point-convex-basins-2 by typh (Apache-2.0). Constant (14900000000·H − 57200286)/14800563663 = 0.67315410…, H enclosed
to 1.1e-8. No new axioms.