一致性和升级
一致性和升级
Section titled “一致性和升级”一致性属于精确的工件集,而不是分支名称或 SDK 支持 MissionWeaveProtocol 的一般声明。从本地规范发布identity开始,验证每个固定的摘要,然后运行适用的证据表面。
所需的证据层
Section titled “所需的证据层”- JSON 架构目录 定义了确切的持久的对象形状和断言格式。
- 的 结构一致性捆绑包 练习预期有效和预期无效的协议文档。
- 加密包 通过六个语义阶段练习每个 Signed Document 配置文件。
- 准入捆绑包练习固定密码学捆绑之上的首次准入和历史信任。
- 完整运行时声明还需要正面和负面证据命令、事件、状态转换、重播、防护、授权、预算、故障恢复以及陈旧或重复的副作用。
本地一致性概述将这些表面分开,因此通过一层不会默默地提升到另一层。
在案例之前验证清单
Section titled “在案例之前验证清单”对于加密包,验证固定架构,准确删除顶级 artifactDigest
成员,JCS - 规范化剩余清单,使用 SHA-256 对其进行哈希处理,并在执行案例之前验证每个声明的工件字节哈希(MWP-EXT-011)。
准入清单使用相同的摘要过程,并另外固定未更改的加密摘要。在执行适配器结果之前验证所有引用的工件和该Pin (MWP-EXT-012)。
陈述已证明的子集
Section titled “陈述已证明的子集”模式向量证明了模式和向量的行为。密码学证明了六个验证阶段。准入还证明其声明的首次准入和历史重放案例,但不能证明 Command 新鲜度、签名者授权、状态机接受或可移植的已部署 Admission Log 证明格式。仅当自动正面和负面证据覆盖每个核心 Command 类型、每个核心 Event 类型以及每个转换行时,参考实现才可以声称完全符合 MissionWeaveProtocol 0.1 一致性。否则,它会显式报告较窄的已验证子集 (MWP-EXT-013)。
扩展和兼容性
Section titled “扩展和兼容性”Extension Profile 声明其全球唯一的 URI、语义版本、架构 URI 和哈希、功能、关键性以及 Organization 批准签名 (MWP-EXT-001)。可以保留和中继未知的非关键扩展数据,同时拒绝依赖于未知关键配置文件的转换 (MWP-EXT-002)。任何配置文件都不能削弱身份、排序、幂等性、屏蔽、预算、Approval、出处、隔离或 Message/非权威不变性 (MWP-EXT-003)。
v0.1 模式拒绝未知的核心属性,并且仅通过显式扩展成员承认可扩展性。尽可能保留规范中继的未知非关键扩展字节(MWP-EXT-010)。
分配固定 Agent Card 和所需的功能版本。不兼容的功能升级检查点活动工作,并需要在继续执行之前重新接受 (MWP-IDN-003)。
为了向后兼容的规范说明,线路 protocolVersion 保留为
0.1。对核心语义、必填字段或签名字节的更改需要协商新的线路次要或主要版本。切勿将新的签名信封保护规则引入为静默 v0.1 行为 (MWP-SDV-019)。