simple-zeros

Local Lean formalization permanently registered in Palomar (PALOMAR-2026-08-29-000004). Two-certificate trace-energy deduction for the 67.3316977142% simple critical-line zero research-draft candidate.

Certified unconditional 67.3192911473% lower bound for simple zeros of the Riemann zeta function on the critical line; reproducible Bellman/MPFR certificate.

AI-assisted, unreviewed research artifact for a candidate 67.302666% lower bound on simple critical-line zeta zeros.