LedgerAgent: Structured State for Policy-Adherent Tool-Calling Agents

这篇把工具调用代理的运行状态从一段不断增长的上下文，改成显式 ledger：事实、约束、策略条件和任务进展都以结构化状态保存。它的贡献不在于增加一个新工具，而是把“代理当前相信什么、还受哪些规则约束”变成可读取、可更新、可审计的对象。对需要策略遵守的代理系统来说，这种设计给运行时治理和错误定位留下了比 prompt 约定更清晰的抓手。