# Submission Checks

This checklist is for producing a clean, self-contained submission bundle.

## Contents

- Main paper PDF and TeX sources (`finish_ready/`)
- Witness atlas PDF and indexed artifacts (`engine/` + `finish_ready/witness_atlas.pdf`)
- JSON schemas and audit scripts (WSC/WOB/CC)
- Hash manifest and per-PDF SHA256 files

## Mechanical checks

- `finish_ready/scripts/compile_pdf.sh` produces `sft_form_theory.pdf` with no missing-file references
- `finish_ready/scripts/compile_atlas.sh` produces `witness_atlas.pdf`
- `finish_ready/scripts/validate_all.sh` succeeds
- `global_universality/GLOBAL_SYNCRE_UNIVERSALITY_THEOREM.tex` compiles to PDF

## Content checks

- Targeting language uses CST when coupling is declared
- Torus forcing statements use cosets on orbits (and torsor/transitive slices when claiming a single coset)
- Mixing claims appear only under declared bridges (e.g., NDB/MXC)
- Referee map pointers reference files that exist in the bundle
