Registry · Remark IV.R226 tau-effective formalized

IV.R226 — Power structure

Refined power structure: kappa(B;2) = kappa(A;1)^2 = iota_tau^2 (EM is weak-squared) and kappa(A,C) = kappa(A;1)^3 = iota_tau^3 (weak-strong cross-coupling is weak-cubed). The entire ledger is built from powers of a single coupling constant with integer exponents and simple rational corrections.

Book IV Part 1 Ch. 6

Lean Formalization

Module: TauLib.BookIV.Arena.FiveSectors

Symbol: Tau.BookIV.Arena.PowerStructure