Registry · Definition IV.D29 established formalized

IV.D29 — Strong Near-Match

Strong coupling near-match: 2·κ(C) = 2·ι_τ³/(1−ι_τ) ≈ 0.1208 vs α_s(M_Z) = 0.1180 (CODATA 2022). Deviation ~2.4%. τ-approximation overshoots. Range proof: 2·κ(C) ∈ (0.119, 0.122).

Book IV Part 2 Ch. 10

Dependency Graph

Depends on (2)

Depended on by (2)

Lean Formalization

Module: TauLib.BookIV.Calibration.DimensionlessNearMatch

Symbol: Tau.BookIV.Calibration.StrongNearMatch