Encyclopedia/All topics/Masses

Masses

Articles 61–120 of 731. Alphabetical by title.

• Masses Excitation Ordering Excitation Cost Pos Of Ne Zero

  In the Recognition Science framework, the cost of an excitation is always positive unless it is the ground state, a fact proved by a machine-checked theorem.

• Masses Excitation Ordering Excitation Cost Strict Mono

  The theorem excitationCost_strictMono proves that in the framework's model, the cost of exciting a generation strictly increases with the generation's torsion number.

• Masses Excitation Ordering Excitation Ordering Certificate

  A machine-checked proof shows that if particle excitations attach to a cube's parts in order of dimension, the resulting mass pattern is forced, not chosen.

• Masses Excitation Ordering Excitation Ordering Implies Filtration

  The theorem ties the order in which particles excite to the geometry of a cube, showing a geometric principle explains a numerical schedule.

• Masses Excitation Ordering First Increment Is Passive Edges

  In the Recognition Science account of particle masses, the first excited generation of matter is tied to the cube's edges, not its faces.

• Masses Excitation Ordering Ordering Is Dimensional Not Numerical

  A cube's geometry, not the size of its numbers, decides which particle excitations come first in this framework.

• Masses Fermi From Rsinputs

  The Fermi constant, which sets the strength of the weak nuclear force, is derived in this framework from just three inputs, with zero free parameters.

• Masses Fermi From Rsinputs Fermi From Rsinputs Cert

  A machine-checked certificate ties the Fermi constant to a chain of derived inputs, with zero free parameters, and says plainly what it does not prove.

• Masses Fermi From Rsinputs Free Parameters In Gf Chain

  The framework's machine-checked library states that its Fermi constant derivation uses no free parameters, but the claim is structural, not a measurement.

• Masses Fermi From Rsinputs Gf Tree Inv

  A machine-checked derivation expresses the Fermi constant from three measured electroweak inputs, with no free parameters in the chain.

• Masses Fermi From Rsinputs Gf Tree Inv Closed Form

  The Fermi constant, which sets the strength of the weak nuclear force, emerges from a single structural formula in this framework, with no adjustable parameters.

• Masses Fermi From Rsinputs Gf Tree Inv Pos

  The Fermi constant measures the strength of the weak nuclear force, and Recognition Science's machine-checked library proves its tree-level value is always positive.

• Masses Fermi From Rsinputs Gf Zero Free Params

  A machine-checked theorem states that the Fermi constant's derivation from Recognition Science inputs uses zero free parameters, but the physical comparison to measurement is

• Masses Fermi From Rsinputs Vev Tree Sq Pos

  In the standard model, the Fermi constant's value hinges on the Higgs vacuum, and a machine-checked proof now confirms that this vacuum squared is positive.

• Masses Gap Function Forcing

  Gap function forcing fixes the mass ladder's step formula from three normalization points, leaving no free parameters in the affine-log family.

• Masses Generation Torsion Bridge

  Three numbers that label particle generations come from the geometry of a cube, not from arbitrary inputs.

• Masses Generation Torsion Bridge Canonical Loop Excitation Minimal

  In the Recognition Science framework, the three generations of matter are tied to the geometry of a cube, and a minimal loop excitation is the unique way to count them.

• Masses Generation Torsion Bridge Cube Geo Torsion Eq Generation Torsion

  Three numbers that label particle generations can be counted from the edges and faces of a cube, and a machine-checked proof shows the count is unique.

• Masses Generation Torsion Bridge Generation Slot Count Eq Loop Count

  A machine-checked theorem ties the number of particle generations to the number of independent loops in a cube, and the proof is pure geometry.

• Masses Generation Torsion Bridge Generation Torsion Has Cube Filtration

  A machine-checked proof shows that the three charged fermion generations correspond to counting the edges and faces of a cube, but the physical reason for that coupling remains an

• Masses Generation Torsion Bridge Ground State Compatible Forces Ground Zero

  A machine-checked proof shows that the first generation of matter must carry zero torsion, a geometric charge, if it is to be a stable ground state.

• Masses Generation Torsion Bridge Minimal Loop Excitation Matches Generation Slot

  A theorem in the Recognition Science library ties the number of particle generations to the number of independent loops that can be drawn on a cube, and the proof is a matter of co

• Masses Jcost Perturbation

  Mass-layer J-cost perturbation is the forced perturbative form of the recognition cost used to derive lepton mass steps.

• Masses Kernel Types

  Masses kernel types are the data structures that encode each particle's gauge quantum numbers and its rung on the mass ladder.

• Masses Ladder Offset Gauge

  In the framework's mass ladder, the offset gauge is the part of the exponent that a measurement can never see, and the module proves exactly what remains visible.

• Masses Ladder Offset Gauge Flatten Offsets Invisible

  In the framework's mass ladder, three bookkeeping offsets can be set to zero without changing a single predicted mass: only their sum is real.

• Masses Ladder Offset Gauge Power Of Two Not Absorbable

  A theorem in the Recognition Science library shows that a factor of two in a particle mass cannot be hidden by renumbering the rungs of the mass ladder.

• Masses Ladder Offset Gauge Predict At

  A single formula predicts particle masses from a few whole numbers, and the framework proves that only the sum of those numbers can ever be measured.

• Masses Ladder Offset Gauge Predict Mass Factored

  A machine-checked theorem shows that the framework's particle mass formula depends only on one total exponent, not on how that exponent is split into named pieces.

• Masses Ladder Offset Gauge Rung Shift Absorbs Offset

  In the Recognition Science mass law, moving every rung on the ladder by the same amount leaves every predicted mass untouched, because only the sum of the offsets can be observed.

• Masses Ladder Offset Gauge Sum Identifiable

  A machine-checked theorem shows that in the framework's mass law, only the total exponent is physically real, and the rest is bookkeeping.

• Masses Lepton Mass Ladder

  The lepton mass ladder is the phi-power spacing of electron, muon, and tau masses that Recognition Science derives from a shared rung structure.

• Masses Manifest

  The masses manifest is the public inventory of modules that build the particle mass ladder in Recognition Science.

• Masses Mass Genesis Admissibility Construction

  A machine-checked library shows exactly which evidence is needed to turn a stable light pattern into a particle with a definite mass.

• Masses Mass Genesis Admissibility Construction Admissibility Construction Cert

  A machine-checked certificate packages the exact evidence needed to turn a stable light pattern into a particle with a predicted mass.

• Masses Mass Genesis Admissibility Construction Bottom Up Canonical Admissibility

  A machine-checked library defines precisely what evidence a light pattern must supply before the framework will call it a mass.

• Masses Mass Genesis Admissibility Construction Full Chain For Bottom Up Evidence

  A machine-checked theorem shows that if stable light patterns carry local mass loads that sum correctly, then rest, inertial, and gravitational mass all agree.

• Masses Mass Genesis Admissibility Construction Rest Mass Eq Predicted Mass Of Bo

  A machine-checked theorem shows that if a stable light pattern carries the right kind of internal evidence, its rest mass equals its predicted mass.

• Masses Mass Genesis Admissible Mass Image

  A machine-checked proof separates the nine known charged particles from any possible extra neighbors, and names the one physical claim it does not yet settle.

• Masses Mass Genesis Admissible Mass Image Charged Rows Length

  A machine-checked theorem counts exactly nine charged matter rows, but the deeper question of why no others exist remains open.

• Masses Mass Genesis Admissible Mass Image Charged Rows Nodup

  A machine-checked theorem confirms the nine known charged fermions are distinct entries in a list, without claiming that list is physically complete.

• Masses Mass Genesis Admissible Mass Image Exact Image Excludes Nonrealized Secto

  A machine-checked lemma rules out unlisted particle rows, but the physical theorem that would make that exclusion complete remains open.

• Masses Mass Genesis Admissible Mass Image Exact Image Of Physical Stability

  A machine-checked theorem states that if physical stability singles out any set of charged particle patterns, that set is exactly the nine known fermions and nothing else.

• Masses Mass Genesis Admissible Mass Image Forbidden Near Rows Not In Candidate I

  A machine-checked proof confirms that six specific mass values, which sit close to known particle masses, are absent from the framework's candidate list.

• Masses Mass Genesis Admissible Mass Image Realized Excludes Nonrealized Sector R

  A machine-checked theorem certifies that the nine known charged particles fill their allowed slots exactly, with no neighboring place left open.

• Masses Mass Genesis Admissible Mass Image Row Coupling Dim Eq

  A machine-checked theorem ties each charged particle's coupling dimension to its topology, but leaves the physical stability proof open.

• Masses Mass Genesis Anchor Amplitude Primitive

  A machine-checked proof narrows the path from abstract pattern to measurable mass, landing on a single amplitude that must equal a specific geometric chord.

• Masses Mass Genesis Anchor Amplitude Primitive Canonical Primitive Load Factoriz

  A single amplitude condition, once met, gives access to the full mass-generation chain: stability, positive rest mass, and quantized rungs.

• Masses Mass Genesis Anchor Amplitude Primitive Primitive Amplitude Cp6 Iff Primi

  A machine-checked theorem equates two ways of describing a particle's mass-generating pattern, one geometric and one algebraic.

• Masses Mass Genesis Anchor Amplitude Primitive Primitive Amplitude Cp6 Of Primit

  A machine-checked proof shows that two different ways of writing a particle's mass condition are exactly the same statement, and the proof stops well short of deriving the mas

• Masses Mass Genesis Anchor Amplitude Primitive Primitive Amplitude Norm Iff Prim

  A machine-checked equivalence says that a particle's mass can be described either as a squared length or as a product of two factors, and the two descriptions are exactly the

• Masses Mass Genesis Anchor Amplitude Primitive Primitive Amplitude Norm Of Primi

  A single theorem in a machine-checked library links a geometric description of particle states to a numerical measure of their mass, without yet deriving that geometry from deeper

• Masses Mass Genesis Anchor Amplitude Primitive Primitive Factor Norm Of Primitiv

  A machine-checked theorem ties two different ways of measuring a light pattern's mass-bearing content, showing they are the same condition.

• Masses Mass Genesis Anchor Norm Primitive

  A mass formula that splits into two simple factors, and the proof that this simpler form is exactly equivalent to the full one.

• Masses Mass Genesis Anchor Norm Primitive Canonical Primitive Load Factorizes Of

  A machine-checked theorem shows that a simple two-factor formula for mass is equivalent to a far more complex expanded one, provided the right evidence exists.

• Masses Mass Genesis Anchor Norm Primitive Full Chain For Primitive Factor Norm

  A single machine-checked theorem ties a simple two-part mass formula to stability, quantization, and the equality of inertial and gravitational mass.

• Masses Mass Genesis Anchor Norm Primitive Fully Expanded Norm Of Primitive Facto

  A single formal theorem connects a simplified mass formula to the full mass-genesis chain, but it does not derive either formula from physical dynamics.

• Masses Mass Genesis Anchor Norm Primitive Primitive Factor Norm Iff Fully Expand

  A single anchor norm for particle mass has two equivalent descriptions: one that splits into factors, and one that spells every term out. The theorem says they are the same law.

• Masses Mass Genesis Anchor Norm Primitive Primitive Factor Norm Of Fully Expande

  A machine-checked theorem shows that a certain expanded mass formula can be rewritten as a simpler product of two factors, but it does not prove that either factor is physically co

• Masses Mass Genesis Anchor Norm Primitive Primitive Phi Transport Eq Rung Mul Ch

  A machine-checked theorem shows that in the framework's mass model, the golden-ratio factor attached to a particle splits cleanly into a rung part and a charge part, but it do