\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 auxiliary witness (\codeid{Syncre_ProofProgram.md}) & WSC (e.g., \codeid{artifacts/artifacts/WSC-G-AWT-0001.json}) \\
Arena-level SCL under slice-uniform AWT & conditional proved & Arena universality contract (\codeid{engine/docs/arena_universality.md}) & WSC plus FEQ invariance \\
Embedded observability (ESW) & conditional proved & ESW and obstructions (\codeid{engine/docs/embedded_loop_witnesses.md}) & WSC (e.g., \codeid{artifacts/artifacts/WSC-E-LDW-0001.json}) \\
Robustness under perturbations & conditional proved & LCM and HMR (\codeid{finish_ready/sft2/sft2_syncre_stability_modulus.tex}) & WSC margins; audit script \\
Coupled target correctness & proved & CTP and coupled theorem schema (\codeid{engine/docs/coupled_atlas.md}) & WSC-C (e.g., \codeid{artifacts/artifacts/WSC-C-CMT-0001.json}) \\
Mixing under diffusion or noise & conditional proved & Mixing certificate (\codeid{engine/docs/mixing_bridge_ndb.md}) & WSC-M or WOB-7 \\
Global universality theorem package & stated, theorem-backed & Capstone chain (\codeid{global_universality/GLOBAL_SYNCRE_UNIVERSALITY_THEOREM.md}) & WSC and WOB family \\
Nonclaims (explicit boundaries) & stated & Referee checklist (\codeid{engine/docs/referee_map.md}) & Universality report schema \\
\bottomrule
\end{longtable}

Nonclaims must be preserved in all distributed copies: 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.
