Opus 4.6, high effort, detailed spec. Complex order fulfillment system — state machines, shipment groups, payments, lost package handling.
30 min later: working app. Hundreds of thousands of property tests. All green.
Then we ran formal proofs. Three bugs.