spatialDim
plain-language theorem explainer
spatialDim sets the spatial dimension D to exactly 3. Researchers tracing the Recognition Science forcing chain cite it when deriving the eight-tick ledger period at D=3. The definition is a direct constant assignment requiring no computation or lemmas.
Claim. The spatial dimension is defined by $D = 3$.
background
The module formalizes the T7 step of the forcing chain, where the ledger period equals 2^D and equals 8 when D=3. This yields the eight-tick fundamental periodicity. The same module records that D=3 and the period 8 are consecutive Fibonacci numbers connected by the recurrence F(6) = F(5) + F(4).
proof idea
Direct definition that assigns the constant value 3 to the spatial dimension.
why it matters
The definition supplies the fixed D=3 required by T8 of the UnifiedForcingChain and by the eight-tick octave. It is referenced by ledgerPeriod, ledgerPeriod_eq_8, f4_eq_spatialDim, both_fibonacci_at_D3, and the EightTickCert structure. These results close the link from the forcing chain to the observed 8-tick periodicity in RS-native units.
Switch to Lean above to see the machine-checked source, dependencies, and usage graph.