LogAct: Enabling Agentic Reliability via Shared Logs
Organizations: Meta
Abstract
Agents are LLM-driven components that can mutate environments in powerful, arbitrary ways. Extracting guarantees for the execution of agents in production environments can be challenging due to asynchrony and failures. In this paper, we propose a new abstraction called LogAct, where each agent is a deconstructed state machine playing a shared log. In LogAct, agentic actions are visible in the shared log before they are executed; can be stopped prior to execution by pluggable, decoupled voters; and recovered consistently in the case of agent or environment failure. LogAct enables agentic introspection, allowing the agent to analyze its own execution history using LLM inference, which in turn enables semantic variants of recovery, health check, and optimization. In our evaluation, LogAct agents recover efficiently and correctly from failures; debug their own performance; optimize token usage in swarms; and stop all unwanted actions for a target model on a representative benchmark with just a 3% drop in benign utility.
Figures & tables
| Approach | Key Idea | Assumes | Why Agents Break It |
|---|---|---|---|
| WAL ( Mohan et al., 1992 ) | Log before acting | Structured txns with schema + undo/redo | Actions are arbitrary lambdas; no schema |
| SMR ( Schneider, 1990 ) | Replicated state machine on a log | Full, isolated state copy; deterministic execution | Acts on external environment; non-deterministic |
| Checkpoint ( Chandy and Lamport, 1985 ) | Periodic snapshots; restore on failure | State is local and checkpointable; deterministic | External environment not checkpointable; non-deterministic |
| Durable Workflows ( 30 , 27 ) | Record non-det ops; replay on recovery | Predefined control flow; explicit compensating actions | Open-ended control flow (LLM-driven); no predefined undo |
| Entry Type | Appended By | Played By |
|---|---|---|
| Mail (inbound) | External entities | Driver |
| Inference output | Driver | Driver, Voters (opt.) |
| Intention | Driver | Voters |
| Vote | Voters | Decider, Voters (opt.) |
| Commit | Decider | Executor |
| Abort | Decider | Driver |
| Property | Claude Code | AnonHarness | LogClaw |
|---|---|---|---|
| Integration | Hooks | Surgical | Native |
| Introspection | Limited | Full | Full |
| Voter Separation | ✓ | ✓ | ✓ |
| Driver/Executor Sep. | ✓ |
LLM Agent Reliability
Large language model (LLM) agent reliability concerns dependable, safe, and verifiable behavior across tools, multi-step tasks, and changing environments.
See all 832 papers