Abridged version history. For the full changelog, see CHANGELOG.md.

---

NuFIT 6.0 Update & Publication Cleanup

• Updated to NuFIT 6.0 experimental values (δ_CP: 177°±20°)
• New neutrino formulas: θ12 = arctan(2/3), θ23 = arctan(√(14/11))
• Key insight: tan(θ12) = Q_Koide = 2/3
• Mean deviation: 0.24% (32 well-measured) / 0.57% (all 33 incl. δ_CP)
• S1 construction claims softened (conditional on Joyce existence theorem)
• Weyl → w rename to avoid collision with Weyl curvature

θ23 Formula Correction

• Fixed atmospheric mixing angle: arcsin(25/33) = 49.25° (was 59.16°)
• θ23 deviation: 20% → 0.10%
• Mean deviation: 0.84% → 0.21%

Selection Principle & 290+ Relations

• Selection Principle formalized in Lean 4
• TCS Spectral Bounds added
• 290+ total certified relations
• Lean 4 as sole verification system (Coq archived)

33 Observables & PDG 2024

• Expanded to 33 dimensionless predictions
• Updated to PDG 2024 experimental values
• 192,349-configuration Monte Carlo validation

Analytical G2 Metric

• Explicit Chebyshev-Cholesky metric (169 parameters)
• Newton-Kantorovich certification (h = ×ばつ10−8)
• 185 certified Lean relations

Major Release

• 165+ certified relations in Lean 4
• Fibonacci/Monster/McKay explorations

• Lean 4 verification introduced

• Zero-parameter paradigm established

• Torsional dynamics framework
• Scale bridge (Λ_GIFT = ×ばつe×ばつ248/(×ばつπ4))

• Framework reorganization

---

For complete details, see the full changelog.