Back to record ledger
Kernel verified

Certified critical-line bound 0.673591770347778294402523620032

Uses the attributed accepted H33 W9A2 source with the same nine-point window, kernel, weights, B and H_W bound. Retains the original kind-3 endpoint center squares after paying the variance bonus once and uses the ordered-pair constraint g0 <= g7 at root34/cursor40708. At root10/cursor15770, an inner cut uses the existing V checker on the original payload. The generic leafStep is unchanged. The original 48-root certificate is retargeted to the stated uniform c, propagated through actual dyadic and cumulative zero-counting statements. Prior attribution and license notices remain.

Certified lower bound67.3591770347%κ = (5468785278184175322207229683562307584 : ℝ) / 8118842181460468609667905735697265625
Record evidence

Li Xiang