\section*{Appendix: Referee Map (Claim $\rightarrow$ Hypotheses $\rightarrow$ Theorem $\rightarrow$ Artifact)}

This table is intended to prevent overclaiming and to make review efficient.

\begin{longtable}{@{}p{0.26\textwidth}p{0.15\textwidth}p{0.27\textwidth}p{0.20\textwidth}@{}}
\toprule
\textbf{Claim} & \textbf{Status} & \textbf{Support (theorem pointer)} & \textbf{Artifact pointer} \\
\midrule
\endhead
Universality of mechanism (slice-level) & conditional proved & AWT meta-witness (\texttt{Syncre\_ProofProgram.md}) & WSC (e.g., \texttt{artifacts/\allowbreak artifacts/\allowbreak WSC-G-AWT-0001.json}) \\
Arena-level SCL under slice-uniform AWT & conditional proved & Arena universality contract (\texttt{engine/\allowbreak docs/\allowbreak arena\_universality.md}) & WSC plus FEQ invariance \\
Embedded observability (ESW) & conditional proved & ESW and obstructions (\texttt{engine/\allowbreak docs/\allowbreak embedded\_loop\_witnesses.md}) & WSC (e.g., \texttt{artifacts/\allowbreak artifacts/\allowbreak WSC-E-LDW-0001.json}) \\
Robustness under perturbations & conditional proved & LCM and HMR (\texttt{finish\_ready/\allowbreak sft2/\allowbreak sft2\_syncre\_stability\_modulus.tex}) & WSC margins; audit script \\
Coupled target correctness & proved & CTP and coupled meta-theorem (\texttt{engine/\allowbreak docs/\allowbreak coupled\_atlas.md}) & WSC-C (e.g., \texttt{artifacts/\allowbreak artifacts/\allowbreak WSC-C-CMT-0001.json}) \\
Mixing under diffusion or noise & conditional proved & Mixing certificate (\texttt{engine/\allowbreak docs/\allowbreak mixing\_bridge\_ndb.md}) & WSC-M or WOB-7 \\
Global universality theorem package & stated, theorem-backed & Capstone chain (\texttt{global\_\allowbreak universality/\allowbreak GLOBAL\_\allowbreak SYNCRE\_\allowbreak UNIVERSALITY\_\allowbreak THEOREM.md}) & WSC and WOB family \\
Nonclaims (explicit boundaries) & stated & Referee checklist (\texttt{engine/\allowbreak docs/\allowbreak referee\_map.md}) & Universality report schema \\
\bottomrule
\end{longtable}

Nonclaims must be preserved in all drafts: SFT does not claim all systems satisfy SCL; deterministic transport is not universally mixing; full-torus Haar is not the target under coupling; diffusion or noise is adopted only under explicit modeling assumptions.
