Give Your Coding Agents Proof Obligations, Not Instructions

Six AI agents shipped a full screen in two hours. What made it shippable was the harness: visual parity, real browser flows, test gates, an empty punch-list.