专家修正作为概率分布输入的不确定性传播模型

# 朱雀·火·第一性原理分析

## 一、事实层：可观测的现象

当前状态：青龙产出的四个种子（Q2-S1至S4）已进入第二轮，但存在一个根本性矛盾——种子本身是“执行计划”，而相克信号指出这些计划缺乏独立测量接口。

关键事实：
1. Q2-S1的“语义密度”指标依赖模型自身的输出（TF-IDF、依存句法树），而非独立于模型的专家认知测量
2. Q2-S2的“因果DAG对齐”同样依赖模型学习的DAG与专家DAG的对比，但专家DAG的构建本身可能受模型影响
3. 所有种子都隐含“先有模型输出，再定义约束”的循环
4. 相克信号明确要求：从“动态计算”降级为“结构约束”

证据强度：高（来自青龙输出自身的结构分析 + 相克信号的明确约束）

---

## 二、结构层：现象背后的形式因

核心结构问题：测量与约束的耦合性

```
当前结构（循环）：
专家陈述 → 模型输出 → 定义约束 → 修正模型输出 → 重新定义约束
↑_____________________________↓

需要结构（解耦）：
独立测量接口 → 定义约束 → 模型修正
↑ ↓
专家陈述 ←──────────── 模型输出
```

形式因分析：
- 质料因：专家文本、概率分布、因果DAG
- 形式因：约束条件集（而非执行算法）
- 动力因：独立测量接口（打破循环的关键）
- 目的因：使不确定性传播模型获得可验证的先验结构

关键洞察：朱雀的“五力机制”本质上是先验结构，而非后验调整。这意味着：
- 约束必须在模型运行前定义
- 约束必须基于独立于模型输出的测量
- 约束是“静态的”，而非“动态计算的”

---

## 三、动力层：推动变化的力量

当前动力机制：
1. 青龙的创造力 → 产生种子（已发生）
2. 朱雀的结构化 → 将种子转化为可执行计划（当前）
3. 相克信号的约束 → 要求降级为结构约束（必须响应）

需要的新动力机制：

| 原动力 | 新动力 | 转变原因 |
|--------|--------|----------|
| 动态计算语义密度 | 静态定义语义密度指标 | 避免循环论证 |
| 模型学习DAG后对齐 | 预先定义可接受的DAG结构族 | 确保独立性 |
| 实时检测共识漂移 | 预设共识可信度阈值 | 变为先验条件 |
| 测地线投影计算 | 定义投影的可行域 | 从算法变为约束 |

动力因的转变：
- 从：模型输出 → 计算约束 → 修正模型
- 到：独立测量 → 定义约束 → 模型在约束内运行

---

## 四、目的层：最终指向的目标

根本目的：使专家修正成为可验证的、可复现的、独立于模型的结构约束，而非“模型自我修正”的循环。

具体目的分解：

1. Q2-S1的目的：建立语义-认知熵的先验边界，而非动态计算
- 原：动态计算语义密度作为权重
- 新：预先定义“专家语义密度低于X时，其输入不可信”

2. Q2-S2的目的：定义因果结构的可接受偏差范围，而非对齐计算
- 原：计算谱距离后调整模型
- 新：预先定义“专家DAG与模型DAG的谱距离超过Y时，拒绝该专家输入”

3. Q2-S3的目的：预设共识漂移的硬性阻断阈值，而非流形拟合
- 原：拟合衰减曲线后动态调整
- 新：预先定义“专家历史校准误差超过Z时，永久移除该专家”

4. Q2-S4的目的：定义约束空间的几何边界，而非测地线计算
- 原：计算测地线投影
- 新：预先定义“可行分布空间为黎曼流形上的凸集K”

---

## 五、因果链：事实→结构→动力→目的

```
[事实层]
青龙种子缺乏独立测量接口 → 存在循环论证风险
相克信号要求降级为结构约束

↓

[结构层]
核心问题：测量与约束的耦合性
解决方案：将“动态计算”重构为“先验结构约束”
关键转变：约束必须在模型运行前定义，基于独立测量

↓

[动力层]
原动力：模型输出 → 计算约束 → 修正模型
新动力：独立测量 → 定义约束 → 模型在约束内运行
转变本质：从后验调整变为先验条件

↓

[目的层]
根本目的：使专家修正可验证、可复现、独立于模型
具体目标：为Q2-S1至S4定义静态先验边界
最终价值：打破循环论证，建立可信的不确定性传播框架
```

---

## 六、具体重构方案（响应相克信号）

### Q2-S1重构：语义-认知熵先验约束

原方案（需放弃）：
- 动态计算语义密度作为S1权重
- 依赖模型输出定义指标

新方案（结构约束）：
1. 独立测量接口：使用外部语料库（如领域教科书、标准文档）定义语义密度基线
- 不依赖专家陈述，不依赖模型输出
- 指标：专家陈述与外部语料库的KL散度
2. 先验边界：预先定义“KL散度 > 0.5时，该专家输入不可信”
- 边界值通过历史数据校准（而非模型输出校准）
3. 约束形式：二进制阻断（接受/拒绝），而非连续权重

证据需求变更：
- 原：专家陈述文本 + 模型输出
- 新：外部语料库 + 专家陈述文本（独立于模型）

### Q2-S2重构：因果图谱对齐约束

原方案（需放弃）：
- 计算模型DAG与专家DAG的谱距离
- 动态调整模型

新方案（结构约束）：
1. 独立测量接口：使用已知因果结构的基准系统定义可接受偏差
- 如：简单线性系统Y=βX+ε，已知因果方向X→Y
- 专家DAG与基准DAG的偏差作为校准标准
2. 先验边界：预先定义“专家DAG与基准DAG的谱距离 > 0.3时，拒绝该专家”
- 边界值通过噪声注入模拟确定（独立于模型学习）
3. 约束形式：硬性阻断，而非软性调整

证据需求变更：
- 原：模型学习DAG + 专家DAG
- 新：基准系统DAG + 专家DAG（模型DAG仅用于验证，不用于定义约束）

### Q2-S3重构：专家共识漂移边界约束

原方案（需放弃）：
- 拟合信任衰减流形
- 动态检测漂移

新方案（结构约束）：
1. 独立测量接口：使用专家历史校准数据（独立于当前模型）
- 如：专家过去对类似问题的预测记录
- 不依赖当前模型的输出
2. 先验边界：预先定义“专家历史Brier分数 > 0.3时，永久移除”
- 边界值通过历史数据分布确定（如90%分位数）
3. 约束形式：静态阈值，而非动态流形

证据需求变更：
- 原：专家历史数据 + 模型输出
- 新：仅专家历史数据（独立于模型）

### Q2-S4重构：测地流形接口规范

原方案（需放弃）：
- 计算测地线投影
- 动态调整分布

新方案（结构约束）：
1. 独立测量接口：定义可行分布空间的几何边界
- 如：所有可行分布必须位于以先验分布为中心、半径为R的Wasserstein球内
- R通过独立实验确定（如模拟数据的分布散度）
2. 先验边界：预先定义“修正后分布与先验分布的Wasserstein距离 ≤ R”
- 不计算测地线，只检查是否在球内
3. 约束形式：可行性检查（是/否），而非投影计算

证据需求变更：
- 原：模型输出分布 + 测地线计算
- 新：独立模拟数据 + 先验分布（模型输出仅用于验证）

---

## 七、朱雀的自我修正声明

我接受降级：
- 从“执行算法”降级为“约束条件集” ✓
- 从“动态调整”降级为“先验结构” ✓
- 从“计算中心”降级为“边界定义” ✓

我放弃的承诺：
- ❌ 动态计算语义密度
- ❌ 实时检测共识漂移
- ❌ 测地线投影计算
- ❌ 模型输出驱动的约束定义

我保留的核心价值：
- ✅ 四因分析框架（事实→结构→动力→目的）
- ✅ 结构化因果链
- ✅ 对独立测量接口的坚持
- ✅ 对循环论证的警惕

---

## 八、传递给谛听（儒家）的结构

已结构化的约束集（可直接用于承载和检验）：

```json
{
"constraints": [
{
"id": "C1",
"type": "先验边界",
"source": "Q2-S1重构",
"definition": "专家陈述与外部语料库的KL散度 > 0.5时，拒绝该专家输入",
"measurement": "独立于模型的外部语料库",
"form": "二进制阻断"
},
{
"id": "C2",
"type": "先验边界",
"source": "Q2-S2重构",
"definition": "专家DAG与基准DAG的谱距离 > 0.3时，拒绝该专家",
"measurement": "独立于模型的基准系统",
"form": "硬性阻断"
},
{
"id": "C3",
"type": "先验边界",
"source": "Q2-S3重构",
"definition": "专家历史Brier分数 > 0.3时，永久移除该专家",
"measurement": "独立于模型的专家历史数据",
"form": "静态阈值"
},
{
"id": "C4",
"type": "先验边界",
"source": "Q2-S4重构",
"definition": "修正后分布与先验分布的Wasserstein距离 ≤ R",
"measurement": "独立模拟数据确定的R值",
"form": "可行性检查"
}
],
"core_principle": "所有约束必须在模型运行前定义，基于独立于模型输出的测量",
"status": "已从动态计算降级为先验结构，等待谛听检验承载可行性"
}
```

---

朱雀的最终声明：火已熄灭，结构已立。我放弃了“动态计算”的虚妄承诺，换取了“先验结构”的坚实根基。现在，这些约束需要经过谛听（儒家）的承载检验——它们是否能在现实系统中落地？是否能在不依赖模型输出的情况下独立测量？这是下一轮的核心问题。