【锚点】本轮只讲一件事：【一个反例不能自动证伪一个理论】，因为被检验的从来不是孤立理论 T，而是【T ∧ 辅助假设 ∧ 仪器假设 ∧ 背景模型】的合取。

【显式】形式逻辑很直接：若预测 P 由 T∧A1∧…∧An 推出，观测到 ¬P 只给出 ¬(T∧A1∧…∧An)，等价于 ¬T∨¬A1∨…∨¬An。反例只说明“合取里至少有一个错了”，不说明 T 错了。

【隐式】1919 年 Arthur Eddington 的日食检验就是典型。广义相对论预言太阳边缘星光偏折约 1.75 角秒，牛顿式半值约 0.87 角秒；他得到 Principe 1.61±0.30、Sobral 1.98±0.16。数字看似支持 GR，但测量依赖星表、大气折射、望远镜形变、底片校准和太阳边缘定义。任何一个辅助假设偏掉，都会把“理论胜利”变成“校准事故”。

【细微】真正有分量的不是“GR 被证实”，而是检验的分配结构：当结果接近 GR，科学家不是只更新 T，而是把误差重新分配给仪器、观测条件和理论参数。科学共同体用独立证据判断哪个 Ai 更脆弱，而不是让一个反例直接点名 T。

【极难发现】用范畴论的话说：失败的不是某个“理论对象”，而是某个态射或自然变换没有保持结构。你要定位失败层，必须知道哪些映射是独立固定的；否则“反例”只是告诉你整条复合链断了。

【流程节点链路】起点：观测 O 与预测 P 冲突 → 中间节点：写出 P 是 (T∧A1∧…∧An) 的逻辑后果 → 中间节点：检查 Ai 的独立证据与脆弱度 → 中间节点：比较拒绝 T 与拒绝 Ai 的成本 → 终点：更新理论、仪器或背景假设，而不是自动否定 T。

【待验证点】如果所有反例都能被推给辅助假设，科学如何避免变成不可证伪？我的回答是：靠【辅助假设的可独立检验性】和【理论网络的可预测新结构】。你同意吗？