이 논문은 자율 에이전트가 자금 이체나 영구 저장소 기록처럼 되돌릴 수 없는 부작용을 일으키는 상황에서, 기존 에이전트 프레임워크(ReAct, Reflexion, MCP)가 안전성보다 작업 성공률에만 초점을 맞춘다는 문제를 지적한다. 저자는 공개 원장(퍼블릭 레저)상의 가치 이동을 지갑·체인·주소·프로토콜 4차원 공간의 상태 전이로 형식화하고, '실행 충실성(execution fidelity)'이라는 보증을 정의·증명한다. 이는 플래너 오류, 모호한 결과, 재시도, 최소 1회 전달, 비인간 위임 호출자 등을 포함한 결함 모델에서도 실제로 원장에 반영되는 효과가 아예 없거나 사용자에게 보여준 전이와 정확히 일치하는 단 한 번의 결과뿐임을 보장하는 것이다. 이 보증에서 도출된 7가지 안전 불변식을 60건의 적대적 테스트에 적용한 결과, 쓰기에 취약한 두 모델에서는 순진한 ReAct 대비 통과율이 약 74%p 상승했지만 신중한 모델에서는 3%p 상승에 그쳐, 단일 모델 평가만으로는 안전성 검증이 사실상 무의미할 수 있음을 보여준다. 이 시스템은 8개 체인에서 108건의 실제 쓰기 작업에 적용되며 실증되었고, 형식화 자체는 원장을 넘어 되돌릴 수 없는 외부 상태를 다루는 모든 확률적 에이전트에 적용 가능하다.

• •지갑·체인·주소·프로토콜 4차원 상태 전이로 공개 원장상 가치 이동을 형식화
• •'실행 충실성' 보증: 결과가 아예 없거나 사용자에게 보여준 전이와 정확히 일치하는 단 1회뿐임을 증명
• •7가지 안전 불변식 도출, 60건 적대적 테스트서 쓰기 취약 모델은 통과율 +74%p, 신중한 모델은 +3%p
• •단일 모델만으로한 에이전트 안전 스택 평가는 거의 반증 불가능함을 시사
• •8개 체인 108건 실제 쓰기 작업에 배포, 원장 외 비가역 상태 다루는 에이전트에 일반화 가능