Это предыдущая редакция документации. Чтобы проверить отчёт внешнего движка по выбранным файлам и условиям выполнения, откройте актуальное руководство по Мосту Ваучера.
Мост Ваучера предоставляет внешнему движку открытый формат свидетельства.
Движок записывает в vouch.bridge-report/v0 точные идентификаторы исходника и
результата, идентификатор движка, объявленные маршрут и проверки, а также хэши
связанных свидетельств.
lispex verify-bridge \
--source source.lspx \
--target translated.output \
bridge-report.json--linked <artifact-id>=<artifact-file> связывает именованный артефакт.
--expect-context <manifest.json> выбирает ожидаемые профиль, предмет и
маршрут. Успешная команда возвращает vouch.bridge-verify-report/v0 с
проверенной структурой и выбранными получателем привязками байтов.
Внешний движок владеет корректностью преобразования и собственными проверками. Получатель владеет политикой принимаемых движка, маршрута и свидетельств. Лиспекс владеет схемой отчёта и проверкой переданных привязок.
Актуальное руководство содержит полный список полей, коды выхода и роли артефактов.