eV_to_J
plain-language theorem explainer
The definition supplies the exact electron-volt to joule conversion factor used to scale all φ-ladder photon energies into SI units inside the photobiomodulation module. Device physicists modeling RS-coherent light therapy cite it when converting rung energies such as φ eV into joules for wavelength and power calculations. It is introduced as a direct real-number literal with no computation or lemmas.
Claim. The electron-volt to joule conversion factor is defined as $1.602176634 × 10^{-19}$.
background
The PhotobiomodulationDevice module formalizes Recognition Science foundations for a light-therapy device whose photon energies follow the φ-ladder. Base energy is given by E_base = φ^{-5} eV, converted to joules by multiplication with the electron-volt factor; rung 6 then yields E_PBM = φ eV ≈ 1.618 eV, corresponding to λ ≈ 766 nm inside the 600–850 nm therapeutic window. The module draws on the eight-tick octave and 8-window neutrality constraint to keep recognition strain from accumulating during treatment.
proof idea
Direct numerical definition of the standard CODATA conversion constant. No lemmas or tactics are invoked; the value is assigned verbatim as a foundational constant for all downstream energy expressions.
why it matters
This constant is the immediate prerequisite for E_base, E_PBM, E_PBM_bounds and E_PBM_is_rung_6, which together place the therapeutic wavelength at rung 6 of the φ-ladder. It thereby links the Recognition Science landmarks (T5 J-uniqueness, T6 phi fixed point, T7 eight-tick octave, D = 3) to concrete device parameters while satisfying the module’s 8-beat neutrality requirement. The declaration closes the gap between RS-native energy quanta and laboratory SI units.
Switch to Lean above to see the machine-checked source, dependencies, and usage graph.