pulseSpacing
plain-language theorem explainer
Optimal pulse spacing for the cortical neuromodulation device is the reciprocal of the carrier frequency at 5 phi hertz. Engineers and neuroscientists working on the RS_PAT_025 specification cite this definition to fix the pulse interval at approximately 124 milliseconds. It is obtained by a direct one-line assignment from the carrier definition.
Claim. The optimal pulse spacing in seconds is defined by the equation $τ = 1/(5φ)$, where $φ$ is the golden ratio.
background
The Cortical Neuromodulation Device module specifies a transcranial neuromodulation device for Recognition Science track J10 of Plan v5. The device operates at cortical-column resonance 5 phi hertz, approximately 8.09 hertz, with optimal pulse spacing near 124 milliseconds. The module derives a phi-rational pulse schedule and entrainment confidence ladder.
proof idea
This is a direct definition that sets the pulse spacing equal to the reciprocal of the carrier frequency.
why it matters
This definition provides the timing parameter required by the device certification structure and the neuromodulation one-statement theorem. Those results certify the carrier frequency band, the spacing band, and the anti-monotonic entrainment confidence ladder 1 over phi to the k. It completes the concrete timing derivation for the J10 engineering track in Plan v5.
Switch to Lean above to see the machine-checked source, dependencies, and usage graph.