electron_structural_ratio
plain-language theorem explainer
The definition supplies the dimensionless ratio of the electron structural mass to the coherent energy scale. Mass derivations in the Recognition Science framework cite this ratio when normalizing predictions on the phi-ladder. It is obtained by direct division of the structural mass expression by E_coh = phi^{-5}.
Claim. The dimensionless structural ratio for the electron is $m_ {struct} / E_{coh}$, where $m_{struct}$ is the yardstick-scaled mass at rung 2 and $E_{coh} = phi^{-5}$.
background
This definition appears in the T9 Electron Mass Definitions module, which isolates core mass expressions to avoid import cycles. The coherent energy scale is defined as E_coh = phi^{-5}. The structural mass is lepton_yardstick times phi raised to (electron_rung minus 8), with electron_rung equal to 2. Upstream results include the Mass type alias from RSNativeUnits and the structural mass definition that supplies the numerator.
proof idea
The definition is a one-line wrapper that divides the structural mass by E_coh.
why it matters
This ratio normalizes the structural mass against the base energy scale, enabling direct comparison in the electron mass derivation. It feeds the electron_structural_ratio definition in the main Physics.ElectronMass.Defs module. The construction ties into the phi-ladder and the eight-tick octave from the forcing chain.
Switch to Lean above to see the machine-checked source, dependencies, and usage graph.