Registry · Remark IV.R409 tau-effective formalized

IV.R409 — OQ-CKM1 Status after Sprint 6B: All Four Wolfenstein τ-Effective

OQ-CKM1 fully resolved: λ_C (-2327 ppm), ρ̄ (+975 ppm), A (-887 ppm), η̄ (-2285 ppm) — all four Wolfenstein parameters τ-effective. Best η̄: ι_τ^(-1/4)·κ_D^(5/4)/√5 = 0.347205 at -2285 ppm. Structural derivation of η̄ exponents open; numerical τ-effectiveness established.

Book IV Part 5 Ch. 36

Dependency Graph

Depends on (4)

Lean Formalization

Module: TauLib.BookIV.Particles.ThreeGenerations

Symbol: Tau.BookIV.Particles.oqckm1_status_sprint6b