Generating code got cheap; verifying it didn't — you pay verification debt re-checking every AI "done". Planner makes "done" provable: the agent proves each acceptance criterion, an independent judge checks the evidence and accepts or rejects.