\section*{Universality Scorecard (one-page verification)}

\begin{center}
\begingroup
\setlength{\tabcolsep}{4pt}
\small
\begin{longtable}{@{}p{0.19\textwidth}p{0.17\textwidth}p{0.15\textwidth}p{0.21\textwidth}p{0.17\textwidth}@{}}
\toprule
\textbf{Family} & \textbf{Mechanism(s)} & \textbf{Target type(s)} & \textbf{Representative certificates} & \textbf{Representative boundary codes} \\
\midrule
\endhead
Rotation \& periodic forcing & AWT & circle & \codeid{WSC-G-AWT-0001}, \codeid{WSC-ATLAS-0005}, \codeid{WSC-ATLAS-0035} & \codeid{WOB-08}, \codeid{WOB-09}, \codeid{WOB-12} \\
Embedded loops \& defects & LDW, HW & embedded & \codeid{WSC-E-LDW-0001}, \codeid{WSC-E-HW-0002}, \codeid{WSC-ATLAS-0001}, \codeid{WSC-ATLAS-0039} & \codeid{WOB-02}, \codeid{WOB-04}, \codeid{WOB-05} \\
Coupled targets (CST) & CMT & cst & \codeid{WSC-C-CMT-0001}, \codeid{WSC-ATLAS-0002}, \codeid{WSC-ATLAS-0044} & \codeid{WOB-06}, \codeid{WOB-13}, \codeid{WOB-15} \\
Torus drives \& equidistribution & AWT + RNF certificate & torus & \codeid{WSC-ATLAS-0021}, \codeid{WSC-ATLAS-0048}, \codeid{CC-RNF-0001} & \codeid{WOB-10}, \codeid{WOB-06} \\
Noise-to-diffusion mixing upgrades & MXC (+ NDB bridge) & circle/torus/cst & \codeid{WSC-M-MXC-0001}, \codeid{WSC-ATLAS-0010}, \codeid{WSC-ATLAS-0051}, \codeid{CC-NDB-MXC-0001} & \codeid{WOB-07} \\
Boundary obstructions & WOB & any & \codeid{WOB-ATLAS-*} & \codeid{WOB-01}--\codeid{WOB-15} \\
\bottomrule
\end{longtable}
\endgroup
\end{center}

All codes and predicate mappings are part of the release artifacts (\codeid{engine/contracts/}).

