\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 forcing & Degree, winding, equivariance & Witness engine tiers (AWT/LDW/HW/CMT) expressed as auditable artifacts with checklists and margins \\
Coupling and targets & Subtori and cosets are classical & Target correctness as a rule: CST targets and coupled Haar baselines are enforced by predicates (CTP/CHT) \\
Exhaustiveness & Logical dichotomies are classical & Predicate-exhaustion exhaustiveness: inside COC, every declared claim resolves to WSC or first-failure WOB code \\
Stability & Continuity of invariants is classical & Stability margins (LCM/HMR and derived modulus fields) stored as first-class certificate data \\
Target inference & Integer relations are classical & Conservative CST inference: bounded small-integer constraints with explicit stability gaps or obstruction codes \\
Diagnostics & Pushforward measures are classical & Target-aligned diagnostics (coverage profile and uniformity defects) attached to correct targets \\
Auditability & Not standard in theory papers & Schemas, audits, benchmarks, and hash-verified builds tying theorems to checkable objects \\
\bottomrule
\end{longtable}
