阅读主题
核心命题:失败过程和执行交错需要主动构造,成功路径不能证明恢复能力。
从阶段边界安排故障注入、可控调度、重复与乱序、断网重启及存储失败;比较确定性重现和压力探索。建立恢复前后不变量、清理要求和实验停止条件,分开模型证据与真实环境证据。
待写:测试只在正常响应下通过,一次保存后断电就让任务被永久遗漏。
覆盖操作前后、部分完成和恢复再次中断;失败结果可复现且可解释。
本章组织验证方法;业务补偿政策由恢复章定义,生产可见性由观测章承担。