speed_ratio_unity
plain-language theorem explainer
Recognition Science sets gravitational and electromagnetic propagation speeds equal in native units because both draw from the same ledger substrate at one cell per tick. A researcher modeling gravitational waves or black-hole dynamics would cite the result to enforce a single speed limit c=1. The equality follows from direct substitution of the two constant definitions together with the division identity.
Claim. In RS-native units the gravitational propagation speed and the speed of light are both normalized to 1 (ledger cells per tick) because they share the same substrate, so their ratio equals 1.
background
The PropagationSpeed module formalizes G-007: whether gravity propagates at exactly c. It states that light and gravity use the ledger as a common substrate, so identical tick rates imply identical speed limits. In RS-native units this common limit is set to 1.
proof idea
The term proof unfolds the local definitions c_grav_RS = 1 and c_RS = 1, then applies the div_one lemma to reduce the ratio directly to 1.
why it matters
The theorem supplies the structural equality demanded by G-007. It confirms that gravity and light share the ledger substrate with no separate medium, consistent with the RS-native value c=1. No downstream theorems currently depend on it, but the result anchors unified propagation arguments in the framework.
Switch to Lean above to see the machine-checked source, dependencies, and usage graph.