장기 실행 AI 에이전트를 위한 권한 취소: 위임 및 비동기 실행 하의 루트 범위 정지 상태(Root-Scoped Quiescence)

장기 실행 AI 에이전트는 자격 증명, 위임된 작업, 큐, 콜백, 예약 및 제공자 측 작업을 통해 시작 프로세스보다 오래 지속됩니다. 취소, 프로세스 종료 및 자격 증명 취소는 모든 사전 절단 캐리어를 닫거나 독립적으로 권한을 부여받은 공유 작업을 구별하지 못합니다. 우리는 루트 범위의 권한 정지 상태(root-scoped authorization quiescence)를 정의합니다: 각 명시된 싱크에 대해, 해당 로컬 펜스(local fence)에 선행하는 폐기된 루트 에포크 원자(retired root-epoch atom) 하에서 절단 관련 모든 수락을 기록하고, 그 이후의 펜스 이후에는 해당 원자 하에서의 보호된 수락은 제외하며, 현재 독립적으로 충분한 지원으로의 정확한 재결합을 허용합니다. 루트 범위 정지 상태 프로토콜은 루트 절단을 선형화하고, 구(舊) 루트 확장을 그리고 보호 싱크를 펜싱하며, 대안적 및 결합적 권한을 최소 충분 루트 세트의 반사슬(antichains)로 표현하고, 제공자 경계 인증서들을 등록된 구 루트 경로에 대한 절단 집합(cutset)으로 구성합니다. 정확한 채널 토큰 회계는 전송을 조정하며; 누락되거나 충돌하는 증거는 미결정 상태로 남아 있습니다. 명시된 가정 하에서, 우리는 절단 후 발급자 비확장성(post-cut issuer non-expansion), 지원-안전 투영(support-sound projection), 정확한 채널 보존 하의 구성적 건전성(compositional soundness under exact channel conservation), 독립 지원 보존(independent-support preservation), 병합 순서 독립성(merge-order independence), 그리고 충돌/재생 안정성(crash/replay stability)을 증명합니다. 제공자 없는 지연 효과 테스트 스위트(provider-free late-effect test suite)는 등록된 17개 중 17개의 결과를 일치시킵니다. 취소만 수행하는 두 가지 실행과 절단만 수행하는 한 가지 실행은 이미 예약된 동일한 클래스의 지연 효과를 수락합니다; 절단+펜스 실행 두 가지, 재시작 한 번, 그리고 오래된 프로세스 실행 한 가지는 이를 거부합니다. 별도로 구현된 검사기는 17개 중 17개의 트레이스를 확인하고 일관되게 다시 해싱된 의미론적 회귀(semantically rehashed semantic regressions) 44개 중 44개를 거부합니다. 이 인증서는 전역적인 유휴 상태, 롤백 또는 비즈니스 완료가 아닌, 그 경계 내의 매니페스트 및 구성 내에서 루트 상대적 권한 정지 상태를 확립합니다.