Run Ledger 权威与投影

状态记录与事件投影

agent_runs 保存可更新的状态和 lease；领取使用带条件的 UPDATE。它不是只追加日志。事件流记录可观察变化，checkpoint 保存安全恢复需要的元数据，这几种持久化对象不能互相替代。

用户输入生命周期由 Interaction Kernel 负责。文本 V2 有自己的执行协议和私有 fence，旧 PgRunStore 领取路径排除 run_kind 非空记录；不能把两条领取路径画成无条件共同消费一个队列。

证据与范围

• aida-agent · packages/agent/src/session/run-store.ts L570–598 · 8f176b450188
• aida-agent · docs/architecture/lifecycle-map.md L42–98 · 8f176b450188
• aida-agent · docs/architecture/runtime-host-text-execution.md L1–80 · 8f176b450188

结论来自固定版本的静态源码与合同阅读；实现存在、默认开关和生产启用分别判断。本站代码证据面板列出声明状态与具体限制。