← 半自主研究 / 工程紀錄 / 支撐—質數對偶前沿

工程紀錄 v0.4 2026-07-24 ALL_FOUR_RADII_BLOCKED

支撐—質數對偶前沿

Support–Prime Dual Frontier v0.4 — 把對偶見證方法擴大到四個支撐半徑,全部被安全下界(2.62 → 1.09)阻擋,同時抓到一個方法論陷阱:粗軸網格會產生假逃逸。質數枚舉成本在 R=16 已達 79 兆項。

RH_CLAIM = False — 包內文件自報「不是 RH 證明、不是 RH 反證,也不是連續解析問題的 interval certificate」,原樣照登。四個半徑的安全下界都嚴格大於 1,12 份 witness 全部 floating 重建並保持 PSD。

連接 · Connections

本包把上一包的對偶見證方法推廣到多個支撐半徑,原樣照引其決策。

「不再以增加 R 作主要方向。下一節點共設計 axis notches、dictionary 與 cover,並要求任何 α<1 結果接受 dense-axis audit。」— 摘自本包 RESULTS.md §決策。
上一節點 · v0.3軸—目標對偶障礙
下一節點 · v0.5軸缺口與覆蓋共同設計

技術說明

主文件 — uniform frontier 掃描、288 子矩形聯合對偶最佳化、粗軸網格假逃逸診斷、實際質數枚舉、頻譜缺口轉向決策。

載入中…

結果數據

四個半徑的安全下界表、粗網格假逃逸對照、uniform frontier 摘要、質數成本,來自包內 RESULTS.md

載入中…

信任邊界

來自包內 TRUST_BOUNDARY.md

載入中…

檔案 · Files

大型頻譜掃描數據(uniform_frontier.json 186 KB)跟質數直方圖(prime_histograms.npz)沒有逐一列出,都在完整 zip 裡。

載入中…

下載完整封包 (176.7 KB)

sha256 dc8240726dd87779e367c40b13d12060ba7cfeda6741dfafdedc790859366363