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

Round 15：八模態候選成立——精確到 2×10⁻¹⁴，並在區間算術中認證至少高出 Round 13 1.3725×10⁻⁷——有九個最小值與 3.0046×10⁻⁹ 的潛在餘裕；但 Round 13 的點在模態方向上不是駐點，所以那裡的 Hessian 什麼也決定不了；基底的低分支梯度偏差 10⁻⁵；帳本的接管在所述窗口之前就開啟又關閉；標題數字印出的位數多於成立的位數

PARTIAL。候選成立，它的最小值在 120° 尖點，0.99891448071696448；但 Round 13 的點在模態方向上不是駐點，所以 Hessian 什麼也決定不了；接管窗口不是一次交叉。

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

連接 · Connections

一 · 先行（封包）第 15 輪 · 曲率函數模態譜、隱藏分支開啟與有限模態新候選

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

重算報告 · Runs

RUN-016Round 15：八模態候選成立——精確到 2×10⁻¹⁴，並在區間算術中認證至少高出 Round 13 1.3725×10⁻⁷——有九個最小值與 3.0046×10⁻⁹ 的潛在餘裕；但 Round 13 的點在模態方向上不是駐點，所以那裡的 Hessian 什麼也決定不了；基底的低分支梯度偏差 10⁻⁵；帳本的接管在所述窗口之前就開啟又關閉；標題數字印出的位數多於成立的位數

判定：PARTIAL。候選成立，它的最小值在 120° 尖點，0.99891448071696448；但 Round 13 的點在模態方向上不是駐點，所以 Hessian 什麼也決定不了；接管窗口不是一次交叉。

報告（英文原文）、程式與 gate log：報告 RUN-016.md · corpus.py · run016_round15_functional_modes.py · gate.py · gate log run016-round15-functional-modes.json

展開後載入…