Insecure AI agents do not compile and therefore do not exist