실행 상태를 지속시켜 실행을 중단하거나, 충돌(crash)에서 생존하고, 다시 계속할 수 있게 하는 프레임워크는 이미 발생한 효과(effects)에 대해 '재개(resume)'가 무엇을 의미하는지 결정해야 합니다. 널리 배포된 5개의 에이전트 워크플로 프레임워크는 서로 다르게 응답하며, 그 중 어느 것도 기계 검증 가능한 계약(machine-checkable contract)을 노출하지 않으며, 동작은 심지어 그들이 명시한 파편화된 규칙조차 위반합니다. RESUME CONTRACT는 지속성 API(persistence API)에 대해 6가지 속성(접두사 연속성(prefix continuation), 효과 정확히 한 번(effect exactly-once), 분기 결정론(fork determinism), 체크포인트 유효성(checkpoint validity), 한 번 소비(consume-once), 복구 결정론(recovery determinism))과 더불어 분기 의도(fork-intent) 및 활성(liveness) 의무를 규정합니다. TLA+ 모델은 참조 시맨틱스(reference semantics)를 확장된 범위(740만 개의 상태)에서도 변경 없이 철저하게 검증합니다. 39개 셀의 결함 행렬(fault matrix)은 독립성을 위해 필요한 분리 모델을 산출하며, '한 번 소비(consume-once)'는 다른 6개 속성과 독립적인 소비 조항을 가짐으로써 분리됩니다. 결정론적이고 LLM이 없는 하네스(harness)를 통해 고정된 릴리스 버전에서 이를 측정합니다. LangGraph 1.2.9는 두 번째 재개 값을 내구적으로 기록하지만 이를 전혀 참조하지 않으며, 스키마가 유효하지 않은 상태를 조용히 지속시키고, 실제 SIGKILL 이후에 내구적으로 기록된 작업을 재실행합니다. 즉, 하나의 API에서 중단 시에는 '정확히 한 번(exactly-once)', 충돌 시에는 '최소 한 번(at-least-once)'의 동작을 보입니다. CrewAI 1.15.2는 기록된 주장과 달리 완료된 효과를 수반하는 메서드를 재실행합니다. pydantic-graph 1.x는 노드 중간의 충돌 후 재개할 수 없습니다. 조사된 프레임워크 중 준수 프로필(conformance profile)을 공유하는 것은 단 하나도 없습니다. '한 번 소비(consume-once)'는 순차적으로는 유지되지만 동시 전달(concurrent delivery) 상황에서는 실패합니다. 하나의 일시 중단된 중단(parked interrupt)을 재개하는 k개의 프로세스가 게이트된 효과를 k번 실행하며, 이는 40개 셀 중 36개에서 1.0의 포화도를 보이고, 이 실패는 호스트를 가로질러 발생합니다. Verus로 검증된 복구 코어가 배포된 실행 파일과 라인 단위로 동일한 참조 시퀀서(reference sequencer)인 REMIT은 분기(fork) 및 유효성(validity) 셀을 수리합니다. 프로세스 간(cross-process) 셀은 읽기 경로(read path)에서 수리되며, 해당 수리 기능은 배포됩니다. 옵트인 게이트(opt-in gate)는 공유 저장소에서 소비를 주장하여, 어떤 노드가 실행되기 전에 단 하나의 경합자(racer)에게만 서비스를 제공하고 나머지는 거부합니다.