E_base
plain-language theorem explainer
E_base defines the base energy of the φ-ladder as φ^{-5} times the exact electron-volt to joule conversion. Device physicists modeling RS-coherent photobiomodulation cite it to anchor photon energies on the ladder. The declaration is a direct one-line definition that multiplies the recognition coherence scale by the upstream conversion constant.
Claim. $E_0 = φ^{-5} × 1.602176634 × 10^{-19}$ (joules), where $φ$ is the golden ratio and the numerical factor converts electron-volts to joules.
background
The module sets up RS-coherent light therapy via the φ-energy ladder E(n) = E_base · φ^n, which maps integer rungs to photon energies in joules. E_base supplies the recognition coherence quantum φ^{-5} eV converted to physical units. The module doc states that rung 6 then yields φ eV ≈ 1.618 eV, corresponding to λ ≈ 766 nm in the red/near-IR therapeutic window.
proof idea
One-line definition that directly combines the power φ^{-5} with the upstream eV_to_J constant.
why it matters
E_base anchors the φ-energy ladder that feeds E_PBM_is_rung_6 (showing E_PBM equals rung 6) and the positivity and bounds lemmas. It supplies the base for the 8-beat modulation pattern and brainwave entrainment claims in the device specification. The definition places the Recognition Science phi-ladder into applied photobiomodulation units while preserving exact scaling.
Switch to Lean above to see the machine-checked source, dependencies, and usage graph.