D_physical
plain-language theorem explainer
D_physical sets the spatial dimension to the integer 3 inside the Recognition Science framework. Unification and particle-physics derivations cite it as the unique value forced by linking topology and eight-tick synchronization. The declaration is a direct constant assignment with no computation or hypotheses.
Claim. The physical spatial dimension is defined by $D = 3$.
background
Dimension is an abbreviation for the natural numbers; it counts the number of independent spatial directions in the ledger. The DimensionForcing module proves that this count must equal 3 by combining Alexander duality (non-trivial linking only in D=3) with the requirement that the 8-tick cycle synchronizes with the 45-tick cumulative phase. Upstream results supply the compatibility predicate from SAT back-propagation and the dimensional-signature structure that tracks length, time and mass exponents.
proof idea
Direct definition that assigns the constant 3. No tactics or lemmas are applied; the value is simply bound to the identifier D_physical.
why it matters
The definition supplies the concrete value required by why_D_equals_3, three_generations_from_dimension and three_colors_forced. It realizes the T8 step of the unified forcing chain that fixes spatial dimension at 3, and it is referenced by SpacetimeEmergence theorems that derive a four-dimensional spacetime signature from this choice.
Switch to Lean above to see the machine-checked source, dependencies, and usage graph.
papers checked against this theorem (showing 1 of 1)
-
Golden-ratio exponent fixes a gravity kernel, then meets 147 galaxies
"C = φ⁻² ≈ 0.382 amplitude hypothesis from three-channel D=3 factorization (Eq. 15)"