c_grav_RS
plain-language theorem explainer
The definition assigns gravitational signal speed the value 1 in RS-native units, matching the electromagnetic speed by construction. Researchers formalizing unified propagation on a shared ledger substrate cite it when establishing G-007. The assignment follows directly from the single tick rate applying to both signals with no separate medium.
Claim. In RS-native units the gravitational signal speed $c_ {grav}$ equals 1, identical to the speed of light.
background
The module addresses G-007 on whether gravity propagates at exactly c. In RS-native units the fundamental tick is defined as 1, so both light and gravity share the same substrate and tick rate, forcing identical speed limits. Upstream results supply the tick as the time quantum τ₀ = 1 and derive Newton's G as λ_rec² c³ / (π ℏ) from the recognition functional equation.
proof idea
Direct definition that sets the value to the constant 1 in native units.
why it matters
This definition supplies the structural marker for G-007 and feeds the downstream theorems c_grav_eq_c_RS, propagation_implies_equal_speed and speed_ratio_unity. It aligns with the eight-tick octave and single-ledger substrate, predicting exact equality confirmed by GW170817. The result closes the structural claim that no separate gravitational medium exists.
Switch to Lean above to see the machine-checked source, dependencies, and usage graph.