연구진은 코딩 에이전트의 반복적인 수정 루프가 신뢰성을 보장하지 않는다는 점을 밝혔습니다.
실험 결과, 현재 추적 정보를 기반으로 한 정확성은 두 번의 수정 후 67.3%로 감소했지만, 영구적으로 정확한 결과는 84.7%로 상승했습니다.
과거 정보(stale traces)는 현재 정보보다 정확한 시작을 22.2% 더 방해하는 것으로 나타났습니다.
연구진은 증거 기반 타입화된 루프 계약을 개발하고, 코드 상태에 바인딩된 검증 증거를 보존하고 감사 가능한 입원 증명서를 발행하는 참조 구현을 통해 이를 구현했습니다.