Back to record ledger
Kernel verified

Certified critical-line bound 0.672914310000000000000000000000

Five-point simple-zero refinement of Theorem D of the pinned Zeta23 development (n = 5, p = 1300, m = 196, c = 13/2500) with the window-count bookkeeping of attempt-002, extending five-point-pyramid to a tighter certificate. The certificate c <= F(5, p, g) on the nonnegative orthant is a kernel-evaluated bisection over 4-D boxes (45 mirror-symmetric roots, 85195 leaves, checked in 280 independently walked subtrees) whose leaf test reads lower bounds for w from a pyramid table of dyadic cells (41878 finest cells, each verified by an integer recomputation of attempt-002's cell test proved exact against it). Proved constant (398125*H - 1200)/396097 = 0.672914313..., H enclosed to 1.1e-8; candidate 67291431/100000000 = 0.67291431.

Certified lower bound67.2914310000%κ = (67291431 : ℝ) / 100000000
Record evidence

typh