Registry · Definition IV.D262 tau-effective formalized

IV.D262 — Canonical sector lifts

The five canonical sector lifts evaluated at iota_tau: Lift_B = iota_tau^2 (EM), Lift_A = iota_tau (Weak), Lift_C = iota_tau^3/(1 - iota_tau) (Strong), Lift_D = 1 - iota_tau (Gravity), Lift_omega = iota_tau^3/(1 + iota_tau) (Higgs). All are rational functions of one master constant.

Book IV Part 1 Ch. 5

Lean Formalization

Module: TauLib.BookIV.Arena.BoundaryHolonomy

Symbol: Tau.BookIV.Arena.CanonicalSectorLifts