바우치 브릿지 사용하기

이전 문서입니다. 외부 엔진의 보고서를 직접 고른 파일과 실행 조건에 맞춰 검사하려면 현재 바우치 브릿지 가이드를 여세요.

바우치 브릿지는 외부 엔진에 공개 증거 형식을 제공합니다. 엔진은 정확한 소스와 타깃 식별자, 엔진 식별자, 선언한 실행 경로와 게이트, 연결 증거 해시를 vouch.bridge-report/v0에 담습니다.

lispex verify-bridge \
  --source source.lspx \
  --target translated.output \
  bridge-report.json

--linked <artifact-id>=<artifact-file>는 이름 붙은 증거 아티팩트를 결속합니다. --expect-context <manifest.json>은 기대한 프로필과 대상과 실행 경로를 선택합니다. 명령이 통과하면 검사한 구조와 수신자가 선택한 바이트 결속을 담은 vouch.bridge-verify-report/v0을 반환합니다.

외부 엔진은 변환의 정확성과 자체 게이트를 소유합니다. 수신자는 받아들일 엔진과 경로와 증거 정책을 소유합니다. 리스펙스는 보고서 스키마와 전달된 결속의 검사를 소유합니다.

현재 가이드에서 전체 필드와 종료 코드와 아티팩트 역할을 확인할 수 있습니다.

현재 바우치 브릿지 가이드 · 리스펙스 바우치