massQuantum
plain-language theorem explainer
The massQuantum definition sets the base mass unit in RS-native units equal to the coherence quantum φ^{-5}. Mass scaling work on the phi-ladder cites this when converting counts to raw RS values. It is a direct one-line alias to cohQuantum.
Claim. The mass quantum satisfies $m_Q = E_{coh}$ where $E_{coh} = φ^{-5}$ (with $c=1$).
background
The RS-native system takes tick (τ₀) as the discrete time quantum and voxel (ℓ₀) as the spatial step with light speed unity. Coherence quantum coh is the fundamental energy φ^{-5} and action act equals ħ = coh · τ₀. The phi-ladder organizes all scalings as φ^n for integer n. This declaration identifies the mass quantum with cohQuantum, the upstream coherence energy definition φ^{-5} ≈ 0.0902. It also draws on the scale function for phi powers from the cosmology module. The module establishes that all physics is expressed in these units without SI reference and that dimensionless ratios are fixed by φ alone.
proof idea
The definition is a one-line wrapper that directly aliases cohQuantum.
why it matters
It supplies the base unit for the downstream mass_raw conversion that multiplies a Mass count by this quantum. This anchors the mass formula yardstick · φ^(rung - 8 + gap(Z)) inside the constants section. It supports the framework landmarks T5 J-uniqueness, T6 phi fixed point, T8 D=3, and the relation ħ = φ^{-5} by fixing the quantum scale with c=1.
Switch to Lean above to see the machine-checked source, dependencies, and usage graph.