massCanonFromWord
plain-language theorem explainer
This definition assembles the canonical pure mass for a ribbon word by first extracting its rung from the generation class, mapping the integerized charge to an effective Z, and then applying the pure mass formula. Researchers constructing demo particle spectra on the phi-ladder in Recognition Science would cite it when building mass values from ribbon structures. The implementation is a direct three-step composition of rung extraction, sector-based Z selection, and the massCanonPure applicator.
Claim. Let $b$ be a Boolean for quark versus lepton sector, $Q_6$ an integerized charge, $g$ a generation class, and $w$ a list of ribbon syllables. The canonical mass is given by $m = m_0(r,Z)$ where $r$ is the rung extracted from $g$ and $w$, and $Z$ is the effective integer charge obtained by selecting the quark or lepton map according to $b$.
background
The Ribbons module supplies a placeholder construction for mass ribbons, with words defined as lists of ribbon syllables that encode deterministic ring patterns across ticks. Generation classes are the inductive labels g1, g2, g3. The rungFrom function builds the rung number from the word length and generation, while Z_of_charge chooses between the quark and lepton branches of the Anchor Z map, where Z itself is the integer quadratic form in Q6 given by the Anchor relation (lepton case: Q6 squared plus Q6 to the fourth; quark case adds an offset of 4).
proof idea
The definition is a one-line wrapper. It invokes rungFrom on the generation class and word to produce r, calls Z_of_charge on the quark flag and Q6 to produce Z, and passes the pair directly to Derivation.massCanonPure.
why it matters
This definition supplies the concrete interface for pure-mass evaluation from ribbon words inside the Masses.Ribbons model file. It directly encodes the Recognition Science mass formula (yardstick times phi to the power of rung minus 8 plus gap of Z) by composing the rung and Z steps. The module is explicitly a narrative scaffold whose RS derivations remain unformalised, so the definition serves as a demo input rather than a proved theorem; no downstream theorems yet depend on it.
Switch to Lean above to see the machine-checked source, dependencies, and usage graph.