两份时钟写同一份记录，怎么就对不上了

昏暗的监控室里，指挥员盯着屏幕：两艘小飞船擦身而过，快得像两辆对开的小车。四个队员只回传“是”或“否”。指挥员想写一张统一的值班记录表，麻烦却卡在时间戳上：两艘船的钟，把同一段夜晚切成了不同的“同时”。

指挥员第一反应很朴素：既然查理和丹妮拉都把结果记下来了，那总该有一张“最终表格”，把四个人的结果一起列清楚。就像值班记录只能有一个版本，不该看谁的表、用谁的钟就变。

他又坚持另一条规矩：整件事都得按同一套物理规矩走，连“看一眼并记录”也算一种互动，而且原则上能被完全撤回，像电脑日志能撤销操作一样。再加上“没有哪艘飞船更有资格当标准”，他想要的是：不管用哪艘船的钟来定“现在”，概率规则都得一致。带走一句话：他在测试一张统一记录表，能不能扛住不同合法时钟的切法。

检查单本身也很讲究：有两台脆弱的小装置，结果会以一种特别的方式彼此牵着。查理和丹妮拉先做一次浅检查，把“是/否”抄进记忆格，但不留下不可擦的痕迹。后面爱丽丝和鲍勃做深核查，能先把那次“抄写”撤回，再问同一套东西另一个“是/否”。就像审计员把电脑还原到存档点，再验别的属性。

指挥员先按飞船甲的钟去排先后，得到一个干脆的“不可能”：查理和丹妮拉不可能同时是某个特定结果。换成飞船乙的钟，另一个“不可能”冒出来：丹妮拉若是某个结果，爱丽丝就不可能出现一种“负号型”结果。再换一种切法，鲍勃和查理也出现同样的冲突。硬要相信背后有一张固定的四格表，这些“不可能”就会逼出一句话：爱丽丝和鲍勃不可能同时是“负号型”。

可他又选了另一种同样合法的对时方式，让爱丽丝和鲍勃的深核查被当成“同时”。在那套“可撤回”的规矩下，常用的量子概率算出来的却是：那对本该被禁掉的组合，偶尔就是会发生。值班记录表一下子尴尬了：同一张四格表，没法同时满足前面的“不可能”和后面的“有时会发生”。

指挥员把笔放下，盯着那张写到一半的表。要么，“看见并记下的事”并不总能塞进所有人共享的一张绝对清单；要么，“每次记录都能完全撤回、而且不挑哪艘船当标准”的想法，得在某处收一收。最刺眼的是冲突来得很直接：只靠几条从不同对时方式里抠出来的“绝不可能”，就把那张统一表格逼到了墙角。