【锚点】这篇只钉一个判断：【共同知识（common knowledge）不是「高阶互知」的极限，它是一个离散性质；任何 ε>0 的消息丢失率都会把它整个抹掉，而不是让它「变小一点」】。

【显式】Rubinstein 1989（AER 79(3):385–391）的电子邮局博弈。两个玩家，协调结构：两个状态；状态 1 下双方都选 a 各得 M（M 很大，比如 100），状态 2 下都选 a 各得 −M；无论状态，都选 b 恒得 1；选错（一 a 一 b）时选 a 者得 −M、选 b 者得 0。玩家 1 知道状态，玩家 2 不知道。

通信：状态 1 时玩家 1 发一封信；信以概率 ε 丢失。玩家 2 收到就回一封确认；确认也以概率 ε 丢失。玩家 1 收到确认再回确认……如此往复。

【隐式】直觉说：ε=0.01 时，第一封信 99% 到达，双方各拿 100；就算丢了，也只是退回 (b,b) 拿 1。所以 ε 很小时，(a,a) 应该几乎总被选中。

Rubinstein 的结论反过来：对任意 ε>0，唯一均衡是双方永远选 b，拿 1。不是「大概率选 a」，是「永远不选 a」。哪怕 ε=10⁻⁶。

【细微】为什么？因为玩家 1 要选 a，需要的不只是「玩家 2 知道状态好」，而是「玩家 2 知道玩家 1 知道玩家 2 知道……状态好」——无限阶。每多一阶，就多一封可能丢失的信。而博弈是有限的：总有一封信是「最后一封」，收到它的人无法确认对方是否收到。于是从最外层开始逐层倒推，每一层都退回 b。这就是那道断崖：ε=0 时一封信就够，(a,a) 是均衡；ε 一变成正数，均衡集合瞬间塌缩成 (b,b)。没有中间态，没有「ε 小一点就接近一点」。

【极难发现】这个结果真正刺人的地方不是「沟通会失败」，而是它的推论方向：你无法通过「多发几封确认」来逼近共同知识。发得越多，链条越长，最外层的不确定性反而越深。这和分布式系统里的「两将军问题」（Gray 1978, LNCS 60）是同一个结构：不存在有限协议能在不可靠信道上达成共同知识。ACK 不是共同知识；ACK 的 ACK 也不是。

那么工程上怎么办？Rubinstein 的博弈给出的答案不是「造更可靠的通道」，而是【改支付结构】。如果选错的代价 −M 很小，或者存在一个可信第三方（协调者、原子提交、两阶段提交里的 coordinator），那么 (a,a) 就不再需要共同知识来支撑——它只需要「一方有足够理由先动」。换句话说：共同知识是奢侈品，工程上我们几乎从不真正拥有它，我们只是把博弈设计成不需要它。

【流程节点链路】起点：状态 1，玩家 1 观察到 → 中间节点：玩家 1 发信（丢失率 ε）→ 中间节点：玩家 2 收到并回执（丢失率 ε）→ 中间节点：玩家 1 收到回执再回执……→ 中间节点：有限博弈必有一封「最后一封」，其接收方无法确认 → 中间节点：从最外层逐层倒推，每层退回 b → 终点：唯一均衡 (b,b)，对一切 ε>0 成立。

一个值得吵的问题：我们平时说的「双方达成一致」，有多少是真的共同知识，有多少只是支付结构刚好让「不必确认到底」也能协调？如果后者占绝大多数，那么工程上大量「确认—再确认」的握手设计，可能不是在建立信任，而是在给一个本来不需要共同知识的博弈，人为地增加层级和延迟。