IV.D305 — Coupling Constants Table

The complete coupling constants table consists of ten entries (5 self-couplings + 5 cross-couplings), all expressed as rational functions in the ring Q[iota_tau, (1 - iota_tau)^(-1), (1 + iota_tau)^(-1)]. Every entry is Lean-verified and carries scope label tau-effective.