이 로드맵은 날짜를 약속하지 않습니다. 의존 순서와 제품 경계를 보여 줍니다.
현재
- 이 매뉴얼은 토파즈 5.18.1 /
topaz-5.18을 설명합니다. 지원되는 현재 언어 경로에서는 설치된 셀프호스팅 컴파일러가 계속 기본값입니다. - 설치된
topaz lispex embed run명령은 토파즈 바이너리에 고정된 정확한 구성 요소로 한정된 Lispex 요청 하나를 평가합니다. 자원 한계와 거부 동작이 명시되어 있으며, 선택기·탐색·다운로드·콜백·임포트·폴백 경로는 없습니다. - Rust 컴파일러는 비교와 복구, 호환 경로에 명시적으로 남아 있습니다. 셀프호스팅이 기본이 됐다고 Rust 복구 체인이 사라진 것은 아닙니다.
- 컴파일러, 런타임, npm 패키지, 산출물, 문서와 플레이그라운드는 계속 같은 제품을 가리킵니다. 네이티브·Python·브라우저·HTTP·로컬 데이터· 바이너리 미디어 애플리케이션 경로도 그대로 지원합니다.
- 지원하지 않는 컴파일러 선택은 다른 엔진으로 몰래 바뀌지 않고 실패합니다. 전체 플랫폼·차분 검증은 공개 후보에서만 돌리고, 평소 변경에는 표적 검사를 씁니다.
- 설치된 네이티브
topaz실행 파일은topaz mcp serve로컬 stdio MCP 서버와 호출마다 새로 시작하는 무권한 작업자를 함께 담습니다.
다음 우선순위
- 5.18에서 한정된 결정 애플리케이션을 모든 네이티브 대상으로 확장. 유지보수 패키지는 정확한 Lispex 규칙을 한 번 준비해 여러 입력을 평가하고, 인증되지 않은 소비자 증거를 저장·검증·재실행하며, 의미 한도와 애플리케이션 전체 한도, 마감 시간 경계를 확인합니다. 일반 npm 설치를 거친 뒤 소스와 컴파일러를 지우고 실행 파일만 옮긴 상태에서도 네이티브 제품이 같은 결과를 냈습니다. 정확한 5.18 후보 소스는 이제 활성화됐습니다. 지원하는 모든 네이티브 대상이 같은 소스 없는 검증을 통과해야 공개 언어 프로필을 고를 수 있습니다. Python과 웹은 다른 경로로 몰래 바뀌지 않고 명시적으로 거부됩니다. 다음 단계에서는 정확한 후보 커밋을 토파즈 소유 봉인과 고정된 H1 절차에 묶은 뒤 I1-L, H1, I1-C를 실행합니다. 평범한 공급자 저장소 변화는 입력이 아니며 토파즈 개발을 멈추지 않습니다. 소유자가 명시적으로 승인한 버전 H2B 제안만 선택적 반입 검토를 엽니다.
- 5.19에서 전체 프로필 애플리케이션을 완성. 별도로 만든 임포트 없는 전체 프로필 평가기와 증거는 이미 도착해 비공개 반입 검사를 통과해 비공개로 보존하지만, 아직 토파즈 제품에서 실행하거나 승인하지 않았습니다. 다음 단계에서는 두 프로필 모두에 정확한 네이티브, Python, Raw Web, Worker, 관리형 웹 호스트를 붙입니다. 제한된 결정 프로필은 고정된 기본값으로 남으며 제자리에서 넓어지지 않습니다.
- 전 컴파일러 리팩터를 소진한 뒤에만 5.20으로 진입. 전체 통합을 공개한 뒤 그 시점의 토파즈 작성 컴파일러 전체를 반복해서 전수 감사하고 리팩터합니다. 패치 번호 상한은 없으며 필요하면 5.19 계열의 99번을 넘어 계속합니다. 실행 가능·유예·미확인·미검토 항목이나 소유자 판정, 구체적 불변식, 정확한 회귀 방어가 없는 보존 항목이 하나라도 남으면 후보 작업을 시작할 수 없습니다. 받아들인 의미 변경은 명세, 프로필, 구현, 증거, 문서까지 모두 닫아야 합니다. 동일한 컴파일러 바이트를 대상으로 연속 두 번 전수 감사해 새 발견이 0일 때에만 토파즈 5.20 후보 자격이 생깁니다.
- 릴리스 증거 보존. 이후 릴리스마다 새 승인과 철회 확인을 남기고, 재사용한 결과는 새 실행처럼 보이지 않게 표시하며, 보존한 복구 경로를 주기적으로 실제 실행합니다.
증거의 경계
원시 기능 개수는 전체 언어 적합성의 분모가 아닙니다. 특수형, 제어 동작, 값, 실패, 전사와 출력, 진단, 자원, 호스트 경계와 영수증을 각각 추적합니다.
설치된 한정 평가기가 증명하는 범위는 문서에 적힌 명령, 구성 요소, 프로필, 입력, 자원 한계, 출력, 지원 플랫폼뿐입니다. 전체 Lispex 언어 동등성이나 독립적인 의미 증인을 증명하지 않습니다. LIT는 같은 설계 계보 안의 회귀·통합 증거로 계속 유용하지만 토파즈 백엔드는 아닙니다.
제품 통합, Lispex 의미 범위, 토파즈 타깃 지원은 각각 따로 추적합니다. 네이티브 애플리케이션 경로 하나가 완성돼도 전체 Lispex 프로필, 생성형 Python과 브라우저까지 닫힌 것은 아닙니다. 완료된 셀프호스팅과 애플리케이션 이정표는 히스토리에서 볼 수 있습니다.
연구
- 코드 생성기가 언어 규칙을 어디서 잘못 해석하는지 찾는 차분·퍼징 도구를 확장합니다.
- 실제 산출물과 재현 방법이 있는 주제에 한해 모델 검사나 기계적 증명을 검토합니다.
- 직접 WebAssembly 컴파일은 측정된 제품 장애가 생길 때만 다시 검토합니다. 광범위한 최적화, 비동기 문법, 실행 오류 복구, 문자소 API, 사용자 정의 템플릿, 일반 호스트 FFI와 새 문법은 현재 계획에서 제외합니다.