# Scope Wall

This page prevents common misreadings.

## What SFT claims

- SFT defines a maximal named class, the **Cyclic Observability Class (COC)**.
- For every context declared in COC, the engine outputs either:
  - a **WSC** (Witness Stability Certificate) with explicit margins and validator predicates, or
  - a **WOB** (Witness Obstruction) with a canonical code and evidence.
- Target correctness is part of meaning:
  - when coupling produces a coupled subtorus target, the baseline must be **coupled Haar** on that target.

## What SFT does not claim

- SFT does not claim every dynamical system is in COC.
- SFT does not claim deterministic transport is universally mixing.
- SFT does not convert empirical evidence into proofs.
  - Empirical checks are shipped as evidence objects, not as theorems.

## What artifacts exist in the bundle

- Contracts, schemas, and audits: `engine/contracts/`, `engine/schemas/`, `engine/audit/`
- Core example WSC/WOB/CC objects: `engine/artifacts/`
- Benchmarks that produce audit-consumable evidence payloads: `engine/benchmarks/`

