corticalCarrier
plain-language theorem explainer
The definition assigns the cortical carrier frequency to five times the golden ratio constant phi. Researchers modeling biological resonances through the phi-ladder cite this as the fundamental carrier near 8 Hz. The definition is introduced by direct scalar multiplication of the imported phi constant.
Claim. The cortical carrier frequency is defined as $5 phi$, where $phi$ denotes the golden ratio.
background
The module derives the electromagnetic spectrum from the phi-ladder, with each band scaling as $nu_k = nu_0 phi^k$ and five canonical bands identified to match configDim D = 5. The module documentation states that RS predicts the 5 phi Hz carrier links to biological resonances. The constant phi is the self-similar fixed point from the upstream forcing chain.
proof idea
The declaration is a direct definition that multiplies the constant phi by the integer five.
why it matters
This supplies the carrier frequency required by the EMSpectrumCert structure, which certifies five bands, phi ratios between consecutive bands, and the carrier band condition. It is referenced by the downstream theorem corticalCarrier_band that verifies the value lies strictly between 8 and 9. The placement connects the phi-ladder scaling to the predicted biological carrier, consistent with the eight-tick octave in the Recognition Science framework.
Switch to Lean above to see the machine-checked source, dependencies, and usage graph.