Pith. sign in
module module moderate

IndisputableMonolith.Physics.QuarkMassHierarchyFromPhiLadder

show as:
view Lean formalization →

The module defines the six quark flavours as three generations times two charge types and assigns their masses via the phi-ladder formula. Researchers deriving fermion mass patterns in Recognition Science would reference these constructions. It supplies the type, counting, partition, mass function, ratio, positivity, and certification objects needed for the quark sector.

claimSix quark species arise from $3$ generations $ imes 2$ charge sectors, with masses $m_q = y \cdot \phi^{r-8+g(Z)}$ on the phi-ladder where $y$ is the yardstick and $g(Z)$ the gap term.

background

Recognition Science places all masses on the phi-ladder with rung offsets measured from the base unit supplied by the Constants module, where the fundamental RS time quantum satisfies $ au_0 = 1$ tick. The module specializes this ladder to quarks by introducing the flavour set of cardinality six, the six_partition that groups them by generation and charge, the mass assignment function, ratio maps, positivity statements, and a certification structure.

The local setting is the quark sector of the mass hierarchy problem, with all quantities expressed in RS-native units where $c=1$ and the golden ratio $\phi$ governs self-similar scaling.

proof idea

This is a definition module, no proofs.

why it matters in Recognition Science

The module supplies the quark-sector realizations of the phi-ladder mass formula that integrate into the broader particle content derivations of Recognition Science. It directly implements the mass assignment for the six flavours required by the T5–T8 forcing chain and the RCL composition law. No parent theorems are recorded in the used_by edges.

scope and limits

depends on (1)

Lean names referenced from this declaration's body.

declarations in this module (8)