Использование Vouch Bridge

Как рассуждать

• Запустите внешний движок отдельно и сохраните точные байты исходника и результата.
• Затем передайте отчёт и названные файлы в lispex verify-bridge.
• Проверка сверяет форму отчёта, привязки байтов, объявленные этапы и хэши связанных свидетельств.

Проверка отчёта

lispex verify-bridge \
  --source source.lspx \
  --target translated.output \
  bridge-report.json

При успехе выводится отчёт проверки Bridge. Он подтверждает внутреннюю согласованность объявленных файлов и хэшей, но не повторяет запуск внешнего движка.

Частая ошибка

Проверка не запускает внешний движок, не изучает закрытую реализацию и не устанавливает семантическую эквивалентность.

Куда дальше

Держите рядом обзор Vouch: он разделяет аутентификацию, привязку запроса, согласие текущего выполнения и локальное решение.

Обзор Lispex Vouch · Выбор среды выполнения