Registry · Remark V.R266 tau-effective formalized

V.R266 — Not all parameters have been computed

Honesty requires stating that not all Standard Model parameters have been computed from tau. The electron mass is derived to 0.025 ppm, and W/Z/H masses to approximately 3%. Quark masses and CKM mixing angles have not yet been derived at comparable precision. The derivation is part of the ongoing research programme.

Book V Part 7 Ch. 60

Lean Formalization

Module: TauLib.BookV.Orthodox.CorrespondenceMap

Symbol: Tau.BookV.Orthodox.NotAllParametersHaveBeenComputed