토파즈문서
인터롭

Lispex 평가기와 LIT

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

이 페이지는 토파즈 v5.17을 설명합니다. 현재 문서로 판단하기 전에 /version.json의 version 값을 5.17과 대조하세요.

토파즈에는 서로 구분되는 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 프로그램을 지원되는 토파즈 애플리케이션으로 바꾸지는 않습니다.

관련 문서