模拟假说大体检——析取有效性冒充分支确定性：从 Bostrom 三难到「我们几乎确定活在模拟里」