精確接觸邊界、導數區間盒與 120°／270° 專用差值證書

連接 · Connections

跟其他封包的關係,盡量用它自己文件裡的話,不是我的解讀。

「這是本系列第一次對 120°／270° 的 10⁻⁹ 級競爭給出顯式誤差盒,而不只比較兩個高精度中央值。」— 摘自本包主文件第 3 節「特殊分支解析包絡」。

第 11 輪核心內容

本輪目標、精確接觸邊界(19 個解析公式)、特殊分支解析包絡(120°/270° 專用誤差盒)、與五連桿事件控制比較、導數盒覆蓋(579 個子盒)、光滑駐點根盒(12 個)、接觸邊界鄰域、證書狀態表、誠實邊界、第 12 輪方向、結論。

第 11 輪特殊分支與區間盒審計

270° 包絡、120°-270° 包絡、平滑候選減事件控制、導數盒與根盒統計、邊界統計、限制。

第 12 輪 Arb／Ball Arithmetic 交接接口

必須重算的物件清單、五項通過標準(特殊分支、事件控制、導數子盒、根盒、邊界盒)、成功後能聲明的範圍。

檔案 · Files

sha256 82f6ea0be019ae7b4bb5aeacb78940c7aeb635459eddb26a24d714b9ddf30bf2