E_PBM
plain-language theorem explainer
E_PBM defines the photobiomodulation energy as the golden ratio multiplied by the exact electron-volt to joule conversion. Biophysicists and device modelers working in the Recognition Science framework cite this definition when computing therapeutic wavelengths on the phi-ladder. The declaration is a direct one-line assignment with no additional computation or lemmas.
Claim. $E_{PBM} := phi times 1.602176634 times 10^{-19}$ (joules), equivalent to $phi$ electron-volts on the energy ladder.
background
The module develops Recognition Science foundations for a photobiomodulation device that operates on the phi-energy ladder, where energies follow E(n) = E_base times phi to the n and E_base equals phi to the minus 5 electron-volts from the biophase scale. E_PBM is fixed at rung 6, producing phi electron-volts that converts to joules through the upstream exact factor 1.602176634e-19. The local setting also incorporates the eight-tick modulation pattern for neutrality and targets the red/near-IR therapeutic window of 600-850 nm, as stated in the module motivation: 'rung 6 yields E(6) = phi^{-5} times phi^6 = phi eV approx 1.618 eV to lambda approx 766 nm'.
proof idea
This is a one-line definition that directly multiplies the golden ratio phi by the electron-volt conversion constant from the upstream eV_to_J declaration.
why it matters
The definition supplies the concrete energy value that downstream results rely on, including E_PBM_is_rung_6 which equates it to phi_energy_rung 6 and lambda_PBM which yields the wavelength inside the therapeutic window. It realizes the rung-6 slot predicted by the phi-ladder in the module's physical motivation, connecting to the broader framework where phi is the self-similar fixed point forced by T5 J-uniqueness and the eight-tick octave of T7. No open scaffolding remains at this definition.
Switch to Lean above to see the machine-checked source, dependencies, and usage graph.