f_Schumann_RS
plain-language theorem explainer
The declaration defines the BIT carrier frequency as five times the golden ratio in hertz and identifies it with the Schumann fundamental. Researchers deriving geophysical resonances from the Recognition Science framework would cite this assignment. The definition is a direct constant assignment drawn from the eight-tick octave structure.
Claim. The Schumann resonance fundamental frequency is defined by the assignment $f = 5 phi$ Hz, where $phi$ is the golden ratio fixed point satisfying the Recognition Composition Law.
background
The module identifies the Earth-ionosphere cavity transverse electromagnetic mode with the BIT carrier oscillation at the Hz scale. This carrier originates from the gauge-boson-mass scaffolding together with the eight-tick octave of the forcing chain. The golden ratio phi is the self-similar fixed point under the Recognition Composition Law, and upstream constants supply the bounds 1.61 < phi < 1.62 together with positivity of phi.
proof idea
This declaration is a direct definition that assigns the real number five multiplied by the golden ratio constant phi.
why it matters
It supplies the core predicted value for the master theorem schumann_one_statement, which packages the equality to 5 phi, membership in the interval (8.05, 8.10), and the comparison showing the empirical 7.83 Hz lies within J(phi) of the lower edge. The construction realizes the T7 eight-tick octave prediction for the fundamental frequency. The module notes that the small deficit relative to the upper edge is accounted for by the canonical 1/45 K-gate suppression on the consciousness-sector contribution to the cavity Q-factor.
Switch to Lean above to see the machine-checked source, dependencies, and usage graph.