IndisputableMonolith.Gravity.PropagationSpeed
The module sets gravitational propagation speed equal to the RS light speed in native units. Gravity modelers checking consistency with special relativity would cite the equality when building unified forcing chains. It imports the base time quantum and states the speed definitions plus their forced identity through direct lemmas.
claimIn RS-native units with $\tau_0=1$, the gravitational propagation speed equals the light speed: $c_{\rm grav}=c_{\rm RS}=1$.
background
The module belongs to the Gravity domain and imports the Constants module whose sole content is the fundamental RS time quantum $\tau_0=1$ tick. All speeds are therefore expressed in ledger cells per tick, which immediately sets the light speed to unity. The module introduces the two speed symbols $c_{\rm RS}$ and $c_{\rm grav}$ together with the equality statements that follow from the Recognition Composition Law and the eight-tick octave.
proof idea
This is a definition module whose argument consists of successive constant declarations followed by three short lemmas that establish the equality by direct substitution of the unit choice and the J-uniqueness property.
why it matters in Recognition Science
The module supplies the propagation-speed identity required by the unified forcing chain (T0-T8) and by the Recognition Composition Law. It feeds the larger Gravity constructions that assume light-speed gravity and closes the gap between electromagnetic and gravitational signals in RS-native units.
scope and limits
- Does not derive the numerical value of c from the phi ladder.
- Does not treat curved-spacetime propagation.
- Does not compare the result to laboratory bounds outside the native-unit convention.