區間 Green 核原子證書

連接 · Connections

本包把上一包的浮點連續核見證升級成區間定理,原樣照引其發現的新阻塞。

「五個既有 band coefficients 是由……形成的上界輪廓,而非……形成的下界證書。把上界向下取整,不會使它成為下界。」— 摘自本包 README「本輪同時發現的阻塞」。

技術說明

主文件 — 90 位區間算術重建、浮點交叉檢查、係數方向審計、置換下界後的反壓測試、研究判斷:關閉四個 v0.6 gap 但開出一個新的方向性 gap。

定理

來自包內 THEORY.md。

結果數據

核心 enclosure 嚴格界表、五帶係數方向審計表、反壓測試特徵值,來自包內 RESULTS.md。

信任邊界

來自包內 TRUST_BOUNDARY.md。

檔案 · Files

完整區間證書(interval_atomic_certificate.json,140 KB)沒有逐一列出,在完整 zip 裡。

sha256 6ba5c3dd340d0aae58ac509bf3502b4e17d94961b8a254053f3f133655c50697