planckMass_rs
plain-language theorem explainer
The Planck mass in Recognition Science native units is supplied as the square root of the action quantum times the unit speed divided by the gravitational constant. Researchers scaling masses on the phi-ladder or matching quantum-gravity thresholds would cite this when working in tick-voxel units. The definition is a direct one-line algebraic substitution of the pre-established hbarQuantum and RS-native G.
Claim. The Planck mass in RS-native units is $m_P = √(ℏ c / G)$, where ℏ denotes the action quantum, c equals 1, and G is the RS-derived gravitational constant.
background
The RS-Native Measurement System module treats ledger primitives as base standards. Tick is the discrete time quantum and voxel the causal spatial step, with c fixed at 1. Coherence quantum equals phi to the minus five and action quantum equals hbar in these units; all measures sit on the phi-ladder for natural scaling of masses and energies.
proof idea
The definition is a one-line wrapper that transcribes the standard Planck mass formula by substituting hbarQuantum, the unit speed c, and the RS-native G from the Constants module.
why it matters
This anchors the mass scale where gravitational and quantum effects coincide and feeds directly into the Planck energy definition, which reduces to the same value since c equals 1. It supports the constants section of the Recognition framework, consistent with c = 1 and the phi-ladder organization. No open scaffolding is closed here.
Switch to Lean above to see the machine-checked source, dependencies, and usage graph.