본 로드맵은 구체적인 일정을 보증하지 않으며, 의존 관계의 순서와 제품 경계를 제시합니다.
현재
- 본 매뉴얼은 토파즈 5.19.0 /
topaz-5.19를 설명합니다. 현재 지원되는 언어 경로에서는 설치된 셀프호스팅 컴파일러가 계속 기본값으로 동작합니다. - 설치된
topaz lispex embed run명령은 토파즈 바이너리에 고정된 구성 요소로 단일 리스펙스 요청을 평가합니다. 리소스 제한과 거부 동작이 명시되어 있으며 선택기·탐색·다운로드·콜백·임포트·폴백 경로는 제공되지 않습니다. - Rust 컴파일러는 비교, 복구 및 호환성 경로용으로 유지됩니다. 셀프호스팅이 기본으로 전환되었다고 해서 Rust 복구 체인이 제거되지는 않습니다.
- 컴파일러, 런타임, npm 패키지, 아티팩트, 문서 및 플레이그라운드는 동일한 제품을 지칭합니다. 네이티브·Python·브라우저·HTTP·로컬 데이터·바이너리 미디어 애플리케이션 경로 역시 그대로 지원합니다.
- 지원되지 않는 컴파일러 옵션 지정 시 타 엔진으로 우회되지 않고 즉시 실패합니다. 전체 플랫폼·차분 검사는 공개 후보 빌드에서만 수행하며, 일반적인 변경에는 표적 검사를 사용합니다.
- 설치된 네이티브
topaz실행 파일에는topaz mcp serve로컬 stdio MCP 서버와 호출 시마다 새로 생성되는 무권한 워커가 포함되어 있습니다.
다음 우선순위
- 5.19에서 완전한 현재 프로필 애플리케이션을 제공. 인터프리터와 승인된 5개 네이티브 타깃은 동일한 프로필, 구성 요소, 준비 아티팩트 및 잠금 식별자를 사용합니다. 생성된 네이티브 결과물은 소스나 제공자 원격 서비스 없이 독립 실행되는 네이티브 전용 제품입니다. Python, Web, HTTP 경로는 출력 전에 거부되며, 기존 5.18 제한 프로필은 불변 호환 경로로 유지됩니다.
- 정확한 5.19.0 공개 영수증 이후에만 5.20으로 진입. 전환 시점의 토파즈 작성 컴파일러 전체를 대상으로 반복 감사와 리팩터링을 진행합니다. 패치 번호 상한은 없습니다. 실행 가능·유예·미확인·미검토 항목이나 소유자 판정, 구체적인 불변식, 정확한 회귀 방어가 없는 보존 항목이 하나라도 남아 있으면 후보 작업을 시작할 수 없습니다. 동일한 컴파일러 바이트를 대상으로 2회 연속 전수 감사를 수행하여 신규 지적 사항이 0건일 때에만 5.20 후보 자격을 부여합니다.
- 릴리스 증거 보존. 이후 릴리스마다 신규 승인 및 철회 기록을 남기고, 재사용된 결과는 신규 실행 건으로 보이지 않도록 식별 표시하며, 보존된 복구 경로를 주기적으로 실제 실행합니다.
증거의 경계
단순 기능 수량은 전체 언어 적합성을 판단하는 분모가 아닙니다. 특수형, 제어 동작, 값, 실패, 전사 및 출력, 진단, 리소스, 호스트 경계와 영수증 항목을 각각 분리하여 추적합니다.
설치된 평가기가 증명하는 범위는 문서에 명시된 명령, 구성 요소, 프로필, 입력, 리소스 제한, 출력 및 지원 플랫폼에 국한됩니다. 이는 전체 리스펙스 언어 동등성이나 독립적인 의미 증인을 증명하는 것이 아닙니다. Lispex-in-Topaz의 약어인 LIT는 동일한 설계 계보 내 회귀·통합 증거로 지속해서 유용하지만, 토파즈 백엔드로 동작하지는 않습니다.
제품 통합, 리스펙스 의미 범위, 토파즈 타깃 지원은 각각 독립적으로 추적합니다. 단일 네이티브 애플리케이션 경로가 완료되어도 전체 리스펙스 프로필, 생성형 Python, 브라우저, MCP 실행 관련 항목까지 종결된 것은 아닙니다. 완료된 셀프호스팅 및 애플리케이션 마일스톤은 히스토리에서 확인할 수 있습니다.
연구
- 코드 생성기가 언어 규칙을 잘못 해석하는 지점을 탐지하는 차분·퍼징 도구를 확장합니다.
- 실제 아티팩트와 재현 방법이 확보된 주제에 한하여 모델 검사나 기계적 증명 적용을 검토합니다.
- 직접 WebAssembly 컴파일은 측정된 제품 장애가 발생하는 경우에 한해 재검토합니다. 광범위한 최적화, 비동기 구문, 런타임 오류 복구, 문자소 API, 사용자 정의 템플릿, 일반 호스트 FFI 및 신규 구문 도입은 현재 계획에서 제외합니다.