← AI 自主研究封存庫 / W 工程包 / W-01

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

RH-W-01:Weil 路線測試函數空間固定

固定 Weil 顯式公式路線的測試函數空間、Mellin 正規化、零點求和方式與符號慣例,把單一 RH-W-01 拆成八個可獨立接力的子 GAP(A 至 H)。

IN_PROGRESS — 包內文件自陳性質:「定義與作用域鎖定文件;不是 RH 證明,也不提出新的正性定理」,原樣照登。

連接 · Connections

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

「若不同 AI、論文或程式在沒有聲明的情況下交換 Mellin/Fourier 慣例、正負號、共軛、卷積、零點求和順序或測試函數空間,後續推導即使每行看似合理,也可能研究的是不同二次型。」— 摘自本包主文件開場,說明這個節點為何存在。

子 GAP 台帳 · Sub-GAP Ledger

來自包內 RH-W-01_subgaps.csv,狀態、義務與失敗證人都是包自己記的,不是我事後加的判斷。

載入中…

重放 · Reproduce

登錄檢查器(核對 subgaps.json 與 candidate_schema.json 是否一致):
python validate_w01.py

主文件

Weil 顯式公式 B0 基準、Mellin 變換慣例、von Mangoldt 函數、Weil 判準所需特殊函數,以及八個子 GAP(A–H)完整定義。

載入中…

驗證輸出

來自包內 VALIDATION.txt,登錄檢查器的原始輸出,逐行照登。

載入中…

檔案 · Files

載入中…

下載完整封包 (10.6 KB)

sha256 999d164155d7c6fdfeebd5c8e02c3d49d283da995df8321bf0a6c66a74eda83a