Certificates and verification code for Krzyż's conjecture for the seventh coefficient

Supplementary certificate data and verification code for Xiaohui Xie's manuscript Krzyż's conjecture for the seventh coefficient. The archive contains the frozen certificate data, portable verifier sources, original manifests, successful verification records, and a README with reproduction instructions. The finite-data checks cover 66,631 point factors, 4,515 interval cells, 36,198 mass-subdivision nodes, and 1,865 quadrature cells. The current paper PDF and its LaTeX source package are excluded from this deposit.