LIT는 제한된 도그푸딩과 통합 검증에 사용하는 Lispex 인터프리터입니다. 하나의 Lispex-in-Topaz 정본 소스를 해석기·생성 Rust·생성 Python·Web 경로에서 실행해 검사기, 로워링, 런타임과 호스트 경계의 실제 결함을 찾습니다.
증거가 다루는 범위
유지보수 통합은 primitive capability 205행 가운데 84행, guest-calling 18행 가운데 6행을 기록합니다. 지원하지 않는 행은 명시적으로 실패합니다. 네 실행 경로는 하나의 소스 계보에서 나온 변형이므로 일치 결과는 유용한 회귀 증거지만, 독립 구현이나 전체 언어 동등성의 증명은 아닙니다.
제품 경계
LIT는 Topaz 설치에 포함되지 않고 공개 백엔드도 아닙니다. Lispex 문법, primitive, 패키지나 런타임 보장을 Topaz 언어에 추가하지도 않습니다. 관련 컴파일러나 호스트 표면이 바뀌면 제한된 코트를 사용할 수 있지만, 전체 LIT 캠페인은 일반 개발 루프가 아니라 관련 위험 또는 공개 후보에서만 실행합니다.
결과를 읽는 법
LIT 코트 통과는 기록된 경로에서 지정한 소스와 허용한 primitive 행이 일관되게 동작했다는 뜻입니다. 모든 Lispex 프로그램이 Topaz에서 실행되거나, 경로가 소스 독립적이거나, LIT가 Topaz 설치 제품이라는 뜻은 아닙니다. 미지원 capability 행이 정확한 경계입니다.