electron_muon_derived
plain-language theorem explainer
RS prediction for the electron-to-muon mass ratio, fixed at 4.83633e-3 from φ-ladder rung differences rather than CODATA fit. Anyone assembling dimensionless RS observables or checking them against empirical bounds cites this constant. It is a bare numerical definition in the cost-first core, not a proved identity.
Claim. The Recognition Science prediction for the electron-to-muon mass ratio is the dimensionless constant $m_e/m_\mu = 4.83633 \times 10^{-3}$, obtained from $\varphi$-ladder rung differences and not calibrated to CODATA.
background
The Observables module separates a cost-first core from external anchors. Dimensionless ratios (α⁻¹, m_e/m_μ, m_p/m_e, and G m_e²/(ℏ c)) are the tracked quantities so SI unit choices never enter the prediction side.
In the RS mass picture, species sit on a φ-ladder: masses scale as a yardstick times φ raised to a rung offset (with gap corrections). The electron-muon ratio is the dimensionless quotient of two such ladder placements, so only rung differences matter.
Upstream ledger and CPT ratio machinery supply the structural language (ratio coordinates, primitive distinction, T-bridge), but this declaration itself does not re-derive the ladder; it records the numerical RS prediction that the exclusivity interface will compare to experiment.
proof idea
No proof. The declaration is a noncomputable real definition equal to the literal float 4.83633e-3. Downstream code treats it as the electron_muon_ratio field of the RS observables bundle.
why it matters
Fills the electron_muon_ratio slot of rsObservables, the cost-first RS prediction record built only from φ-structure. That record is the left-hand side of rs_within_bounds, which checks every component against CODATA 2022 windows (an external-anchor theorem).
In the broader framework this is the mass-ladder counterpart of the α band and the eight-tick/φ forcing chain: a concrete dimensionless number the exclusivity story must match if RS is to claim empirical contact without calibration seams on the prediction side. It does not close the open T-bridge task of deriving the ladder from the ledger floor; it only packages the stated prediction for verification.
Switch to Lean above to see the machine-checked source, dependencies, and usage graph.