獨立 mpmath.iv 重播、Interval Newton 與 Arb 缺席邊界

第 11 輪交接要求用 Arb／python-flint 的 ball arithmetic 重算全部區間盒,但本輪環境沒有 python-flint、Arb 或 Sage,套件庫也沒有可安裝的版本。因此改用 mpmath.iv 有向區間算術作獨立後備驗證,而不宣稱完成 Arb 重播。最關鍵的兩個差值都獨立重播成功且嚴格為正:s₁₂₀-s₂₇₀∈[1.585e-9,1.692e-9],平滑候選減事件控制∈[1.058e-5 級距]。19 個解析邊界全數確認(19/19),12 個駐點根盒全數通過 interval Newton(12/12)。但 18 個內部邊界中只有 5 個能被 mpmath.iv 直接定號,其餘因 atanh(±1) 附近的自然區間擴張(dependency inflation)過寬而無法獨立重現第 11 輪的窄盒——這不是發現反例,第 11 輪的解析誤差界仍然保留,只是未被本輪後備函式庫獨立重播。原計畫逐一重播的 579 個導數葉盒也因執行時間超限未能完成。本輪明確記錄「未跑完」而非寫成「通過」。