`GenerationStructure`

definition

show as: view math explainer →

module: IndisputableMonolith.Physics.Hierarchy
domain: Physics
line: 29 · github
papers citing: none yet

open explainer

Read the cached plain-language explainer.

open lean source

IndisputableMonolith.Physics.Hierarchy on GitHub at line 29.

browse module

All declarations in this module, on Recognition.

explainer page

A cached Ask Recognition explainer exists for this declaration.

open explainer

depends on

used by

formal source

  26    cubic voxel (E_p = 11, F = 6).
  27    - Δ₁ (Gen 1 to 2): 11 rungs.
  28    - Δ₂ (Gen 2 to 3): 6 rungs (integer) or scaled for quarks. -/
  29structure GenerationStructure where
  30  delta1 : ℝ
  31  delta2 : ℝ
  32
  33/-- Lepton Hierarchy: Δ₁ = 11, Δ₂ = 6. -/
  34def lepton_hierarchy : GenerationStructure := {
  35  delta1 := 11
  36  delta2 := 6
  37}
  38
  39/-- Quark Hierarchy (Quarter-Ladder):
  40    Top -> Bottom -> Charm -> Strange.
  41    Note: These steps are from the 'Deep Ladder' mapping. -/
  42def quark_hierarchy : GenerationStructure := {
  43  delta1 := (step_top_bottom : ℝ)
  44  delta2 := (step_bottom_charm : ℝ)
  45}
  46
  47/-- **THEOREM: Hierarchy Coherence**
  48    The lepton and quark hierarchies are both sub-structures of the same
  49    8-tick recognition cycle. -/
  50theorem hierarchy_coherence :
  51    lepton_hierarchy.delta1 = 11 ∧
  52    quark_hierarchy.delta1 = 7.75 := by
  53  constructor
  54  · rfl
  55  · unfold quark_hierarchy step_top_bottom; norm_num
  56
  57end Hierarchy
  58end Physics
  59end IndisputableMonolith

papers checked against this theorem

No papers in the current corpus map onto this theorem yet.