lambShiftFraction
plain-language theorem explainer
The definition supplies the ratio of the Lamb shift energy to the 2S binding energy in hydrogen as the rational 44/10000000. Researchers bounding vacuum-induced corrections in Recognition Science derivations cite it to quantify the relative scale of J-cost fluctuations. It is introduced by direct constant assignment matching the empirical values 4.4 μeV over 3.4 eV.
Claim. The Lamb shift fraction is the rational number $44/10000000$, equal to the ratio of the Lamb shift energy ($4.4$ μeV) to the magnitude of the 2S binding energy ($3.4$ eV).
background
Recognition Science treats the Lamb shift as a modification of orbital J-cost arising from vacuum ledger fluctuations. The J-cost is the function $J(x) = (x + x^{-1})/2 - 1$ calibrated in PhiForcingDerived.of, while LedgerFactorization.of supplies the underlying multiplicative structure on positive reals. The module QFT.LambShift situates the effect inside the Recognition Composition Law, where small J-cost perturbations lift the degeneracy between 2S and 2P levels that would otherwise hold in the absence of vacuum fluctuations.
proof idea
The definition is a direct rational constant assignment with no computation or lemma application.
why it matters
This definition supplies the numerical input for the downstream theorem lamb_shift_tiny that bounds the shift below one part in 100000. It occupies the QFT-012 slot by fixing the scale of vacuum J-cost fluctuations relative to binding energies, consistent with the phi-ladder and T5 J-uniqueness that determine recognition costs. The placement closes the empirical anchor for the eight-tick octave scaling in the hydrogen spectrum.
Switch to Lean above to see the machine-checked source, dependencies, and usage graph.