The Agent Wasn't Malicious. Your Threat Model Assumed It Would Be. | VeriSwarm