Registry · Theorem IV.T175 conjectural formalized

IV.T175 — θ₁₂ from QLC + Higgs NLO at +3106 ppm

θ₁₂ = π/4 − θ_C + ι_τ²κ_ω gives sin²θ₁₂=0.3080 at +3106 ppm from PDG 0.307. Wave 11A: QLC proved from fiber-base duality — quarks on T² (fiber) have small mixing θ_C, leptons on τ¹ (base) complement to π/4 because T²×τ¹→τ³ constrains total mixing. Correction ι_τ²κ_ω from ω-sector coupling between fiber and base.

Book IV Part 5 Ch. 35

Dependency Graph

Depends on (3)

Depended on by (6)

Lean Formalization

Module: TauLib.BookIV.Particles.ThreeGenerations

Symbol: Tau.BookIV.Particles.theta12_nlo_conj