IndisputableMonolith.Masses.RungConstructor.Motif
Module Motif supplies cumulative generation torsion motifs for leptons in the Recognition Science mass framework. It defines step generators and tau_charged for charged leptons on the phi-ladder, distinguishing them from quark versions via tau_sdgt. Mass modelers cite these definitions when constructing lepton rungs from the Basic species. The module holds only definitions with no theorems or proofs.
claimDefines cumulative generation torsion $T$ for leptons via functions such as step_gen1, step_gen2_charged, tau_charged, with $T$ correct for leptons and $T_{sdgt}$ reserved for quarks.
background
The module imports Basic, which supplies canonical species for the mass framework, and sits inside the rung constructor hierarchy. It introduces torsion motifs that accumulate generation steps on the phi-ladder, where mass is given by yardstick times phi to the power (rung minus 8 plus gap(Z)). These motifs implement the lepton-specific case of the mass formula while deferring quark torsion to tau_sdgt.
proof idea
This is a definition module, no proofs.
why it matters in Recognition Science
The module feeds the Proofs module, which shows that the rung constructor reproduces the charged lepton table. It supplies the lepton torsion layer required by the mass formula in the Recognition framework, connecting directly to the phi-ladder construction and the eight-tick octave structure.
scope and limits
- Does not define quark torsion motifs.
- Does not contain any theorems or proofs.
- Does not compute numerical mass values.
- Does not address neutrino-specific rungs beyond the listed siblings.