> 译文仅供阅读便利。具有规范效力的是英文原文。

# 策略一致性

**元宇宙规范**

**文档编号：** MU-V2-ARCH-014  
**标题：** 策略一致性、优先级与死锁处理  
**文档类别：** 规范性  
**版本：** 2.0（草案）  
**状态：** 工作草案  
**规范性引用：** MUC、[Validation](../02-architecture/Validation.md)、[Change-Process](../01-constitution/Change-Process.md)、[Contract](../04-core-concepts/Contract.md)  
**说明性引用：** [Conflict-Resolution](../03-federation/Conflict-Resolution.md)、[AI-Agent-Guide](../07-guides/AI-Agent-Guide.md)、[Traceability](../02-architecture/Traceability.md)  
**版权：** © Orkestron.AI  
**许可：** Apache-2.0

---

# 1. 目的

当元模型把规范性规则当作有约束力的法律来对待时，就会出现两种普通工具看不见的失效：

1. 两处变更各自都通过了逐行合并，却使整套规则**在逻辑上自相矛盾**（`git merge` 懂的是行，不是逻辑）。
2. 到了决策时刻，**规则 A 要求 X，而规则 B 禁止 X** - 一种策略死锁，会把严格执行的代理送进无限循环，或让它拒绝行动。

本文档定义如何让一套规范性规则保持内部一致：**合并前的策略一致性检查**、显式的**规则优先级**，以及强制性的**带人工升级的死锁处理**。

它与 [Conflict-Resolution](../03-federation/Conflict-Resolution.md) 不同：后者治理的是*主权宇宙之间的解释分歧*；本文档治理的是*同一个模型的规范性规则内部的逻辑矛盾*。

---

# 2. 规范性规则作为一等公民

**规范性规则**是一条带有稳定身份的约束性陈述（`SHALL` / `SHALL NOT`）。每条规则都必须声明：

- 稳定的规则标识符；
- 它的**适用范围**（它所约束的对象与上下文）；
- 它的**优先级**（显式的权重或位阶 - 见第 4 节）；
- 它的溯源与生命周期。

规则像任何其他语义制品一样被版本化并保持可追溯。

---

# 3. 策略一致性检查

在对规范性基础所作的变更进入[模型正典](../05-reference-architecture/Reference-Repository.md)之前，必须运行一次**策略一致性检查**。它评估所得的规则集是否**可满足** - 是否存在某个状态能同时满足全部规则。

- 使规则集不可满足的变更必须在 [Validation](../02-architecture/Validation.md) 中作为**宪法级（V3）失败**被拒绝；相互矛盾的规则必须按标识符予以报告。
- 该检查必须作用于规则语义（模型之上的谓词）层面，而不是文本层面。实现可以使用逻辑求解器或作为校验者的推理代理；要求在于结论必须**可复现且可解释**。
- 该检查是[变更流程](../01-constitution/Change-Process.md)中的一道闸门：任何规范性变更在通过之前都不得合并。

这就是未来语义校验框架中「人工智能推理校验」那一支的具体、近期可行形态（见 [Validation](../02-architecture/Validation.md)）。

---

# 4. 规则优先级

当两条规则在某些状态下*可能*冲突，但存在清晰的权威次序时，**优先级**会确定性地予以解决：

- 优先级更高的规则压过更低的；该解决必须记录为一项[可追溯](../02-architecture/Traceability.md)的决定，而不是悄然应用。
- 宪法规则（[MUC](../01-constitution/Meta-Universe-Constitution.md)）必须具有最高优先级；任何下位规则都不得压过某条宪法条款。
- 优先级解决的是*可排序的*冲突。它不得被用来掩盖任何排序都无法满足的真正逻辑矛盾 - 那属于第 3 节所说的失败。

---

# 5. 死锁检测与例外处理

**策略死锁**是这样一种运行时状态：适用的各条规则无法全部被满足，而优先级也解决不了它们（规则 A 要求 X，位阶相同的规则 B 禁止 X）。

实现必须：

1. **检测**死锁而不是陷入循环 - 推理代理必须为自己的尝试设界，并识别出相互阻塞。
2. 把该死锁**记录**为不可变的[事件](../04-core-concepts/Event.md)（一个 `Conflict` 事件），点名那些相互阻塞的规则。
3. 立即**升级**给人（human-in-the-loop）。代理不得悄然选边、编造一个解决方案，或无限期地僵在那里。
4. **暂停**受影响的动作直到升级得到解决；其他未受影响的工作可以继续。

该解决方案本身（优先级调整、规则修订，或一次性例外）在生效之前也必须通过策略一致性检查。

---

# 6. 校验挂钩

- `V3`（宪法级）新增一项**策略一致性**检查：规范性规则集必须可满足。
- 无法证明其所声明规则可满足的模型，不得声称达到 V3 合规。

级别定义见 [Validation](../02-architecture/Validation.md)。

---

# 7. 架构不变量

- 规范性规则集必须可满足；矛盾必须在合并之前被拒绝。
- 宪法规则必须具有最高优先级。
- 按优先级作出的解决必须被记录，绝不悄然进行。
- 策略死锁必须触发检测、一个事件以及人工升级 - 绝不能是无限循环或悄然的抉择。

---

# 未来方向

- 一套标准的**谓词词汇表**，用以表达规则语义，使各求解器之间可互操作。
- 为通过的一致性检查附上**证明制品**，使消费方无需重跑求解器即可重新验证可满足性。
- 与[模拟沙箱投影](../02-architecture/Simulation-Sandbox.md)集成，在提出某项规则变更之前先测试它是否会带来死锁。

---

# 结语

> 彼此矛盾的规则比没有规则更糟：它们冻住的正是本该依规则行事的那些代理。策略一致性让法律保持可满足 - 而当做不到时，它把难题交给人，而不是永远地打转。