DART는 구조적 도구 에이전트의 실행 실패 시 의미적 복구 가능성(semantic recoverability)을 형식화하고, 다운스트림 커밋 작업이 이미 실행된 상황에서도 안전한 복원 지점을 선택하는 모듈형 런타임이다. 실패 인스턴스 로컬라이제이션, 의미적 복구 가능 경계 인증, 체크포인트 정렬, 의존성·효과 제약 하에서 허용 가능 복원 지점 선택의 4단계로 구성된다. 3개 LLM 기반 도메인과 LangGraph 기반 외부 검증에서 기존 로컬 복구가 실패하는 모든 커밋 민감 케이스를 정확하게 복구했으며, 5개 도메인 안전 감사에서 안전하지 않은 복구가 0건이었다. 컨트롤러 합법성이 의미적 타당성을 보장하지 않으므로 명시적 허용 가능성 검사가 필요함을 증명한다.

• •의미적 복구 가능성: 다운스트림 커밋 후에도 로컈 복원이 의미적으로 유효한지 판단하는 새 개념 형식화
• •4단계: 실패 로컈라이즈 → 복구 가능 경계 인증 → 체크포인트 정렬 → 허용 가능 복원 지점 선택
• •3개 LLM 도메인 + LangGraph 외부 검증: 기존 로컈 복구 실패 케이스 모두 정확 복구, 안전 위반 0건
• •컨트롤러 합법성 ≠ 의미적 타당성, 명시적 허용 가능성 검사 필요성 증명