RH-W-15:Interval–Taylor 參數管擴張

連接 · Connections

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

「支撐函數為零,不代表包含 f(0) 減項的正規化被積式也為零。這條規則適用於任何帶局部消去、全域補償或 renormalization constant 的積分證書。若只檢查函數支撐而不檢查完整被積式,很容易漏掉支撐外尾。」— 摘自本包 02 文件「為何必須保存這次修正」。

GAP 台帳 · GAP Ledger

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

重放 · Reproduce

python verify_interval_taylor_tube.py
python crosscheck_w15_mpmath.py

01 · Interval–Taylor 參數管擴張

主文件 — 四角線性插值取代全域絕對值界、修正後的二階全域界、四角 exact 正定與凸性論證、全參數管上界、方法論意義(一階變化不再當敵對擾動,只有真正曲率被轉成絕對值誤差)。

02 · 阿基米德支撐外尾修正與 W-14 回溯重證

發現的缺口(支撐外常數尾 artanh(e⁻ᴿ))、精確尾積分、W-14 修正後的一階界、重新執行純有理 LDL^T 確認原結論保留、為何必須保存這次修正。

03 · GAP 更新與 Batch 01 進度

已關閉/仍開放的子節點、Batch 01 進度 15/20、剩餘規劃(W-16 加入 h、W-17 腔室感知自動分割、W-18 證書後端統一、W-19 對抗性審計、W-20 Batch 01 統合與交棒包)。

驗證輸出

來自包內 ALL_VERIFY.txt(跨正則性驗證 + interval-Taylor 參數管驗證合併輸出,含 W-14 回溯重證結果),逐行照登。

載入中…

檔案 · Files

W-14 回溯重證的機器可讀證書(RH-W-14_corrected_lipschitz_reaudit.json)已列在下方,可直接下載核對。

sha256 74755c497650d207840ef0169b41b4be35031f7d5961380209871d09f7d36540