% COC_checklist.tex

\providecommand{\COC}{\ensuremath{\mathrm{COC}}}

\paragraph{COC checklist (entrywise).}
A declared context is treated as belonging to \COC only when all of the following are explicitly provided:
\begin{itemize}[leftmargin=*]
\item \textbf{Phase observable (PO).} A named cycle-valued observable on the intended slice/subsystem (circle/torus/CST), together with the minimum regularity assumptions needed to define its winding/holonomy notion and to test nontriviality.
\item \textbf{Admissible witness mechanism (WM).} A declared mechanism from the admissible menu (symmetry action, loop/holonomy, embedded subsystem witness, defect loop, or another explicitly listed mechanism) that specifies what the engine must attempt to certify.
\item \textbf{Target rule (TR).} A declared target type (circle/torus/CST) and baseline convention on that target (Haar on the target; coupled Haar on CST when coupling is present).
\end{itemize}

When any checklist item fails, the correct engine output is a named obstruction (WOB) rather than a coverage certificate.
