\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{universality/UNIV\_PASS\_2\_META\_WITNESS\_S1.md}) & WSC (e.g., \texttt{engine/artifacts/WSC-G-AWT-0001.json}) \\
Arena-level SCL under slice-uniform AWT & conditional proved & Theorem B1 (\texttt{engine/contracts/DI\_PASS\_B\_ARENA\_UNIVERSALITY.md}) & WSC + FEQ invariance \\
Embedded observability (ESW) & conditional proved & ESW/LDW/HW (\texttt{universality/UNIV\_PASS\_3\_EMBEDDED.md}) & WSC (e.g., \texttt{engine/artifacts/WSC-E-LDW-0001.json}) \\
Robustness under perturbations & conditional proved & LCM/HMR (\texttt{universality/UNIV\_PASS\_4\_ROBUSTNESS.md}) & WSC margins; audit script \\
Coupled target correctness & proved & CTP + CMT-SOL (\texttt{universality/UNIV\_PASS\_5\_COUPLED\_UNIVERSALITY.md}) & WSC-C (e.g., \texttt{engine/artifacts/WSC-C-CMT-0001.json}) \\
Mixing under diffusion/noise & conditional proved & MXC / diffusion (\\texttt{universality/UNIV\\_PASS\\_7\\_MIXING\\_UNIVERSALITY.md}; \texttt{score10/pass\_02\_ndb\_derivation/NDB\_STRONG.md}) & WSC-M or WOB-7 \\
Quantitative anti-collapse on a witness loop & conditional proved & Flagship theorem (\\texttt{score10/pass\\_04\\_flagship\\_theorem/FLAGSHIP\\_THEOREM.md}) & WSC + MBC evidence \\
Nonclaims (explicit boundaries) & stated & Referee checklist (\texttt{universality/UNIV\_PASS\_9\_REFEREE\_CHECKLIST.md}) & Universality report schema \\
\bottomrule
\end{longtable}

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