Encyclopedia/All topics/Masses
Masses
Articles 721–731 of 731. Alphabetical by title.
Masses Verification Tau Electron Ratio Error
A machine-checked comparison between a predicted particle mass ratio and the measured value, with the honest limits of that comparison made explicit.
Masses Vevconsistency
The Higgs vacuum expectation value is not a free parameter in this framework; a machine-checked module derives it from other quantities and shows why the raw value needs a correcti
Masses Vevconsistency Running Ratio Bounds
A machine-checked theorem pins a small correction factor between 0.940 and 0.942, showing how a predicted Higgs value aligns with measurement after a known physics effect is applie
Masses Vevconsistency Sin2 Cos2 Gt
A machine-checked theorem pins the product of two electroweak mixing-angle squares to a narrow interval, a small but exact step in a larger derivation.
Masses Vevconsistency Sin2 Cos2 Product
A single algebraic identity ties the electroweak mixing angle to the golden ratio, and it is a proved theorem, not a fitted parameter.
Masses Vevconsistency Vev Tree Sq Closed Form
A machine-checked proof that the Higgs field's vacuum value can be written as a closed expression with no free parameters, though the expression needs a standard correction to
Masses Zmap Forcing
Masses zmap forcing is the Recognition Science derivation that fixes the integerization scale and charge-map coefficients for the three charged particle families to (6, 1, 1, 4).
Masses Zmap Forcing Complete Ordered Min Budget Forces Unit Coeffs
A small theorem in a machine-checked library shows that a minimal budget of two positive coefficients, once ordered, forces both to equal one.
Masses Zmap Forcing Complete Ordered Minimizer Forces Unit Coeffs
A minimal budget of two units forces the two coefficients in a mass formula to equal one, a small theorem with a large consequence.
Masses Zmap Forcing Zmap Canonical Tuple Forced From First Principles
A machine-checked theorem shows that four numbers, including the scale 6, are the only ones that satisfy a set of structural constraints on particle charges.
Masses Zmap Forcing Zmap Canonical Tuple Satisfies First Principles
A machine-checked proof shows that a specific set of four numbers, (6, 1, 1, 4), is the unique solution to a set of structural constraints, but it does not yet derive those constra