ArtifactDiff

Шлюз проверки изменений контрактов для людей и ИИ-агентов.

Докажите, что ИИ-агент изменил только те условия контракта Office/PDF, которые вы авторизовали — семантически, визуально и криптографически — до того, как документ будет доставлен.

ArtifactDiff работает локально и офлайн. Он превращает запрошенное изменение, например «изменить срок оплаты с 30 дней на 45 дней», в зафиксированную политику, проверяет кандидата и записывает неизменяемый Review Bundle, который могут проверять и люди, и агенты.

Статус проекта: альфа-версия 0.1.0. Контрактно-безопасное ядро и подписанный Golden Path реализованы и покрыты более чем 900 автоматическими тестами. Упаковка и автоматизация публичного выпуска всё ещё в процессе.

Что он выявляет

ArtifactDiff намеренно закрыт по умолчанию. Review остаётся блокирующим по умолчанию, и заключение FAIL нельзя одобрить.

Related MCP server: Proof Layer MCP

Трёхминутный Golden Path

Предварительные требования: Python 3.11+ и локальная копия этого репозитория. Демонстрация использует только синтетические контракты и не выполняет сетевых запросов после установки зависимостей.

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

Запуск создаёт три независимо проверенных Review Bundle, подписанных Ed25519:

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

Случай review остаётся заблокированным. Чтобы продемонстрировать переход подписанной цепочки событий с явно смоделированным синтетическим человеком-рецензентом, используйте другой выходной каталог:

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

--approve-review предназначен только для демонстрации. Реальные одобрения остаются интерактивными действиями человека через artifactdiff review или artifactdiff approve; агенты не могут одобрять свои собственные заключения. См. Пошаговое руководство Golden Path для сгенерированных файлов и границ конфиденциальности.

Рабочий процесс

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

Review Bundle является системой записи. Локальный стол проверки — это только аутентифицированный интерфейс loopback поверх этого пакета.

Интерфейсы для человека и автоматизации

Одна и та же граница приложения обеспечивает работу всех интерфейсов:

• CLI: создание/проверка/запечатывание политик, открытие контролируемых сессий, проверка изменений, просмотр заключений, одобрение заключений, проверка и упаковка пакетов.

• Локальный стол проверки: просмотр пакета и подпись одного заключения за раз без отправки контрактов или закрытых ключей в JavaScript браузера.

• MCP: ограниченные инструменты inspect/draft/validate/local-verify для ИИ-агентов, с отдельными корнями ввода и вывода и без возможности одобрения или проверенной подписи.

• Офлайн HTML: переносимые отчёты для проверки человеком, связанные с проверенными фактами.

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

Для MCP-хоста настройте абсолютные корни, разделённые разделителем пути, перед запуском stdio-сервера:

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

MCP намеренно не может одобрять заключения или выполнять проверенную подпись.

Почему это не очередной PDF-дифф

Модель безопасности и конфиденциальности

• Локально и офлайн; не требуется учётная запись или облачный сервис.

• contract-safe включён по умолчанию, без неявной авторизации.

• Точные ожидаемые изменения привязаны к их условию и вхождению.

• Стороны, деньги, валюты, даты, продолжительности, проценты, верхние и нижние колонтитулы, подписи, печати и приложения защищены по умолчанию.

• Офлайн Ed25519 — основной механизм доверия; корпоративная идентичность может быть добавлена через адаптеры позже.

• Доказательства по умолчанию minimal; full — явный, а sealed зашифрован для указанных получателей.

• Ответы MCP ограничены и не возвращают полные контракты, изображения страниц или ключевой материал.

Прочтите одобренный дизайн шлюза проверки и запись о приёмке Plan 4.5 для полной модели доверия и вердиктов.

Текущая поддержка форматов

• PDF → PDF

• DOCX → DOCX

• DOCX → PDF

• Английская, китайская и двуязычная структура контрактов

• Необязательный рендеринг DOCX через LibreOffice; рендеринг PDF локальный

Разработка

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

Репозиторий в настоящее время содержит модульные, интеграционные, тесты на вмешательство, CLI, MCP, review-desk, кросс-форматные и подписанные тесты приёмки Golden Path.

Следующие вехи

• Воспроизводимый публичный синтетический корпус и шлюз нулевых ложных прохождений

• GitHub Action для проверки pull request бинарных документов

• Демонстрационные материалы и загружаемый пример Review Bundle

• Схемы, модель угроз, SBOM, происхождение и подписанный альфа-релиз

• Границы плагинов для корпоративных парсеров, рендереров, подписи, шифрования и хранения

ArtifactDiff создаётся вокруг одного узкого обещания: когда агент редактирует контракт, вы можете доказать, что именно ему было разрешено изменить — и что он не изменил ничего другого.