# DI Pass A — Engine Artifacts First (Completed)

## Purpose

Provide concrete example artifacts so the SFT engine discipline is real, not just described.

Delivered

- Example Witness Stability Certificates (WSC):
  - `engine/artifacts/WSC-G-AWT-0001.json` (global tier; action witness template)
  - `engine/artifacts/WSC-E-LDW-0001.json` (embedded tier; loop degree witness)
  - `engine/artifacts/WSC-C-CMT-0001.json` (coupled tier; SOL coupled coverage)
  - `engine/artifacts/WSC-M-MXC-0001.json` (mixing certificate tier; MXC)

- Example Witness Obstructions (WOB):
  - `engine/artifacts/WOB-E-0001.json` (no subsystem / no phase observable)
  - `engine/artifacts/WOB-G-0002.json` (mixing not justified without NDB/RNF)

Validation

Run:

- `engine/audit/audit_wsc.py engine/artifacts/WSC-G-AWT-0001.json`
- `engine/audit/audit_wsc.py engine/artifacts/WSC-E-LDW-0001.json`
- `engine/audit/audit_wsc.py engine/artifacts/WSC-C-CMT-0001.json`

These example WSC files satisfy the required fields and margin inequalities checked by the audit.

Note

The audit is intentionally lightweight and can be extended later to recompute degrees/holonomy from stored witness data.
