planckEnergy_rs
plain-language theorem explainer
planckEnergy_rs defines the Planck energy in RS-native units as numerically identical to the Planck mass. Researchers working in the Recognition Science unit system cite this when energy and mass scales coincide under c=1. The definition is a direct one-line alias that follows from the voxel/tick convention where velocity is unity.
Claim. In the RS-native unit system with $c=1$, the Planck energy is defined by $E_P := m_P$, where $m_P = √(ℏc/G)$ is the Planck mass at which gravitational and quantum scales meet.
background
The RS-native measurement system uses ledger primitives as base standards: tick τ₀ as the discrete time quantum and voxel ℓ₀ as the spatial step such that light traverses one voxel per tick. Derived quanta are coh = φ^{-5} (fundamental energy) and act = ħ (action quantum). All scales sit on the φ-ladder, and dimensionless ratios are fixed by φ alone with no external anchoring required.
proof idea
This is a one-line definition that directly aliases the energy quantity to the upstream planckMass_rs computation, which itself evaluates √(hbarQuantum * c / Constants.G) under the c=1 convention.
why it matters
The declaration completes the energy entry in the RS-native constants set, enabling consistent use of Planck scales alongside mass, length, and frequency on the φ-ladder. It directly implements the module's rule that E_P = m_P c² reduces to m_P when c=1, supporting the broader claim that all physics is expressible in tick/voxel units without SI conversion.
Switch to Lean above to see the machine-checked source, dependencies, and usage graph.