Run Ledger 权威与投影

Run Ledger 权威与投影 由 Archify 生成的架构图。 Run 执行 owner · 按协议持有执行 · 权威写入路径 · aida-agent Run 执行 owner 按协议持有执行 aida-agent 租约 / 写入保护 · 不同协议各自的 lease / fence · 权威写入路径 · protocol-scoped 租约 / 写入保护 不同协议各自的 lease / fence protocol-scoped 持久化执行事实 · Run / events / checkpoint · 权威写入路径 · source of truth 持久化执行事实 Run / events / checkpoint source of truth Chat SSE · durable event 投影 · 投影与客户端 · projection Chat SSE durable event 投影 projection 在办事项 · Engagement 投影 · 投影与客户端 · projection 在办事项 Engagement 投影 projection 恢复判定 · 按协议与恢复条件 · 架构组件 · conditional 恢复判定 按协议与恢复条件 conditional Desktop Client · 读取投影 · 投影与客户端 · aida-desktop Desktop Client 读取投影 aida-desktop claim / update fenced write SSE fold Engagement 投影 rebuild 满足恢复条件 卡片 / nextAction 渲染 权威写入路径 投影与客户端 图例 前端 后端 数据库 安全 外部系统

权威写入

  • • Run 状态是可更新记录
  • • 各执行协议有自己的领取与写入保护
  • • Run、事件流与 checkpoint 职责分开

投影

  • • Chat SSE 折叠 durable event
  • • 在办事项投影 Engagement 生命周期
  • • 投影不可反向改写 ledger

恢复

  • • 恢复前检查协议及绑定条件
  • • 未知 outcome 先 reconcile
  • • 文本 V2 崩溃进入 manual_recovery