top_mass_pos
plain-language theorem explainer
The top quark mass is strictly positive under the Recognition Science mass law. Researchers comparing these predictions to Standard Model data would cite the result. The proof is a direct one-line application of the general positivity theorem for any valid sector, rung, and Z configuration.
Claim. The predicted top quark mass satisfies $m > 0$, where $m =$ yardstick(Sector) $× φ^{r-8 + gap(Z)}$ and the parameters are those assigned to the top quark via its sector, rung, and charge structure.
background
The Standard Model mass verification module states the Recognition Science mass law $m(particle) =$ yardstick(Sector) $× φ^{r-8 + gap(Z)}$, with yardstick, rung $r$, and $Z$ fixed by cube geometry ($D=3$) and charge assignments. The definition of fermion mass applies this formula to each fermion type. The upstream theorem predict_mass_pos establishes positivity of the expression for any valid sector, rung, and $Z$.
proof idea
One-line wrapper that applies predict_mass_pos to the sector, rung, and $Z$ values for the top quark.
why it matters
The result confirms positivity for the top quark mass inside the Standard Model verification suite and supports the general mass-law positivity claim. It aligns with the phi-ladder scaling and the mass formula derived from the eight-tick octave and $D=3$ geometry. No open questions are addressed.
Switch to Lean above to see the machine-checked source, dependencies, and usage graph.