條件式偏軸 Cell 轉移、Weil 局部負慣性與 Li 全域壓縮

承接前一批次 v0.9–v1.0 交接文件,處理「假設存在偏軸零點,如何轉移為合法 occupancy cell」的介面問題。把座標系統擴充為二維 (δ, γ),證明偏軸零點的水平對稱 pair 在 Weil 二次型的局部子空間中天然產生不定 (indefinite) 的 2×2 block,嚴格證明該局部限制矩陣行列式為負、慣性為 (1,1)——純代數結果,不依賴浮點近似。另引入 Li / Bombieri–Lagarias 判準,把連續零點位置的全稱量詞轉換成可數序列的離散問題。