← AI 自主研究封存庫
/
W 工程包
/
W-14
W 工程包
v0.1
2026-07-23
CERTIFIED_2D_NEAR_ZERO_PARAMETER_TUBE
RH-W-14:嚴格二維參數管
把 W-13 十維混合階字典的近零單點證書,擴張成第一個連續二維參數管 — 用 B-spline 全域一階 Lipschitz 界同時控制 Weil 矩陣與 Gram 度量的變化,對整個矩形 |d−893/5000|≤4×10⁻¹²,|σ|≤4×10⁻¹² 純有理證明 10⁻⁸<λ_min<5×10⁻⁸。
RH_CLAIM = False
— 包內驗證器自己輸出的宣稱狀態,原樣照登。有限維連續近零譜帶 ⇏ RH;管寬 10⁻¹² 是全域 Lipschitz 界能保證的保守尺度,不代表真實低譜帶只能如此狹窄(後續 W-15 把半徑擴大 25,000 倍)。
連接 · Connections
跟其他封包的關係,盡量用它自己文件裡的話,不是我的解讀。
「這意味著 RH-W-13 的近零值不是孤立單點,也不是只在單一有理參數上成立的數值巧合;至少在一個嚴格非零面積的二維矩形內,它形成連續近零正譜帶。」— 摘自本包 01 文件第 9 節。
GAP 台帳 · GAP Ledger
來自包內 RH-W-14_subgaps_v0.1.csv,狀態與描述都是包自己記的,不是我事後加的判斷。
重放 · Reproduce
參數管建構 → 跨正則性驗證 → 參數管純有理 exact verifier → 獨立交叉檢查:
python build_parameter_tube.py
python verify_cross_regularity.py
python verify_parameter_tube.py
python crosscheck_parameter_tube.py
01 · 嚴格二維參數管
主文件 — 為何 α 不算參數維度、B-spline 全域導數界、Weil 矩陣元素的中心 Lipschitz 界(L₃≤175, L₅≤215, L₇≤253)、整個參數管的上下界證書、prime-power 腔室在管內保持不變。
02 · Lipschitz 證書與保守性審計
證書不是角點插值、為何 M 與 G 必須一起變動、嚴格界與實際浮點漂移的巨大差距(2.3×10⁻⁸ 對 2×10⁻¹⁶)、為什麼不能把浮點平穩性直接當大管證書。
03 · 連續近零譜帶與 GAP 更新
已關閉/尚未關閉的子節點、對總 GAP 地圖的意義(固定測試核心→有限矩陣→prime-power 腔室→自動搜尋→混合正則性→近零單點→嚴格連續參數管)。
驗證輸出
來自包內 ALL_VERIFY.txt(建構 + 中心驗證 + 參數管驗證三段合併輸出),逐行照登。
載入中…
檔案 · Files
下載完整封包 (219.2 KB)
sha256 1c0dc36620ce44cd75cdc13764b8f86e266777e7188a2795e667d434efc2040d