이 로드맵은 약속된 일정이 아니라 우선순위와 준비 상태를 보여 줍니다.
현재
- 현재 공개 제품에는 Bootstrap Foundations와 설치형 애플리케이션 루프 위에 명시적인 Self Front-end Preview가 포함됩니다.
- 컴파일러·런타임·npm 설치 패키지·산출물·문서·플레이그라운드는 하나의 현재 제품을 표시합니다.
- 기본 컴파일러는 정확히 복구할 수 있는 Rust Stage 0입니다. 설치형 Self Front-end Preview는 임베드된 토파즈 작성 프런트엔드 전체를 Typed 단계까지 실행하고 원래 소스 없이 Rust Stage 0 관측 자료와 비교합니다.
- 설치형 네이티브·Python 제품은 오프라인에서 실행되고, 관리형 브라우저 제품은 정적 번들과 로컬 데이터 경계를 소유하며, 생성된 서비스는 제한된 인바운드 HTTP 권한·격리·마감 시간·관측·종료를 소유합니다.
- 고정 길이 변경 가능
ByteBuffer로 연속적인 바이너리 작업을 수행하며, 불변Bytes는 지원되는 네이티브·Python·Web·Web Worker 경계에서 스냅샷과 전송 값으로 유지됩니다. - 유지보수 중인 다중 모듈 CodeImage 커널은 설치형 순정 토파즈로 빌드되고, 실패 폐쇄형 네이티브 선택 근거를 보여 주며, 소스 없는 Web·Worker 산출물에서 정확한 바이트와 실패 동작을 보존합니다.
- 관련 구현이 바뀌면 표적 차분 검증을 실행합니다. 전체 다중 플랫폼·전체 차분 검증은 이를 소유한 공개 마이너 RC에서만 실행합니다.
다음
- 기본 엔진을 바꾸지 않고 승인된 토파즈 작성 프런트엔드에서 명시적인 Stage 1 Compiler Preview를 만듭니다.
- 이후 고정점 작업에 들어가기 전에 재현 가능한 설치형 Stage 1 관측 자료와 Rust Stage 0의 일치를 요구합니다.
- HTTP 서비스·로컬 데이터·브라우저·네이티브·Python·바이너리 미디어 루프를 회귀 없는 선행 제품으로 보존합니다.
- 컴파일러 전용 방언이나 편의 문법은 만들지 않습니다. 실제 컴파일러 작업에서 재현된 장애가 있어도 언어·기능 경계를 바꾸려면 별도 결정을 거칩니다.
릴리스 경계
Bootstrap Foundations와 타입 검사 종단 Self Front-end Preview는 토파즈
5.12.0 / topaz-5.12로 제공됩니다. 설치 제품에서는
topaz compiler preview [entry] --out-dir <directory>를 사용합니다. 이
명령의 현재 경로는 토파즈 작성 렉서·레이아웃·현재 문법 파서·논리적 import
폐쇄·이름 해석·정적 검사, Typed 투영과 구조화 진단을 타입 검사 종단 정본
관측 자료로 입증합니다. 전체 자체 소스·코퍼스·자원·설치 제품·복구 준비를
닫았습니다.
Rust 기본값을 바꾸거나 실패를 숨기고 Rust로 되돌아가지 않습니다. 완료된 체크포인트는
히스토리에 계속 남습니다.
다음 조건부 공개 결과는 토파즈 5.13.0 / topaz-5.13이며, Stage 1 Compiler
Preview 결과가 정확한 게이트를 통과할 때만 열립니다.
이후
- Stage 1·Stage 2의 재현 가능한 결과, 설치형 두 엔진의 일치, 독립적으로 사용할 수 있는 Rust 복구 경로가 모두 닫힌 뒤에만 자기 호스팅 컴파일러 커널을 기본값으로 전환합니다.
- 자기 호스팅은 구현 이정표이지 메이저 버전을 자동으로 올리는 이유가 아닙니다. 메이저 릴리스에는 실제로 호환되지 않는 사용자 계약이 필요합니다.
- 일반 네이티브 복합 값 레이아웃, 임의 호스트 FFI, 새 Web ABI, SIMD, 브라우저 fetch, 아웃바운드 네트워크, 원격 패키지 공개, 라우터·미들웨어 프레임워크, 공유 서버 상태, 데이터베이스, TLS 종료, WebSocket과 새 문법은 이번 개발 범위에서 제외합니다.
- 이전 언어 모드는 나란히 존재하는 현재 제품이 아니라 명시적인 호환성 입력으로 보존합니다.
한정된 통합 증거
LIT와 Lispex 통합 기록은 내부 호환성·회귀 검증 자료로 계속 유용합니다. 그러나 이 기록이 현재 릴리스 순서를 정하거나 LIT를 공개 토파즈 백엔드로 만들거나 전체 언어 동등성을 입증하지는 않습니다. 대규모 LIT·N-way·변이·차분 검증은 그 대상 의미가 바뀌거나 해당 릴리스 후보에서 실제로 필요할 때만 실행합니다.
연구
- 코드 생성기가 언어 규칙을 어디서 잘못 해석하는지 찾는 차분·퍼징 도구를 확장합니다.
- 실제 산출물과 재현 방법이 있는 주제에 한해 모델 검사나 기계적 증명을 검토합니다.
- 광범위한 최적화, 비동기 문법, 실행 오류 복구, 문자소 API, 사용자 정의 템플릿은 별도의 언어 결정이 받아들일 때까지 연구 항목으로 남깁니다.