C_lag
plain-language theorem explainer
C_lag fixes the lag coupling constant at phi to the minus five for the Recognition Science gravity model. Gravity bridge calculations and lab-scale weight predictions cite this value when deriving resonance deviations from the eight-tick structure. The definition is a direct real-number assignment from the golden-ratio fixed point.
Claim. Define the lag coupling by $C_ {lag} = phi^{-5} approx 0.09$, the RS-derived constant that enters the time-kernel formula for weight reduction.
background
The EightTickResonance module defines resonant weights, interpolation costs, and lag terms under the eight-tick octave of period 2^3. Phi is the unique positive fixed point of the self-similar map J(x) = (x + x^{-1})/2 - 1 forced in the upstream unified chain. C_lag supplies the numerical prefactor in downstream time-kernel expressions for lab-scale deviations.
proof idea
The declaration is a direct definition that assigns the real number obtained by raising the reciprocal of phi to the fifth power.
why it matters
This definition supplies the coupling value required by LabScalePrediction, mkLabPrediction, and falsifierTriggered in GravityBridge. It realizes the T7 eight-tick resonance step and feeds the alphaLock lemma in Constants. The choice phi^{-5} aligns with the RS-native hbar and enables concrete predictions of order-0.09 times the dynamic factor.
Switch to Lean above to see the machine-checked source, dependencies, and usage graph.