status
plain-language theorem explainer
The status definition supplies a static summary string of the Recognition Science native unit conventions. Constant derivations and falsification structures reference it to confirm base assumptions before further work. The body is a direct string literal that concatenates the listed invariants without computation or lemma calls.
Claim. The RS-native unit status asserts base units satisfy $τ_0 = ℓ_0 = 1$, speed of light equals 1 in voxel per tick, coherence quantum equals $φ^{-5}$, action quantum equals $ħ = φ^{-5}$, quantities scale as $φ^n$ on the ladder, octave period equals 8 ticks, recovery parameter satisfies $λ_{kin} = π/(4 ln φ)$, and all dimensionless physics is fixed by $φ$ alone.
background
The module establishes a Recognition-Science-native measurement system whose base units are the ledger primitives tick ($τ_0$, one discrete posting interval) and voxel ($ℓ_0$, one causal spatial step). Derived quanta are the coherence quantum $coh = φ^{-5}$ and action quantum $act = ħ = E_{coh} · τ_0$. Key conventions include $c = 1$ in voxel/tick, the $φ$-ladder for scaling masses and energies as $φ^n$, and the eight-tick octave period. Upstream definitions fix tick as the constant 1 and $K$ as $φ^{1/2}$, while the ExternalCalibration structure supplies optional SI mapping factors.
proof idea
The definition is a direct string literal formed by concatenating the status messages for each listed invariant. No tactics or upstream lemmas are applied; the body simply assembles the fixed text.
why it matters
This declaration functions as an internal checkpoint inside the Constants.RSNativeUnits module and is referenced by downstream results such as c_in_si and the InflationFalsifier structure. It codifies the T7 eight-tick octave and the $φ$-ladder scaling that follow from the forcing chain T0-T8. The summary also anchors the Recognition Composition Law applications by fixing the unit conventions used throughout the framework.
Switch to Lean above to see the machine-checked source, dependencies, and usage graph.