前言¶
在 DeepSeek Harness (DSH) 的开发中，智能体偶尔需要临时豁免某些策略限制。为了确保合规性，不能仅依赖运行时的执行结果，还需要在事后（离线）证明这些豁免确实被严格控制在批准的范围内。dsh-policy-waiver-proof 插件提供了一种离线的、确定性的证据层，用于验证已发布的临时策略例外是否越界。
插件定位¶
这是一个由开发者 dongsheng123132 维护的插件。它的核心价值在于生成离线证据，证明临时策略豁免是否保持在批准的边界内。它不负责授予豁免、更改策略、批准工具调用或执行外部命令，而是专注于验证已发出临时例外（包括撤销或关闭）的边界生命周期。
核心功能¶
该插件具备以下能力：
* 离线验证：验证器不使用运行时依赖或网络访问。
* 边界证明：证明记录的使用是否保持在批准的主体、修订版、范围、操作白名单、时间窗口、使用限制和补偿控制之内。
* 生命周期管理：验证豁免的连续性、生效时间、撤销/关闭状态以及补偿控制的有效性。
* 输出格式：报告仅包含哈希、计数、布尔值、公共有界 ID 转换为哈希以及机器可读裁决，拒绝原始业务主体和类似秘密的材料。
安装与启用¶
使用官方安装命令添加插件：
dsh plugin add github:dongsheng123132/dsh-policy-waiver-proof#COMMIT
典型用法¶
插件发布了两套工具：
1. CLI 工具：从 DSH bundle 发布，名称为 dsh_policy_waiver_inspect 和 dsh_policy_waiver_verify。
2. MCP stdio 服务器：独立的 MCP stdio 服务器发布 policy_waiver_inspect 和 policy_waiver_verify。
CLI 接受 inspect 或 verify 后跟一个明确的 JSON 清单路径。清单文件示例位于 examples/contained.json。DSH 验证工具仅读取工作区相对的非符号链接清单，并将输出写入一个明确的工作区相对 artifactDir。
验证逻辑¶
插件对豁免使用的验证遵循严格规则：
1. 连续性：已应用的使用必须是连续的。
2. 时间与顺序：必须发生在评估之前且在豁免窗口内，发生在撤销/关闭之前。
3. 约束匹配：必须匹配所有绑定，且数量低于 maxUses。
4. 补偿控制：必须具有新鲜的有效补偿控制。
5. 拒绝处理：被拒绝的尝试会被披露，但不会消耗批准的使用限制。
6. 证据推断：缺失或陈旧证据永远不会被静默推断。
注意事项¶
- 运行环境：需要 Node.js 22 或更高版本。
- 清单要求：DSH 验证工具只读取工作区相对的非符号链接清单，确保文件路径正确且未被篡改。
- 权限与安全：插件以当前 DSH 进程权限运行，安装前应检查源码与许可证。
总结¶
dsh-policy-waiver-proof 为 DSH 提供了策略合规性的离线审计能力。通过哈希地址和机器可读裁决，它确保了临时策略例外在批准的边界内被严格控制，适用于需要严格审计和合规的场景。更多详情请访问 插件目录 或查看 GitHub 仓库。
