RH-W-03:緊支撐分離、負證人存在性與雙核心架構

連接 · Connections

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

「¬RH ⟹ ∃g∈C_c^∞(0,∞), Q_full(g)<0……『離軸零點能否被緊支撐平滑測試函數看見』不是新的未解 GAP;這是 Weil–Bombieri–Yoshida 型判準已經提供的存在性結論。真正尚未完成的是……必須把存在性定理變成有限維、可計算、可嚴格驗證的負特徵值證書。」— 摘自本包主文件第 0 節。

外部依賴 · External Dependency

本包的存在性結論不是自行推導,而是直接引用已發表文獻。原樣列出。

• Masatoshi Suzuki, Aspects of the screw function corresponding to the Riemann zeta function, arXiv:2206.03682
• Masatoshi Suzuki, On the Hilbert space derived from the Weil distribution, arXiv:2301.00421
• Masatoshi Suzuki, Weil's quadratic form via the screw function, arXiv:2606.09096

GAP 台帳 · GAP Ledger

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

重放 · Reproduce

python validate_registry.py

python rh_w03_toy_certificate.py

01 · 緊支撐分離與雙核心架構

主文件 — 完整核心與端點零核心的雙核心架構、完整端點修正公式、加法座標與 Weil 二次型、緊支撐分離定理的工程版本、存在性與建構性的三層區分。

02 · 有限支撐譜掃描規格

下一輪(W-04)的規格文件 — 掃描對象、矩陣接口、一側證書邏輯、嚴格負特徵值證書格式。

驗證輸出

來自包內 TOY_VALIDATION.txt(合成模型,不是 RH 數值證據)與 REGISTRY_VALIDATION.txt,逐行照登。

載入中…

載入中…

檔案 · Files

sha256 5301490c00e0c18f3b206e56a6519aced4ee467d4bcabd9157e5b2ad9c13b327