자원 프로파일로 규칙 실행하기

평가기 고르기

lispex embed는 결정 프로파일 lispex/r7rs-rule-embedded-core/1을 실행합니다. lispex embed full은 lispex/r7rs-rule-current-profile-bounded/1에서 primitive 205행을 모두 실행합니다. 두 제품 모두 작업마다 새 인스턴스를 만들고 준비와 평가 자원을 따로 사용합니다.

전체 프로파일 흐름도 같은 명령 구조를 사용합니다.

lispex embed full prepare --source policy.lspx --limits prepare-limits.json --out policy.lpxfull
lispex embed full evaluate --prepared policy.lpxfull --input input.lpxvalue --limits evaluation-limits.json --out result.lpxfull
lispex embed full inspect --artifact result.lpxfull
lispex embed full verify --artifact result.lpxfull
lispex embed full replay --artifact result.lpxfull

1. 규칙 준비하기

prepare-limits.json을 만드세요.

JSON

{
  "raw_source_bytes": 4096,
  "prepare_work": 1000000,
  "logical_allocation": 1000000,
  "syntax_depth": 64
}

소스를 준비합니다.

lispex embed prepare \
  --source policy.lspx \
  --limits prepare-limits.json \
  --out policy.lpxembed

준비 단계는 UTF-8을 읽고 프로그램을 정규화하고 정규 바이트코드를 만들고 검증합니다. 선택한 프로파일을 검사하고 소스와 의미 규칙과 기능 집합과 바이트코드와 평가기와 자원 식별자를 기록합니다.

2. 준비한 규칙 평가하기

입력은 정규 lispex.embed-value/v1 값 하나입니다. evaluation-limits.json을 만드세요.

JSON

{
  "canonical_input_bytes": 4096,
  "eval_work": 1000000,
  "logical_allocation": 1000000,
  "semantic_frames": 1000,
  "traversal_depth": 256,
  "output_bytes": 1000000,
  "diagnostic_bytes": 1000000,
  "transcript_bytes": 1000000,
  "transcript_events": 100,
  "result_bytes": 1000000
}

준비한 아티팩트를 평가합니다.

lispex embed evaluate \
  --prepared policy.lpxembed \
  --input input.lpxvalue \
  --limits evaluation-limits.json \
  --out result.lpxembed

결과는 준비와 평가 사용량을 따로 보관합니다. 휴대 코어는 규칙과 입력과 선택한 자원과 평가기 아티팩트와 transcript와 결과를 묶습니다.

3. 검사하고 검증하고 재실행하기

lispex embed inspect --artifact result.lpxembed
lispex embed verify --artifact result.lpxembed
lispex embed replay --artifact result.lpxembed

inspect는 안정적인 JSON projection을 출력합니다. verify는 봉투와 해시와 분류와 값과 휴대 코어를 다시 계산합니다. replay는 기록한 요청을 새 인스턴스에서 평가하고 결과와 휴대 코어를 맞춥니다.

제품 역할

embed 아티팩트는 결정적 의미 결과와 요청 거부와 엔진 상태를 기록합니다. 결정 교환은 발급자 봉투와 수신자 정책을 더하고 바우치는 서명된 근거를 인증해 로컬 결정 게이트를 평가합니다. 호스트 애플리케이션은 네트워크 접근과 업무 행동을 소유합니다.

다음으로

정확한 식별자와 종료 분류는 자원 제어 평가기 계약에서 확인하세요.