dsh-duty-separation-proof

Offline, deterministischer Nachweis, dass ein gelieferter DSH-Workflow die deklarierten Pflichtentrennungen eingehalten hat. Er validiert die exakte Reihenfolge von Anfrage/Genehmigung/Ausführung/Beobachtung, die hash-gebundene Objekt- und Workflow-Identität, die Kontinuität der Quittungskette, disjunkte Prinzipalmengen, das Genehmigungsquorum, die Vielfalt von Prinzipalen/Beobachtern und die Aktualität. Er schreibt nur ein redigiertes, inhaltsadressiertes JSON-Urteil.

Dies ist kein Autorisierungssystem. Es vergibt keine Rollen, genehmigt keine Anfragen, führt keine Änderungen aus, authentifiziert keine Quittungen, prüft keine Live-Systeme und beweist nicht, dass das gelieferte Ledger vollständig ist.

Warum dies eine separate Ebene ist

NIST unterscheidet statische, dynamische, objektbasierte, operative und historienbasierte Pflichtentrennung. Dieses Plugin implementiert eine schmale Post-hoc-Nachweisebene für ein einzelnes geliefertes Workflow-Objekt. Es ergänzt:

• dsh-guarded-hcl, dessen Trennung spezifisch für die Grenzen von Optimierer/Bewerter/Policy/Commit-Controller ist;

• dsh-decision-effect-proof, das Autorisierungsentscheidungen mit Effekten abgleicht;

• dsh-artifact-promotion-proof, das die Promotionskette eines Artefakts verifiziert;

• dsh-access-review-proof, das den Abschluss der Berechtigungs-Rezertifizierung verifiziert.

Hier geht es nur um die Frage: Haben die gelieferten hash-verknüpften Workflow-Quittungen die deklarierte Pflichtenkonflikt-Policy erfüllt?

Related MCP server: EVIDIQ Rubric MCP

Verwendung

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

Das DSH-Bundle stellt dsh_duty_separation_inspect und dsh_duty_separation_verify bereit. Der eigenständige MCP-Server bietet äquivalente reine Beweis-Inline-Tools.

Manifest-Grenze

Alle Workflow-, Objekt-, Revisions-, Policy-, Prinzipal-, Beobachter- und Quittungsidentitäten sind SHA-256-Werte in Kleinbuchstaben. Der einzige öffentliche Bezeichner ist eine begrenzte proofId, und Berichte enthalten nur deren Hash. Die erforderliche Sequenz beginnt mit request, enthält execute, endet mit observe und kann mehrere approve-Stufen enthalten. disjointDutySets und Quorumsschwellen sind explizite Policy-Eingaben.

Berichte geben absichtlich authenticatesReceipts: false, provesLedgerExhaustive: false und provesAbsenceOfUndeclaredActions: false an.

Referenzen

• NIST-Glossar zur Pflichtentrennung

• NIST SP 800-192

MIT-lizenziert.