# Verification coverage

The complete finite results and asserted bounds are in `results.json`; their
definitions and checking recipe are in `verify.py` and `polynomial.py`.
The verifier checks finite polynomial, coefficient, and rational-integral
claims, not the manuscript's geometric or analytic reductions.

See [README.md](README.md) for the command and success criteria.