Vouch Bridge는 외부 엔진이 낸 보고서에서 선언된 소스, 타깃, 경로, 엔진 동일성, 게이트, 연결 해시를 검사합니다.
작업 방법
- 외부 엔진은 별도로 실행하고 소스·타깃 바이트를 보존한 뒤 보고서와 제공 아티팩트에
lispex verify-bridge를 실행합니다. - 검사기는 보고서 형태, 바이트 결합, 선언 게이트, 증거 링크 해시를 확인합니다.
- Bridge는 네이티브 차등 영수증과 다른 아티팩트 클래스·검증 진입점입니다.
경계
- 검사기는 외부 엔진을 실행하거나 비공개 구현을 들여다보거나 의미적 동등성을 세우지 않습니다.