Claims

A tightened packing below a published value is spread to a clearance of 10⁻⁶, written as a claim file, and checked twice: by verify.py in floating point and by an exact rational certificate. You can rerun the floating-point check here.