AIDAWORK / ARCHITECTURE

Run Ledger 权威与投影

独立图页 ↗

机制说明（SoT）图是辅读 · 结论以说明与证据为准

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

本页可直接往下读完整机制说明，不需要「演示 / 播放故事」。术语不熟先看术语表。

先读机制说明，结论以说明与证据为准 · 基于固定代码版本核验 · 部署状态另行确认

机制说明（全文）

Run Ledger 权威与投影

状态记录与事件投影

用户输入生命周期由 Interaction Kernel 负责。runtime-v2.1 存量 Run 由 run-execution-storage 按 runtime_protocol_version 锁定处理，旧 PgRunStore 租约/领取路径以 run_kind IS NULL 排除 run_kind 非空记录；执行者失租约后由 decideOwnerLostRecovery 处置（未写入轮次重排队、已写入或超限转 manual_recovery）；不能把两条领取路径画成无条件共同消费一个队列。

证据与范围

aida-agent · packages/agent/src/session/run-store.ts L655–666 · run_kind IS NULL · e2adc9a3c325
aida-agent · packages/agent/src/runtime/execution/run-execution-storage.ts L952–968 · decideOwnerLostRecovery · e2adc9a3c325
aida-agent · docs/architecture/lifecycle-map.md L42–98 · 77fe76838aa4（历史引用：该文档已在 aida-agent 44d63e20 退役，钉点 e2adc9a3c325 无此文件；见 ATLAS-DEBT）
aida-agent · packages/agent/src/runtime/work/run-work-admission.ts L16–57 · bindAdmittedWork · e2adc9a3c325

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

Run Ledger 权威与投影

机制说明（全文）

Run Ledger 权威与投影

状态记录与事件投影

证据与范围

机制说明

Run Ledger 权威与投影

状态记录与事件投影

证据与范围

代码证据

agent_runs 保存状态和 lease，acquireLease 使用 UPDATE 与条件约束，不是只追加表。

checkpoint 仅保存安全恢复元数据；用户输入生命周期在 Interaction Kernel。

runtime-v2.1 存量 Run 由 run-execution-storage 以 runtime_protocol_version=RUNTIME_EXECUTION_PROTOCOL 锁定处理；旧 PgRunStore 的租约/领取路径以 run_kind IS NULL 排除 run_kind 非空记录。