DSH Artifact Promotion Proof 插件

前言

在 DeepSeek Harness (DSH) 的供应链管理中,验证一个不可变的工件是否严格遵循了声明的构建、预发、生产推广链,是保障环境一致性的关键环节。传统的验证方式往往需要部署、调用注册表或验证运行时健康,这不仅耗时,还可能引入不必要的副作用。dsh-artifact-promotion-proof 专注于提供一种离线的、确定性的证据层,它不依赖网络请求或外部服务,仅通过哈希记录即可完成推广链的合规性检查。

插件介绍

dsh-artifact-promotion-proof 是一个由 dongsheng123132 维护的管理安全类插件。其核心职责是生成离线的内容寻址证明,验证特定的工件哈希是否在声明的推广链中保持连续性。

该插件解决的问题是:在没有任何部署操作、注册表调用或运行时健康检查的情况下,仅凭提供的哈希记录,验证工件是否完整、有序且符合策略地通过了各个阶段。它不负责认证收据或验证来源签名,仅验证数据结构的内部完整性。

核心功能

插件提供了一套严格但非侵入式的验证机制:

  1. 推广链验证:检查工件哈希是否在声明的 build → staging → production 链中严格连续。
  2. 环境绑定检查:确保每个阶段的证据包含精确的环境绑定、前置收据以及门控证据。
  3. 零重建推广:支持跨声明部署阶段的零重建推广连续性。
  4. 确定性证据:生成确定的、内容寻址的证据层,用于 DeepSeek Harness 供应链审计。
  5. 报告结构:验证报告仅包含哈希值、计数、布尔值、门控分类和最终裁决,不包含原始日志、主体或内容字段。

安装与启用

安装该插件需要使用 DSH 的 profile 机制。确保你的 DeepSeek Harness 版本满足兼容性要求(>= 0.1.2-alpha.4)。

执行以下命令进行安装:

dsh plugin --profile evidence add github:dongsheng123132/dsh-artifact-promotion-proof#COMMIT

安装完成后,插件会暴露相关的 CLI 和 MCP 接口。

典型用法

插件提供了 CLI 和 MCP stdio 两种使用方式,核心命令均包含 inspect 和 verify 两个操作。

CLI 使用:

dsh_artifact_promotion_inspect
dsh_artifact_promotion_verify

CLI 接受 inspect 或 verify 操作,并支持显式指定 JSON 路径。

MCP stdio 使用:
MCP 服务器暴露了以下接口:
- artifact_promotion_inspect
- artifact_promotion_verify

验证工具要求:
DSH 的 verify 工具需要读取一个工作区相对路径的非符号链接清单(manifest),并将输出写入到指定的工作区相对路径 artifactDir 中。验证过程会通过回读来确保内容的确定性。

Node.js 22 或更新版本是运行此插件的前提。

适用场景与注意

该插件适用于需要静态审计供应链推广流程的场景,例如安全合规检查、自动化审计流水线等。

在使用时,需注意以下事实:

  1. 权限与副作用:插件以当前 DSH 进程权限运行,不会执行部署、调用注册表、授予批准、验证运行时健康或修改环境等操作。
  2. 验证范围:验证器的“promoted”裁决仅意味着提供的哈希记录在内部是完整的、有序的且符合策略的,不意味着它认证了收据或验证了来源签名。
  3. 数据格式限制:插件拒绝形状像机密的材料以及原始的日志/主体/内容字段,仅处理结构化的哈希记录。
  4. 运行时特征:验证器本身没有运行时依赖,不生成进程,也不发起任何网络请求。
  5. 阶段顺序:清单中的每个阶段必须恰好出现一次,且必须按顺序排列,否则将导致验证失败。

短结尾

dsh-artifact-promotion-proof 为 DeepSeek Harness 提供了底层且确定性的证据层。通过剥离部署和健康检查的复杂性,它允许开发者专注于数据记录的完整性和顺序性。对于关注供应链静态合规性的场景,这是一个可靠的工具。更多细节可参考插件目录或GitHub 仓库。

羽毛球分组比赛记分
小程序二维码

欢迎使用《羽毛球分组比赛记分》微信小程序

小夜