Офлайн-детерминированное доказательство того, что один предоставленный рабочий процесс 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.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.
Лицензия 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.
