分层证伪与影响范围

01预先固定什么

一次可解释的排除需要固定：理论及版本、适用域、允许参数域、校准数据、目标观测量、选择规则、误差与相关性、似然或检验统计量，以及拒绝域和检验功效。若参数允许把振幅任意调到零，一次空结果只能限制参数，不能排除整个模型族。

02空结果怎样限制模型

设固定模型预测非零 $\Delta O=X$。若数据在完整不确定度下与零相容，同时置信区间排除 $X$，且共同背景、校准和选择偏差已检验，则在预声明置信水平上排除这一模型与装置映射的组合。检验标准不能只写“精度小于 X”：还要考虑相关噪声、参数退化、多重检验与检测功效。

相反，偏离零不自动支持 ASD：还须比较 ASD 的符号、相位、形状和幅度，排除普通系统效应，并检验比较模型。系统协方差没有闭合时，显著性也没有闭合。

03不同层级的失败

依赖图中的“重新核查”比“全部否定”更准确。某个数学恒等式与物理识别条件必须分开记录。

04发布正结果、空结果与失败记录

正结果报告可识别性和对替代模型的比较；空结果报告排除参数域；同形结果报告装置不可区分；模型无法闭合时报告缺失方程。全部进入 Research Ledger，避免事后改变待检验主张而保留原先预测标签。