\begin{longtable}{@{}p{0.19\textwidth}p{0.33\textwidth}p{0.38\textwidth}@{}}
\toprule
\textbf{Component} & \textbf{Standard ingredient} & \textbf{SFT contribution (what is added)} \\
\midrule
\endhead
Witness existence & Degree, winding, equivariance & Witness-first engine: AWT + ESW tiers with explicit checklists and certificates \\
Coupling & Subtori are classical objects & Target correctness: CST as target, coupled Haar baseline (CTP/CHT), and coupled meta-theorems \\
Robustness & Continuity of invariants is classical & WSC margins (LCM/HMR) treated as first-class objects; “exists stably” \\
Diagnostics & Pushforward measures are classical & CP/FUD/SUD organized as auditable outputs aligned to correct targets \\
Dynamics & Transport and diffusion PDEs are classical & Honest boundary: preservation vs mixing; mixing only under explicit NDB + MXC \\
Auditability & Not standard in theory papers & Certificate-or-obstruction contract + schemas + audit scripts + example artifacts \\
\bottomrule
\end{longtable}
