Registry · Definition IV.D242 conjectural formalized

IV.D242 — tau-sphaleron question

The tau-sphaleron question asks whether a non-perturbative process in Category tau can change the topological winding number theta by a nonzero integer while respecting all tower-compatibility conditions and sector isolation (K5). It decomposes into sub-problems about vacuum topology, barrier height, and cross-sector coupling kappa(A,C) = iota_tau^3.

Book IV Part 8 Ch. 56

Lean Formalization

Module: TauLib.BookIV.Coda.CompleteLedger

Symbol: Tau.BookIV.Coda.TausphaleronQuestion