前言¶
在 DeepSeek Harness（DSH）的生态中，分离职责是安全审计的核心目标之一。NIST 定义了多种 SoD 类型（静态、动态、基于对象等），现有插件如 dsh-guarded-hcl 主要针对优化器/评估器/策略边界，而 dsh-decision-effect-proof 负责决策与效果的 reconciling。
本插件解决的问题是：针对一套已供应的 DSH 工作流收据，如何离线、确定性地证明其是否遵守了声明的职责冲突策略？
定位¶
dsh-duty-separation-proof 是一个专注于事后审计的离线证据生成工具。它不提供实时控制，而是对提供的收据链进行完整性校验和策略合规性分析。
- 名称：
dsh-duty-separation-proof - 维护者：
dongsheng123132 - 分类：
admin-security - 许可证：
MIT
核心功能¶
- 离线确定性证据：不依赖实时系统状态，基于输入数据生成固定结果。
- 流程顺序校验：严格验证请求、批准、执行、观察的精确顺序。
- 身份与哈希绑定：验证工作流、对象、修订版本的身份与哈希绑定。
- 收据链连续性：检查收据链是否断裂或异常。
- 主体互斥校验：验证执行主体与批准主体是否属于互斥集合。
- 法定人数验证：确保批准流程达到预设的法定人数。
- 主体多样性验证：验证主体和观察者的身份多样性与新鲜度。
- 内容寻址输出：生成经过脱敏、内容寻址的 JSON 判定报告。
使用方法¶
插件提供了命令行工具进行检查和验证。DSH Bundle 暴露了 dsh_duty_separation_inspect 和 dsh_duty_separation_verify 工具，Standalone MCP Server 也提供了等效的 proof-only inline tools。
# 运行测试
npm test
# 运行静态检查
npm run check
# 检查特定示例
node bin/dsh-duty-separation-proof.mjs inspect examples/settled.json
# 验证证据
node bin/dsh-duty-separation-proof.mjs verify examples/settled.json
技术细节¶
- Manifest 边界：所有工作流、对象、修订、策略、主体、观察者和收据的身份均为
lowercase SHA-256值。报告仅包含有界的proofId哈希。 - 标准序列：验证的序列必须以
request开始，包含execute，以observe结束，中间可包含多个approve阶段。 - 策略输入：
disjointDutySets（互斥职责集）和法定人数阈值是明确的策略输入。
注意事项¶
- 非授权系统：本插件不是授权系统。它不授予角色、批准请求、执行更改、认证收据、检查实时系统或证明提供的账本详尽无遗。
- 报告属性：生成的报告故意将
authenticatesReceipts、provesLedgerExhaustive和provesAbsenceOfUndeclaredActions标记为false。
