U_c
plain-language theorem explainer
The lemma establishes that the speed of light equals unity in the Recognition Science native gauge U. Researchers normalizing velocities or working with dimensionless ratios on the phi-ladder would cite this when setting the causal limit to one voxel per tick. The proof is a direct reflexivity on the unit definition that explicitly assigns c to 1.
Claim. In the RS-native gauge $U$ with base time interval one tick and base length one voxel, the speed of light satisfies $c = 1$.
background
The module defines an RS-native measurement system whose base units are the tick (atomic time quantum) and voxel (causal spatial step). Derived quanta are the coherence energy quantum equal to phi to the minus five and the action quantum equal to the same value since the base time interval is unity. The structure U packages these into a gauge whose fields are tau0 equal to one tick, ell0 equal to one voxel, and c equal to one, with the coherence condition proved by simplification on the base definitions.
proof idea
The proof is a one-line term proof that applies reflexivity directly to the definition of U, which sets the c field to the constant already known to equal 1 in the native system.
why it matters
This lemma anchors the native units so that all velocities are expressed relative to the causal limit of one voxel per tick. It implements the key property c equals 1 stated in the module documentation and supports downstream calculations of dimensionless constants such as alpha in the interval (137.030, 137.039) together with mass formulas on the phi-ladder. No parent theorems are listed among the used-by edges.
Switch to Lean above to see the machine-checked source, dependencies, and usage graph.