\section*{Obstruction table (dichotomy support for universality)}

SFT treats coverage claims as engine outputs: either a WSC (witness stability certificate) exists, or a WOB (witness obstruction) exists. The table below provides the canonical mapping used in the paper.

\begin{longtable}{@{}p{0.25\textwidth}p{0.25\textwidth}p{0.40\textwidth}@{}}
\toprule
\textbf{Obstruction} & \textbf{WOB code} & \textbf{Evidence checklist pointer} \\
\midrule
\endhead
No cyclic subsystem / no phase observable & WOB-01-no-subsystem & \texttt{engine/contracts/WOB\_CODEBOOK.md} \\
Trivial winding / holonomy multiple zero & WOB-02-trivial-winding & \texttt{engine/contracts/WOB\_CODEBOOK.md} \\
Image misses an arc (pinch) & WOB-03-pinch & \texttt{engine/contracts/WOB\_CODEBOOK.md} \\
Regularity failure (tear) & WOB-04-tear & \texttt{engine/contracts/WOB\_CODEBOOK.md} \\
Holonomy certification defect & WOB-05-holonomy-defect & \texttt{engine/contracts/WOB\_CODEBOOK.md} \\
Coupling target not computed or wrong baseline & WOB-06-coupling-mismatch & \texttt{engine/contracts/WOB\_CODEBOOK.md} \\
Mixing claim made without NDB/MXC & WOB-07-mixing-not-justified & \texttt{engine/contracts/WOB\_CODEBOOK.md} \\
No $\chi$-active circle-type orbit (orbit collapse) & WOB-08-orbit-collapse & \texttt{engine/contracts/WOB\_CODEBOOK.md} \\
Equivariance defect beyond tolerance & WOB-09-equivariance-defect & \texttt{engine/contracts/WOB\_CODEBOOK.md} \\
Rank deficiency / resonant locking & WOB-10-resonant-locking & \texttt{engine/contracts/WOB\_CODEBOOK.md} \\
Disconnected slice misses witness component & WOB-11-disconnected-slice & \texttt{engine/contracts/WOB\_CODEBOOK.md} \\
Slope-zero plus quotient nonsurjectivity & WOB-12-slope-zero-quotient-nonsurjective & \texttt{engine/contracts/WOB\_CODEBOOK.md} \\
\bottomrule
\end{longtable}
