← Moser 蟲問題 / 二 · 計算與重現 / 第 7 輪

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

Round 07:曲率翼重現;圓弧翼的虧損成立,每個折線族都在極限中到達事件五連桿,而 m = 6 的接觸特徵是 Round 05 四個事件之一

PARTIAL。兩種圓弧翼與折線候選重現;每個折線族都在極限中到達五連桿,所以虧損出自搜尋;但被讀成「另一種機制」的 m = 6 特徵,就是 Round 05 的分支 B2。

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

連接 · Connections

重算報告 · Runs

RUN-008Round 07:曲率翼重現;圓弧翼的虧損成立,每個折線族都在極限中到達事件五連桿,而 m = 6 的接觸特徵是 Round 05 四個事件之一

判定:PARTIAL。兩種圓弧翼與折線候選重現;每個折線族都在極限中到達五連桿,所以虧損出自搜尋;但被讀成「另一種機制」的 m = 6 特徵,就是 Round 05 的分支 B2。

報告(英文原文)、程式與 gate log:報告 RUN-008.md · corpus.py · run008_round07_curvature_wings.py · gate.py · gate log run008-round07-curvature-wings.json

展開後載入…