Registry · Definition IV.D179 conjectural formalized

IV.D179 — Orthodox Bridge Conjecture

The Orthodox Bridge Conjecture asserts that a readout functor satisfying gap preservation, spectral ordering, and multiplicity conditions exists, so that the tau-mass gap delta_infinity^s > 0 implies a mass gap Delta > 0 in continuum SU(3) Yang-Mills on R^4.

Book IV Part 5 Ch. 41

Lean Formalization

Module: TauLib.BookIV.Strong.YangMillsGap

Symbol: Tau.BookIV.Strong.OrthodoxBridgeConjecture