결정 코퍼스 재생하기

재생은 선언된 고정 결정 입력과 기대 영수증 계보 집합을 새 규칙·영수증 집합과 비교합니다.

이 순서로 생각하세요

  • 비교 전에 코퍼스 인벤토리를 고정하고 각 항목을 일치, 불일치, 비교 불가로 분류합니다.
  • 불일치 입력을 동작 변경으로 검토하고 이력을 지우려고 오래된 영수증을 재생성하지 마세요.
  • 재현을 위해 실행기 동일성, 규칙 바이트, 입력 바이트, 결과 관측을 보존합니다.

기준선과 비교하기

SH
lispex vouch replay gallery \
  --against <baseline-version-or-receipts-dir>

보고된 불일치와 비교 불가 항목을 모두 읽으세요. 깨끗한 요약은 결과를 보기 전에 코퍼스와 기준선을 골랐을 때만 의미가 있습니다.

흔한 오해

비교 불가는 공개 경계이며 불일치를 몰래 일치로 세는 것이 아닙니다.

다음으로

바우치 개요를 곁에 두고 인증, 요청 결속, 현재 실행 일치, 로컬 grant를 서로 다른 단계로 읽으세요.

리스펙스 바우치 개요 · 실행 표면 선택하기