IndisputableMonolith.Gravity.PropagationSpeed
This module sets gravitational propagation speed equal to the speed of light in RS-native units where c equals 1 ledger cell per tick. Unified gravity modelers cite these definitions to enforce consistency with the fundamental speed. It consists of definitions and lemmas built directly on the imported Constants module.
claimIn RS-native units with time quantum $\tau_0 = 1$ tick, the speed of light satisfies $c_{RS} = 1$ (ledger cells per tick) and the gravitational propagation speed satisfies $c_{grav,RS} = c_{RS}$.
background
The module imports IndisputableMonolith.Constants, whose doc-comment states the fundamental RS time quantum (RS-native) $\tau_0 = 1$ tick. Speeds are measured in ledger cells per tick under this normalization. The module introduces $c_{RS}$ as the RS-native speed of light fixed at unity and extends the same value to gravitational propagation.
This supplies the local theoretical setting for the Gravity domain, consistent with the Recognition Science choice of units where all propagation occurs at the same fundamental speed.
proof idea
This is a definition module, no proofs.
why it matters in Recognition Science
This module feeds the Gravity domain of the Recognition Science framework by establishing propagation speed equality. It supports the constant choice $c = 1$ that appears in the forcing chain (T0 to T8) and in the mass formula on the phi-ladder. It aligns with the RCL and the eight-tick octave by normalizing all speeds to the ledger cell per tick.
scope and limits
- Does not derive the value of c from the J-function or phi fixed point.
- Does not address propagation in non-flat geometries.
- Does not incorporate the fine-structure constant or mass rungs.
- Does not model discrete tick-level delays or Berry creation thresholds.