AWS found bugs in 60% of software requirements. Its fix isn’t more AI — it’s a 50-year-old logic engine. – The New Stack