Changelog Highlights

Changelog Highlights

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

---

v3.3.24 — 2026-03-02

NuFIT 6.0 Update & Publication Cleanup

• Updated to NuFIT 6.0 experimental values (δ_CP: 177°±20°)
• New neutrino formulas: θ₁₂ = arctan(2/3), θ₂₃ = arctan(√(14/11))
• Key insight: tan(θ₁₂) = 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

v3.3.17 — 2026-02-04

θ₂₃ Formula Correction

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

v3.3.14 — 2026-01-28

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)

v3.3.0 — 2026-01-12

33 Observables & PDG 2024

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

v3.1.0 — 2025-12-17

Analytical G₂ Metric

• Explicit Chebyshev-Cholesky metric (169 parameters)
• Newton-Kantorovich certification (h = 6.65×10⁻⁸)
• 185 certified Lean relations

v3.0.0 — 2025-12-09

Major Release

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

v2.3.x — 2025-12

• Lean 4 verification introduced

v2.2.0 — 2025-11-27

• Zero-parameter paradigm established

v2.1.0 — 2025-11-22

• Torsional dynamics framework
• Scale bridge (Λ_GIFT = 21×e⁸×248/(7×π⁴))

v2.0.0 — 2025-10-24

• Framework reorganization

---

For complete details, see the full changelog.