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