pith. sign in
module module high

IndisputableMonolith.Physics.Hierarchy

show as:
view Lean formalization →

The Physics.Hierarchy module establishes Generation Torsion Universality by fixing the three particle generations at topological gaps of 11 and 6 rungs from the cubic voxel. Researchers deriving lepton and quark spectra in Recognition Science would cite it to close the mass ladder. The module assembles forced results from lepton necessity, quark masses, and mixing geometry without new standalone proofs.

claimThe generation gaps satisfy $Δ_1=11$ rungs (Gen 1 to 2) and $Δ_2=6$ rungs (Gen 2 to 3), with both gaps originating from the cubic voxel parameters $E_p=11$ and $F=6$.

background

Recognition Science builds particle masses on the phi-ladder and the cubic voxel topology. Constants supplies the base time quantum $τ_0=1$ tick. LeptonGenerations.Necessity proves the muon and tau masses are forced from the electron mass plus geometric constants (T10). MixingGeometry encodes the cubic voxel constraints that determine CKM and PMNS parameters. QuarkMasses derives the quark spectrum under the Quarter-Ladder Hypothesis (T12), though it incorporates PDG targets.

proof idea

This is an assembly module. It imports the lepton necessity proofs, the cubic voxel geometry, and the quark mass derivations, then organizes them under the single Generation Torsion Universality statement. No independent tactic or term proof appears inside the module.

why it matters in Recognition Science

The module realizes the Generation Torsion Universality theorem stated in its documentation and supplies the rung gaps that connect T10 (lepton necessity) to T12 (quark masses). It feeds the hierarchy coherence results listed among its siblings and closes the topological account of the three-generation structure inside the Recognition framework.

scope and limits

depends on (4)

Lean names referenced from this declaration's body.

declarations in this module (4)