분산 LLM 에이전트 워크플로의 런타임 검증을 위한 인과적 과거 논리 (Causal Past Logic)

분산 LLM (Large Language Model) 에이전트 워크플로는 마치 단일한 순차적 로그를 생성하는 것처럼 모니터링되어서는 안 됩니다. 비동기 실행 (Asynchronous execution) 환경에서, 결정은 해당 결정을 내리는 라이프라인 (Lifeline)에 인과적으로 보이는 (Causally visible) 이벤트에만 의존할 수 있습니다. 즉, 어떤 로그에서 더 일찍 나타나는 이벤트라 할지라도 로컬에서는 여전히 알 수 없는 상태일 수 있습니다. 우리는 ZipperGen 에이전트 워크플로 프레임워크를 조건문과 while 루프의 가드 (Guards)를 위한 작은 과거 시간 템포럴 로직 (Past-time temporal logic)인 인과적 과거 논리 (Causal Past Logic, CPL)로 확장합니다. 이전 (Previous) 및 이후 (Since)와 같은 표준적인 과거 시간 양상 (Past-time modalities) 외에도, 가드는 다른 라이프라인의 가장 최근에 인과적으로 보이는 이벤트와 그곳에 저장된 선택된 변수들을 검사할 수 있습니다. 이 공식은 소스 레벨 가드 (Source-level guard)입니다. 이는 소유 라이프라인에 의해 온라인으로 평가되며 런타임 (Runtime) 시 제어 흐름 (Control flow)에 영향을 미칠 수 있습니다. 우리는 최신 값 뷰 (Latest-value views)를 갖춘 벡터 시계 (Vector-clock) 모니터를 제공하며, 로컬에서 계산된 모니터 값이 현재 이벤트에서의 가드의 외연적 의미론 (Denotational semantics)과 일치함을 증명합니다. 따라서 런타임 검증 (Runtime verification)은 실행 로그에 대한 사후 점검 (Post-hoc check)이 아닌, 조정 언어 (Coordination language) 자체의 일부가 됩니다.