lam_canonical
plain-language theorem explainer
The canonical recognition-lattice base is defined as the natural logarithm of the golden ratio. Researchers deriving the Global Co-Identity Constraint on connected lattices cite this value because the lattice operates at the phi ratio. The assignment is a direct unfolding from the constants bundle with no further computation required.
Claim. Let $λ = ln φ$, where $φ$ is the golden ratio supplied by the constants bundle in the CPM framework.
background
The Global Co-Identity Constraint module derives global phase uniqueness from local rigidity results: ratio cost vanishing on every edge of a connected graph forces a constant positive field, while reduced phase cost vanishing forces phase differences to be integer windings. The wrapPhase projection maps reals to the unit interval by fractional part, so that phases differing by integers agree after wrapping. This definition supplies the canonical base λ = ln φ used by the reduced phase potential and by the GCIC stiffness constant.
proof idea
It is a direct definition that unfolds to the natural logarithm of the golden ratio constant from the CPM constants structure.
why it matters
This definition supplies the base for the canonical GCIC theorem, which states that on any connected recognition lattice with zero reduced phase cost every vertex shares the same wrapped phase. It provides the structurally forced instance used in the Anno Recognitionis §V argument. The choice aligns with the phi self-similar fixed point forced in the T5-T6 steps of the unified forcing chain.
Switch to Lean above to see the machine-checked source, dependencies, and usage graph.