DSH 学习 · 任务编排

到点不抢话,错过不补票;脚本死了,结果照样落定。

schedule 的提醒只活在原会话里:一次性到期优先进场;Every 错过多个锚点也只投最新一次、然后一步推进——派发只是同步入队后续回合。workflow 引擎在脚本体之前先按数据校验 meta;agent 调用按 seq 精确配对,取消路径上缺失的端由引擎合成;result 永不 reject,取消在有界宽限内强制结算。切下面的模式亲手推一遍。

先押一个注:一条 every 记录在会话冷掉的 30 分钟里错过了 3 个锚点——重新打开后会发生什么?

派发次数
跳过锚点
agent 配对
终局 / 记录态
独立校验

从创建/启动到落定

操作 × 契约依据

每一格是一次注册表或引擎操作,说明行给出上游契约依据;事件格带视图徽章标出 workflow/* 事件名。

    六条不变量逐条重算

    流程校验

    独立校验重推同一条时间线,再核对确定性、派发计数、锚点跳过、维护相位顺序、agent 配对、封闭 stopReason 与 end 事件的 value 缺席。

      哪些结论可以带走

      能证明什么

        不能证明什么