六、验证与筛选规则

六、验证与筛选规则

6.1 反事实推理的有效性验证

规则1：目标变量的可替代性检验

检验问题：目标变量的改变在物理上和逻辑上是否可能？
  ✓ 有效："如果被告没有闯红灯"（行为可以不同）
  ✗ 无效："如果被告不是人类"（物理上不可能的替代）
  ✗ 无效："如果地球没有引力"（违反基本物理定律）

规则2：最小偏离原则检验

检验问题：反事实世界是否仅在目标变量上与现实世界不同？
  ✓ 有效：仅改变被告的驾驶速度，其他条件不变
  ✗ 无效：改变被告的驾驶速度的同时，假设天气也变好了
  ⚠ 注意：如果目标变量的改变必然导致其他事实改变，则需要追踪这种连锁效应

规则3：推演链的可靠性检验

对推演链中的每一步进行检验：
  □ 该步推演是否有可靠的因果规律支撑？
  □ 该步推演是否存在替代可能性？
  □ 该步推演的确定性程度如何？
  □ 推演链的总体确定性是否满足法律证明标准？

规则4：过度决定（Overdetermination）检验

检验问题：是否存在其他独立的充分原因？
  场景：A和B各自独立地足以导致Y
  But-for检验结果：移除A，Y仍然发生（因为B）；移除B，Y仍然发生（因为A）
  → But-for检验失败，需转用NESS检验
  NESS检验：A是{A, C1, C2...}这个充分条件集中的必要元素
            B是{B, C3, C4...}这个充分条件集中的必要元素
  → A和B都是Y的原因

规则5：先占因果关系（Preemption）检验

检验问题：是否存在"备用原因"——如果实际原因不存在，另一个原因会导致相同结果？
  场景：A先于B导致了Y，但如果A不存在，B也会导致Y
  分析：A是Y的实际原因（因为A实际上导致了Y）
        B是Y的潜在原因（被A先占）
  → 不能因为B的存在而否定A的因果关系

6.2 反事实推理的适用边界

适用反事实推理的条件：
  ✓ 存在明确的事实基础
  ✓ 目标变量可以被有意义地改变
  ✓ 存在可靠的因果规律支撑推演
  ✓ 反事实世界的结果可以在合理范围内判断

不适用反事实推理的情形：
  ✗ 纯粹的法律解释问题（不涉及事实因果）
  ✗ 目标变量无法被有意义地改变
  ✗ 缺乏基本的因果规律知识
  ✗ 反事实世界的结果完全不可预测
  ✗ 法律明确规定了替代性因果关系认定方法