pith. sign in
module module high

IndisputableMonolith.Physics.NeutrinoMassScaleScoreCard

show as:
view Lean formalization →

The neutrino mass scale scorecard module assembles row definitions for fractional phi-ladder placements of the three neutrino generations and certifies consistency with measured squared-mass differences. Model builders working on self-similar hierarchies beyond the Standard Model would cite these assignments. The module consists of imported rung-fraction support together with generation-specific rows and a top-level certification object.

claimThe scorecard certifies that neutrino masses occupy fractional rungs $r_i$ on the phi-ladder such that the resulting mass-squared ratios match the observed values of $dm^2_{21}$ and $dm^2_{31}$ under the rung-fraction convention.

background

The module sits inside the T14 neutrino-sector hypothesis, which places neutrinos on the deep ladder at even integers near rung -50, far below the electron rung. It imports the rung-fraction support file to permit non-integer placements that refine ratio matching for the three generations.

proof idea

This is a definition module, no proofs. It structures the argument by importing the neutrino sector and rung-fraction support, then declaring the three generation rows and the top-level certification object.

why it matters in Recognition Science

The module supplies the fractional refinement required to complete the T14 neutrino-sector derivation. It feeds the parent neutrino mass scale hypothesis by giving concrete rung assignments that reproduce the nufit mass-squared data. The certification object closes the scorecard for the deep-ladder placement.

scope and limits

depends on (2)

Lean names referenced from this declaration's body.

declarations in this module (8)