temporal_dim
The definition fixes the temporal dimension count at exactly one, matching the single advance per octave in the eight-tick recognition cycle. Researchers deriving spacetime geometry from J-cost minimization cite this when establishing the (1,3) Lorentzian signature and causal structure. The assignment is a direct definition drawn from the T7 octave step with no further computation required.
claimThe number of temporal dimensions equals $1$, the unique cost-reducing direction singled out by the eight-tick recognition operator.
background
The Spacetime Emergence module derives Lorentzian geometry from the J-cost functional $J(x) = (x + x^{-1})/2 - 1$. Upstream structures establish that this functional is strictly convex with its global minimum at $x=1$, and that local updates occur over at most eight neighbors per tick. The forcing chain T0–T8 then isolates one temporal direction in which recognition lowers cost while spatial displacements raise it quadratically.
proof idea
One-line definition that directly assigns the value 1 from the octave advance identified in the eight-tick cycle.
why it matters in Recognition Science
This supplies the temporal count required by downstream theorems such as lorentzian_signature and arrow_of_time, which together prove the unique metric signature diag(−1,+1,+1,+1) and monotonic time advance. It completes the dimension accounting in the central derivation: one temporal dimension from T7 plus three spatial dimensions from T8, yielding four-dimensional spacetime with c=1 and no free parameters.
scope and limits
- Does not derive the eight-tick period from more primitive axioms.
- Does not compute metric components or curvature scalars.
- Does not address higher-dimensional or non-Lorentzian extensions.
- Does not incorporate quantum fluctuations or continuum limits.
Lean usage
example : temporal_dim = 1 := rflformal statement (Lean)
62def temporal_dim : ℕ := 1
proof body
Definition body.
63
64/-- The number of spatial dimensions: D = 3 (forced by T8). -/