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

# 溯源图

**元宇宙规范**

**文档编号：** MU-V2-ARCH-011  
**标题：** 可查询的溯源图  
**文档类别：** 规范性  
**版本：** 2.0（草案）  
**状态：** 工作草案  
**规范性引用：** [Traceability](../02-architecture/Traceability.md)、[Event](../04-core-concepts/Event.md)、[MMAS-Core](../02-architecture/MMAS-Core.md)、RFC 2119  
**说明性引用：** [MMAS-Interchange](../02-architecture/MMAS-Interchange.md)、[Contract](../04-core-concepts/Contract.md)、[Projection](../04-core-concepts/Projection.md)  
**版权：** © Orkestron.AI  
**许可：** Apache-2.0

---

# 1. 目的

[Traceability](../02-architecture/Traceability.md) 把**语义谱系**引入为含义起源的历史，并指出它可以被提升为一等的可查询制品。本文档把这件事落实：它把语义谱系变成一张**溯源图**，一个可导航、可查询的结构，其中每一个结论都与支撑它的证据相连，任何变更的后果都能被向前与向后追踪。

溯源图把*「这个事实为什么成立？」*与*「如果这个变了，什么会坏？」*从人工排查变成确定性的图查询。

---

# 2. 适用范围

本规范适用于：

- 构成溯源图的节点与边类型；
- 它与[事件](../04-core-concepts/Event.md)因果之间的关系；
- 合规实现必须支持的标准查询模式；
- 联邦之下溯源的跨宇宙行为。

它不强制规定图存储技术；凡是能在第 4-5 节的模型之上回答第 6 节各项查询的实现，即为合规。

---

# 3. 原则

- **谱系是图，不是流水日志。**一个结论可以派生自许多事实，一个事实也可以影响许多结论。
- **边是显式的。**溯源关系必须被声明，而不是事后推断。
- **图只追加。**它通过不可变的[事件](../04-core-concepts/Event.md)生长；从不被悄然改写。
- **图可查询。**影响、依赖与论证都必须能通过遍历得到解答。

---

# 4. 节点类型

溯源图必须识别以下节点类型：

| 节点 | 含义 |
|------|---------|
| **对象** | 语义真相点 - *什么存在*。 |
| **事件** | 关于*发生了什么*的不可变记录（见 [Event](../04-core-concepts/Event.md)）。 |
| **投影** | 由一个或多个对象派生的、与上下文相关的视图。 |
| **契约** | 知识被使用或披露时所依据的规则。 |
| **来源** | 外部出处（上游系统、文档、观察，或另一个宇宙），其本身不是元宇宙对象。 |

每个节点都必须携带稳定的身份，以及与其类别相称的[最小可追溯性元数据](../02-architecture/Traceability.md)。

---

# 5. 边类型

溯源图必须识别以下有向边类型：

| 边 | 从 → 到 | 含义 |
|------|-----------|---------|
| `derivedFrom` | 对象/投影/事件 → 对象/事件/来源 | 目标是产生该边起点所用的输入。 |
| `influences` | 对象/事件 → 对象/投影 | 起点对目标有贡献，但并未单独决定它。 |
| `assertedBy` | 对象/事件/投影 → 来源（行动者） | 目标由所指名的行动者或权威所断言。 |
| `governedBy` | 投影/事件/对象 → 契约 | 该使用或披露受所引用契约治理。 |

`derivedFrom` 与 `influences` 捕捉的是*语义*依赖（含义的起源）；`assertedBy` 捕捉的是*作者身份*（溯源）；`governedBy` 捕捉的是*权威*（当时生效的规则）。边必须作为不可变事件的一部分被创建，或被其引用，使这张图本身也保持可追溯、不可改写。

---

# 6. 与事件因果的关系

溯源图与事件**因果**是同一段历史的两种视图：

- **因果**沿*时间*连接事件：*这个事件之所以发生，是因为那个事件发生了*（见 [Event §9](../04-core-concepts/Event.md)）。
- **溯源**沿*含义*连接事实：*这个结论之所以成立，是因为那些事实成立*。

两个结论之间的 `derivedFrom` 边必须与产生它们的事件之间的因果保持一致：若结论 B 派生自结论 A，则断言 B 的事件必须在因果上晚于断言 A 的事件。谱系解释含义在实体之间的起源；因果解释变化在时间中的起源。两者合起来，使这张图对任何事实既是*语义*解释，也是*时间*解释。

---

# 7. 标准查询模式

合规的实现必须能在溯源图之上回答以下问题：

## 7.1 影响 - 「如果 X 变了，什么会坏？」

从节点 X 出发、沿 `derivedFrom` 与 `influences` 边（反向）作**向前**遍历，会得出含义传递性地依赖于 X 的每一个对象、投影与结论。这就识别出在 X 变化时会变陈旧、并且必须重新评估的下游事实。

## 7.2 依赖 - 「列出所有依赖事件 Y 的结论。」

从事件 Y 出发，顺着它所 `influences` 的、以及 `derivedFrom` 它的事件与事实作遍历，会得出 Y 的依赖锥 - 每一个直接或传递地建立在 Y 之上的结论。

## 7.3 论证 - 「这个事实为什么成立？」

从某个事实出发、沿 `derivedFrom`、`influences`、`assertedBy` 与 `governedBy` 边作**向后**遍历，会得出它的论证：它派生自哪些输入、由哪个行动者断言、其使用受哪份契约治理，一直回溯到最初的来源。这就是对*「这为什么成立？」*的机器可读回答。

---

# 8. 完整示例

设想一份分若干步骤推导出来的*员工能力评分*，每一步都记录为一个事件，并由溯源边相连：

```text
(Source: Sprint Retrospectives)
        ▲ derivedFrom
(Object: Project Feedback) ──assertedBy──▶ (Source: Team Lead)
        ▲ derivedFrom
(Object: Performance Review) ──governedBy──▶ (Contract: HR Disclosure)
        ▲ derivedFrom
(Object: Employee Competency Score)
        │ influences
        ▼
(Projection: Promotion Recommendation)
```

- **论证** - *这份晋升建议为什么是现在这个样子？*向后遍历返回：它 `derivedFrom` 能力评分，能力评分 `derivedFrom` 绩效评估（`governedBy` 人力披露契约），绩效评估 `derivedFrom` 项目反馈（`assertedBy` 团队负责人），而项目反馈植根于各次冲刺回顾。
- **影响** - *如果某次冲刺回顾被订正，什么会坏？*向前遍历返回：项目反馈、绩效评估、能力评分与晋升建议 - 全部被标记为需要重新评估。
- **依赖** - *哪些结论依赖于记录了绩效评估的那个事件？*能力评分与晋升建议。

每个答案都由遍历产生，而不是靠读散文得来 - 正是这一点让溯源变得*可操作*，而不只是被写在文档里。

---

# 9. 联邦中的行为

在联邦之中，溯源图必须在不交出主权的前提下保留可追溯性。`derivedFrom` 边可以指向另一个宇宙中的来源；这样的边必须只通过受[契约](../04-core-concepts/Contract.md)治理的[投影](../04-core-concepts/Projection.md)加以披露，一如 `governedBy` 所记录。于是宇宙公开的是某个结论*确实*依赖于某个外部来源、以及依据哪份契约，而不必公开该来源的全部内部谱系。

---

# 10. 校验

溯源图在满足以下条件时符合本规范：

- 每条边都属于所定义的类型之一，并有不可变事件作为支撑；
- `derivedFrom` 与事件因果之间的一致性成立（第 6 节）；
- 影响、依赖与论证查询（第 7 节）返回正确的传递性结果；
- 跨宇宙的边只在显式契约之下被披露。

适用的级别见 [Validation](../02-architecture/Validation.md)。

---

# 11. 架构不变量

- 溯源图必须只追加，并由不可变事件支撑。
- 溯源边必须显式，绝不悄然推断。
- `derivedFrom` 必须与事件因果保持一致。
- 影响、依赖与论证都必须能通过遍历得到解答。
- 跨宇宙溯源不得绕开契约与投影。

---

# 未来方向

未来的修订可以定义一种标准的**溯源查询语言**以及图片段的交换格式，使影响与论证查询能够跨联邦宇宙运行；把该图与[语义指纹](../02-architecture/MMAS-Interchange.md)集成，使来源的变化被自动*检出*、其下游锥被自动*作废*；并给边附上置信度与信任向量，使论证可以被权衡，而不只是被罗列。这些扩展会把陈旧结论的自动作废变成一项一等的、覆盖整个联邦的能力。

---

# 结语

> 溯源不再是我们事后讲述的故事，而成为一个我们可以向它提问的结构。溯源图让任何参与者都能把一个结论向后追溯到支撑它的证据，并向前追溯到一旦那些证据改变就会崩坏的一切 - 跨越时间、跨越含义，也跨越联邦宇宙。