Registry · Proposition IV.P161 tau-effective formalized

IV.P161 — Numerical value

Direct evaluation: kappa(A; 1) = iota_tau = 2/(pi + e) approx 0.341304. The pi-generator with balanced polarity maps directly to the A-sector at E1, making the weak coupling identical to the master constant.

Book IV Part 2 Ch. 10

Dependency Graph

Depends on (3)

IV.D255 IV.D01 IV.D06

Lean Formalization

Module: TauLib.BookIV.Calibration.DimensionlessCouplings

Symbol: Tau.BookIV.Calibration.NumericalValue