今天是”撤销都是新的写入”主题：Saga 的补偿不是回滚而是新的正向事务，批处理推理把执行时机卖给了成本、结果回来要靠幂等键重新对齐，代码执行沙箱把不可信代码的破坏半径限在租户与本次执行之内、重跑不能靠”删了重来”，不可变制品让”回滚”退化成”切换到另一个内容标识”，打家劫舍的动态规划则说明状态一旦装错约束，后续每一步递推都在放大这个错误。五道题共用一个判断：系统里没有时间倒流，只有可补偿、可重放、可隔离、可复现、可递推的正向操作。

今天是”归属与生命周期对齐”主题：契约测试把交互约定归属到消费者与提供者之间的契约上，上下文写入与选择策略把”该进上下文的内容”归属到组装期的确定性决策上，成本归因把账单归属到任务与环节，资源治理把内存与 goroutine 的生命周期归属到创建者，层序遍历把节点归属到它们所在的层。贯穿五道题的同一件事是：验证、计费、排错时，度量对象必须等于被回答的对象。

驻留与生效的分离：为留着的状态付费，为生效的状态负责

代理指标的失效：当”绿”不等于”对”，如何重建一条可判定的证据链

有条件的承诺——保证的强度、生效条件与失效兜底。

任何保证都附带成立条件；条件不满足时的退化形态必须预先设计并可观测。

显式建立的东西才有保证。