ArtifactDiff

Ein Vertragsänderungs-Verifikations-Gate für Menschen und KI-Agenten.

Beweisen Sie, dass ein KI-Agent nur die von Ihnen autorisierten Office/PDF-Vertragsbedingungen geändert hat – semantisch, visuell und kryptografisch – bevor das Dokument ausgeliefert wird.

ArtifactDiff ist lokal-first und offline. Es wandelt eine angeforderte Änderung wie „Zahlungsfenster von 30 Tagen auf 45 Tage ändern“ in eine eingefrorene Richtlinie um, verifiziert den Kandidaten und schreibt ein unveränderliches Review-Bundle, das sowohl Menschen als auch Agenten einsehen können.

Projektstatus: 0.1.0 Alpha. Der vertragssichere Kern und der signierte Golden Path sind implementiert und durch mehr als 900 automatisierte Tests abgedeckt. Die Paketierung und die Automatisierung der öffentlichen Veröffentlichung sind noch in Arbeit.

Was es erkennt

ArtifactDiff ist bewusst fail-closed. Review bleibt standardmäßig blockierend und ein FAIL-Befund kann nicht wegapprobiert werden.

Related MCP server: Proof Layer MCP

Golden Path in drei Minuten

Voraussetzungen: Python 3.11+ und ein lokaler Checkout dieses Repositorys. Die Demo verwendet nur synthetische Verträge und stellt nach der Installation der Abhängigkeiten keine Netzwerkanfragen.

python -m venv .venv
# Activate .venv using your shell, then:
python -m pip install -e ".[dev]"
python scripts/run_contract_golden_path.py --output build/contract-golden-path
python -m json.tool build/contract-golden-path/summary.json

Der Lauf erstellt drei unabhängig verifizierte, Ed25519-signierte Review-Bundles:

authorized    raw=pass    effective=pass
review        raw=review  effective=review
unauthorized  raw=fail    effective=fail

Der review-Fall bleibt blockiert. Um den signierten Ereignisketten-Übergang mit einem explizit simulierten synthetischen menschlichen Prüfer zu demonstrieren, verwenden Sie ein anderes Ausgabeverzeichnis:

python scripts/run_contract_golden_path.py --output build/contract-golden-path-approved --approve-review

--approve-review ist nur für die Demo. Echte Genehmigungen bleiben interaktive menschliche Aktionen über artifactdiff review oder artifactdiff approve; Agenten können ihre eigenen Befunde nicht genehmigen. Siehe den Golden-Path-Walkthrough für die generierten Dateien und Datenschutzgrenzen.

Der Workflow

Human instruction
      │
      ▼
contract-safe policy ── freeze + optional Ed25519 authorization
      │
      ▼
controlled agent edit session
      │
      ▼
semantic rules + protected entities + visual envelope
      │
      ├── PASS ───────────────────────────────► deliver
      ├── REVIEW ─► signed per-finding review ─► deliver or reject
      └── FAIL ───────────────────────────────► reject
                          │
                          ▼
                 immutable Review Bundle

Das Review-Bundle ist das System of Record. Der lokale Review-Desk ist nur eine authentifizierte Loopback-Schnittstelle über dieses Bundle.

Schnittstellen für Menschen und Automatisierung

Die gleiche Anwendungsgrenze versorgt jede Schnittstelle:

• CLI: Richtlinien erstellen/validieren/siegeln, kontrollierte Sitzungen öffnen, Änderungen verifizieren, Befunde prüfen, Befunde genehmigen und Bundles verifizieren oder packen.

• Lokaler Review-Desk: Ein Bundle prüfen und jeweils einen Befund signieren, ohne Verträge oder private Schlüssel an Browser-JavaScript zu senden.

• MCP: begrenzte Inspect-/Draft-/Validate-/Local-Verify-Tools für KI-Agenten, mit getrennten Eingabe- und Ausgabe-Roots und ohne Genehmigungs- oder verifizierte Signierfunktion.

• Offline-HTML: tragbare menschliche Review-Berichte, die mit verifizierten Fakten verknüpft sind.

artifactdiff --help
artifactdiff policy --help
artifactdiff verify --help
artifactdiff review path/to/review-bundle

Konfigurieren Sie für einen MCP-Host absolute, durch Pfadtrennzeichen getrennte Roots, bevor Sie den stdio-Server starten:

ARTIFACTDIFF_MCP_INPUT_ROOTS=/absolute/contracts
ARTIFACTDIFF_MCP_OUTPUT_ROOTS=/absolute/artifactdiff-output
artifactdiff-mcp

MCP kann absichtlich keine Befunde genehmigen oder verifizierte Signierungen durchführen.

Warum dies kein weiterer PDF-Diff ist

Sicherheits- und Datenschutzmodell

• Lokal-first und offline; kein Konto oder Cloud-Dienst erforderlich.

• contract-safe ist standardmäßig aktiviert, ohne implizite Autorisierung.

• Exakte erwartete Änderungen sind an ihre Klausel und ihr Vorkommen gebunden.

• Parteien, Geld, Währungen, Daten, Dauern, Prozentsätze, Kopf- und Fußzeilen, Unterschriften, Siegel und Anhänge sind standardmäßig geschützt.

• Offline-Ed25519 ist der Kernvertrauensmechanismus; Unternehmensidentität kann später über Adapter hinzugefügt werden.

• Beweise standardmäßig minimal; full ist explizit und sealed ist für benannte Empfänger verschlüsselt.

• MCP-Antworten sind begrenzt und geben keine vollständigen Verträge, Seitenbilder oder Schlüsselmaterial zurück.

Lesen Sie das genehmigte Verification-Gate-Design und den Plan-4.5-Abnahmeprotokoll für das vollständige Vertrauens- und Urteilsmodell.

Aktuelle Formatunterstützung

• PDF → PDF

• DOCX → DOCX

• DOCX → PDF

• Englische, chinesische und zweisprachige Vertragsstruktur

• Optionale DOCX-Rendering über LibreOffice; PDF-Rendering ist lokal

Entwicklung

python -m pip install -e ".[dev]"
python -m pytest -q

Das Repository enthält derzeit Unit-, Integrations-, Manipulations-, CLI-, MCP-, Review-Desk-, Cross-Format- und signierte Golden-Path-Abnahmeabdeckung.

Nächste Meilensteine

• Reproduzierbarer öffentlicher synthetischer Korpus und Zero-False-Pass-Gate

• GitHub Action für die Überprüfung von Pull Requests mit Binärdokumenten

• Demo-Medien und herunterladbares Beispiel-Review-Bundle

• Schemata, Bedrohungsmodell, SBOM, Provenienz und signierte Alpha-Version

• Plugin-Grenzen für Unternehmens-Parser, Renderer, Signierung, Verschlüsselung und Speicherung

ArtifactDiff wird um ein einziges enges Versprechen herum gebaut: Wenn ein Agent einen Vertrag bearbeitet, können Sie genau beweisen, was er ändern durfte – und dass er nichts anderes geändert hat.