法向單射定理、曲率外包盒、Clarke 邊界帳本與雙頻對數曲率新骨架

連接 · Connections

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

「若曲率半徑 R(v)≥R₀,兩條法線交會的有號距離滿足 t+u≥2R₀。所以不可能同時有 |t|<R₀ 與 |u|<R₀。本定理證明的是直接雙向法向帶的全局單射性,不自動完成圓形端帽的全局 reach 證明。」— 摘自本包法向單射定理全文。

第 3 輪核心內容

法向單射定理摘要、曲率外包盒、Clarke 邊界帳本、雙頻對數曲率新族的定義與係數、第 3 輪最終雙骨架、舊族全部冗餘的驗證、面積推進、誠實邊界、第 4 輪節點(轉向 B-spline/Fourier 曲率函數空間)。

半轉向正曲率法向單射定理

獨立成篇的定理全文與證明——本案例迄今唯一一份不是數值候選、而是解析證明的文件。

實驗方法 · Method

曲率函數參數化、搜尋與驗證流程、五層證書架構(解析法向單射、向外浮點曲率盒、離散法線交會重播、端帽 buffer 審計、投影 Clarke 割線盒)。

檔案 · Files

sha256 ca8df6103b8eb5cb6b1ef2d96a9c5b4ca8e9644a9d44b558c6cfbdfb4ae72e73