RH-W-04:有限維完備性與有理負證書

連接 · Connections

跟其他封包的關係,盡量用它自己文件裡的話,不是我的解讀。

「本輪把問題由:『有限維掃描也許永遠漏掉真正負方向』,改寫成:『指定的 cutoff–Fourier 字典在 form norm 下完整;若負方向存在,有限維終究必達。真正剩下的問題,只是如何嚴格包住矩陣元素。』」— 摘自本包 01 文件第 12 節「結語」。

GAP 台帳 · GAP Ledger

來自包內 RH-W-04_subgaps_v0.1.csv,狀態與下一步都是包自己記的,不是我事後加的判斷。

重放 · Reproduce

python verify_negative_certificate.py

01 · 有限維完備性與有理負證書

主文件 — 固定支撐 Weil 形式、cutoff–Fourier 完備字典、Rayleigh–Ritz 必達性定理、有理 witness 化簡、分量區間負證書、浮點候選到有理證人的防火牆、真實 RH 證書的最小可信邊界。

02 · 真實 Weil 矩陣包絡工作分解

下一輪工作分解 — 端點/素數/阿基米德/奇異/Hermitian/雜湊六個子工作包,搜尋層與驗證層分離,接受/拒絕規則。

驗證輸出

來自包內 VALIDATION.txt — 精確示範證書(CERTIFIED_NEGATIVE,分數精確計算)與應被拒絕的浮點候選(REJECTED_NOT_RIGOROUS),逐行照登。

載入中…

檔案 · Files

sha256 30de96d27c7a25e6e7fa637c614ac2bdb3903624498f119413817c4d15f3ed4a