TY  - RPRT
TI  - Assurance Envelopes for Autonomous Coding Agents: Minimum-Cost Evidence for Software Change
AU  - Anjan Goswami
PY  - 2026
UR  - https://arxiv.org/abs/2609.16302
ID  - 2609.16302
ER  -