이 로드맵은 토파즈의 제품 개발 순서와 경계를 안내합니다.
현재
- 이 매뉴얼은
topaz-5.20을 다룹니다. 설치된 셀프호스티드 컴파일러가 지원되는 모든 현행 언어 경로의 기본값입니다. - 5.20 라인은 5.19 까지 이어진 컴파일러 품질 프로그램을 마무리합니다. 스테이지 0 러스트 컴파일러와 셀프호스티드 토파즈 컴파일러를 소스 단위로 감사하고 리팩터했으며, 체크인된 컴파일러 산출물은 이제 스테이지 중립이고 공개
verify.sh로 검증됩니다. 그 검증이 무엇을 보장하고 무엇을 보장하지 않는지는 툴체인 상태 페이지에 적혀 있습니다. - 설치된
topaz lispex embed run명령은 토파즈 바이너리에 내장된 리스펙스 1.20 평가기 그대로 리스펙스 요청을 평가합니다. 유한한 한도와 명시적 거부를 갖고, 선택기나 탐색, 다운로드, 콜백, 임포트, 폴백 경로는 제공하지 않습니다. - 러스트 컴파일러는 비교, 복구, 호환 용도로 계속 선택할 수 있습니다.
- 컴파일러, 런타임, npm 패키지, 산출물, 문서, 플레이그라운드는 하나의 제품 정체성을 공유합니다. 네이티브, 파이썬, 브라우저, HTTP, 로컬 데이터, 바이너리 미디어 애플리케이션 경로는 계속 지원됩니다.
- 릴리스는 정확한 소스 리비전에서 빌드되고 SHA-256 체크섬과 함께 배포됩니다. 누구나 공개 소스 스냅샷에 포함된
verify.sh로 컴파일러를 다시 빌드하고 검증할 수 있습니다. 스냅샷 저장소는 툴체인 상태 페이지에 적혀 있습니다. - 설치된 네이티브
topaz실행 파일에는 로컬 stdio MCP 서버와 격리된 무권한 워커가topaz mcp serve로 들어 있습니다.
다음 우선순위
- 5.20 위의 애플리케이션. 개발은 토파즈 위에서 돌아가는 제품들에서 이어집니다. 새 언어 작업은 예정되어 있지 않고, 제품에 필요한 수정은 5.20 라인의 패치 릴리스로 나옵니다.
- 낯선 사람이 직접 돌릴 수 있는 검증. 재현 가능한 빌드는 리눅스 x86_64 에서 증명되었습니다. 다른 타깃은 측정된 대로 또는 미측정으로 보고하며 가정하지 않습니다. 측정된 집합을 넓히는 것이 다음 검증 단계입니다.
증거의 경계
검증 기록은 정확한 입력, 도구, 환경, 프로필, 리소스 한도, 관찰 결과를 담습니다. 특수형, 제어 동작, 값, 실패, 전사와 출력, 진단, 리소스, 호스트 경계, 컴파일러 관찰 계층은 각각 선택해 확인할 수 있습니다.
설치 평가기 기록에는 문서에 지정된 명령, 구성 요소, 프로필, 입력, 리소스 한도, 출력, 플랫폼이 담깁니다. 리스펙스 테스트·통합 표면인 LIT는 하나의 소스 계보를 직접 실행, 생성 Rust, 생성 Python, Web 경로에서 구동한 회귀 결과를 기록합니다. LIT는 토파즈 출력 백엔드와 구분됩니다. 완료된 셀프호스팅과 애플리케이션 마일스톤은 히스토리에서 확인할 수 있습니다.
연구
- 코드 생성기가 언어 규칙을 잘못 해석하는 지점을 탐지하는 차분·퍼징 도구를 확장합니다.
- 실제 아티팩트와 재현 방법이 확보된 주제를 대상으로 모델 검사나 기계적 증명 적용을 검토합니다.
- 직접 WebAssembly 컴파일은 측정된 제품 장애가 발생할 때 재검토합니다. 광범위한 최적화, 비동기 구문, 런타임 오류 복구, 문자소 API, 사용자 정의 템플릿, 일반 호스트 FFI 및 신규 구문 도입은 현재 계획에서 제외합니다.