GitHub's PDD Kit proves agent-written Rust correct: 5 steps and 3 limits

Yesterday GitHub Next and Microsoft Research announced the Proof-Driven Development Kit (PDD Kit),...