# Referee Map

This file ties major claims to concrete references and shipped artifacts.

| Claim | Status | Support | Hypotheses checklist | Artifact | Pointer |
|---|---|---|---|---|---|
| Universality of mechanism (slice-level) | conditional | AWT auxiliary witness | AWT checklist | WSC | `Syncre_ProofProgram.md` |
| Arena-level SCL under slice-uniform AWT | conditional | arena universality contract | AWT, FEQ | WSC | `engine/docs/arena_universality.md` |
| Embedded observability | conditional | ESW + LDW/HW | ESW, LDW/HW | WSC/WOB | `engine/docs/embedded_loop_witnesses.md` |
| Robustness under perturbations | conditional | LCM/HMR stability | LCM/HMR margins | WSC/WOB | `finish_ready/sft2/sft2_syncre_stability_modulus.tex` |
| Coupled target correctness | proved | CTP + coupled targeting | SOL/CTP/CMT | WSC/WOB | `engine/docs/coupled_atlas.md` |
| Mixing under admissible bridges | conditional | NDB/MXC bridge | NDB + diffusion | WSC/WOB | `engine/docs/mixing_bridge_ndb.md` |
| Global theorem chain (package) | stated | capstone chain | declared regime | WSC/WOB family | `global_universality/GLOBAL_SYNCRE_UNIVERSALITY_THEOREM.md` |

Boundary statements should be checked against the main paper and the dynamics boundary table.
