E_coh
plain-language theorem explainer
The declaration sets the coherent energy scale E_coh equal to phi raised to the power -5. Electron mass derivations in the Recognition Science framework cite this scale as the base for structural mass calculations on the phi-ladder. The definition is a direct noncomputable assignment in real numbers using the upstream phi constant.
Claim. $E_{coh} = phi^{-5}$
background
Module T9 isolates core definitions for the electron mass derivation to avoid import cycles. Phi denotes the self-similar fixed point forced at T6 of the unified chain. The coherent energy scale is expressed directly in RS-native units where c=1 and hbar=phi^{-5}. Upstream rung definitions assign integer levels to fermions, with the electron fixed at rung 2, but this definition itself uses only the phi constant imported from Constants and PhiSupport.
proof idea
One-line definition that directly assigns the value phi raised to the integer power -5.
why it matters
This supplies the base energy scale for the T9 electron mass block and feeds sibling definitions such as electron_structural_mass and predicted_electron_mass. It instantiates the mass formula yardstick * phi^(rung-8+gap(Z)) at the coherent threshold phi^{-5}. The placement closes the separation between definitions and theorems in the electron geometry section.
Switch to Lean above to see the machine-checked source, dependencies, and usage graph.