Phase 03 — Correctness and Adversarial Engineering

Use testing and formal methods to state what must hold, then exploit labs to attack the assumptions beneath it.

Exit condition: each Statecraft module has meaningful invariants, adversarial handlers, failure injection, a reproducible exploit/patch loop where applicable, and an honest statement of what remains unproven.