First full certification of the first 1,000 nontrivial zeros of the Riemann zeta
function using a dual-evaluator (mpmath ζ + η-series) contour method, strict
Krawczyk uniqueness isolation, wavelength-limited sampling, and automatic
contour refinement. Includes the complete merged dataset and the full
certification engine used to reproduce the results.