E_coh_rs
plain-language theorem explainer
The definition assigns the RS-native coherence energy quantum to rung -5 on the phi-ladder. Researchers expressing energies in tick-voxel units cite it to fix the fundamental scale without external constants. It is implemented as a direct application of the phiRung scaling function to the integer argument -5.
Claim. The RS-native coherence energy is defined by $E_{coh,rs} := phi^{-5}$.
background
The RS-native unit system takes the tick (one ledger interval) and voxel (light travel distance in one tick) as base units, enforcing c=1. Derived quanta are the coherence energy E_coh = phi^{-5} and the action quantum ħ = E_coh times one tick. All scalings sit on the phi-ladder, where integer exponents of phi set masses, energies, and lengths. The phiRung function computes phi raised to any integer power and supplies the explicit value at rung -5.
proof idea
One-line definition that applies phiRung directly to the integer -5.
why it matters
It supplies the concrete numerical anchor for the coherence quantum inside the native unit system. The value feeds the equality lemma E_coh_rs_eq_E_coh that reconciles the rung expression with the general E_coh definition. This step closes the energy scale in the Recognition Science framework, consistent with the phi-ladder and the requirement that all dimensionless ratios depend only on phi.
Switch to Lean above to see the machine-checked source, dependencies, and usage graph.