IndisputableMonolith.Physics.NeutrinoMassFromPhiLadder
The module defines the masses of the three active neutrino eigenstates from the phi-ladder in Recognition Science. Researchers modeling the neutrino sector within the RS framework would cite these definitions to generate mass predictions from the yardstick and rung formula. The module consists entirely of definitions and certificates with no proofs.
claimThe three active neutrino mass eigenstates are given by $m_i = y_0 phi^{r_i-8+gap(Z)}$ where $y_0$ is the yardstick, $r_i$ the assigned rung on the phi-ladder, and $gap(Z)$ the correction for the species.
background
Recognition Science assigns every particle mass via the phi-ladder formula yardstick times phi to the power of (rung minus 8 plus gap correction). Neutrinos occupy the lowest rungs because of their small masses. The module imports the base time quantum from Constants, described as the fundamental RS time quantum with tau_0 equal to 1 tick in RS-native units.
proof idea
This is a definition module, no proofs.
why it matters in Recognition Science
The module supplies the neutrino mass eigenstate definitions that complete the particle spectrum section of the Recognition framework. It applies the phi-ladder mass formula to the neutrino sector, supporting any later results that require explicit neutrino masses or mass ratios.
scope and limits
- Does not derive the PMNS mixing matrix or oscillation parameters.
- Does not address sterile neutrinos or seesaw mechanisms.
- Does not convert RS-native masses to laboratory units such as eV.
- Does not prove the rung assignments from first principles.