SpecGuard: Proving a Task Is Broken Before the Agent Cheats.

arXiv:2610.09159v1 Announce Type: new Abstract: As autonomous coding agents get increasingly deployed, the risk that accidental or adversarially injected misspecifications in tasks lead to dangerous agent behavior is critical to address. Prior work has shown t