Registry · Definition IV.D280 tau-effective formalized

IV.D280 — Weak--gravity cross-coupling

The weak-gravity cross-coupling is kappa(A,D) = iota_tau(1 - iota_tau) approx 0.224816. Both sectors live on the base tau^1 at depth 1; their cross-coupling is the product of their self-couplings, governing beta-decay processes in curved spacetime.

Book IV Part 2 Ch. 10

Lean Formalization

Module: TauLib.BookIV.Calibration.DimensionlessCouplings

Symbol: Tau.BookIV.Calibration.WeakgravityCrosscoupling