看似完成的结果，可能藏着未完成的工作
账本可以平衡，但一笔原因不明的金额仍留在悬账中。最终数字提供了信息，却不足以证明对账工作已经完成。
不变量把要求写清楚：原始记录必须保留，每笔调整必须引用证据，结账时未解决的悬账必须归零。
操作过程也是结果的一部分。
应当保留哪些记录
保留初始状态、每次工具调用、观察到的结果和状态变化。任务与验证器都需要明确的版本号，出现分歧时才能定位原因。
这些记录让评审者能够追问：哪一步改变了数据？依据来自哪里？最终状态是否通过一条允许的路径得到？
本文为设计草稿，不报告实验成绩。