pith. sign in
module module moderate

IndisputableMonolith.Physics.ThreeGenerations

show as:
view Lean formalization →

The module defines the 8-tick cycle indexed by a set of cardinality 8 together with generation types and tick-based mappings to model three particle generations in Recognition Science. Researchers deriving mass hierarchies from the phi-ladder would cite its indexing and bijections. It supplies type definitions and mappings on top of the tick time quantum.

claimThe 8-tick cycle indexed by the finite set of cardinality 8, with bijections to bit patterns, a type for the three generations, and functions mapping tick indices to dimensions and masses on the phi-ladder.

background

Recognition Science quantizes time in ticks with the base unit τ₀ = 1 from the Constants module. This module realizes the eight-tick octave by indexing the cycle with a set of eight elements. It introduces the generation type, the three-generations object, tick-to-dimension maps, and mass assignments via the phi-ladder.

proof idea

This is a definition module, no proofs.

why it matters in Recognition Science

The module realizes the eight-tick octave step in the unified forcing chain and supplies the scaffolding for three generations. It enables the mass hierarchy pattern and dimension assignments that appear in the physics layer. No downstream uses are recorded, indicating it serves as a foundational block for generational physics.

scope and limits

depends on (1)

Lean names referenced from this declaration's body.

declarations in this module (22)