摘要
一个给定的有界互反平面支持相容的椭圆、度量与辛几何，但它本身并不选出一个物理量子系统或一个绝对作用量标度。本文组织起一套受控假设的有限架构，涵盖胞腔尺寸、凸极性、复合、配对输运与操作性访问。它区分振幅解释与相空间解释、向量补与区域的极性、局部胞腔投影与整体几何体的复合，以及几何和乐与被测响应。
其数学分析包括一个条件性的极性选择子、针对所给定辛椭球的前向投影／截面恒等式、一个针对一般椭球的固定分裂逆命题的显式反例、逆转置配对输运、一个共同联络判据，以及依赖参考系的响应比较。文中不主张对量子态锥、张量积、最小作用量、物理仪器或概率定律的任何原初推导。
随附的源与证据补充材料包含稿件源码、三份被保留的 Python 精确检查程序，以及部分的 Lean 4.19.0 形式化。一次本地运行的审计记录支持接受 99 条定理／引理声明与 33 个定义／缩写。具体椭球反例的实际集合层几何已被包含在内；完整的凸格、容量、射影、全秩几何与光滑联络结果并未全部形式化。这不是全文形式验证、外部人类同行评议，也不是一次新的编译器运行。
所有被选取的命令流与类型／公理输出均保持逐字原样。一份本地运行回执以明确标注的、路径规范化的衍生形式提供，并保留其原始哈希。完整的私有谱系被另行保存。当前阅读版本为 1.0；未作改动的 0.3 版材料仅作为验证基线保留。
它在本次发布中的位置
该分支的胞腔几何论文。文中不主张对量子态锥、张量积、最小作用量、物理仪器或概率定律的任何原初推导。其架构的一部分带有 Lean 4.19.0 的部分形式化。
下载论文（Zenodo） —— CC-BY-4.0。