Masses Ribbons

Ribbon mass scaffold

A ribbon is one syllable of a particle-mass word: a start tick on an eight-tick clock, a direction, a ledger bit meant to be ±1, and a gauge tag. Strings of ribbons form words. Cancellation, normal form, and winding number are the rewrite rules that turn a word into a shorter ledger entry. Recognition Science records this machinery as a narrative scaffold for how masses might sit on a φ-power ladder; the file's own note says the RS derivations are not yet formalised, and later code treats the structures as demo inputs.

Mass from a word combines a rung number with a charge-dependent integer Z, using the golden ratio raised to the rung as the base factor. The rung itself is word length plus a generation offset: 0, 11, and 17 for the three generation classes. One checked identity, lepton_rungs_correct, states that a word of length 2 yields rungs 2, 13, and 19 for those three classes. That identity is arithmetic about the definitions, not a derivation from the forcing chain.

Torsion (winding mod 8) maps to a generation class, and mass-from-word folds rung, charge, and generation into one real. The whole construction is tagged Model: it names structures and choices. The φ-ladder mass scaling law lives elsewhere; this page supplies the ribbon vocabulary that could later carry it.

MODEL Ribbon · IndisputableMonolith/Masses/Ribbons.lean

THEOREM lepton_rungs_correct · IndisputableMonolith/Masses/Ribbons.lean

MODEL massCanonFromWord · IndisputableMonolith/Masses/Ribbons.lean

MODEL genOfTorsion · IndisputableMonolith/Masses/Ribbons.lean

What this page does not claim

That ribbon words already derive particle masses from the forcing chain. That the φ-ladder mass scaling law is established here. That the ribbon machinery is already joined to the physical recognition-to-linking bridge.

Verify this page

Every tagged claim above names its theorem. To check one yourself rather than trust this page, elaborate the source module with Lean 4 and audit its axiom basis:

$ lake env lean IndisputableMonolith/Masses/Ribbons.lean
expected axiom basis: [propext, Classical.choice, Quot.sound] (the Lean kernel's standard three; no RS-specific axioms)

A page whose claims cannot be reproduced this way does not ship. In production, every anchor links to the exact declaration in the public source release, and this block carries the build receipt for the page itself.

Derived articles

This page is generated by a question-recursion engine: the questions its answers raise become the next pages. The current agenda, with open targets marked red: