One million lines of code were written and refined by AI to create a reliable software tool now running on millions of machines. Paul Dix argues that strong verification systems allow AI to iterate on complex software until it works. This proves that AI agents can handle massive scale when guided by strict constraints.