\section*{Universality as an exhaustiveness statement inside COC}

In SFT, a universality statement is a statement about \emph{resolution} within a declared regime.

\begin{itemize}[leftmargin=*]
\item There is a named applicability class of declared contexts, the Cyclic Observability Class (COC).
\item On COC, phase-coverage claims reduce to a finite set of witness mechanisms (action, degree, holonomy, coupled targets) together with a finite validator predicate suite.
\item Within COC, any declared claim has an audited outcome type: either a Witness Stability Certificate (WSC) or a Witness Obstruction (WOB) with a canonical code.
\end{itemize}

COC is broad enough to cover many cyclic observability settings (rotation and periodic forcing, embedded loops and defects, multi-cycle forcing with coupling), while still keeping a sharp boundary: outside COC the engine returns boundary obstructions rather than extending hypotheses by guesswork.
