Registry · Proposition IV.P160 tau-effective formalized

IV.P160 — Numerical value

Direct evaluation: iota_tau = 2/(pi + e) approx 0.341304, so kappa(D; 1) = 1 - 0.341304 = 0.658696. The gravitational self-coupling is the largest single sector coupling in the tau-native ledger.

Book IV Part 2 Ch. 10

Dependency Graph

Depends on (3)

Lean Formalization

Module: TauLib.BookIV.Calibration.DimensionlessCouplings

Symbol: Tau.BookIV.Calibration.NumericalValue