lepton_hierarchy
plain-language theorem explainer
Lepton hierarchy records rung gaps of 11 and 6 separating the three generations for leptons. Physicists checking discrete fermion spectra against cubic voxel topology cite this record when testing structural coherence. The definition is a direct assignment of the integer steps E_p = 11 and F = 6 inside the GenerationStructure record.
Claim. The lepton hierarchy is the record with topological gaps $Δ_1 = 11$ and $Δ_2 = 6$, where these separate the three generations according to the cubic voxel with $E_p = 11$ and $F = 6$.
background
GenerationStructure is the record type that holds the two rung gaps separating the three fermion generations. Its documentation states that the gaps are topological separations derived from the cubic voxel, with $Δ_1$ (generation 1 to 2) equal to 11 rungs and $Δ_2$ (generation 2 to 3) equal to 6 rungs for the lepton sector.
proof idea
Direct definition that populates the GenerationStructure record with the fixed integer values 11 and 6 for the lepton sector.
why it matters
This definition supplies the lepton rung gaps that feed into the hierarchy_coherence theorem establishing that lepton and quark hierarchies are sub-structures of the same 8-tick recognition cycle. It completes the lepton half of the Generation Torsion Universality statement. The values align with the eight-tick octave (T7) in the Recognition Science forcing chain.
Switch to Lean above to see the machine-checked source, dependencies, and usage graph.