Vouch Bridge проверяет отчёт внешнего движка, связывающий объявленные source, target, route, identity движка, gates и связанные хэши.
Рабочий порядок
- Запустите внешний движок отдельно, сохраните source/target bytes, затем выполните
lispex verify-bridgeдля отчёта и артефактов. - Checker проверяет форму отчёта, связи байтов, объявленные gates и хэши proof links.
- Bridge остаётся иным классом артефакта и точкой verifier, чем нативные differential receipts.
Границы
- Checker не запускает внешний движок, не изучает закрытую реализацию и не устанавливает семантическую эквивалентность.