GenOS: Compositional Certificates for Semantic Robustness in AI Code Generation
DGX agentarXiv:2608.03588v1 Announce Type: cross Abstract: AI coding agents are stochastic workflows: prompts are interpreted, artifacts are sampled, validators produce observations, and orchestrators commit o