独立校验
六条不变量逐条重算
独立校验重推一遍时间线，再核对先到先得、终局组合、kill 返回值、通知抑制和 teardown 认领；它不读渲染层的任何中间量。
DSH 学习 · 任务编排
终局只记一次；谁来认领 reported，谁就替通知关灯。
ctx.jobs 给长任务一套所有者隔离的生命周期：<kind>-N 身份、running/stopping/completed/killed/failed 五态、kill 返回 requested 或 already-finished、done 拒绝转 failed。结算先到先得——迟到的 producer 结果被整体忽略；reported 被 kill 或 teardown 认领后，完成通知不再为它打开模型回合。切下面的剧本和结局，逐步推时间线。
- 终局状态
- —
- 送达通知
- —
- 时间线步数
- —
- 迟到结局
- —
- 独立校验
- —
生命周期时间线
每一步操作怎样改写状态与 reported
每一格是一次注册表操作：左侧是操作名，右侧是状态迁移；说明行给出上游契约原文依据。淡出的步骤尚未发生。
证据边界