← 半自主研究 / 工程紀錄 / 嚴格交集證書

工程紀錄 v0.2 2026-07-24 CERTIFICATE_PASSED

嚴格交集證書

Validated Separation–Positivity Intersection Certificate v0.2 — 把 v0.1 的浮點候選重建為明確分段線性函數,對區域負方向跟算術正性分別建立區間證書,480 個子矩形全數認證、0 個未決。

RH_CLAIM = False — 包內 certificate_summary.txt 自報 certificate_passed=True,CERTIFICATE_SCHEMA.md 定義的 scope_warning 欄位明講非 RH 狀態,原樣照登。這是可重播的 validated-numerics 證書,不是核驗過的形式化證明,不證明也不反駁黎曼猜想。

連接 · Connections

本包技術說明開頭就自報接續哪一版、修正了什麼漏洞,原樣照引。

「v0.1 已找到同一組浮點係數……但這仍有兩個漏洞:1. 網格負值不能推出矩形連續區域處處為負;2. 浮點正值不能直接視為嚴格算術下界。v0.2 不再沿用黑箱陣列,而將候選重建為明確的分段線性函數,再對兩個符號分別建立區間證書。」— 摘自本包技術說明 §1。
上一包 · v0.1分離—正性交集求解器
下一包 · v0.1零點側洩漏預算
對應理論序列④ · 顯式公式中的偏軸正障礙 §7

技術說明

主文件 — 明確測試函數、Fourier 轉換的封閉形式、連續矩形負證書的區間細分、有限位置項與 Archimedean 項的區間界、交集結論。

載入中…

結果數據

連續區域上界、算術區間、認證子矩形統計,來自包內 RESULTS.md。

載入中…

信任邊界

哪些元件被信任、跟 v0.1 相比降低了哪些信任依賴、離證明助理級別還差什麼,來自包內 TRUST_BOUNDARY.md。

載入中…

圖表 · Figures

包內 outputs/ 的三張圖,原樣照登,無後製。

Validated piecewise-linear test function — 明確定義的分段線性測試函數 psi(t) 圖形
明確測試函數 ψ(t):601 個節點的三角帽疊加,不是黑箱陣列。
Adaptive continuous-region certificate cover — 目標矩形的自適應區間細分覆蓋熱圖
自適應連續區域覆蓋:480 個子矩形全數認證,最深細分 3 層。
Arithmetic certificate intervals — 有限位置項、Archimedean 項與總和的區間誤差棒圖，總和維持在零的右側
算術證書區間:有限、Archimedean 兩項與總和,總和區間維持在零的右側。

檔案 · Files

原始節點數據(corrected_nodes.csv、certified_region_cells.csv)跟完整 certificate.json 沒有逐一列出,都在完整 zip 裡。

載入中…

下載完整封包 (195.0 KB)

sha256 b935b9c1d69d7b4aa5219304920729a2f53cebb46022d429093d9d7285de4e8f