← Moser 蟲問題 / 二 · 計算與重現 / 第 11 輪
PARTIAL。精確切換公式與專用包絡成立;但鄰域的導數區間漏掉每個切換點旁 2×10⁻¹⁰ rad 那一段,17 個切換點中有 14 個的導數落在區間外,三項排除依賴這些區間;平滑駐點是 13 個,不是 12 個。本輪的定性結論仍然成立,由 RUN-011 的證書證明。
判定:PARTIAL。精確切換公式與專用包絡成立;但鄰域的導數區間漏掉每個切換點旁 2×10⁻¹⁰ rad 那一段,17 個切換點中有 14 個的導數落在區間外,三項排除依賴這些區間;平滑駐點是 13 個,不是 12 個。本輪的定性結論仍然成立,由 RUN-011 的證書證明。
展開後載入…