作者发布 PlannerCritic v0.2.1 后，一位陌生读者提出一个更严格的流程：先把发布中的几个声明冻结，仅凭公开产物独立验证，不一致就记为分歧。五个声明里两个干净、三个出问题——包括一处文档自相矛盾（一处说零真失败、两表之下却记着 1 个）。这让他明白：引擎可以是对的，而它周围的发布包已与证据漂移。