이 순서로 생각하세요
- 외부 엔진은 별도로 실행하고 소스·타깃 바이트를 보존한 뒤 보고서와 제공 아티팩트에
lispex verify-bridge를 실행합니다. - 검사기는 보고서 형태, 바이트 결합, 선언 게이트, 증거 링크 해시를 확인합니다.
- Bridge는 네이티브 차등 영수증과 다른 아티팩트 클래스·검증 진입점입니다.
보고서 검사하기
SH
lispex verify-bridge \
--source source.lspx \
--target translated.output \
bridge-report.json검사를 통과하면 Bridge 검증 보고서가 출력됩니다. 선언한 파일과 해시가 서로 맞는다는 뜻이며, 외부 엔진을 다시 실행했다는 뜻은 아닙니다.
흔한 오해
검사기는 외부 엔진을 실행하거나 비공개 구현을 들여다보거나 의미적 동등성을 세우지 않습니다.
다음으로
바우치 개요를 곁에 두고 인증, 요청 결속, 현재 실행 일치, 로컬 grant를 서로 다른 단계로 읽으세요.