P15 Safe Point与级联取消¶
Release Candidate 1
主要章节：第8、9、14章
Context¶
运行含子任务、工具和物理/外部副作用。
Problem¶
立即杀死可能留下半完成状态，不传播取消会产生孤儿任务。
Forces¶
- 质量与正确性；
- 延迟与成本；
- 安全与合规；
- 运维与可恢复性。
Solution¶
Consequences¶
收益¶
可控停止和恢复。
代价¶
某些阻塞工具无法协作取消，需要超时和强杀。
Failure Modes¶
只停止UI输出；取消父任务但Worker继续。
Implementation Sketch¶
实现时使用类型化输入输出，记录版本、来源和Trace；权限、预算和终止由确定性代码执行。
Evidence¶
- 蓝皮书章节：第8、9、14章；
- 实验卡：按具体实现绑定，不以代码存在替代运行证据；
- 外部标准：涉及协议或安全标准时在发布前核验版本与日期。
Exit Criteria¶
不可中断的原子事务只在事务前后设置安全点。
Checklist¶
- [ ] 问题与作用力真实存在。
- [ ] 有更简单方案基线。
- [ ] 失败模式可测试。
- [ ] 权限、预算和恢复已定义。
- [ ] 收益覆盖新增复杂度。