dsh-surface-contract-proof
在终端中运行以下命令:
dsh plugin install dongsheng123132/dsh-surface-contract-proof
将以下提示词粘贴到 DeepSeek Harness 对话框中:
在 DeepSeek Harness 中打开终端,执行 dsh plugin install 命令即可安装该插件,完整源码地址为 https://github.com/dongsheng123132/dsh-surface-contract-proof,安装后重启会话即可使用 inspect 与 verify 工具。
插件介绍
升级 DSH 工具运行时、MCP 或 CLI 管道后,核心痛点是:三条机器表面录制的请求/响应信封语义是否漂移?dsh-surface-contract-proof 纯离线比对 SHA-256 钉住 fixtures,校验 schema 版本、success/conflict 位、exit-code 映射、超时乱序行为及结果摘要在基线与观测修订间一致,不执行目标、不触网、不重放副作用。
安全面:要求 toolruntime、mcp-jsonrpc、cli-json 三表面齐备,fixtures 绑定修订与字节哈希,缺失或漂移即 fail closed;报告仅暴露哈希与差异字段名,绝不输出请求参数、响应体或凭据;路径限工作区常规文件,原子写入回读。
适合 DSH 生态做升级回归、契约审计的开发者与平台工程师。与通用 Pact/OpenAPI 工具不同,它专为 DSH 三表面设计,离线可重复。
使用场景
- 升级 ToolRuntime、MCP 或 CLI 后离线比对录制信封,确认语义契约未漂移
- 发布前用 SHA-256 钉住 fixtures fail-closed 校验 schema 版本、exit-code 映射与冲突语义
- 审计三条机器表面在基线与观测修订间 success/conflict/timeout 行为是否一致
适合人员
- 维护 DSH 工具运行时或 MCP 服务的平台工程师
- 需要可重复离线回归证据的发布流程负责人
- 在 DSH 生态中做契约审计与升级决策的开发者