E_PBM
plain-language theorem explainer
E_PBM supplies the photobiomodulation energy as the golden ratio scaled by the electron-volt conversion. Device modelers working on RS-coherent light therapy cite it when placing rung-6 photons on the phi-ladder. The declaration is a one-line definition that composes the phi constant with the exact eV_to_J factor.
Claim. The photobiomodulation energy is $E = phi * 1.602176634e-19$ joules, where $phi$ is the golden ratio and the second factor converts electron volts to joules.
background
The module develops RS foundations for photobiomodulation devices on the phi-energy ladder E(n) = E_base * phi^n, with E_base = phi^{-5} eV the biophase energy. Rung 6 is predicted to yield a therapeutic wavelength near 766 nm inside the 600-850 nm clinical window. The upstream definition eV_to_J supplies the exact conversion 1.602176634e-19 used here.
proof idea
One-line definition that multiplies the golden-ratio constant by the sibling conversion eV_to_J.
why it matters
This definition is the input to E_PBM_is_rung_6, which shows E equals phi^{-5} eV * phi^6, and to lambda_PBM together with its therapeutic-window theorem. It realizes the phi-ladder step inside the eight-tick neutrality and brainwave-entrainment results listed in the module documentation.
Switch to Lean above to see the machine-checked source, dependencies, and usage graph.