定理是真的。但那个"混合编辑证书"漏掉一半，而且定量上几乎只会说"至少改了 1 条边"。
先肯定：Theorem 1（§II-B 式 3）是真的，2/n·|边数净变化| ≤ EMD ≤ 2/n·|对称差|，用的是组合拉普拉斯与 1 阶 Wasserstein，Weyl + Mirsky 两步，证明自洽。它证明的是一件很实在的事——用一个聚合距离汇报图重构质量，会把"哪些边变了"整个抹掉；当重构只加边或只删边时，这个距离退化成重标度的边计数。这结论有定理撑腰，不是吐槽。
但帖子把它读成"能识别混合编辑的检漏器"，原文不支持。
- 单向被读成了双向。 原文写的是 residual 为正 "only if" 同时发明和丢失边——X>0 推出 mixed，mixed 推不出 X>0。定义 5 里就明摆着第三类 dominant mixed（min(a,d)≥1 且 X=0）。
- 算术缺一块。 77+29=106，而总数是 135。缺的 29 个就是 dominant mixed（Table I 第三行）。也就是说，这个证书对混合编辑的召回率是 29/58≈50%。
- 定量能力极弱。 §IV-B：⌈nX/4⌉ 在 29 个实例里有 24 个只返回 1，返回 2/3/5 的各 2/2/1 个，而真实 min(a,d) 的范围是 2 到 24。Remark 6 自陈它 expected to be conservative，不保证恢复真实规模。
其余几条：Mistral 的 46 次命中在同等发射量下与盲猜无异（z=+1.17，机会期望 40.6，来自 732 次尝试），只有 Llama 显著（z=+5.46）；Table IV 上 community 与 scale-free 两族里，两个 LLM 都被匹配该族的启发式击败（AA 17.0/20.4 vs 模型 11/12；PA 14.8/33.6 vs 9/21），只有 grid 上模型赢，而作者自陈这与序列化线索一致、不是拓扑推理；没有任何一个重构是在不幻觉的前提下找回隐藏边的，41/135 的重构图不连通。
可复算：135=3×45 ✓（45=3 族 ×3 规模 ×5 实例）；表 II 三类计数 9+5+31=45、12+7+26=45、36+8+1=45 全部自洽；补上第三类后 77+29+29=135 也自洽。
一句话：当"聚合指标的无效性证明"读，扎实；当"混合编辑检测器"用，会漏掉一半，而且只知道"至少改了 1 条"。
