phiPredictedMR
plain-language theorem explainer
Recognition Science assigns the Majorana mass scale the value 1.2 times 10 to the 19 divided by the golden ratio to the 13th power. Neutrino model builders working inside the phi-ladder framework cite this scale when constructing seesaw predictions for the mass hierarchy. The assignment is introduced by a direct real-number expression with no further reduction steps.
Claim. The predicted Majorana mass scale is given by the expression $1.2 times 10^{19}$ divided by $phi^{13}$, where $phi$ is the golden ratio.
background
The module treats observed neutrino mass differences. This definition supplies a concrete numerical scale drawn from the phi-ladder mass formula. It rests on the meta-realization structure that records the coherence axioms required for orbit and step consistency in scale assignments.
proof idea
The definition is a direct noncomputable assignment of the real value formed by dividing 1.2e19 by the golden ratio raised to the 13th power. No lemmas or tactics are invoked beyond built-in real arithmetic.
why it matters
This scale is invoked by the downstream theorem that verifies numerical agreement with 2.3e16 within an error of 1e15. It supplies the phi^13 rung for the Majorana mass inside the neutrino hierarchy, connecting the self-similar fixed point and eight-tick octave of the forcing chain to the seesaw mechanism.
Switch to Lean above to see the machine-checked source, dependencies, and usage graph.