ExternalCalibration
plain-language theorem explainer
ExternalCalibration supplies the three positive scaling factors that convert RS-native tick, voxel, and coherence units into SI seconds, meters, and joules while enforcing exact numerical agreement with the measured speed of light. Researchers converting Recognition Science predictions to laboratory data cite this record to anchor abstract results. It is introduced as a structure whose fields directly encode the required positivity and consistency conditions.
Claim. A structure consisting of positive real numbers $s$ (seconds per tick), $m$ (meters per voxel), and $j$ (joules per coherence quantum) such that $m/s = 299792458$.
background
The RS-native unit system takes the tick as the fundamental time quantum and the voxel as the fundamental length quantum, with $c=1$ in these units. Coherence quantum is defined as $phi^{-5}$. ExternalCalibration provides the optional bridge to SI units. Upstream, tick is defined as the constant 1 in Constants.tick and re-exported in RSNativeUnits.tick; voxel is similarly the unit length.
proof idea
The declaration is a structure definition that bundles the three scaling parameters together with their positivity proofs and the speed-consistency equality; no further lemmas are applied.
why it matters
This structure is the anchor point for all SI conversion functions in the module, including to_meters, to_seconds, to_joules, and the theorem c_in_si that recovers the exact SI value of c. It closes the loop between the internal RS-native system (where c=1 and all ratios are fixed by phi) and external measurement, as required by the module's design for optional SI anchoring. It supports the eight-tick octave and phi-ladder scaling by providing the dimensional conversion layer.
Switch to Lean above to see the machine-checked source, dependencies, and usage graph.