결정 코퍼스 재생하기

재생은 미리 선언해 고정한 결정 입력과 기대 영수증 계보를 새 규칙이나 새 영수증 집합과 비교해 동작 변화를 드러냅니다.

재생이 답하는 질문

재생은 결정 하나가 아니라 코퍼스 전체를 봅니다. 미리 선언해 고정한 결정 입력들에 대해, 새 규칙이나 새 영수증 집합이 기대한 영수증 계보와 여전히 같은 결과를 내는지가 재생의 질문입니다. 규칙을 고치거나 도구를 올린 뒤 동작이 바뀌었는지 확인할 때 사용합니다.

무엇을 고정하고 보존하나요?

  • 비교하기 전에 코퍼스 인벤토리를 고정합니다. 결과를 본 뒤에 코퍼스와 기준선을 고르면 깨끗한 요약도 의미를 잃습니다.
  • 나중에 재현할 수 있도록 실행기 동일성, 규칙 바이트, 입력 바이트, 결과 관측을 보존합니다.
  • 이력을 지우려고 오래된 영수증을 다시 만들면 안 됩니다. 불일치가 난 입력은 동작이 바뀐 것으로 보고 검토하세요.

보고서가 증명하는 것

재생 보고서는 각 항목을 일치, 불일치, 비교 불가 셋 중 하나로 분류합니다. 이 분류는 선택한 코퍼스 안에서만 유효하고, 코퍼스 밖에 대해서는 아무것도 증명하지 않습니다. 비교 불가는 공개된 경계입니다. 불일치를 슬쩍 일치로 세는 것이 아닙니다.

기준선과 비교하기

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

이 명령은 npm CLI가 제공합니다. 보고된 불일치와 비교 불가 항목을 모두 읽으세요.

재생이 아닌 것

이름은 replay지만 요청 재전송을 막는 서비스가 아닙니다. 고정 코퍼스를 비교하는 도구일 뿐입니다. 재생 보고서는 인증 결과도, 요청 결속도, 재실행 관측도, gate grant도 아닙니다. 그 단계들은 바우치의 별도 흐름으로 남습니다.

다음으로

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

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