运行时规格

维护者提示： 本节包含面向 Holon 内核开发者的内部运行时规范、状态机流转与实现契约。普通用户日常使用请查阅 指南 与 参考。

规格（spec）页面描述当前运行时契约——Holon 运行时今天实际做了什么， 并基于实现和测试验证。

规格不是教程或用户指南。它们是给需要理解或修改运行时行为的贡献者、 维护者和集成方的权威契约。

规格在文档模型中的位置

层	内容	读者
指南	任务导向的工作流	用户
概念	心智模型	用户、评估者
参考	CLI、配置、控制平面快照	用户、集成方
规格（本节）	当前运行时契约	维护者、贡献者
维护者	构建、测试和文档维护流程	维护者、贡献者
RFCs	设计记录和理由	维护者

规格桥接用户文档和 RFC 设计历史之间的空隙。当 RFC 稳定为运行时行为后， 当前契约会被提取到这里。RFC 保留为设计记录；规格是活契约。

如何阅读规格

每个规格页面遵循一致的结构：

• 契约（Contract） — 运行时实现的规范行为。
• 验证（Validation） — 契约如何基于实现、测试和 RFC 检查。
• RFCs — 关联的源设计记录。
• 已知缺口（Known gaps） — 未解决漂移的跟踪后续 issue。

与 docs/runtime-spec.md 的关系

docs/runtime-spec.md 现在是一个聚合索引，把最初的 v0 单体规格映射到当前的聚焦规格页面。 它不再包含规范内容。

这里的聚焦规格页面是唯一的权威实现侧契约。 当某个主题有专门的规格页面时， 该页面就是当前权威。

给贡献者

当你修改运行时行为时，同步更新相关规格页面和 RFC。规格页面基于实现验证—— 如果实现和规格不一致，修复错误的一方，并为另一方开 issue。