# 校验与演进

*构建元模型 · 第 6 课，共 6 课 · 约 15 分钟*

## 你将学到

模型如何证明自己是对的（校验级别 V0-V5）、如何证明自己就是自己（指纹、包），以及如何在不破坏消费方的前提下变化。

## "有效"的六个级别

校验是分层的；每一层问的问题都不同：

| 级别 | 问题 |
|-------|----------|
| V0 语法 | 文件解析得开吗？ |
| V1 结构 | 形态对不对：清单在不在、引用能否解析、**覆盖检查是否通过（零孤儿）**？ |
| V2 语义 | 内容讲不讲得通：种类是否一致、镜像是否带来源与新鲜度、主权流向是否与主相符？ |
| V3 宪章 | 模型是否服从 MUC（主权、身份、事件规则）？ |
| V4 联邦 | 它能否联邦：映射是否成立、契约是否格式良好、发现文档是否有效？ |
| V5 运行时（可选） | 线上行为是否与声明一致：节奏是否真的在跑、过期上限是否守得住？ |

实用节奏：每次变更跑 V0-V1（便宜、可自动化，遍历器就是 V1 的一半），发布时跑 V2-V3，联邦之前跑 V4，如果你运营着流水线就持续跑 V5。各级别都配有抽象测试流程，而仓库随附一套保持绿色的参考测试套件。

## 身份：语义指纹

模型的身份不是它的字节：**语义指纹**是对规范化语义结构所做的可复现哈希，跨序列化方式保持一致。指纹支撑着登记册的去重、包的自我验证，以及主本与副本之间的漂移检测。如果两方为"同一个"模型算出了不同的指纹，那他们手里的就不是同一个模型，而现在他们知道了。

## 分发：语义分发包

模型以 **SDP** 的形式旅行：一件已签名、自包含的制品，携带各个包、清单、导入的包与映射、指纹，以及一份一致性声明。消费方在信任之前先验证：重算指纹、检查签名、读取声明的一致性级别。可以把它想成 npm 制品，只不过针对的是意义，而且能自我验证。

## 演进而不背叛

模型的寿命长过它的第一个版本。让消费方保持安全的规则是：

- **版本是语义化的**：破坏性的语义变更会抬升主版本号；无论版本字符串怎么宣称，指纹的变化说的才是实话。
- **迁移是一等公民**：语义迁移标准把变更描述为带来源的转换，而不是让人拿肉眼去看的 diff。
- **历史仅可追加**：被取代的记录会被标记，绝不删除；时间线（基础课第 4 课）让每一个过往状态都保持可重建。
- **结构变更同样带版本**：如果仓库布局发生演进，清单会记录下映射关系，以免旧的遍历器悄无声息地误读新的形态。

## 一致性的阶梯

一致性是声明出来的，不是凭感觉的：MMAS 定义了各个级别，而**核心配置**定义了最低可行的主张（面向尚不能做到一切的年轻模型）。这个生态中的生产模型，都是从基本的块级有效性起步，逐步爬向完整的可追溯图与适合智能体的治理。声明一个谦逊而真实的级别，好过宣称一个好听却虚假的级别：消费方是可以核查的。

## 你现在是建造者了

你已经知道形态（构造）、内容（记录）、保证（遍历）、权限（主权归属）、杠杆（复用）与生命周期（本课）。诚实的下一步就是动手：拿起模板，为一件真正属于你的小东西建模，把遍历器跑到变绿，再把真相登记进 `sources.yaml`。[智能体课程](../03-agents/01-reading.md)会告诉你，你未来的协作者——无论人类还是人工——将如何消费你所建造的东西。

## 深入阅读

- [校验 V0-V5](/spec/#02-architecture/Validation.md) · [MMAS 一致性](/spec/#02-architecture/MMAS-Conformance.md) · [核心配置](/spec/#02-architecture/Core-Profile.md)
- [版本管理与指纹](/spec/#02-architecture/Versioning.md) · [语义迁移](/spec/#02-architecture/Semantic-Migration.md)
- [MMAS-Package §13：SDP](/spec/#02-architecture/MMAS-Package.md)