Assurance Envelopes for Autonomous Coding Agents: Minimum-Cost Evidence for Software Change
The contribution is a bounded application of established optimization to selecting assurance context for a software change; discovering the obligations and downstream agent benefit remain open.
Anjan Goswami
· 0 citations