Certified computation and proof for NS-5. The complete operator has a simple even ground, with 0 < mu0 < 2.454e-75 and mu1 > 1e-73. Connes–van Suijlekom Theorem 6.1 then gives only real zeros for the entire Fourier transform of that complete ground. G2 and RH remain open.
Start with REPRODUCE.md, then the mathematical report and independent adversarial review.
Complete older residual enclosures are reused from evidence/v126/; these files contain only the new proof, computations, and review.