Registry · Proposition IV.P163 tau-effective formalized

IV.P163 — Numerical value

Direct evaluation: iota_tau^3 approx 0.039818, divided by (1 - iota_tau) approx 0.658696, gives kappa(C; 3) approx 0.060359. The strong coupling sits at primorial depth 3 with a confinement-encoding denominator.

Book IV Part 2 Ch. 10

Dependency Graph

Depends on (3)

Lean Formalization

Module: TauLib.BookIV.Calibration.DimensionlessCouplings

Symbol: Tau.BookIV.Calibration.NumericalValue