Kubernetes for AI agents: when code is cheap, proof matters