# Universality Scorecard (COC)

This page is designed for fast verification.

SFT's global universality claim is deliberately sharp:

- **Inside COC**: the engine outputs a **WSC** (certificate) or a **WOB** (obstruction), and every output is tied to validator predicates.
- **Outside COC**: the engine outputs a **boundary WOB**, explaining why the claim is ill-posed or inapplicable.

## Scorecard table

| Family | What is forced | Mechanism(s) | Correct target type(s) | Typical WSC artifacts | Typical boundary WOB codes |
| --- | --- | --- | --- | --- | --- |
| Rotation & periodic forcing | Full phase sweep on a circle target in the declared regime | AWT | circle | `WSC-G-AWT-0001`, `WSC-ATLAS-0005`, `WSC-ATLAS-0035` | `WOB-08-orbit-collapse`, `WOB-09-equivariance-defect`, `WOB-12-slope-zero-quotient-nonsurjective` |
| Embedded loops & defects | Full-cycle coverage on an **embedded** target | LDW, HW | embedded | `WSC-E-LDW-0001`, `WSC-E-HW-0002`, `WSC-ATLAS-0001`, `WSC-ATLAS-0039` | `WOB-02-trivial-winding`, `WOB-04-tear`, `WOB-05-holonomy-defect` |
| Coupled targets (CST) | Coverage on a coupled subtorus with correct baseline | CMT | cst | `WSC-C-CMT-0001`, `WSC-ATLAS-0002`, `WSC-ATLAS-0044` | `WOB-06-coupling-mismatch`, `WOB-13-ambiguity`, `WOB-15-resonance-masking` |
| Torus drives & equidistribution | Torus-valued phase target; equidistribution only when declared | AWT + RNF certificate | torus | `WSC-ATLAS-0021`, `WSC-ATLAS-0048`, `CC-RNF-0001` | `WOB-10-resonant-locking`, `WOB-06-coupling-mismatch` |
| Noise-to-diffusion mixing upgrades | Uniformity upgrades become meaningful only under declared bridge | MXC (+ NDB bridge) | circle, torus, cst | `WSC-M-MXC-0001`, `WSC-ATLAS-0010`, `WSC-ATLAS-0051`, `CC-NDB-MXC-0001` | `WOB-07-mixing-not-justified` |
| Boundary obstructions | Inapplicability or wrong target is explicit and witnessed | WOB | any | `WOB-ATLAS-*` | `WOB-01` through `WOB-15` (see the codebook) |

## What “complete inside the declared regime” means

Completeness is operational:

- The engine validates a finite list of **validator predicates**.
- Any failure of a predicate maps to a **canonical WOB code**.
- A certificate is accepted only when all required predicates hold and the baseline matches the target.

Relevant artifacts and contracts:

- Predicate mapping: `engine/contracts/validator_predicates.json`
- WOB codebook: `engine/contracts/wob_codebook.json` and `engine/contracts/WOB_CODEBOOK.md`
- Example universality report: `engine/artifacts/UNIVERSALITY_REPORT_EXAMPLE.json`

