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

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

RH-W-08:腔室搜尋與嚴格細化

固定網格掃描 122 個平移 B-spline 腔室,選出第一名候選(h=3/20, d=9/40, N=13)後,第一次嚴格重建因舊阿基米德尾界太寬只得到 INCONCLUSIVE — 本輪改用保留 F₂/F₄/F₆ 導數符號的尾界,把證書解析度提升 63 倍,成功證出十三維廣義正裕度 10⁻⁵。

RH_CLAIM = False — 包內驗證器自己輸出的宣稱狀態,原樣照登。「十三維嚴格正性 ⇏ RH」;搜尋層只能輸出 NUMERICAL_CANDIDATE,只有區間生成器與 exact verifier 能判定證書狀態。

連接 · Connections

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

「AI 已能從一批有限腔室中尋找最難的候選,發現原有驗證器解析度不足,修正尾界,再留下可獨立重播的有理證書。」— 摘自本包 01 文件第 12 節,本輪真正的結論不是「更接近證明 RH」。

GAP 台帳 · GAP Ledger

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

載入中…

重放 · Reproduce

浮點探索器(需 NumPy/SciPy)→ 嚴格區間重建 → 純有理 exact verifier:
python search_chambers.py
python refine_selected_chamber.py
python verify_refined_certificate.py

01 · 腔室搜尋與嚴格細化

主文件 — 廉價探索層與嚴格重建層的分離、122 個腔室的固定搜尋網格、廣義 Rayleigh 值排序、第一輪嚴格重建為何得到 INCONCLUSIVE、exact 廣義正裕度證書。

載入中…

02 · 阿基米德尾界精化

從絕對值 majorant 到保留導數符號的尾和 — 七次分部積分、leading tail 閉式求和、誤差階數從 O(K⁻²) 改善到 O(K⁻³)、63 倍解析度提升的實際工程效果。

載入中…

驗證輸出

來自包內 EXACT_VERIFY.txt(最終證書)與 REFINEMENT_VALIDATION.txt(精化摘要),逐行照登。

載入中…
載入中…

檔案 · Files

122 腔室的完整排序(chamber_search_results.json,約 25 KB)、完整十三維區間證書與舊尾界失敗記錄沒有逐一列出,都在完整 zip 裡。

載入中…

下載完整封包 (125.0 KB)

sha256 61d3d0ab29187f872f7dfe1550931d96f6178d49f0e8afff001fdb96d2123111