IndisputableMonolith.Verification.Preregistered.AlphaS.Measurement_PDG2022

   1import Mathlib
   2import IndisputableMonolith.Verification.Preregistered.Core
   3
   4/-!
   5# Measurement: α_s(M_Z) (PDG 2022/2024 ballpark)
   6
   7Pure data module. Update here when PDG updates.
   8-/
   9
  10namespace IndisputableMonolith
  11namespace Verification
  12namespace Preregistered
  13namespace AlphaS
  14
  15def measurement_PDG2022 : Measurement :=
  16  { name := "alpha_s_MZ_PDG"
  17  , central := 0.1179
  18  , sigma := 0.0009 }
  19
  20end AlphaS
  21end Preregistered
  22end Verification
  23end IndisputableMonolith
  24