\section*{Appendix: SFT Engine Artifacts (Schemas, Certificates, Obstructions, Audit)}

SFT is designed to ship with explicit artifact contracts and example artifacts so claims are traceable.

\subsection*{Schemas}
\begin{itemize}
\item Witness Stability Certificate schema: \texttt{engine/schemas/witness\_stability\_certificate\_schema.json}
\item Witness Obstruction schema: \texttt{engine/schemas/witness\_obstruction\_schema.json}
\item Universality Report schema: \texttt{engine/schemas/universality\_report\_schema.json}
\end{itemize}

\subsection*{Engine contract}
\begin{itemize}
\item \texttt{engine/contracts/engine\_contract.md}
\end{itemize}

\subsection*{Example artifacts}
\begin{itemize}
\item \texttt{engine/artifacts/WSC-G-AWT-0001.json}
\item \texttt{engine/artifacts/WSC-E-LDW-0001.json}
\item \texttt{engine/artifacts/WSC-C-CMT-0001.json}
\item \texttt{engine/artifacts/WSC-M-MXC-0001.json}
\item \texttt{engine/artifacts/WOB-E-0001.json}
\item \texttt{engine/artifacts/WOB-G-0002.json}
\item \texttt{engine/artifacts/UNIVERSALITY\_REPORT\_EXAMPLE.json}
\end{itemize}

\subsection*{Audit}
Basic checks for WSC artifacts (required fields + margin inequalities) are performed by:
\begin{itemize}
\item \texttt{engine/audit/audit\_wsc.py}
\end{itemize}

Example:
\begin{verbatim}
python3 engine/audit/audit_wsc.py engine/artifacts/WSC-E-LDW-0001.json
\end{verbatim}

\subsection*{Threshold ledger}
Key inequalities and rate bounds are centralized in:
\begin{itemize}
\item \texttt{engine/contracts/constants\_thresholds.md}
\end{itemize}
