摘要
一個給定的有界互反平面支持相容的橢圓、度量與辛幾何，但它本身並不選出一個物理量子系統或一個絕對作用量標度。本文組織起一套受控假設的有限架構，涵蓋胞腔尺寸、凸極性、複合、配對輸運與操作性存取。它區分振幅解釋與相空間解釋、向量補與區域的極性、局部胞腔投影與整體幾何體的複合，以及幾何和樂與被測響應。
其數學分析包括一個條件性的極性選擇子、針對所給定辛橢球的前向投影／截面恆等式、一個針對一般橢球的固定分裂逆命題的顯式反例、逆轉置配對輸運、一個共同聯絡判據，以及依賴參考系的響應比較。文中不主張對量子態錐、張量積、最小作用量、物理儀器或機率定律的任何原初推導。
隨附的原始碼與證據補充材料包含稿件原始碼、三份被保留的 Python 精確檢查程式，以及部分的 Lean 4.19.0 形式化。一次本地執行的稽核紀錄支持接受 99 條定理／引理宣告與 33 個定義／縮寫。具體橢球反例的實際集合層幾何已被包含在內；完整的凸格、容量、射影、全秩幾何與光滑聯絡結果並未全部形式化。這不是全文形式驗證、外部人類同儕評議，也不是一次新的編譯器執行。
所有被選取的命令流與型別／公理輸出均保持逐字原樣。一份本地執行回執以明確標註的、路徑規範化的衍生形式提供，並保留其原始雜湊值。完整的私有譜系被另行保存。當前閱讀版本為 1.0；未作改動的 0.3 版材料僅作為驗證基線保留。
它在本次發布中的位置
該分支的胞腔幾何論文。文中不主張對量子態錐、張量積、最小作用量、物理儀器或機率定律的任何原初推導。其架構的一部分帶有 Lean 4.19.0 的部分形式化。
下載論文（Zenodo） —— CC-BY-4.0。