edge_dual_ratio

formal source

  26/-- The coupling between face-centered states (Gen 2) and vertex states (Gen 3).
  27    A face is dual to an edge in the sense of 'dual lattice' transitions.
  28    The ratio is 1 per 24 available transition slots. -/
  29def edge_dual_ratio : ℚ := 1 / 24
  30
  31/-- The parity-split fine structure leakage.
  32    Represents the coupling between non-adjacent generations (1 and 3)
  33    mediated by the vacuum polarization field alpha. -/
  34noncomputable def fine_structure_leakage : ℝ := Constants.alpha / 2
  35
  36/-- The 3-generation torsion overlap on the cubic ledger.
  37    This corresponds to the delocalization of the first generation
  38    across the three spatial dimensions. -/
  39noncomputable def torsion_overlap : ℝ := phi ^ (-3 : ℤ)
  40
  41/-- The solar mixing weight (2-step torsion gap). -/
  42noncomputable def solar_weight : ℝ := phi ^ (-2 : ℤ)
  43
  44/-- The solar radiative correction factor.
  45    Estimated as (E_passive - 1) * alpha. -/
  46noncomputable def solar_radiative_correction : ℝ := 10 * Constants.alpha
  47
  48/-- **THEOREM: Solar Angle Forced**
  49    The solar mixing angle is derived from the phi^-2 scaling with a
  50    10-alpha radiative correction. -/
  51theorem solar_angle_forced :
  52    solar_weight - solar_radiative_correction = phi ^ (-2 : ℤ) - 10 * Constants.alpha := by
  53  unfold solar_weight solar_radiative_correction
  54  ring
  55
  56/-- The atmospheric mixing weight (maximal parity mix). -/
  57noncomputable def atmospheric_weight : ℝ := 1 / 2
  58
  59/-- The atmospheric radiative correction factor.