carrier
plain-language theorem explainer
Cortical neuromodulation devices receive a carrier frequency fixed at five times phi hertz. Neuroengineers and device designers working in the Recognition Science engineering track cite this constant when specifying transcranial stimulation schedules. The declaration is a direct one-line assignment of the real number 5 * phi.
Claim. The cortical-column carrier frequency is defined as $5phi$ Hz, where $phi$ is the self-similar fixed point of the Recognition Science forcing chain.
background
This definition sits inside the Cortical Neuromodulation Device Spec module, which treats the transcranial neuromodulation device (RS_PAT_025) as an engineering derivation operating at cortical-column resonance. The module also records the reciprocal pulse spacing and an entrainment-confidence ladder. The identical carrier expression is imported from the upstream Phantom Coupled GW Antenna Sensitivity module, whose doc-comment states 'Carrier frequency = 5φ Hz.' In the larger framework, phi arises as the fixed point forced at step T6 of the unified forcing chain.
proof idea
The declaration is a one-line definition that directly assigns the real number five times phi, inheriting its value from the upstream carrier definition in the antenna sensitivity module.
why it matters
This constant supplies the numerical scale for the d'Alembert theorem H_dAlembert in CostAlgebra and for the admissible-flow and ledger structures in RecognitionCategory. It also appears in the Fast Radio Burst certificates. The value instantiates the phi-ladder at the engineering level, consistent with the eight-tick octave and the three spatial dimensions fixed by the forcing chain T7-T8. The module doc-comment supplies the concrete falsifier of an EEG study placing optimal entrainment outside the interval [7.5, 8.1] Hz.
Switch to Lean above to see the machine-checked source, dependencies, and usage graph.