오프라인, 결정적 증거로 제공된 DSH 워크플로가 선언된 직무 분리를 준수했음을 입증합니다. 요청/승인/실행/관찰의 정확한 순서, 해시로 묶인 객체 및 워크플로 식별, 영수증 체인 연속성, 분리된 주체 집합, 승인 정족수, 주체/관찰자 다양성 및 신선도를 검증합니다. 수정된 콘텐츠 주소 지정 JSON 평결만 작성합니다.
이것은 권한 부여 시스템이 아닙니다. 역할을 부여하거나, 요청을 승인하거나, 변경을 실행하거나, 영수증을 인증하거나, 라이브 시스템을 검사하거나, 제공된 원장이 완전하다는 것을 증명하지 않습니다.
NIST는 정적, 동적, 객체 기반, 운영 및 이력 기반 직무 분리를 구분합니다. 이 플러그인은 하나의 제공된 워크플로 객체에 대한 좁은 사후 증거 계층을 구현합니다. 다음을 보완합니다:
dsh-guarded-hcl — 분리가 최적화/평가/정책/커밋 컨트롤러 경계에 특화됨;
dsh-decision-effect-proof — 권한 부여 결정과 효과를 조정함;
dsh-artifact-promotion-proof — 아티팩트의 승격 체인을 검증함;
dsh-access-review-proof — 권한 재인증 폐쇄를 검증함.
여기서의 질문은 오직: 제공된 해시 연결 워크플로 영수증이 선언된 직무 충돌 정책을 충족했는가? 입니다.
Related MCP server: dsh-artifact-promotion-proof
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.jsonDSH 번들은 dsh_duty_separation_inspect 및 dsh_duty_separation_verify를 노출합니다. 독립형 MCP 서버는 동등한 증명 전용 인라인 도구를 노출합니다.
모든 워크플로, 객체, 개정, 정책, 주체, 관찰자 및 영수증 식별자는 소문자 SHA-256 값입니다. 유일한 공개 식별자는 제한된 proofId이며, 보고서에는 해당 해시만 포함됩니다. 필수 시퀀스는 request로 시작하고, execute를 포함하며, observe로 끝나고, 여러 approve 단계를 포함할 수 있습니다. disjointDutySets 및 정족수 임계값은 명시적 정책 입력입니다.
보고서는 의도적으로 authenticatesReceipts: false, provesLedgerExhaustive: false, provesAbsenceOfUndeclaredActions: false라고 명시합니다.
MIT 라이선스.
This server cannot be deployed
Deterministic pre-execution audit for trading agents. PASS/WAIT/FAIL, reproducible verdict_hash.
Read-only verifier for 25 ProofRelay MCP tools and non-confidential evidence bundles.
Governance runtime for compliance: verified, human-approved writes to a tamper-evident record.
Signed deterministic checks for supplied JSON invoices, OpenAPI API contracts and JSON events.
