Assurance Envelopes for Autonomous Coding Agents: Minimum-Cost Evidence for Software Change

Anjan Goswami

When a coding agent returns to existing software, it inherits evidence from earlier engineering work: tests, type checks, proofs, static analyses, and traces. Reloading all of it i…