AI software engineering, built to a discipline — where safety and correctness are the method, not the afterthought.