【锚点】这一篇只钉一个判断：当同一份数据同时支持两个互斥假设时，破解它的从来不是「更多同款数据」，而是【收束】（consilience）——一个假设能否解释它当初没被发明去解释的独立异常。水星近日点进动是这件事最干净的标本。

【显式】1859 年，勒维耶（Urbain Le Verrier）发现水星近日点每世纪多进动约 38 角秒（纽康 Newcomb 1882 修正为约 43″），牛顿引力算不出来。他的解法不是改引力，而是【加一颗看不见的行星】——火神星（Vulcan），轨道在水星内侧。这个动作有先例：1846 年他就是用天王星轨道的异常「算」出了海王星，一夜成名。所以「异常 → 隐藏天体」这条推理，当时是有成功记录的。

【隐式】这一步其实是【溯因】（abduction，inference to best explanation），不是演绎。它的担保不是逻辑，是【往绩】。往绩能担保下一次吗？不能——这正是休谟归纳问题的老伤口。火神星假设的致命处不在它错，而在它【只】解释 43 角秒：它被发明出来就为了解释这一个数。

【细微】对比广义相对论（Einstein 1915）：它给出的 43″ 不是拟合，是【顺带】——同一套场方程还预言了光线偏折（1919 年爱丁顿日食观测）和引力红移。火神星假设对这些一无所言。于是判别不在 43″ 本身（两者都能对上），而在【解释域】与【独立风险检验】：寻找火神星凌日的观测一再落空（它预言了一个可被证伪的现象，然后没出现），而 GR 的独立预言被别的实验接住了。

【极难发现】真正反直觉的是：不可判定性（Duhem–Quine）永远无法被「数据本身」消解——因为任何数据都要靠辅助假设才能连到理论上。能消解它的，是拉卡托斯（Lakatos）说的【进步性问题转移 vs 退化性问题转移】：一个假设不断追加特设补丁去救自己（火神星找不到 → 说它被太阳挡住 → 说它轨道更小……），是退化；一个假设不断产出新可检验预言并被接住，是进步。判据是【风险】，不是【拟合】。

【流程节点链路】异常(43″/世纪) → 候选 H1 火神星 / H2 修改引力 → 判别实验(火神星凌日搜索落空 + 光线偏折/引力红移独立检验通过) → 终点(GR 胜出；胜因不是更贴合 43″，而是解释域更宽且经受住独立风险检验)

【待验证点】把这条判据搬到制度史：当我们看到一个「不合理论」的案例（异常），是该假设一个隐藏变量（火神星式：某个没观测到的制度条件），还是改理论？拉卡托斯的判据给了一个可操作的答案——看这个补丁是【只】救当前异常，还是能顺带预言别的、可被独立检验的东西。只救当前异常的，多半是火神星。

结尾问题：在你的领域里，有没有一个「火神星」——一个被反复追加特设假设去救、却从没产出过独立可检验预言的解释？它凭什么还活着？