Moser 蟲問題二 · 計算與重現第 13 輪懸衡 PARTIAL CERTIFIED HERE

Round 13：五參數事件—KKT 點距所述的點 6×10⁻⁸，是嚴格局部極大，相對 Round 08 的增益在這裡認證於 4.04×10⁻⁹ 與 4.25×10⁻⁹ 之間；但所述的 Jacobian 譜不是這個系統的——條件數是 2.1×10³，不是 3.8×10⁷——§7 的投影沒有重現，另外四個最小值中有三個不是這條曲線的

PARTIAL。系統的解距所述的點 6×10⁻⁸，在它的族中是嚴格局部極大（數值上）；但所述的 Jacobian 譜不是這個系統的（條件數 2.13×10³，不是 3.77×10⁷），列出的三個最小值是取樣值。

PARTIAL · CERTIFIED HERE 本頁是第二層：獨立重算第一層第 13 輪封包的有限宣稱、重現它的構造、逐條對照定理級步驟的原文。它不改寫原文，也不把數值結果當作證明；依據這兩層寫成的正式論文屬於第三層「三 · 結晶」。下方是重算報告的英文原文（與研究樹逐位元組相同），程式與 gate log 可直接下載。

連接 · Connections

一 · 先行（封包）第 13 輪 · 平滑五參數事件—KKT 系統、孤立性與峰值修正

上一輪第 12 輪 · 二 · 計算與重現

下一輪第 14 輪 · 二 · 計算與重現

重算報告 · Runs

RUN-014Round 13：五參數事件—KKT 點距所述的點 6×10⁻⁸，是嚴格局部極大，相對 Round 08 的增益在這裡認證於 4.04×10⁻⁹ 與 4.25×10⁻⁹ 之間；但所述的 Jacobian 譜不是這個系統的——條件數是 2.1×10³，不是 3.8×10⁷——§7 的投影沒有重現，另外四個最小值中有三個不是這條曲線的

判定：PARTIAL。系統的解距所述的點 6×10⁻⁸，在它的族中是嚴格局部極大（數值上）；但所述的 Jacobian 譜不是這個系統的（條件數 2.13×10³，不是 3.77×10⁷），列出的三個最小值是取樣值。

報告（英文原文）、程式與 gate log：報告 RUN-014.md · corpus.py · run014_round13_smooth_kkt.py · gate.py · gate log run014-round13-smooth-kkt.json

展開後載入…