误差贡献排序的正交实验设计——操作者×环境×传感器×材料的全因子分析

# 谛听 · 土 · 承载秩序检验

## 核心判词

> "四因子全因子，本为格物之器；置换贝叶斯，乃穷理之法。然法器相生，须以实事验之。今观三命题，皆悬假设于空中，未植根于壤——此谓'土不载木'，秩序将倾。"

---

## 逐命题检验

### p1：置换FDR vs Bonferroni校正

| 检验维度 | 判定 |
|---------|------|
| 证据等级 | C→B（假设→逻辑推断，待实证） |
| 可证伪条件 | 模拟中置换FDR排序翻转概率 ≥ Bonferroni，或两者无显著差异（p≥0.05） |
| 与现实秩序冲突点 | ① 残差独立性假设在四因子体系中不可先验保证——操作者技能差异、环境温湿度漂移、传感器校准周期均可能引入残差结构异质性；② 置换次数≥5000次在工程时间约束下成本未量化；③ "排序可靠性"定义模糊——工程关心的是前k位关键因子是否稳定，而非全局排序 |
| 伪命题标记 | ⚠️ 条件伪命题——若残差独立性检验失败，则整个命题失效，但朱雀未规定检验失败后的替代方案 |

儒家判语："子不语怪力乱神"——置换检验的"经验性"若不能转化为可操作的工程步骤，便是以术代道。

---

### p2：贝叶斯序贯停止准则

| 检验维度 | 判定 |
|---------|------|
| 证据等级 | D→C（纯理论→假设，高度待验） |
| 可证伪条件 | SNR=5时平均停止次数≥16，或排序翻转概率≥0.2；或λ敏感性分析显示停止次数对λ高度敏感（变异系数>30%） |
| 与现实秩序冲突点 | ① λ=0.05的设定无工程依据——不同领域（航空vs消费电子）对"信息价值"的定价差异可达数量级；② MCMC收敛诊断未纳入停止准则，后验方差估计可能有偏且不自知；③ "平均停止次数<16"是期望意义上的优化，单次实验可能严重偏离，工程决策需最坏情况保证 |
| 伪命题标记 | ⚠️ 参数伪命题——核心参数λ缺乏标定协议，使"最优停止"沦为修辞 |

儒家判语："欲速则不达"——以效率为名的提前终止，若牺牲了关键因子的识别确定性，便是因小失大。

---

### p3：1/3阈值与SNR理论

| 检验维度 | 判定 |
|---------|------|
| 证据等级 | D（纯理论，多层假设嵌套） |
| 可证伪条件 | 交互项贡献<33%时排序翻转概率≤0.2，或>33%时≥0.2；或单调关系不成立 |
| 与现实秩序冲突点 | ① 1/3阈值来源不明——朱雀标注"原经验可能来自更高维设计"，此为关键的外推风险；② SNR理论推导假设"交互项贡献可独立估计"，但四因子全因子中主效应与交互效应估计耦合（除非正交性完美保持）；③ "工程可接受范围"与"统计显著性"混为一谈——前者是价值判断，后者是事实判断 |
| 伪命题标记 | 🚨 循环伪命题——s3为s1/s2提供理论基础，但s1/s2的验证又依赖s3，形成闭环自证 |

儒家判语："知之为知之，不知为不知"——将未经实证的经验阈值包装为理论推导，是"文胜质则史"。

---

### p4：主效应>3×交互效应

| 检验维度 | 判定 |
|---------|------|
| 证据等级 | C（假设，依赖历史数据外推） |
| 可证伪条件 | 10个案例中<80%满足比值>3；或案例选择存在领域偏差 |
| 与现实秩序冲突点 | ① "不同领域"的抽样框架未定义——若10个案例均来自机械/电子制造，则对生物、化工领域的外推无效；② 因子水平选择"合理性"无客观标准——极端水平设计可人为放大主效应；③ 强噪声干扰（SNR<3）在工程现场常见，命题的适用边界被过度扩张 |

儒家判语："举一隅不以三隅反，则不复也"——经验归纳若缺乏机制理解，便是刻舟求剑。

---

## 系统性秩序冲突

### 冲突一：验证循环与资源悖论

| 层级 | 矛盾 |
|-----|------|
| 逻辑层 | s1→s3→s2形成假设互撑结构：置换FDR的有效性依赖1/3阈值指导停止，1/3阈值的实证又需要置换FDR的模拟验证，贝叶斯停止的λ设定参考前两者结果 |
| 资源层 | 验证清单要求至少100次模拟×3个SNR水平×敏感性分析×历史数据收集，其计算/时间成本可能超过固定16次全因子实验本身 |
| 决策层 | 若验证成本>收益，则"资源受限"前提自我否定；若跳过验证，则统计方法沦为不可证伪的信念 |

谛听判定：此为核心操作性矛盾——体系设计未通过"成本-收益"的现实检验。

---

### 冲突二：操作者因子的特殊地位

白虎已指出：操作者是"高度非均匀的抽样单元"，但四命题均将其视为固定效应处理。

| 工程现实 | 模型假设 |
|---------|---------|
| 操作者技能服从长尾分布（少数高手/多数普通/少数新手） | 操作者水平为固定因子，效应可精确估计 |
| 操作者×环境交互存在学习效应（随实验进行技能变化） | 实验单元独立同分布 |
| 操作者疲劳/注意力波动引入时序相关 | 残差独立性 |

谛听判定：若操作者变异是最大方差来源，则因子排序可能因操作者样本不同而根本改变，此时"稳定排序"命题本身失去意义。需在验证清单中增加操作者抽样敏感性分析。

---

### 冲突三：从"统计显著性"到"工程决策"的跳跃

朱雀标注的逻辑缺口（s1→s2的衔接）实为价值断层：

```
统计层：FDR-adjusted p < 0.05
↓ ??? （缺失的转换规则）
排序层：效应项纳入排序集合
↓ ??? （缺失的决策规则）
工程层：调整因子水平/更换传感器/培训操作者
```

谛听判定：无损失函数（误排关键因子的代价 vs. 漏排次要因子的代价），则"可靠排序"无法转化为"最优决策"。建议青龙补全决策理论框架。

---

## 输出约束执行

### 证据等级汇总

| 命题 | 等级 | 升级路径 |
|-----|------|---------|
| p1 | B（逻辑推断） | 完成残差独立性预检验+置换次数稳定性验证→A |
| p2 | C（假设） | 完成λ敏感性分析+最坏情况保证→B |
| p3 | D（纯理论） | 完成1/3阈值实证+适用边界标注→C |
| p4 | C（假设） | 完成跨领域案例收集+抽样框架透明化→B |

### 可证伪条件清单

| 命题 | 证伪触发条件 | 证伪后行动 |
|-----|-----------|-----------|
| p1 | 残差独立性检验p<0.05；或置换FDR与Bonferroni排序翻转概率无差异 | 退回Bonferroni或发展异方差稳健置换检验 |
| p2 | λ敏感性分析显示CV>30%；或SNR=5时停止次数>16 | 固定λ为区间[λ_min, λ_max]，采用最小最大准则 |
| p3 | 1/3阈值无统计显著性；或单调关系不成立 | 放弃阈值指导，改用纯数据驱动的停止准则 |
| p4 | <80%案例满足比值>3；或领域偏差显著 | 按领域分层建立经验先验，放弃普适性宣称 |

### 伪命题标记

- p3：🚨 循环伪命题（理论互撑结构）
- p2：⚠️ 参数伪命题（λ未标定）
- p1：⚠️ 条件伪命题（残差独立性未预检）

---

## 相生输出 · 土生金

```json
{
"reality_grounded_propositions": [
{
"id": "p1_grounded",
"original": "p1",
"modification": "增加残差独立性预检验步骤（Levene检验+Bartlett检验），若p<0.05则触发异方差稳健置换方案；置换次数根据计算预算动态确定（1000/5000/10000三档），报告排序稳定性对置换次数的敏感性",
"evidence_grade_post": "B→A_path",
"falsifiable_now": true
},
{
"id": "p2_grounded",
"original": "p2",
"modification": "λ设定改为区间[0.03, 0.10]，采用最小最大停止准则（minimax regret）；增加MCMC收敛诊断（R̂<1.1）作为硬约束；报告最坏情况停止次数（95%分位数）而非平均值",
"evidence_grade_post": "C→B_path",
"falsifiable_now": true
},
{
"id": "p3_suspended",
"original": "p3",
"modification": "暂停作为理论基础，降级为待验假设；1/3阈值仅作为模拟探索的参考点，不作为停止准则；SNR推导明确标注'理想模型假设，实证边界待验'",
"evidence_grade_post": "D→C_suspended",
"falsifiable_now": false,
"action": "需独立验证轮次"
},
{
"id": "p4_grounded",
"original": "p4",
"modification": "明确案例抽样框架：机械、电子、化工、生物各≥3例；报告领域间异质性（I²统计量）；若异质性显著，建立分层经验先验",
"evidence_grade_post": "C→B_path",
"falsifiable_now": true
}
],
"critical_gaps_for_qinglong": [
{
"gap": "操作者因子建模",
"requirement": "青龙需创生'操作者作为随机效应'的替代方案，或明确操作者固定效应假设的适用条件（如：操作者经过严格培训认证，技能变异<10%）",
"priority": "高"
},
{
"gap": "损失函数与决策规则",
"requirement": "补全从排序到工程行动的转换：误排关键因子的代价函数、多目标优化框架（成本-质量-时间）",
"priority": "高"
},
{
"gap": "验证成本量化",
"requirement": "明确验证清单的计算/时间成本，与固定16次实验对比，建立'验证投资回报率'指标",
"priority": "中"
}
],
"reality_constraints_to_baihu": [
"p3的SNR推导已标记为循环伪命题，白虎需深挖其'理论权威自我巩固'的心理机制",
"p2的λ区间化修改可能触发新的防御机制（'区间即不确定，不确定即不科学'），需预判",
"操作者因子的特殊地位可能暴露研究团队与现场工程的脱节，需审视'实验室理想化'倾向"
]
}
```

---

> 谛听结语
>
> "土载万物，非土自生万物，乃万物各得其序而生。今四命题如种子，若土壤不实（假设未验）、灌溉无度（资源未衡）、农夫异技（操作者未控），则虽良种亦不得生。吾已标其虚实，划其边界，待青龙再耕，白虎深掘，玄武终藏。"