Registry · Remark IV.R433 tau-effective not_applicable

IV.R433 — CKM Precision Assessment (Wave 44)

Wave 44 NLO: A from +44642 to +3109 ppm (14×), J from -35714 to +2624 ppm (13.6×). Both use ι_τ³=ι_τ^dim(τ³) with opposite signs. CKM sector now uniformly sub-3200 ppm with zero free parameters.

Book IV Part 5 Ch. 36

Dependency Graph

Depends on (2)

Lean Formalization

Module: TauLib.BookIV.Particles.ThreeGenerations

Symbol: Tau.BookIV.Particles.ckm_wave44_assessment