Registry · Definition IV.D178 conjectural formalized

IV.D178 — Readout functor (conjectural)

The tau-to-orthodox readout functor R: Spec_tau(C) -> Spec_YM(SU(3)) is a conjectured map from the tau-spectrum of the C-sector to the physical spectrum of SU(3) Yang-Mills on R^4, required to preserve gaps, ordering, and multiplicities.

Book IV Part 5 Ch. 41

Lean Formalization

Module: TauLib.BookIV.Strong.YangMillsGap

Symbol: Tau.BookIV.Strong.ReadoutFunctorConjectural