偏軸 Cell 到有限 Li 負證人的條件式有效編譯器

先做一次外部文獻校正:發現 v1.2 的質數冪凸性化簡與 2026 年 8 月公開的 Prime-Power Checkpoint 系列高度重疊,主動把該部分重新標記為「獨立再推導」而非原創定理,避免在已高度發展的路線上重複工作。核心新結果是:若某個偏軸 rational cell 的佔用性已被嚴格證實,則可演算法式地編譯出一個有限、可重播、可獨立驗證的 Li 係數負值證書——這不是尋找偏軸零點本身,純粹是把「幾何反例」接到「算術負證人」的介面,從存在性升級為條件式有效構造。