Abstract
A supplied bounded reciprocal plane supports compatible elliptic, metric and symplectic geometry, but it does not itself select a physical quantum system or an absolute action scale. This paper organizes an assumption-controlled finite architecture of cell size, convex polarity, composition, paired transport and operational access. It distinguishes amplitude and phase-space interpretations, vector complementation and polarity of regions, local cell projections and global body composition, and geometric holonomy and measured response.
The mathematical analysis includes a conditional polarity selector, a forward projection/section identity for supplied symplectic ellipsoids, an explicit counterexample to a fixed-splitting converse for general ellipsoids, inverse-transpose paired transport, a common-connection criterion and reference-dependent response comparisons. No primitive derivation of a quantum state cone, tensor product, minimum action, physical instrument or probability law is claimed.
The accompanying source-and-evidence supplement contains the manuscript source, three preserved Python exact-check programs, and a partial Lean 4.19.0 formalization. Audited records of a local run support acceptance of 99 theorem/lemma declarations and 33 definitions/abbreviations. The actual set-level geometry of the concrete ellipsoid counterexample is included; the full convex-lattice, capacity, projective, all-rank geometric and smooth-connection results are not all formalized. This is not full-paper formal verification, external human peer review or a new compiler run.
All selected command streams and type/axiom output remain verbatim. One local-run receipt is provided as a clearly labelled path-normalized derivative, with its original hash retained. The full private lineage is preserved separately. The current reading edition is version 1.0; the unchanged version 0.3 materials are retained only as verification baselines.
Where it sits in the release
The cell-geometry paper of the branch. No primitive derivation of a quantum state cone, tensor product, minimum action, physical instrument, or probability law is claimed. Part of the architecture carries a partial Lean 4.19.0 formalization.
Download paper (Zenodo) — CC-BY-4.0.