Registry · Proposition IV.P05 tau-effective formalized

IV.P05 — All Near-Matches in Range

All three dimensionless near-matches within their range brackets: α (1/α ∈ [137,139]), sin²θ_W (κ(A,D) ∈ [0.224,0.226]), α_s (2κ(C) ∈ [0.119,0.122]). Structural observation, not proof of correctness.

Book IV Part 2 Ch. 11

Dependency Graph

Depends on (3)

IV.D08 IV.D28 IV.D29

Lean Formalization

Module: TauLib.BookIV.Calibration.DimensionlessNearMatch

Symbol: Tau.BookIV.Calibration.all_near_matches_in_range