DeepSeek Harness (DSH) 中的架构迁移（Schema Migration）通常记录在测试套件中。验证迁移是否可幂等、可回滚以及是否遵守不变量是工程化的关键环节。传统的验证方式可能难以直接校验证据的完整性和确定性。dsh-schema-migration-proof 插件旨在解决这一问题，通过离线方式生成并校验迁移证据。
定位与功能¶
dsh-schema-migration-proof 是一个 DeepSeek Harness 插件，由 dongsheng123132 维护，分类为 admin-security。它不执行迁移或返回数据体，而是专注于为已记录的 DeepSeek Harness 架构迁移生成离线、内容寻址（Content-addressed）的证据。其核心作用是验证固定固定件信封的输出确定性、幂等重跑能力、可逆回滚性、必需不变量以及显式声明的数据丢失字段。
主要功能包括：
- 离线内容寻址证据：为已记录的 DSH 架构迁移生成离线证据，不依赖网络或外部执行。
- 输出确定性验证：检查固定件信封，确保输出是确定性的。
- 幂等重跑与可逆回滚：支持迁移的幂等重跑以及可逆的回滚验证。
- 不变量检查：验证必需的不变量，缺失或失败时采用失败关闭（fail closed）策略。
- 显式丢失披露：对于有损迁移，必须枚举所有被披露的丢失字段。
安装与启用¶
使用官方 CLI 进行安装。执行以下命令将插件添加到当前配置文件中：
dsh plugin --profile web add github:dongsheng123132/dsh-schema-migration-proof
典型用法¶
- CLI 使用：在终端中运行验证命令，指定工作区根目录、迁移文件和产物目录。
dsh-schema-migration-proof verify --workspace-root examples --migration migration.json --artifact-dir artifacts
- MCP 使用：通过 Model Context Protocol (MCP) 调用内联检查和验证功能。
适用场景与注意¶
- 适用场景：适合需要严格验证架构迁移证据完整性和安全性的场景。
- 注意点：
- 本插件不是迁移运行器、数据库工具、恢复系统或第二层契约验证器。
- 插件会拒绝包含 Body、Data、Payload、Secret、Credential、Prompt 和 Message 形状字段的输入。
- 当必需的不变量缺失、失败或未被观察时，验证将失败（fail closed）。
- 运行环境要求：DSH 版本需 >= 0.1.2-alpha.4，Node.js 版本需 >= 22。
总结¶
该插件为 DSH 的架构迁移测试提供了严谨的证据生成和校验手段。对于追求迁移安全性和确定性的工程实践，这是一个必要的辅助工具。
