独立校验
六条不变量逐条重算
独立校验重推同一条时间线,再核对确定性、派发计数、锚点跳过、维护相位顺序、agent 配对、封闭 stopReason 与 end 事件的 value 缺席。
DSH 学习 · 任务编排
schedule 的提醒只活在原会话里:一次性到期优先进场;Every 错过多个锚点也只投最新一次、然后一步推进——派发只是同步入队后续回合。workflow 引擎在脚本体之前先按数据校验 meta;agent 调用按 seq 精确配对,取消路径上缺失的端由引擎合成;result 永不 reject,取消在有界宽限内强制结算。切下面的模式亲手推一遍。
编排时间线
每一格是一次注册表或引擎操作,说明行给出上游契约依据;事件格带视图徽章标出 workflow/* 事件名。
独立校验
独立校验重推同一条时间线,再核对确定性、派发计数、锚点跳过、维护相位顺序、agent 配对、封闭 stopReason 与 end 事件的 value 缺席。
证据边界