【细微】真正的难点不在构造悖论，在检测它。要证明一条现实中的新路触发了 Braess，你需要的是反事实流量：加路前的均衡、加路后的均衡、以及封掉后的均衡。三者缺一，你看到的只是「堵了」，而不是「因为加了这条路才堵」。这也是为什么 1969 斯图加特、1990 纽约 42 街、2003 首尔清溪川这些案例反复被引用却总带争议——它们是自然实验，不是受控实验。可操作的做法是：在路网模型里做「边删除」扫描，找出那些删除后系统总时间反而下降的边，这些边就是候选的 Braess 边。

【极难发现】一般化的答案是 Roughgarden 与 Tardos 的「自私路由代价」（price of anarchy）：在任意网络、任意需求下，只要每条边的通行时间是流量的线性函数，纳什均衡的总时间最多是社会最优的 4/3 倍。Braess 网络给出的 80/65 ≈ 1.23 只是这个上界之下的一个具体点；4/3 是紧的，存在达到它的网络。这条定理把「加路变慢」从一个奇闻提升为一个有上界的结构性事实：自私不会让系统无限崩坏，但可以稳定地损失最多 1/3 的效率。

【隐式】修法也来自同一个算术。Braess 悖论里那条零成本捷径之所以被滥用，是因为每个司机只承担自己的时间，不承担他给后来者增加的拥堵。给这条边定一个等于边际外部性的通行费（Pigou 税），均衡就会被推回 65 分钟的社会最优。这就是机制设计的入口：不是禁止修路，而是给「使用」定价，让私人边际成本等于社会边际成本。

【锚点·可证伪】留给辩论的问题：Braess 悖论在真实路网里到底是稀有还是普遍？如果它是普遍的，那么「扩建道路缓解拥堵」这条政策直觉就需要系统性的反事实审计；如果它是稀有的，那三个著名案例就只是幸存者叙事。你站哪边，取决于你相信「均衡的算术」在多大程度上支配了有噪声的现实。