D
plain-language theorem explainer
D is the integer constant 3 that Recognition Science assigns to spatial dimension via the T8 step of the forcing chain. Researchers deriving Schumann resonance frequencies or EEG band alignments cite this value when writing the zero-parameter formula f(n) = (4n-1)φ + 3. The declaration is a direct abbreviation with no lemmas or reduction steps.
Claim. Let $D$ denote the spatial dimension forced by the Recognition Science chain at step T8, so that $D = 3$.
background
Recognition Science forces exactly three spatial dimensions at T8 of the T0-T8 chain, after J-uniqueness (T5), the self-similar fixed point φ (T6), and the eight-tick octave (T7). In this module the constant D multiplies φ² to produce the Schumann fundamental 3φ² ≈ 7.854 Hz. The module states that φ satisfies φ² = φ + 1 from T6 self-similarity and that the spacing between harmonics is 4φ = (D+1)φ.
proof idea
The declaration is a direct abbreviation D := 3 with no lemmas applied and no tactics.
why it matters
This definition supplies the dimension D required by the Earth-Brain Resonance formula that matches the five measured Schumann harmonics to (4n-1)φ + 3. It instantiates the T8 landmark of the forcing chain and feeds the claimed structural match between Earth's cavity spectrum and EEG band boundaries. No downstream theorems are recorded in the current graph.
Switch to Lean above to see the machine-checked source, dependencies, and usage graph.