Interval Green-Kernel Atomic Certificate

Interval Green-Kernel Atomic Certificate v0.7 — Upgrades the floating-point witness of v0.6 into a strict theorem using 90-digit directional decimal interval arithmetic: W_21/20 ≻ 0. This is the first true proof in the entire sequence that does not rely on floating-point, but it simultaneously catches that the existing coefficient direction is an upper bound, not a lower bound, and cannot be mechanically replaced.

RH_CLAIM = False — The document in the package explicitly states, "Layer A interval theorem holds; existing coefficient data cannot yet be directly converted into a zeta-facing positive-axis lower contribution," reproduced exactly as is. This is a rigorous theorem within an abstract model, not a proof of RH.

Connections

This package upgrades the floating-point continuous kernel witness of the previous package into an interval theorem, quoting as-is the new blockages it discovered.

"The five existing band coefficients are upper-bound contours formed by... rather than lower-bound certificates formed by... Rounding down an upper bound does not make it a lower bound." — Excerpt from the "Blockages Discovered Simultaneously in This Round" section of the README in this package.

Previous Node · v0.6Paley–Wiener Axis Core Extremal

Next Node · v0.8Zero-Count Semantics Bridge

Technical Notes

Main Document — 90-bit interval arithmetic reconstruction, floating-point crosscheck, coefficient direction audit, backpressure test after replacing lower bounds, and research judgment: closing four v0.6 gaps but opening a new directional gap.

Theorem

From THEORY.md in the package.

Result Data

Core enclosure strict bound table, five-band coefficient direction audit table, and back-pressure test eigenvalues, from RESULTS.md within the package.

Trust Boundaries

From TRUST_BOUNDARY.md within the package.

Files

The complete interval certificate (interval_atomic_certificate.json, 140 KB) is not listed individually; it is in the complete zip file.

Download Full Package (115.6 KB)

sha256 6ba5c3dd340d0aae58ac509bf3502b4e17d94961b8a254053f3f133655c50697