Turning Interaction History into Execution State: A Runtime Layer for Long-Horizon Coding Agents
Ledger is proposed, a deterministic runtime layer that distills an agent's completed interactions into an explicit execution state: what has been observed, what has been modified, and what has been attempted, in an online execution ledger and applies it at two boundaries of every step.