E_coh_eV
plain-language theorem explainer
The declaration supplies the approximate numerical value of the coherence energy expressed in electronvolts for reference calculations. Researchers verifying lepton mass ladders or hydrogen-bond scales against the Recognition framework would cite this constant. It is introduced as a direct real-number assignment without derivation steps.
Claim. The coherence energy in electron volts is defined as $0.0902$.
background
In the RRF foundation module all physical constants derive from the golden ratio φ through gate identities. The sibling definition E_coh sets the coherence energy to φ^{-5} in RS-native units, which evaluates to approximately 0.09 eV. E_coh_eV supplies the conversion of this scale to electronvolts for direct comparison with laboratory energies such as hydrogen bonds.
proof idea
One-line definition that directly assigns the real number 0.0902.
why it matters
This definition supports the verification theorem E_coh_matches_Hbond, which confirms the value lies within 0.01 of 0.09, and is referenced in the lepton rung difference tauon_rung_minus_electron_rung. It supplies the eV-scale anchor in the derivation chain φ → E_coh → τ₀ → c → ℏ → G → α^{-1} that runs through the Recognition Science framework.
Switch to Lean above to see the machine-checked source, dependencies, and usage graph.