energy_raw
plain-language theorem explainer
This definition converts an energy count measured in coherence quanta to the raw RS-native energy scale by multiplying by the coherence quantum φ^{-5}. Researchers modeling physical quantities directly in the Recognition Science ledger would invoke it when expressing energies without external units. The implementation is a direct one-line multiplication using the pre-defined cohQuantum constant.
Claim. The raw energy in RS-native units is $E_ {raw} = E · φ^{-5}$, where $E$ is the energy count expressed in coherence quanta.
background
The RS-native unit system defines base units as the tick (τ₀, discrete ledger time quantum) and voxel (ℓ₀, spatial step with c=1). Derived quanta include the coherence quantum coh = φ^{-5} ≈ 0.0902, which sets the fundamental energy scale, and the action quantum act = ħ = E_coh · τ₀. Energy is treated as a real number in these units, with the phi-ladder providing natural scalings φ^n for physical quantities. This module establishes all physics in these ledger primitives without SI reference. Upstream, cohQuantum is defined as E_coh, the coherence energy quantum φ^{-5}.
proof idea
This is a direct definition that multiplies the input Energy value by the cohQuantum constant. No lemmas are applied beyond the definition of cohQuantum itself.
why it matters
This definition completes the energy representation in the RS-native units framework, allowing direct use of coherence counts in energy expressions. It supports the broader constants module that enforces c=1 and phi-based ratios. It aligns with the phi-ladder scaling central to Recognition Science mass and energy formulas.
Switch to Lean above to see the machine-checked source, dependencies, and usage graph.