Formal contracts for the Platform & Contracts sprint (P1–P8) — write the contract, ship a thin reference impl, prove it with a real test. See the app surface map.
docs/specs/