Assurance Envelopes for Autonomous Coding Agents: Minimum-Cost Evidence for Software Change
Source
Anjan Goswami
Author
Anjan Goswami
Date
Why it matters
A framework for coding agents computes the minimum subset of prior evidence (tests, type checks, proofs) needed to re-certify a change, avoiding wasteful full re-verification while catching when no valid evidence subset even exists.
articleEngineering Reliable Coding Agents: Evaluating and Operating the System Around the ModelStephanie Jarmak
articleThe reach of a verification tool decides its value: A controlled study of verification surface, artifact quality, and cost in AI coding agentsAchint Mehta
articleOne Gate Is Not Enough: Composing Stateful Pre-Action Controls for Agentic AIGaston Besanson