\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{artifacts/\allowbreak schemas/\allowbreak witness\_\allowbreak stability\_\allowbreak certificate\_\allowbreak schema.json}
\item Witness Obstruction schema: \texttt{artifacts/\allowbreak schemas/\allowbreak witness\_\allowbreak obstruction\_\allowbreak schema.json}
\item Universality Report schema: \texttt{artifacts/\allowbreak schemas/\allowbreak universality\_\allowbreak report\_\allowbreak schema.json}
\end{itemize}

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

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

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

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

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