dsh-duty-separation-proof

离线、确定性的证据，证明一个提供的 DSH 工作流将声明的职责分离开来。它验证精确的请求/审批/执行/观察顺序、哈希绑定的对象和工作流身份、收据链的连续性、不相交的主体集合、审批法定人数、主体/观察者多样性和新鲜度。它只写入一个脱敏的、内容寻址的 JSON 判定。

这不是一个授权系统。它不授予角色、不审批请求、不执行变更、不验证收据、不检查实时系统，也不证明所提供的账本是详尽无遗的。

为什么这是一个独立的层

NIST 区分静态、动态、基于对象、基于操作和基于历史的职责分离。该插件为单个提供的工作流对象实现了一个狭窄的事后证据层。它补充了：

• dsh-guarded-hcl，其分离特定于优化器/评估器/策略/提交控制器边界；

• dsh-decision-effect-proof，它协调授权决策与效果；

• dsh-artifact-promotion-proof，它验证工件的提升链；

• dsh-access-review-proof，它验证权限重新认证的闭环。

这里，问题仅仅是：所提供的哈希链接的工作流收据是否满足声明的职责冲突策略？

Related MCP server: EVIDIQ Rubric MCP

使用

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

DSH 捆绑包暴露了 dsh_duty_separation_inspect 和 dsh_duty_separation_verify。独立的 MCP 服务器暴露了等效的仅用于证明的内联工具。

清单边界

所有工作流、对象、修订、策略、主体、观察者和收据身份都是小写 SHA-256 值。唯一的公共标识符是有界的 proofId，报告只包含其哈希。必需的序列以 request 开始，包含 execute，以 observe 结束，并且可能包含多个 approve 阶段。disjointDutySets 和法定人数阈值是明确的策略输入。

报告有意声明 authenticatesReceipts: false、provesLedgerExhaustive: false 和 provesAbsenceOfUndeclaredActions: false。

参考

• NIST 职责分离术语表

• NIST SP 800-192

MIT 许可。