토파즈문서
인터롭

Lispex 평가기와 LIT

설치된 한정 Lispex 평가기를 사용하고, 토파즈로 작성한 LIT 통합 증거와 구분합니다.

토파즈에는 서로 구분되는 Lispex 경계가 두 개 있습니다. 설치된 한정 평가기는 정확히 고정된 구성 요소로 닫힌 요청 하나를 실행합니다. LIT는 토파즈로 작성한 인터프리터이며, 같은 설계 계보 안의 자체 사용·통합 증거로 활용합니다. 어느 쪽도 토파즈 백엔드가 아니며, 토파즈와 Lispex가 전체적으로 동등하다는 주장도 아닙니다.

목적에 맞는 경로 고르기

  • 설치된 한정 평가 요청 하나를 실행하려면 topaz lispex embed run을 사용하세요.
  • 토파즈 애플리케이션을 배포하려면 지원되는 토파즈 출력 대상 가운데 하나를 선택하세요.
  • LIT의 역할이 궁금하다면 통합 증거라고 이해하세요. 규모 있는 Lispex 프로그램 하나로 토파즈 도구 모음의 여러 부분을 한꺼번에 확인하는 것입니다.
  • Lispex 제품을 사용하려면 Lispex 제품 문서를 따르세요. 이 페이지는 토파즈에서 관찰하는 경계만 설명합니다.

한정된 요청 하나 실행하기

일반 Lispex 규칙 파일, 정본 lispex.embed-value/v1 입력, 닫힌 자원 한계 파일을 준비한 뒤 새 출력 디렉터리를 고릅니다.

BASH
topaz lispex embed run \
  --source rule.lspx \
  --input value.lpxvalue \
  --limits limits.json \
  --output lispex-result

자원 한계 문서는 아래 형태 그대로여야 합니다. 값은 낮출 수 있지만 필드를 빼거나 더할 수는 없습니다.

JSON
{
  "schema": "topaz.lispex-embed-limits/v1",
  "prepare": {
    "raw_source_bytes": 4096,
    "prepare_work": 1000000,
    "logical_allocation": 1000000,
    "syntax_depth": 64
  },
  "evaluate": {
    "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-result에 result.lpxvalue와 report.json이 생깁니다. 결정적인 의미 실패나 자원 한계 소진은 보고서만 남깁니다. 요청이 거부되거나 엔진이 실패하면 디렉터리를 만들지 않습니다. 고정된 구성 요소와 무폴백 정책은 다음 명령으로 확인합니다.

BASH
topaz lispex embed info --json

이 명령에는 평가기·프로필·런타임·경로 선택기가 없습니다. 구성 요소를 찾거나 내려받지 않고, 토파즈로 콜백하지 않으며, LIT로 폴백하지도 않습니다. 보고서는 토파즈 제품 실행과 승인을 기록하며, 리스펙스 형식의 이식 가능한 영수증 코어는 아닙니다.

LIT 검증 결과가 뜻하는 것

LIT의 정본 소스 계보 하나를 직접 실행, 생성 Rust, 생성 Python, Web 경로에서 검사합니다. 이 까다로운 프로그램은 검사, 코드 생성, 런타임 동작, 호스트 경계의 결함을 드러낼 수 있습니다.

LIT 검사가 통과했다는 것은 지정한 프로그램이 그 검사에서 고른 기능과 실행 경로 안에서 기대대로 동작했다는 뜻입니다. 지원하지 않는 기능은 명확한 오류로 끝납니다. 네 경로는 모두 하나의 소스 계보에서 나옵니다. 그래서 결과가 일치하면 회귀를 잡는 증거로 쓸모가 있습니다. 다만 서로 독립된 네 구현에서 얻은 증거는 아닙니다. 두 언어 전체가 같다는 증명도 아닙니다.

제품 경계

한정 평가기는 설치된 토파즈 바이너리에 포함되지만, 문서에 적힌 구성 요소, 프로필, 파일 입력, 자원 한계, 출력 계약만 받습니다. --target lispex나 범용 Lispex 도구 모음이 아니며, 전체 언어 동등성을 뜻하지도 않습니다.

LIT는 토파즈 설치에 포함되지 않고 출력 대상도 아닙니다. --target lit 경로는 없으며, 이 검증이 모든 Lispex 프로그램을 지원되는 토파즈 애플리케이션으로 바꾸지는 않습니다.

토파즈 애플리케이션에서 Lispex 사용하기

패키지는 이름 있는 Lispex 규칙을 정확한 제한 프로필과 소스, 자원 한계, 내장 구성 요소에 묶을 수 있습니다. 잠긴 빌드는 각 규칙을 한 번 준비하고 std.lispex와 std.lispex.rules를 생성합니다. 토파즈 코드는 원시 Wasm 핸들 대신 불투명한 규칙·값 타입을 사용합니다. 준비 바이트를 여러 입력에 재사용하더라도 게스트 메모리와 전역 상태, 계량기, 전사 버퍼는 평가마다 새로 만듭니다. 호출별 한도 바깥에는 애플리케이션 전체 한도와 취소, 정리 규칙이 적용됩니다.

형식이 있는 결과만 필요하면 evaluate를 사용합니다. 이식 가능한 기록도 필요한 결정적 결과에는 evaluateWithEvidence를 사용합니다. consumerArtifactBytes는 기록을 저장할 바이트로 내보내고, consumerArtifactFromBytes는 검증한 바이트만 다시 받아들입니다. inspectConsumerArtifact와 verifyConsumerArtifact는 안정된 정체성을 확인하며, portableCoreBytes는 코어가 있을 때 정확한 Lispex 형식 바이트를 꺼냅니다. freshReplay는 기록에 든 한도로 같은 규칙과 입력을 새 게스트 인스턴스에서 평가하고, 전체 기록이 똑같을 때만 성공합니다.

코어와 바깥 기록은 소비자가 만든 인증되지 않은 자료입니다. 발행자나 제공자 승인, 토파즈 구성 요소 승인, 외부 행동 권한을 담지 않습니다. 로컬 사전 거부, 취소, 대기열 거부, 운영체제 자원 부족, 안전 한도 선점, 엔진 결함에는 이식 가능 코어가 생기지 않습니다.

이 애플리케이션 API는 인터프리터와 현재 생성형 네이티브 경로에서 사용할 수 있습니다. 유지보수용 2모듈 패키지는 일반 npm 설치를 거쳐 소스와 컴파일러를 지우고 실행 파일만 옮긴 뒤에도 여러 입력 평가, 한도 거부, 마감 시간 복구, 증거 검증과 새 인스턴스 재실행을 완료했습니다. Python, Web, HTTP 서비스, 무권한 호스트, 구성 요소가 빈 MCP 경로는 출력 전에 거부합니다. 다음 제한형 제품 게이트는 정확한 공개 후보 하나로 지원하는 모든 네이티브 대상에서 같은 경로를 검증하는 일입니다. 전체 프로필은 별도 구성 요소와 프로필, 계약, 대상 검증, 승인을 사용하며 기존 제한 평가기를 넓히지 않습니다.

매니페스트, 규칙, 한도, 잠금, 빌드, 실행, 증거와 재실행을 잇는 전체 흐름은 한정 Lispex 결정 애플리케이션을 따르세요. 이 안내가 LIT를 백엔드로 만들거나 제한 프로필을 넓히지는 않습니다.

관련 문서