Local Interval Green Position Cover

Connections

This package elevates the fixed atomic certificate of v0.7 and the conservative radius of v0.9 into a replayable covering box certificate, quoting its boundary audit as-is.

"The interval lower bound of the final Sylvester determinant for h=1.8×10⁻⁶ is negative, so the certificate is indeterminate... This table only provides the pass/indeterminate brackets of the current interval prover... It does not imply that the true positivity critical value lies between the two." — Excerpt from RESULTS.md in this package.

Technical Notes

Main Document — 58-dimensional position box certificate construction, radius step boundary audit, adversarial corner testing, 890-million-fold improvement over v0.9, and technical convergence judgment.

Theorem

From THEORY.md in the package.

Result Data

Main certificate strict bound table, complete radius ladder (pass/inconclusive/failure type), and improvement multiplier over v0.9, from RESULTS.md within the package.

Trust Boundaries

From TRUST_BOUNDARY.md within the package.

Files

Large interval certificates (local_green_cell_certificate_h178e-8.json, adversarial_corner_point_certificate_h1e-3.json, each about 140 KB) and the inherited parent node data are not listed individually; they are all in the complete zip file.

sha256 495b6d185ac53f9179d395aab35d5dcb340f7686e312f5dd3a47fb5be5d8ea93