ilg_alpha
plain-language theorem explainer
The ILG exponent is defined by α = (1 - φ^{-1})/2 with φ the golden ratio. Researchers computing weight deviations for rotating lab devices under the Information-Limited Gravity kernel cite this constant when scaling dynamical time T_dyn against the recognition tick τ₀. The definition is a direct algebraic expression drawn from the RS-native φ.
Claim. Let φ = (1 + √5)/2. The ILG exponent is α = (1 - φ^{-1})/2.
background
The Flight.GravityBridge module links the ILG weight kernel w_t(T_dyn, τ₀) = 1 + C_lag ⋅ ((T_dyn/τ₀)^α - 1) to rotating-device predictions. Here τ₀ ≈ 7.3 fs is the recognition tick and C_lag = φ^{-5} is the lag coupling taken from EightTickResonance. The exponent α enters every scaling of lab periods (∼10^{13} τ₀) against the kernel.
proof idea
One-line definition that substitutes the algebraic expression (1 - 1/φ)/2 directly into the ILG kernel.
why it matters
This supplies the numerical exponent required by rsLabPrediction, which then yields the concrete forecast w - 1 ≈ 28 at typical lab scales. The value traces to the J-uniqueness step (T5) of the forcing chain and closes the bridge between Gravity.ILG and the eight-tick schedule. It turns the abstract kernel into a falsifiable lab prediction.
Switch to Lean above to see the machine-checked source, dependencies, and usage graph.