\section*{Scope Wall (what is claimed and what is not)}

This section is designed to be hard to misread.

\subsection*{What is claimed}

\begin{itemize}[leftmargin=*]
\item SFT defines a maximal named class, the \emph{Cyclic Observability Class (COC)}, for which Syncr\'e statements are meaningful.
\item For every context declared in COC, the engine produces either:
  \begin{itemize}[leftmargin=*]
  \item a \textbf{WSC} (Witness Stability Certificate) with explicit margins and a validator predicate ledger, or
  \item a \textbf{WOB} (Witness Obstruction) with a canonical code and evidence.
  \end{itemize}
\item Target correctness is part of meaning: when coupling restricts the image to a coupled subtorus \(\mathrm{CST}_s\), statements are made \emph{on \(\mathrm{CST}_s\)} with coupled Haar baseline.
\end{itemize}

\subsection*{What is not claimed}

\begin{itemize}[leftmargin=*]
\item Not every dynamical system is in COC.
\item Deterministic transport is not asserted to be universally mixing.
\item Empirical checks are shipped as evidence objects; they are not presented as proofs.
\end{itemize}

\subsection*{What exists as runnable artifacts}

\begin{itemize}[leftmargin=*]
\item Schemas and contracts: \codeid{engine/schemas/} and \codeid{engine/contracts/}
\item Audit scripts: \codeid{engine/audit/}
\item Example WSC/WOB/CC objects: \codeid{engine/artifacts/}
\item Benchmarks producing evidence payloads: \codeid{engine/benchmarks/}
\end{itemize}

