diff --git a/docs/superpowers/specs/2026-07-31-worker-controlplane-session-runtime-design.md b/docs/superpowers/specs/2026-07-31-worker-controlplane-session-runtime-design.md index 31a3c97..99f6ea6 100644 --- a/docs/superpowers/specs/2026-07-31-worker-controlplane-session-runtime-design.md +++ b/docs/superpowers/specs/2026-07-31-worker-controlplane-session-runtime-design.md @@ -158,8 +158,9 @@ ACK 操作在 Redis Lua 的一个原子边界内完成: 2. version、ownership epoch 和 checksum 必须匹配当前已发布 SnapshotReference。 3. `applied=true` 时,ACK 只能严格前进或完全相同地幂等重放;成功后续期 Session 并清除旧 Runtime。 -4. `applied=false` 是已接受的负向 ACK:不推进 ACK 上界,不持久化自由文本错误, - 返回成功;下一轮 Snapshot Stream 据此继续发送完整 Snapshot。 +4. `applied=false` 是已接受的负向 ACK:续期当前 Session,但不推进 ACK 上界、 + 不保留旧 Runtime,也不持久化自由文本错误;下一轮 Snapshot Stream 据此继续 + 发送完整 Snapshot。 5. 旧版本、错误 checksum、超前版本或被替换 Session 均不修改状态。 `error_code` 只接受有界枚举风格字符串;`error_message` 只做长度校验,不写日志或