W 工程包 v0.1 2026-07-23 CLOSED_FOR_PRIME_FREE_2D_SPLINE_BASIS

RH-W-05:第一份真實 Weil 矩陣有理區間

從浮點候選推進到可重播的 2×2 數學收據 — 用兩個平移 cubic B-spline、把相關支撐刻意控制在 log2 以內使素數項解析為零,產生第一份真實 Riemann zeta Weil 矩陣的完整有理區間,並以只用 Fraction 的小型驗證器確認二維子空間嚴格正定。

RH_CLAIM = False — 包內驗證器與證書自己輸出的宣稱狀態,原樣照登。這是有限維局部正性證書:「有限維正性 ⇏ RH」。

連接 · Connections

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

屬於研究起點 v0.8 · 真實矩陣流水線

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

下一包RH-W-06:第一素數活化與算術支撐腔室

Batch 015 / 20

「本輪關閉的是:真實 zeta Weil 元素 → 有理區間矩陣 → exact verifier,在以下限定作用域中:二維;cubic B-spline 平移基底;最大相關支撐小於 log2;素數項因此為零……第一個真實 Weil 矩陣,已從抽象公式落成為可重播、可審計、可拒絕錯誤宣稱的有理區間物件。」— 摘自本包 01 文件第 10、13 節。

GAP 台帳 · GAP Ledger

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

載入中…

重放 · Reproduce

有理區間生成器 → 小型 exact verifier → 獨立浮點交叉檢查:

python build_rigorous_matrix.py
python verify_matrix_certificate.py
python crosscheck_mpmath.py

01 · 第一份真實 Weil 矩陣有理區間

主文件 — 固定顯式公式、B-spline 相關函數的封閉卷積、素數項的解析排除、阿基米德積分的六次分部積分尾界、超越常數的有理包絡、分項區間帳本、獨立浮點交叉檢查。

載入中…

02 · 證書與信任邊界

L0(數學規格)/ L1(嚴格數值生成)/ L2(小型 exact verifier)三層證書架構,以及完整信任基礎清單(CPython 版本、libmpdec 版本、Decimal.exp 契約)。

載入中…

驗證輸出

來自包內 VALIDATION.txt(有理區間建構)、EXACT_VERIFY.txt(exact verifier)與 CROSSCHECK.txt(獨立 mpmath 交叉檢查,不進入證明路徑),逐行照登。

載入中…

載入中…

載入中…

檔案 · Files

載入中…

下載完整封包 (25.6 KB)

sha256 f98438fef7f338d8db8c8597a2cc0f1a923439b5efd0081a85855124b32d5bfb