earthBrainResonance_forced
plain-language theorem explainer
The definition assembles the Earth-Brain Resonance certificate by assigning the zero-parameter frequency formula, fundamental identities, harmonic spacing, and empirical bounds to each field of the certificate structure. A physicist working on geophysical resonances or neuro-electromagnetism would cite it to connect the Recognition-forced golden ratio and spatial dimension to observed Schumann frequencies that land inside EEG bands. The construction proceeds by direct field assignment from prior matching theorems and identities.
Claim. The Earth-Brain Resonance certificate is the structure asserting that the frequency function satisfies $f(n)=(4n-1)φ+3$ for all natural $n$, with fundamental $f(1)=3φ^2=φ^4+1$, constant spacing $4φ$, strict monotonicity, forced provenance, and the first five harmonics each lying within 0.06 Hz of the measured Schumann values 7.83, 14.3, 20.8, 27.3, 33.8 Hz.
background
The module derives Schumann resonances from the Recognition Composition Law. EarthBrainResonanceCert is the structure that collects forced properties (zero-parameter formula, fundamental equal to D·φ² with D=3 the spatial dimension forced by T8, spacing 4φ) together with empirical match bounds. D is the abbrev D:ℕ:=3. Upstream results supply the concrete identities: fundamental_eq_D_phi_sq states schumannRS 1 = D * phi ^ 2, fundamental_eq_phi4_plus_1 states schumannRS 1 = phi ^ 4 + 1, and all_harmonics_match asserts the five measured bounds hold simultaneously.
proof idea
The definition is a direct structure construction that populates each field of EarthBrainResonanceCert by reference: formula_zero_params to the identity, fundamental_is_3phi2 to fundamental_eq_D_phi_sq, fundamental_is_phi4p1 to fundamental_eq_phi4_plus_1, harmonic_spacing to spacing_eq, strictly_increasing to schumannRS_strictMono, the five match_h fields to the corresponding harmonic_matches theorems, worst_case_bound to all_harmonics_match, and the two provenance labels to .forced and .empirical.
why it matters
This definition is the master theorem of the module, asserting that the Earth-Brain Resonance follows from the Recognition Composition Law with zero free parameters once T6 forces φ and T8 forces D=3. It supplies the explicit link from the phi-ladder to the measured Schumann spectrum and its alignment with theta-to-gamma EEG bands. No downstream uses are recorded, but the declaration closes the chain from the forcing steps (T0-T8) to the empirical certificate.
Switch to Lean above to see the machine-checked source, dependencies, and usage graph.