← 半自主研究 / 工程紀錄 / 軸—目標對偶障礙

工程紀錄 v0.3 2026-07-24 FUNCTION_CLASS_REJECTED

軸—目標對偶障礙

Axis-Target Dual Obstruction v0.3 — 用對偶見證回答 v0.2 留下的問題:不是 primal 搜尋還不夠努力,是現有 R=3 函數類本身被 [18,23] 軸帶跟尾項結構性擋住,18/18 patch 皆證明 J(A)≥2,目標卻要求 <1。

RH_CLAIM = False — 這是有限有理 surrogate 內的否決,不是黎曼猜想的證明或反證,也不是對所有可容許測試函數的否決,原樣照登。exact rational LDL^T 正樞軸檢查在 6/8/10/12 位小數皆通過。

連接 · Connections

本包用對偶見證回答上一包留下的問題,原樣照引;結尾把下一步導向支撐—質數成本前沿。

「這留下兩種可能:1. primal 搜尋器尚未找到真正好的方向;2. R=3 的整個受限函數類本身就被實軸與尾項的幾何關係阻擋。本節點用 dual witness 區分兩者。結果支持第二種解釋。」— 摘自本包技術說明 §1。
上一節點 · v0.2PSD Gram 分帶全域支配
下一節點 · v0.4支撐—質數對偶前沿

技術說明

主文件 — 有限 PSD 對偶模型、18 個 patch 的浮點見證、精確有理 surrogate 交叉驗證、支撐半徑—質數截斷成本診斷、下一節點決策。

載入中…

結果數據

主對偶族統計、精確有理 surrogate 樞軸檢查、敏感度掃描、支撐—成本診斷表,來自包內 RESULTS.md

載入中…

信任邊界

來自包內 TRUST_BOUNDARY.md

載入中…

檔案 · Files

18 個 patch 各自的對偶見證(outputs/witnesses/*.witness.json)跟上一包繼承的大型 Gram 數據(data/parent_gram_results.json,388 KB)沒有逐一列出,都在完整 zip 裡。

載入中…

下載完整封包 (169.0 KB)

sha256 ce7844c1bcb910b00e75b114b57684f3cddf501d0d2d28c96d496a4b11789490