c_T_squared_RS
plain-language theorem explainer
The definition supplies the Recognition Science prediction for the squared speed of tensor gravitational wave modes. It is cited in the hypothesis checking the GW170817 propagation speed bound and in the theorem asserting that bound holds. The definition is realized by substituting the Recognition Science values for the coupling parameter and lag constant into the general expression for tensor speed squared.
Claim. The Recognition Science value of the squared tensor propagation speed is given by $1 + 0.01 · α · C_{lag}$, where $α = (1 - φ^{-1})/2$ and $C_{lag} = φ^{-5}$, with $φ$ the golden ratio fixed point from the forcing chain.
background
The general expression for the squared tensor speed appears in the same module as 1 plus 0.01 times the product of the coupling alpha and the lag constant C_lag. The Constants structure from the Law of Existence module is an abstract bundle of CPM constants that includes the golden ratio phi. This definition specializes those inputs to the values alpha equal to (1 minus phi inverse) over 2 and C_lag equal to phi to the power minus 5, which aligns with the reduced Planck constant in native units.
proof idea
This is a one-line wrapper that applies the general tensor speed squared definition to the Recognition Science parameters alpha equal to (1 minus one over phi) divided by two and lag constant equal to phi to the power of minus five.
why it matters
The definition is used by the hypothesis asserting that the absolute deviation of the value from one is less than the GW170817 bound, and by the theorem which concludes the bound holds given the observational facts class. It provides the concrete RS prediction for gravitational wave speed, consistent with the framework constants where the reduced Planck constant equals phi to the minus five. It touches the open question of matching all observational constraints within the unified forcing chain.
Switch to Lean above to see the machine-checked source, dependencies, and usage graph.