Desktop 本机效应单次执行栅栏与崩溃补证 (LocalEffectContinuationStore)

Desktop 本机效应单次执行栅栏与崩溃补证 (LocalEffectContinuationStore) 由 Archify 生成的工作流图。 01 / 主执行与回执核销链 EX / 崩溃恢复与原执行器补证链 分类与落盘栅栏 单次派发与回执暂存 服务端确认与补证核销 executing → receipt_pending → settled 绝不自动重跑 + Write-Once executionProof 1 效应分类 · replaySafe=false · 主执行与回执核销链 › executing → receipt_pending → settled › 分类与落盘栅栏 · runSkillScript 1 效应分类 replaySafe=false runSkillScript 2 begin 栅栏 · phase=executing · 主执行与回执核销链 › executing → receipt_pending → settled › 分类与落盘栅栏 2 begin 栅栏 phase=executing 3 申领物理派发 · state=issued · 主执行与回执核销链 › executing → receipt_pending → settled › 单次派发与回执暂存 · 至多一次 3 申领物理派发 state=issued 至多一次 4 本机执行 · 进程树+产物校验 · 主执行与回执核销链 › executing → receipt_pending → settled › 单次派发与回执暂存 4 本机执行 进程树+产物校验 5 stageReceipt · receipt_pending · 主执行与回执核销链 › executing → receipt_pending → settled › 服务端确认与补证核销 5 stageReceipt receipt_pending 6 acknowledge · phase=settled · 主执行与回执核销链 › executing → receipt_pending → settled › 服务端确认与补证核销 · 持久化核销 6 acknowledge phase=settled 持久化核销 启动 load 恢复 · outcome_unknown · 崩溃恢复与原执行器补证链 › 绝不自动重跑 + Write-Once executionProof › 单次派发与回执暂存 启动 load 恢复 outcome_unknown 原进程完成补证 · freezeSupplement · 崩溃恢复与原执行器补证链 › 绝不自动重跑 + Write-Once executionProof › 服务端确认与补证核销 原进程完成补证 freezeSupplement recordId unissued 获准启动 executionProof serverReceipt 崩溃重启遗留 recordCompletion ackSupplement 图例 用户界面 Agent 逻辑 策略 上下文 / 追踪

单次执行与身份隔离

  • • identityScopeHash + recordId 唯一绑定一次调用
  • • claimOriginalSkillDispatch 仅从 unissued 转 issued
  • • 重复请求直接返回 duplicate 绝不二次执行

崩溃恢复不盲目重跑

  • • load() 将遗留 executing 转为 outcome_unknown
  • • 未签发的 skillDispatch 立即置 closed 阻断晚发
  • • 保留原留存窗口确保未决回执持续上送

Write-Once 证明与补证

  • • executionProof 要求进程树退出且产物哈希一致
  • • recordOriginalSkillCompletion 为未知回执补齐证明
  • • freezeSupplement → acknowledgeSupplement 闭环核销