Registry · Proposition IV.P203 conjectural formalized

IV.P203 — Jarlskog J Full-τ Consistency: J_τ = A_τ²·λ_τ⁶·η̄_τ

Full-τ Jarlskog invariant: J_τ = A_τ²·λ_C_τ⁶·η̄_τ with all four Wolfenstein parameters from τ-formulas. λ_C = ι_τ(1-ι_τ) at -2327 ppm, A = 1-(3/2)ι_τ² at -887 ppm, η̄ = ι_τ^(-1/4)·κ_D^(5/4)/√5 at -2285 ppm, ρ̄ = 1/(2π) at +975 ppm. Provides independent consistency check on the combined τ-CKM framework. PDG J = (3.08±0.15)×10⁻⁵.

Book IV Part 5 Ch. 36

Dependency Graph

Depends on (4)

Depended on by (1)

Lean Formalization

Module: TauLib.BookIV.Particles.ThreeGenerations

Symbol: Tau.BookIV.Particles.jarlskog_full_tau_consistency