플레이그라운드
(리스펙스)
ENRUKO

리스펙스 바우치

결정 규칙에 영수증을 붙이고 오프라인에서 검사하며 규칙 변경 뒤 코퍼스의 차이를 비교합니다.

이전 문서입니다. 기록된 결정과 현재 실행 결과를 확인하려면 현재 리스펙스 바우치 개요를 여세요.

리스펙스 바우치는 결정 규칙과 정확한 입력과 관측된 답을 애플리케이션과 함께 전달할 수 있는 아티팩트로 만듭니다. 기준 인터프리터가 규칙을 실행하고, 바우치는 기록과 인증과 리플레이와 로컬 승인을 서로 다른 명령으로 맡습니다.

입력에서 영수증까지

이 규칙은 배송 후 14일 이내인 미개봉 주문의 자동 환불을 승인합니다.

LISPEX
(define (refund-auto-approved? days-since-delivery opened?)
  (and (<= days-since-delivery 14)
       (not opened?)))

(refund-auto-approved? 9 #f)  ; ⇒ #t

호스트 애플리케이션이 입력값을 전달하면 네이티브 단독 실행 바이너리가 규칙을 평가하고 csk.differential-receipt/v0을 씁니다.

BASH
lispex diff-receipt \
  --input inputs/refund-2026-03-0412.datum \
  rules/refund.lspx \
  > receipts/refund-2026-03-0412.json

영수증은 정확한 소스와 고정 입력과 관측과 해시를 한 파일에 결속합니다. 규칙과 결정을 소비한 애플리케이션 기록 옆에 함께 보관하세요.

검사와 리플레이

lispex verify는 영수증 스키마와 해시를 검사하고, --source를 주면 로컬 규칙의 정확한 바이트까지 확인합니다. 모든 검사는 오프라인에서 동작합니다.

BASH
lispex verify receipts/refund-2026-03-0412.json

lispex replay는 커밋한 결정 코퍼스를 버전이나 영수증 디렉터리와 비교해 달라진 답을 모두 보고합니다.

BASH
lispex replay decisions/refund --against receipts/2026-Q1

제품 역할

제품역할
기준 인터프리터명시적 입력으로 리스펙스 소스를 실행합니다
차등 영수증정확한 소스와 입력과 관측과 해시를 기록합니다
verify영수증 무결성과 선택한 소스 식별자를 오프라인에서 검사합니다
replay규칙 변경이 기록된 코퍼스를 어떻게 바꾸는지 보여 줍니다
네이티브 바우치게시자 인증과 현재 실행 일치를 더합니다
로컬 게이트현재 요청에 대한 애플리케이션 정책 결정을 기록합니다
호스트 애플리케이션게이트 결과를 고객과 시각과 배포와 외부 행동에 연결합니다

바우치 브릿지

바우치 브릿지는 외부 엔진의 증거를 vouch.bridge-report/v0에 담습니다. 보고서는 정확한 소스와 타깃 바이트, 엔진 식별자, 선언한 경로와 게이트 결과와 연결 증거 해시를 결속합니다.

BASH
lispex verify-bridge \
  --source examples/vouch-bridge/source/checkout-discount.ts \
  --target examples/vouch-bridge/target/checkout_discount.py \
  examples/vouch-bridge/reports/checkout-discount.bridge.json

외부 엔진은 변환과 게이트를 소유하고, verify-bridge는 공개 보고서 형식과 수신자가 선택한 결속을 검사합니다. 전체 흐름은 바우치 브릿지 사용하기에 있습니다.

결정 프로파일

영수증 경로는 명시적 입력과 고정 내장 프로시저와 R7RS 계보의 고정 폼과 바이트 단위 JSON 아티팩트를 사용합니다. 네이티브는 영수증 생성을 맡고, npm CLI는 소스 실행과 오프라인 verify와 replay를 맡으며, 플레이그라운드는 대화형 소스 실행을 맡습니다.

인증과 현재 재실행과 로컬 승인은 현재 리스펙스 바우치 개요에서 이어집니다.