이 페이지는 토파즈 v5.17을 설명합니다. 현재 문서로 판단하기 전에 /version.json의 version 값을 5.17과 대조하세요.
이 로드맵은 날짜를 약속하지 않습니다. 의존 순서와 제품 경계를 보여 줍니다.
현재
- 이 매뉴얼은 토파즈 5.17.0 /
topaz-5.17을 설명합니다. 지원되는 현재 언어 경로에서는 설치된 셀프호스팅 컴파일러가 계속 기본값입니다. - 설치된
topaz lispex embed run명령은 토파즈 바이너리에 고정된 정확한 구성 요소로 한정된 Lispex 요청 하나를 평가합니다. 자원 한계와 거부 동작이 명시되어 있으며, 선택기·탐색·다운로드·콜백·임포트·폴백 경로는 없습니다. - Rust 컴파일러는 비교와 복구, 호환 경로에 명시적으로 남아 있습니다. 셀프호스팅이 기본이 됐다고 Rust 복구 체인이 사라진 것은 아닙니다.
- 컴파일러, 런타임, npm 패키지, 산출물, 문서와 플레이그라운드는 계속 같은 제품을 가리킵니다. 네이티브·Python·브라우저·HTTP·로컬 데이터· 바이너리 미디어 애플리케이션 경로도 그대로 지원합니다.
- 지원하지 않는 컴파일러 선택은 다른 엔진으로 몰래 바뀌지 않고 실패합니다. 전체 플랫폼·차분 검증은 공개 후보에서만 돌리고, 평소 변경에는 표적 검사를 씁니다.
다음 우선순위
- 릴리스 증거 보존. 이후 릴리스마다 새 승인과 철회 확인을 남기고, 재사용한 결과는 새 실행처럼 보이지 않게 표시하며, 보존한 복구 경로를 주기적으로 실제 실행합니다.
- 외부 도구는 독립 릴리스로 갱신. 에디터 확장은 이미 설치된 언어
서버를 실행합니다.
topaz-mcp 0.1.1은 검증된 5.16 참조 집합에 묶인 검사 전용 패키지로 유지합니다. 다음 MCP 버전은 내장 참조 자료와 네이티브 패키지를 현재 언어 권위에 맞춰 다시 빌드하고 검증한 뒤에만 나옵니다.topaz_run은 무권한 토파즈 호스트와 운영체제 자원 샌드박스를 모두 갖춰야 하는 별도 후속 제품입니다. - 증거가 있는 만큼만 Lispex 경계를 넓힘. 더 넓은 프로필, 선택 가능한 평가기, 이식 가능한 제공자 영수증, 추가 입력 경로는 각각 별도 계약과 승인이 필요합니다. 설치된 5.17 결과가 이런 기능을 미리 약속하지 않습니다.
증거의 경계
원시 기능 개수는 전체 언어 적합성의 분모가 아닙니다. 특수형, 제어 동작, 값, 실패, 전사와 출력, 진단, 자원, 호스트 경계와 영수증을 각각 추적합니다.
설치된 한정 평가기가 증명하는 범위는 문서에 적힌 명령, 구성 요소, 프로필, 입력, 자원 한계, 출력, 지원 플랫폼뿐입니다. 전체 Lispex 언어 동등성이나 독립적인 의미 증인을 증명하지 않습니다. LIT는 같은 설계 계보 안의 회귀·통합 증거로 계속 유용하지만 토파즈 백엔드는 아닙니다. 완료된 셀프호스팅과 애플리케이션 이정표는 히스토리에서 볼 수 있습니다.
연구
- 코드 생성기가 언어 규칙을 어디서 잘못 해석하는지 찾는 차분·퍼징 도구를 확장합니다.
- 실제 산출물과 재현 방법이 있는 주제에 한해 모델 검사나 기계적 증명을 검토합니다.
- 직접 WebAssembly 컴파일은 측정된 제품 장애가 생길 때만 다시 검토합니다. 광범위한 최적화, 비동기 문법, 실행 오류 복구, 문자소 API, 사용자 정의 템플릿, 일반 호스트 FFI와 새 문법은 현재 계획에서 제외합니다.