Какой вопрос решает Bridge
Внешний движок — например, движок преобразования кода — выполняет свой
собственный конвейер со своими проверками и публикует отчёт Bridge
(vouch.bridge-report/v0). Отчёт связывает объявленные байты исходника и
результата, идентификатор движка, маршрут, результаты объявленных проверок и
хэши связанных свидетельств, а также явную границу того, что отчёт утверждает
и что исключает.
Проверка Bridge отвечает на один вопрос: согласован ли этот отчёт внутренне и привязан ли он к названным байтам. Это отдельный класс артефактов: даже корректный отчёт Bridge остаётся внешним свидетельством и не превращается в нативное свидетельство Vouch.
Что подготовить
- Запустите внешний движок отдельно и сохраните точные байты исходника и результата.
- Затем передайте отчёт и названные файлы в
lispex verify-bridge.
Проверка отчёта
lispex verify-bridge \
--source source.lspx \
--target translated.output \
bridge-report.jsonДополнительно можно проверить хэши связанных свидетельств через
--linked <artifact-id>=<artifact-file> и ожидаемый контекст — профиль,
предмет и маршрут — через --expect-context <manifest.json>. Эти флаги —
проверки на стороне потребителя: они подтверждают лишь то, что отчёт привязан
к байтам и контексту, которые вы намеревались рассмотреть.
Код выхода 0 означает, что отчёт прошёл проверку структуры, границы и
запрошенных привязок; 1 — отчёт читается, но провалил проверку (отчёт
проверки при этом всё равно печатается); 2 — ошибка использования, чтения
или разбора JSON.
Что подтверждает успех
Успешная проверка подтверждает внутреннюю согласованность отчёта: форму, привязки байтов, объявленные этапы и хэши связанных свидетельств.
Чего проверка не делает
Проверка не запускает внешний движок повторно, не изучает его закрытую реализацию, не судит о корректности результата и не устанавливает семантическую эквивалентность исходника и цели.
Куда дальше
Держите рядом обзор Vouch: он разделяет аутентификацию, привязку запроса, согласие текущего выполнения и локальное решение.