Encyclopedia/All topics/Masses
Masses
Articles 1–60 of 731. Alphabetical by title.
Masses Anchor
Masses anchor is the module that fixes the parameter-free constants used to build particle mass yardsticks, without yet forcing which sector owns which expression.
Masses Anchor B Pow Down Quark Eq
A machine-checked theorem pins a single integer, 23, as the exponent in a mass scale for the down quark sector.
Masses Anchor B Pow Lepton Eq
A single number, -22, anchors the mass scale of all leptons in one framework's model of particle masses.
Masses Anchor B Pow Up Quark Eq
A machine-checked theorem fixes one number in the framework's mass ladder at -1; the sector assignment itself remains a choice, not a proof.
Masses Anchor Derivation
Masses anchor derivation is the formal proof that sector constants in the mass ladder are not fitted numbers but are forced by cube geometry and crystallography.
Masses Anchor Policy
The anchor policy fixes the scale and base for all mass predictions in Recognition Science, and the module defines the exact formula that turns sector, charge, and rung into a pred
Masses Anchor R Lepton Values
In the framework's model of particle masses, three integers encode the electron, muon, and tau: 2, 13, and 19.
Masses Anchor R0 Down Quark Eq
A machine-checked definition assigns the down quark a starting integer of -5 in a mass formula; it is a definitional choice, not a derived prediction.
Masses Assumptions
Masses assumptions is the model layer that collects the phenomenological predicates used by the masses modules, including the ladder bound and the sterile exclusion.
Masses Baseline Derivation
Masses baseline derivation is the upgrade of boundary assumptions about particle mass rungs into derived quantities from the geometry of the 3-cube.
Masses Baseline Derivation Color Offset Eq Quark Baseline
In the framework's particle mass scheme, the number that offsets quark color charges equals the baseline quark mass number, both being 4.
Masses Baseline Derivation Generation Ordering General
The ordering of particle generations follows from the geometry of a cube, not from free parameters.
Masses Baseline Derivation Lepton Baseline Matches Anchor
A small integer, 2, anchors the electron family's mass ladder in the geometry of a cube.
Masses Baseline Derivation Minimal Complete Coefficients
A small theorem about counting particles that turns out to be a statement about how the framework's ledger stays consistent.
Masses Baseline Derivation Nontriviality From Cost
A tiny theorem about a cost function says that a change costing nothing leaves no trace, which anchors why the framework counts only real events.
Masses Baseline Derivation Quark Baseline Matches Anchor Down
A machine-checked proof identifies the quark baseline with a specific integer, 4, and ties it to a named anchor in the framework's particle table.
Masses Baseline Derivation Quark Baseline Matches Anchor Up
A machine-checked proof shows that the number 4, derived from the geometry of a cube, equals the starting point assigned to the up quark in the framework's mass ladder.
Masses Basic
Masses Basic defines the charged-lepton mass ladder as a phi-power surrogate and records the pending proof that it matches measured values.
Masses Channel Cost
A simple counting rule, two sides per distinction, forces the base coefficient in a machine-checked theory of particle masses.
Masses Channel Cost Base Rule Of Channel Cost Premises
A theorem in the Recognition Science library shows that two simple modeling choices force the base cost coefficient to be exactly 2, and that without them the coefficient is free.
Masses Channel Cost Boundary
A machine-checked library proves exactly when a particle's mass channel can cost a rational amount, and why the smallest such cost picks the golden ratio squared.
Masses Channel Cost Boundary Channel Cost Shift Rational Pos Iff
A theorem in the Recognition Science library classifies exactly when a deformed mass-channel cost is a positive rational number, and it does not claim that any particular deformati
Masses Channel Cost Boundary Jcost Phi Pow Irrational Of Odd
On the golden ratio's powers, the framework's cost function is rational only at even rungs, a fact that pins down the smallest possible cost of a physical channel.
Masses Channel Cost Boundary Rational Minimal Channel Cost Closes Base
A theorem about the golden ratio pins down the price of a particle channel, but only if you accept a principle it cannot prove.
Masses Channel Cost Boundary Rational Minimal Channel Cost Eq Two
A theorem about the golden ratio pins down the smallest possible cost of a particle channel, but only under conditions the framework itself has not yet proven.
Masses Channel Cost Channel Cost Independent Without Premises
A machine-checked theorem shows a key mass formula's structure survives even when its two modeling assumptions are dropped, while its predictions change.
Masses Channel Cost Phi Pow Add Conj Int
A simple pattern in the powers of the golden ratio: add a power to its conjugate, and you always get a whole number.
Masses Channel Cost Phi Pow Sub Conj Eq Fib Sqrt5
A proved identity links powers of the golden ratio to Fibonacci numbers, but it says nothing about particle masses or the fine-structure constant.
Masses Channel Cost Sqrt5 Irrational
A machine-checked proof that the square root of 5 is irrational, and what that fact does to the prices of golden-ratio powers.
Masses Channel Distinction
In the framework's account of particle masses, a channel is a two-sided distinction, and the number of channels a particle uses is exactly the number of distinctions it affirm
Masses Channel Distinction B22 Counts Two Sided Axis As One
A simple arithmetic identity in a machine-checked library decides how the framework counts a two-sided symmetry: as one axis, not two.
Masses Channel Distinction Base Rule Of Channel Distinction Model
A machine-checked theorem shows that when each particle channel carries exactly two distinctions, the minimal pricing rule forces a base coefficient of 2.
Masses Channel Distinction Channel Count Is Distinction Count
The number of forces a particle feels equals the number of yes/no distinctions it makes about them, a theorem that turns counting channels into counting decisions.
Masses Channel Distinction Channel Distinction Boundary
A machine-checked theorem shows that alternative counts of distinction axes per channel are not just different ideas, they change observable predictions.
Masses Channel Distinction Channel Distinction Of Eq Affirm Iff
A machine-checked theorem ties a Boolean channel predicate to the framework's affirm side, and the surrounding lemmas show why that link matters for counting degrees of freedo
Masses Channel Distinction Charge Channel Two Distinctions
In the Recognition Science account of particle masses, a particle's electric charge is not a single fact but a pair of distinctions: whether it has charge at all, and which si
Masses Channel Distinction Color Orientation Is Second Distinction
A machine-checked proof that the color charge's up/down orientation is a real, two-sided distinction, not a bookkeeping convenience.
Masses Channel Distinction Couples To Charge True Iff
A single theorem in the framework's machine-checked library links the abstract property of coupling to charge with the concrete fact of a nonzero charge value.
Masses Coherence Exponent
The coherence exponent is the number 5, forced by the Fibonacci constraint that both the dimension and its octave be Fibonacci numbers.
Masses Coherence Exponent Coherence Exponent From Fibonacci
A number that appears in particle masses is tied to a Fibonacci pattern, but the derivation is a structural identity, not a measurement.
Masses Coherence Exponent Coherence Exponent Is Fib 5
A small number, 5, emerges from a Fibonacci constraint on dimension, and the framework's library proves the connection.
Masses Coherence Exponent Coherence Exponent Unique
The number 5, hidden in a Fibonacci pattern, turns out to be the exponent that sets a fundamental energy scale in Recognition Science.
Masses Coherence Exponent D 1 Fibonacci Constraint
A small machine-checked theorem checks that the number 1 and its double 2 both appear in the Fibonacci sequence, a step in a larger argument about why space has three dimensions.
Masses Coherence Exponent Fib Recurrence At 6
The Fibonacci recurrence, a simple arithmetic identity, becomes the hinge for a structural claim about a physical constant.
Masses Coherence Exponent Fibonacci Deficit
A simple arithmetic identity, 8 minus 3 equals 5, becomes the seed of a physical constant in Recognition Science.
Masses Dof Pricing Base Coefficient Two Of Minimal
A minimal pricing rule forces each two-sided channel to cost exactly 2 rungs, fixing the base of the mass ladder.
Masses Dof Pricing Base Rule Of Minimal Pricing
A pricing rule for particle degrees of freedom that starts with an arbitrary integer and ends, by a minimality principle, at the number 2.
Masses Dof Pricing Dof Exponents Add
In the Recognition Science account of particle masses, the rule for combining independent factors is a simple algebraic identity: exponents on the phi-ladder add.
Masses Dof Pricing Dof Pricing Boundary Without Minimality
A machine-checked theorem shows what happens if you drop the one selection principle in the framework's pricing rule: the predictions change.
Masses Dof Pricing Ecoh Differs Without Minimality
A machine-checked theorem shows that without a chosen principle of minimality, the framework's particle-mass ladder admits a second, distinct price scale.
Masses Dof Pricing Ecoh Exponent Eq Config Dim
A machine-checked theorem ties a particle's coherence exponent to its configuration dimension, but only after a minimality principle is assumed.
Masses Electroweak Masses
The Z and W boson masses are not arbitrary numbers in this framework: a single formula tied to the golden ratio places them within a fraction of a percent of measured values.
Masses Electroweak Masses Cos2 Theta Positive
In the standard model, the Weinberg angle mixes the electromagnetic and weak forces; the framework's derivation of its cosine-squared value is a small, fully checked piece of
Masses Electroweak Masses Cos2 Theta W Rs Eq
A machine-checked identity expresses the electroweak mixing angle through the golden ratio, but the physics that connects them remains a model.
Masses Electroweak Masses Sin2 Theta Lt Half
The Weinberg angle sets the relative strength of two fundamental forces; a machine-checked proof pins it below one half.
Masses Electroweak Masses Sin2 Theta Positive
The Weinberg angle links the W and Z boson masses; Recognition Science gives a fixed value for it, and proves that value is positive and less than one half.
Masses Electroweak Masses Wz Ratio Eq Cos
The W boson mass is defined as the Z mass times the cosine of the electroweak mixing angle; the framework's machine-checked library proves this ratio identity by construction.
Masses Electroweak Masses Z Mass Bounds
A machine-checked theorem pins the Z boson's predicted mass to a narrow window, then checks it against the measured value.
Masses Excitation Ordering
A geometric fact about a cube, edges before faces, explains why particle generations appear in a fixed order.
Masses Excitation Ordering Edge Is Minimal Nontrivial Excitation
In the framework's model of particle generations, the first excited state is tied to the cube's edges, not its faces, and the reason is purely dimensional.