Causal Past Logic for Verifying Distributed LLM Agent Workflows

Causal Past Logic (CPL) provides a framework for runtime monitoring in asynchronous distributed LLM-agent workflows. By adapting PT-DTL to agent guards, the system ensures that logic in loops and conditional branches only relies on causally visible events from other lifelines.