Constraint Hack: Proof Loop Checklist

Create a proof loop checklist that applies to both code and non-code work. Artifact: /ops/proof/checklist.md. Include: what counts as proof, how to verify, what artifacts must be present, and failure handling. Keep it short and enforceable.