# Evidence posture (proof vs evidence)

SFT is designed to make it impossible to confuse a theorem with an empirical check.

## Three layers SFT keeps separate

- Theorem layer  
  - statements in TeX with explicit hypotheses  
  - theorems never cite benchmark output as proof

- Artifact layer  
  - WSC/WOB/CC objects that record what was certified and under what declared regime  
  - artifacts contain validator predicate ledgers and explicit margins that make the meaning stable

- Evidence layer  
  - benchmark outputs and data payloads that support a certificate field (degree estimate, constraint residuals, nonresonance checks)  
  - evidence is always referenced as evidence and can be replaced without changing theorems

## What an audit guarantees

- a shipped WSC is structurally well-formed, target-correct, and consistent with its declared margins and predicate ledger
- a shipped WOB matches a canonical failure code and carries an evidence checklist consistent with that code

## What an audit does not claim

- that the witness integer was recomputed from raw data inside the audit  
- that empirical diagnostics imply a theorem outside the declared regime

This separation is intentional so the research can be both mathematically clean and operationally checkable.
