用于分布式LLM智能体工作流运行时验证的因果过去时态逻辑 / Causal Past Logic for Runtime Verification of Distributed LLM Agent Workflows
1️⃣ 一句话总结
本文提出了一种名为因果过去时态逻辑（CPL）的轻量级逻辑，使分布式大语言模型智能体在工作流中能基于事件间的因果关系进行实时控制流判断，将运行时验证融入协调语言本身，而非事后检查日志。
arXiv 提交日期: 2026-05-20
Abstract - Causal Past Logic for Runtime Verification of Distributed LLM Agent Workflows
Distributed LLM agent workflows should not be monitored as if they produced a single sequential log. In an asynchronous execution, a decision can only depend on events that are causally visible to the lifeline that makes it: an event that appears earlier in some log may still be unknown locally. We extend the ZipperGen agent-workflow framework with Causal Past Logic (CPL), a small past-time temporal logic for guards in conditionals and while loops. In addition to standard past-time modalities such as previous and since, a guard can inspect the latest causally visible event of another lifeline and selected variables stored there. The formula is a source-level guard: it is evaluated online by the owner lifeline and can influence control flow at runtime. We give a vector-clock monitor with latest-value views and prove that the locally computed monitor value coincides with the denotational semantics of the guard at the current event. Thus runtime verification becomes part of the coordination language itself, rather than a post-hoc check over an execution log.
源自 arXiv: 2605.20923