tip 已有 vs #255 · #257（未实现）

tip 已有 vs #255 · #257（未实现） 由 Archify 生成的时序图。 缺凭证 → proposal 仍 approved markFailed + outcome failed 四套账本各自声明 · 无总合同 凭证闸与授权闸未分开命名 Router handle 默认内存 · 不跨进程 「未过闸不入执行队列」：tip 无显式队列 缺凭证（tip） 缺口对照 tip 已有 · 钉点源码 · 时序参与者 tip 已有 钉点源码 执行器边界 · toolExecutor · 时序参与者 执行器边界 toolExecutor #255 / #257 · 目标 · 未实现 · 时序参与者 #255 / #257 目标 · 未实现 效应账本 · proposal · outcome · 时序参与者 效应账本 proposal · outcome 图例 返回 安全 异步追踪

tip 已有

  • • 确认卡 → start → 凭证 → CAS → 派发
  • • 缺凭证：outcome NOT_DISPATCHED
  • • 孤儿 Run：lease 过期 + 未决写 → RUN_ORPHANED

未实现 / 已核实缺口

  • • #255：总合同；Agent TTL 不盖 fs/change
  • • #257：两闸未分；无待补凭证态
  • • 缺凭证：markFailed + recordUnsent