When code gets cheap, the hard part is deciding what “correct” means and building a reliable way to check it.