토파즈는 공개 마이너 릴리스와 프로덕션 품질의 패치 체크포인트를 거쳐 자랍니다. 공개 마이너는 사용자가 설치하는 제품의 경계를 표시하고, 패치 체크포인트는 그다음 경계를 만들어 낸 실제 작업을 남깁니다.
제품 이정표
| 버전 | 주요 변화 |
|---|---|
| 5.0 | 표현식 중심 문법, Result 중심 오류 처리, 유니코드 식별자를 기본 방향으로 정했습니다. |
| 5.1 | 구조적 반복문을 추가하고 레이아웃·연산자·패턴·동시성·템플릿 동작을 명확히 했습니다. |
| 5.2 | import/export 모듈 모델을 확정하고 첫 공개 v5 도구 모음을 하나로 맞췄습니다. |
| 5.3 | 배포 채널별 언어 의미를 나누지 않으면서 표준 라이브러리와 실제 프로그램 지원을 넓혔습니다. |
| 5.4 | 플랫폼별 바이너리와 설치 경로를 표준화하고 Python 코드 생성 작업을 시작했습니다. |
| 5.5 | Python을 지원 백엔드로 올리고 해석기·Rust·Python의 결과 일치 범위를 넓혔습니다. |
| 5.6 | 성숙한 언어·런타임·패키지·WASM 플레이그라운드·배포 표면을 하나로 통합했습니다. |
| 5.7 | Data Lens와 Markdown Live를 포함한 설치형 오프라인 Web Application Loop를 공개했습니다. |
| 5.8 | 로컬 텍스트 가져오기·내보내기와 제한된 패키지별 영구 상태를 Local Data Application Loop로 공개했습니다. |
| 5.9 | 명시적인 인바운드 권한, 유한한 한계, 구조화 운영 정보와 소스 없는 산출물을 갖춘 Bounded HTTP Service Application Loop를 공개했습니다. |
| 5.10 | 설명 가능한 네이티브 선택, 정확한 바이트 연산, 결정적 코덱 연산과 유지보수 CodeImage 증거를 갖춘 순정 바이너리·미디어 커널 루프를 공개했습니다. |
| 5.11 | 정규 컴파일러 관찰, 결정적 부트스트랩 프로필·워크로드, 단계 비교와 복구 가능한 Rust Stage 0를 갖춘 부트스트랩 기반을 공개했습니다. |
| 5.12 | 타입 검사 단계까지 실행되는 설치형 Self Front-end Preview를 공개했습니다. 소스 없는 의미 비교와 명시적 무폴백 동작을 제공하며 Rust Stage 0는 기본·복구 엔진으로 유지됩니다. |
| 5.13 | 생성된 컴파일러가 대상 하강과 Rust 생성을 맡고 완전한 출처를 기록하며 숨은 Rust 폴백 없이 실패하는 명시적 Stage 1 Compiler Preview를 공개했습니다. |
| 5.14 | 별도로 실행한 셀프호스팅 컴파일러가 정본 의미와 원시 생성 소스를 재현하는 Stage 2 고정점을 공개했습니다. Rust Stage 0는 기본·복구 엔진으로 유지됩니다. |
| 5.15 | Rust를 기본·복구 컴파일러로 유지하면서 명시적으로 선택한 현재 모드 셀프 컴파일러를 선언된 경로에서 지원하는 Supported Dual Toolchain을 공개했습니다. |
| 5.16 | 설치된 Stage 2 컴파일러를 지원되는 현재 모드 경로의 기본값으로 삼고, 명시적 Rust 복구와 무폴백 경계를 유지하는 Self-hosted Default를 공개했습니다. |
| 5.17 | 설치 제품에 한정된 Lispex 평가기를 별도 명령 공간으로 추가했습니다. 평가기 구성 요소와 자원 한계가 고정되어 있고, 거부는 명시적이며, 폴백이나 전체 언어 동등성 주장은 없습니다. |
패치 체크포인트
공개 여부와 관계없이 닫힌 패치 체크포인트는 모두 히스토리에 남깁니다. 이전 개발 계열은 접어 두어 긴 제품 흐름을 한눈에 볼 수 있게 했습니다.
5.4.x — Python 코드 생성 시작
| 체크포인트 | 공개 범위 | 사용자에게 생긴 변화 |
|---|---|---|
| 5.4.1 | 공개 | 기존 해석기와 Rust 출력에 첫 실험적 Python 코드 생성 경로를 더했습니다. |
5.5.x — Python 백엔드 완성
| 체크포인트 | 공개 범위 | 사용자에게 생긴 변화 |
|---|---|---|
| 5.5.1 | 내부 | 생성 Python 배열에 같은 종류 Bytes의 순서 비교와 안정적인 자연 정렬을 추가했습니다. |
| 5.5.2 | 내부 | 최상위 if와 match의 최종 값을 해석기·생성 Rust·생성 Python에서 일치시켰습니다. |
| 5.5.3 | 내부 | 함수 안의 return은 유지하면서 최상위 return 분기를 모든 백엔드가 일관되게 거부하도록 했습니다. |
| 5.5.4 | 공개 | 복구할 수 없는 오류 뒤에는 지연 정리 작업을 실행하지 않도록 Python의 정리·오류 동작을 맞췄습니다. |
| 5.5.5 | 공개 | 제한된 JSON 서버 경계와 숫자·이스케이프·중복 키·오류 처리의 백엔드 일치를 추가했습니다. |
| 5.5.6 | 공개 | Python 미지원 형식이 불완전한 출력을 만들지 않고 완전한 소스 위치 진단으로 실패하게 했습니다. |
| 5.5.7 | 공개 | 생성 Python의 Option·Result·unit 값·고차 연산 격차를 닫았습니다. |
| 5.5.8 | 공개 | Map·Set과 관련 컬렉션에서 부동소수점 식별성과 키 동작을 맞췄습니다. |
5.6.x — 설치형 제품과 Web 기반
| 체크포인트 | 공개 범위 | 사용자에게 생긴 변화 |
|---|---|---|
| 5.6.1 | 공개 | 빌드 작업을 일회용 저장공간으로 옮기고 Python 캐시 증가를 제한했으며 관리 산출물 식별·라이선스·패키지 보장을 추가했습니다. |
| 5.6.2 | 공개 | 동작을 바꾸지 않고 문서와 npm 표시를 정리했습니다. |
| 5.6.3 | 공개 | 공개 npm 메타데이터에서 비공개 저장소 주소를 제거했습니다. |
| 5.6.4 | 공개 | 설치형 다중 모듈 Application Loop 기반, 오프라인 네이티브·Python 패키지 빌드, 기계 판독 가능한 agent-pack 검사를 추가했습니다. |
| 5.6.5 | 공개 | 설치형 Application Loop, fmt --check, 다국어 안내서, 직접 npm 게시와 제한된 현장 검증을 완성했습니다. |
| 5.6.6 | 내부 | 고정 길이 변경 가능 ByteBuffer를 추가하고 대용량 바이너리 제품의 Web 메모리 할당·반환 소유권을 수리했습니다. |
| 5.6.7 | 내부 | 검사형 Web Application 생명주기, 안전한 브라우저 호스트, web-app 스캐폴드, 루프백 개발 명령과 완전한 관리형 정적 번들을 추가했습니다. |
| 5.6.8 | 내부 | 유지보수 Data Lens·Markdown Live 도그푸딩 제품과 재현된 검사기·호스트 수리를 완성하고 원자적 5.7 전환을 준비했습니다. |
5.7.x — Local Data Application Loop
| 체크포인트 | 공개 범위 | 사용자에게 생긴 변화 |
|---|---|---|
| 5.7.1 | 내부 | 권한으로 제한된 로컬 UTF-8 파일 열기와 결정적 텍스트 다운로드를 추가하고 실제 CSV·JSON Data Lens로 검증했습니다. |
| 5.7.2 | 내부 | 제한된 패키지별 영구 문자열 상태, 명시적 불러오기·저장·삭제 결과와 유지보수 앱의 새로고침 복구를 추가했습니다. |
| 5.7.3 | 내부 | 현실적인 다국어 파일, 반복 작업, 정확한 내보내기, 포커스 복구와 렌더러 성능 수리로 Data Lens와 Markdown Live를 강화했습니다. |
| 5.7.4 | 내부 | 완성된 기능을 동결하고 다음 언어 권한과 버전 표면을 준비했으며 읽기 전용 원자적 전환 리허설을 검증했습니다. |
5.8.x — Bounded HTTP Service Application Loop
| 체크포인트 | 공개 범위 | 사용자에게 생긴 변화 |
|---|---|---|
| 5.8.1 | 내부 | 관리형 제한 HTTP/1.1 서비스 대상, 요청별 취소와 자원 한계, 소스 없는 산출물, 브라우저 제품과 검사형 코어를 공유하는 Data Lens Service를 추가했습니다. |
| 5.8.2 | 내부 | 느리거나 비정상이고 연결이 끊기거나 과대·과부하·오류·무한 실행인 요청 경로를 강화하고 요청 격리와 처리 용량 복구를 검증했습니다. |
| 5.8.3 | 내부 | 유효 설정 검사, 버전형 구조화 운영 로그, 정상 종료 수명 주기 이벤트, 재시작 증거와 반복·동시 다국어 서비스 작업 흐름을 추가했습니다. |
| 5.8.4 | 내부 | 브라우저와 서비스 Data Lens가 하나의 검사된 코어를 공유함을 증명하고, 현실적인 다국어 작업 흐름을 강화했으며 다음 정본과 읽기 전용 전환 경계를 준비했습니다. |
5.9.x — 관찰 가능한 네이티브 애플리케이션 커널
| 체크포인트 | 공개 범위 | 사용자에게 생긴 변화 |
|---|---|---|
| 5.9.1 | 내부 | 결정적인 네이티브 낮추기 보고서와, 박싱된 애플리케이션은 유지하면서 조건을 만족하는 최상위 스칼라 함수만 특화하는 실패 폐쇄형 혼합 경로를 추가했습니다. |
| 5.9.2 | 내부 | 검사기가 증명한 직접 레코드 필드를 포함해 정확한 Bytes·ByteBuffer 네이티브 고속 경로를 추가하고, 박싱된 대체 경로·범위 오류·스냅샷·원자적 쓰기 동작은 그대로 보존했습니다. |
| 5.9.3 | 내부 | 바이너리 미디어 작업을 위한 결정적 고정 허프만 raw DEFLATE를 추가하고, Rust·Web 바이트 동일성·검색 및 메모리 한계·명시적인 Python 대상 거절을 고정했습니다. |
| 5.9.4 | 내부 | 결정적 systematic RS(255,223) 보호를 추가하고, 다중 조각 바이트 동일성·입력 한계·Rust/Web 공유 실행·명시적인 Python 대상 거절을 고정했습니다. |
| 5.9.5 | 내부 | 비암호학적 무결성 검사를 위한 부호 없는 CRC-32/ISO-HDLC를 추가하고 해석기·Rust·Python·Web·Worker·플레이그라운드에서 같은 결과를 고정했습니다. |
| 5.9.6 | 내부 | 정확한 고정 허프만 DEFLATE 바이트를 감싸는 하나의 결정적 RFC 1950 zlib 스트림을 추가하고, 입력 한계와 명시적인 Python 대상 거절을 고정했습니다. |
| 5.9.7 | 내부 | 안정적인 CodeImage 렌더러·proof worker 게이트와 소스 없는 제품 검사를 통과시키고, 비활성 5.10 전환 경계를 읽기 전용으로 리허설해 순정 바이너리 미디어 경로를 견고화했습니다. |
5.10.x — Bootstrap Foundations
| 체크포인트 | 공개 범위 | 사용자에게 생긴 변화 |
|---|---|---|
| 5.10.1 | 내부 | 현재 단일 파일·패키지 검사를 재생 가능한 소스 사실, 결정적 한계, 명시적 출처 정보와 기존 진단을 보존하는 Stage 0 컴파일러 커널 경계로 연결했습니다. |
| 5.10.2 | 내부 | 재사용 가능한 원시·레이아웃 토큰, AST, 범위, 선언, 참조, 내보내기, 진단과 출처 사실을 갖춘 설치형 정규 전처리 관찰·오프라인 검증 경계를 추가했습니다. |
| 5.10.3 | 내부 | 단일 검사 패스의 완전한 타입 사실, 정규 타입 관찰과 잠긴 결정적 컴파일러 커널 패키지를 위한 기계 판독 가능 Bootstrap Profile을 추가했습니다. |
| 5.10.4 | 내부 | 검사된 모든 Rust 제품을 하나의 소스 비의존 Lowered IR로 연결하고 Python은 바꾸지 않은 채 하강 결정과 생성 Rust 소스까지 정규 관찰 범위를 넓혔습니다. |
| 5.10.5 | 내부 | 설치형 단계별 컴파일러 관찰 비교와, 결정적 위치 이동·제한된 차이·측정된 자원 한계를 갖춘 잠긴 컴파일러급 워크로드를 추가했습니다. |
| 5.10.6 | 내부 | 설치형 소스 없는 관찰 흐름, 정확한 빌드 입력 출처, 결정적 Stage 0 소스 복구와 공개 변경 없는 릴리스 매니페스트 v3 리허설을 완성했습니다. |
5.11.x — 자체 프런트엔드 프리뷰
| 체크포인트 | 공개 범위 | 사용자에게 생긴 변화 |
|---|---|---|
| 5.11.1 | 내부 | 설치형 토파즈 작성 유니코드 렉서와 결정적 레이아웃 프리뷰를 추가했습니다. Rust Stage 0 기본값을 바꾸거나 실패 시 되돌아가지 않고 정본 토큰 단계 관측 번들을 만듭니다. |
| 5.11.2 | 내부 | 설치형 프리뷰를 현재 문법 전체 파서와 정본 AST, 정확한 파싱 진단·복구까지 확장하고 노드·깊이 자원을 제한하며 Rust 폴백을 허용하지 않습니다. |
| 5.11.3 | 내부 | 설치형 프리뷰를 패키지·마운트·표준 모듈의 논리적 import 폐쇄와 이름 해석까지 확장했습니다. 정확한 스코프·바인딩·참조·export·진단, 제한된 소스 사실과 무폴백 경계를 함께 제공합니다. |
| 5.11.4 | 내부 | 설치형 프리뷰를 토파즈 작성 정적 검사와 정본 Typed 노드·호출·캡처까지 확장했습니다. 프로토콜 경계·바인딩 진단과 표적 컴파일러·잠금 애플리케이션 사례가 Stage 0와 정확히 일치합니다. |
| 5.11.5 | 내부 | 검토된 현재 소스 코퍼스와 프런트엔드 전체 자체 검사를 닫았습니다. 허용·거부 프로그램은 Rust Stage 0와 일치하고 비지원 소스는 명시적으로 분류되며 고정 시간·메모리 게이트를 통과합니다. |
| 5.11.6 | 내부 | 정확한 설치형 Self Front-end Preview를 완성했습니다. 소스 없는 검증·의미 비교가 명시적인 Rust Stage 0 복구와 무폴백 실패를 보존하고, 복구 자산은 임베드 소스를 고정합니다. |
5.12.x — Stage 1 Compiler Preview
| 체크포인트 | 공개 범위 | 사용자에게 생긴 변화 |
|---|---|---|
| 5.12.1 | 내부 | 첫 Stage 1 교환·비공개 하강 IR·출처 규약을 고정하고, 실패 시 즉시 멈추는 가장 작은 토파즈 작성 하강 기반에서 Stage 0와 연산 식별자 및 피연산자 순서를 맞췄습니다. |
| 5.12.2 | 내부 | 선언된 Bootstrap·일반 프로그램 범위의 토파즈 작성 하강을 완성하고, 폴백 없이 연산·피연산자·캡처·검사 거부와 소스 집합 처리 범위를 정확히 고정했습니다. |
| 5.12.3 | 내부 | 결정적인 토파즈 작성 Rust 생성기와 런타임 템플릿 레지스트리를 고정하고 대상 컴파일러 의존성을 거부하며, 소스 없는 생성 제품 canary를 실제 컴파일·실행했습니다. |
| 5.12.4 | 내부 | 생성된 컴파일러 모듈을 빌드하고 일반 패키지를 컴파일했으며, 재생이나 Rust 대상 프런트엔드 폴백 없이 컴파일러 소스 집합 전체의 출력을 바이트 단위로 재현했습니다. |
| 5.12.5 | 내부 | Rust 컴파일러와 생성된 컴파일러의 의미·진단·생성 소스·제품·출처 비교를 분리하고 생성자별 결정성을 고정했으며, 잘못된 생성자나 손상된 제품에서 폴백하지 않고 거부하도록 닫았습니다. |
| 5.12.6 | 내부 | 설치·소스 없는 Stage 1 생성자를 완전한 출처와 함께 공개하고, 실패 시 즉시 거부하는 검증·독립 Stage 0 복구·릴리스 모드 시간 및 메모리 상한을 닫았습니다. |
| 5.12.7 | 내부 | 제한된 애플리케이션 루프·LIT·바이트 집중 CodeImage·격리 Lispex provider 카나리와 정확한 활성화 목록·누적 후보 게이트 지도로 공개 준비를 닫았습니다. |
5.13.x — Stage 2 고정점
| 체크포인트 | 공개 범위 | 사용자에게 생긴 변화 |
|---|---|---|
| 5.13.1 | 내부 | 생성자·빌드 출처를 컴파일러 생성 Rust의 정본 바이트와 분리하고, 명시적인 Stage 1/2 생성자 식별자와 원시 바이트 고정점 규약을 고정하면서 Stage 1과 Rust Stage 0 기본값을 보존했습니다. |
| 5.13.2 | 내부 | 컴파일러 소스를 새로 생성하고 그 정확한 바이트를 별도 검증된 다음 단계 매니페스트와 프로그램 이미지에 묶되, 실행과 고정점 주장은 이 빌드 체크포인트에 포함하지 않았습니다. |
| 5.13.3 | 내부 | 명시적인 Stage 2 생성자와 self-source 경로를 추가하고, 별도 캐시한 컴파일러 이미지를 실행해 소스를 다시 생성했으며, 다른 단계 생성자 선택은 폴백 없이 거부했습니다. |
| 5.13.4 | 내부 | 정확한 컴파일러 소스 집합과 제한된 정상·진단 코퍼스에서 의미 및 원시 소스 고정점 검사를 닫되, 생성자별 출처 차이를 보존하고 네이티브 바이너리 동일성은 주장 범위에서 제외했습니다. |
| 5.13.5 | 내부 | 의미·생성 소스·출처·생성자·seed·runtime·누락 fact·지원 밖 버전의 제한된 canary가 폴백이나 완료 산출물 없이 정확한 경계에서 거부되도록 고정했습니다. |
| 5.13.6 | 내부 | 정확한 로컬 npm 제품에서 설치형 대상 및 source-free self-source Stage 2를 확인하고, Stage 2 입력을 포함한 Rust Stage 0를 오프라인 재구성했으며 제한된 자원 측정법을 고정했습니다. |
| 5.13.7 | 내부 | Stage 2 경계를 지나는 최소 Application Loop·LIT·CodeImage·격리 Lispex 회귀 검사를 닫고, 비활성 5.14 전환 목록과 누적 공개 후보 검증 담당 지도를 고정했습니다. |
5.14.x — 지원되는 이중 도구 체인
| 체크포인트 | 공개 범위 | 사용자에게 생긴 변화 |
|---|---|---|
| 5.14.1 | 내부 | 명시적인 rust·self 컴파일러 선택, 검증되는 기계 판독 지원 목록, 실패 시 즉시 멈추는 사전 검사와 설치된 self 컴파일러를 쓰는 첫 현재 모드 진입 파일 검사를 추가했습니다. |
| 5.14.2 | 내부 | 셀프 컴파일 제품이 직접 만든 프로필 진단·하강 결과·생성 Rust·출처와 결정적 소스·결과 식별자를 담는 완전한 버전드 제품 및 실패 폐쇄형 기계 어댑터를 추가했습니다. |
| 5.14.3 | 내부 | 두 컴파일러의 파싱·AST·검사·프로필·export·실행·테스트·벤치마크·잠긴 패키지·컴파일러 관찰 경로를 제한된 결과·진단 일치와 무폴백으로 추가했습니다. |
| 5.14.4 | 내부 | 대상 전용 고정점 IR 런타임을 컴파일러 이미지에서 분리하고, self Rust 생성과 소스 없는 네이티브 빌드를 추가했으며 관리형 산출물에 정확한 컴파일러 출처를 봉인했습니다. |
| 5.14.5 | 내부 | 셀프호스팅 컴파일러에서 대상 정보를 투영하고 Rust 대상 프런트엔드 폴백 없이 Python·Web·worker·Web 애플리케이션·HTTP 서비스 제품과 Web/서비스 개발 루프를 추가했습니다. |
| 5.14.6 | 내부 | 서식 정리·패키지 문서·선언된 모든 LSP 요청과 공식 VS Code 확장에 프로세스 동안 고정되는 Rust/self 선택을 추가하고, 같은 표현 결과와 무폴백 경계를 유지했습니다. |
| 5.14.7 | 내부 | 정확한 로컬 npm 제품 하나에서 저장소 없는 Rust/self 빌드와 소스 없는 실행, 셀프 컴파일러 이미지 손상 뒤에도 독립적인 Rust 복구, 제한된 컴파일러·LSP 자원과 제품 크기를 확인했습니다. |
| 5.14.8 | 내부 | 소스 없는 이중 엔진 Golden Path, 컴파일러·표준 라이브러리, LIT, CodeImage, 격리된 Lispex 검사를 닫고 전체 지원 판정표와 공개 후보 검증 지도를 완성했습니다. |
5.15.x — Self-hosted Default
| 체크포인트 | 공개 범위 | 사용자에게 생긴 변화 |
|---|---|---|
| 5.15.1 | 내부 | 실제 패키지 언어 모드를 알 때까지 컴파일러 선택 의도를 보존해, 이전 모드 패키지는 Rust 호환 경로를 결정적으로 고르고 명시적 self는 컴파일 작업 전에 거부하게 했습니다. |
| 5.15.2 | 내부 | 정확한 불변 셀프 컴파일러 이미지를 프로세스당 한 번 준비하고 검증해 컴파일러와 LSP 작업이 공유하게 했습니다. 타깃 결과를 캐시하지 않으면서 손상·식별자 불일치를 거부하고 제한된 콜드 및 LSP 자원 기준을 충족했습니다. |
| 5.15.3 | 내부 | 설치된 Stage 2 컴파일러를 지원되는 현재 모드 21개 경로의 생략 기본값으로 바꾸고, 명시적 Rust 복구와 결정적 Rust 호환 경로를 보존하면서 모든 선택 출처를 기록했습니다. |
| 5.15.4 | 내부 | 정확한 로컬 npm 설치 하나에서 기본 self 검사·선택 테스트·관리형 Python 패키징·소스 없는 실행을 확인했습니다. 잘못된 self는 비정상 상태로 실패 폐쇄되고 명시적 Rust와 호환 경로는 독립적으로 동작합니다. |
| 5.15.5 | 내부 | 발견된 self 기본 경로 차단 문제를 모두 닫고, 설치된 2모듈 앱을 기본 self로 검사·테스트·네이티브 빌드한 뒤 소스 없이 실행했으며, 제한된 외부 위험을 정확한 5.16 후보 게이트에 배정했습니다. |
| 5.15.6 | 내부 | 새 Stage 1·Stage 2 관측과 소스 없이 실행되는 새 네이티브 제품을 만들고, 완전한 복구 입력과 비활성 5.16 전환·누적 공개 후보 검증·증거 재사용·롤백 담당 경계를 고정했습니다. |
5.16.x — 신뢰 경계와 제한형 임베딩
| 체크포인트 | 공개 범위 | 사용자에게 달라진 점 |
|---|---|---|
| 5.16.1 | 내부 | 관측된 차이와 규범적 판정을 분리하고 정확한 증거 폐포를 기계적으로 만들게 했으며, 이후 릴리스가 따를 공개 언어 프로필과 부트스트랩 프로필을 불변으로 고정했습니다. |
| 5.16.2 | 공개 도구 | 실행 기능이 없는 세 도구 MCP 서버와 LSP 지원 편집기 업데이트를 각각 독립 버전으로 공개했습니다. 원격 실행은 추가하지 않았고 편집기에는 컴파일러를 묶지 않았습니다. |
| 5.16.3 | 내부 | 향후 실행 도구를 검토하기 전에 필요한 무능력 호스트, 대상 한정 운영체제 샌드박스, 설치 환경 격리 검사를 마련했습니다. |
| 5.16.4 | 내부 | 첫 Lispex 의미 표면과 관측 채널을 분류하고, Lispex 릴리스 전체가 아닌 임포트 없는 정확한 계량형 evaluator 컴포넌트 하나만 받아들였습니다. |
| 5.16.5 | 내부 | 모듈형 호스트·게스트 계약과 비공개 수직 프로브를 만들고, 정확한 버전·다이제스트 불일치 거부와 임포트·콜백·탐색·폴백 부재를 확인했습니다. |
| 5.16.6 | 내부 | 후보에 상대적인 비공개 테스트로 지원하지 않는 변경 연산과 다중 값 주장을 찾아 제거한 뒤, evaluator 바이트를 바꾸지 않고 수정된 제한 프로필을 닫았습니다. |
| 5.16.7 | 내부 | evaluator를 일반 토파즈 바이너리에 통합하고 준비와 평가에 서로 다른 새 인스턴스를 사용하게 했습니다. 제한과 원자적 출력, 의미·런타임·승인 식별자도 분리했습니다. |
| 5.16.8 | 내부 | 일반 체크섬 설치를 거친 오프라인 소스 없는 제품을 검증하고, 미끼 evaluator와 선택자, 저장소·네트워크 접근, 기존 LIT 명령이 승인된 컴포넌트를 대신할 수 없음을 확인했습니다. |
| 5.16.9 | 내부 | 정확한 컴포넌트의 재배포·철회·증거 폐포·릴리스 승인 기록을 닫고, 5.16 언어 의미를 바꾸지 않은 채 누적 5개 플랫폼 5.17 후보를 준비했습니다. |
5.17.x — 일급 Lispex 결정 애플리케이션
| 체크포인트 | 공개 범위 | 사용자가 얻은 변화 |
|---|---|---|
| 5.17.1 | 내부 | 재사용 Lispex 평가에 애플리케이션 전체 한도, 대기열 역압, 선점 취소, 동시 호출 격리와 정리를 추가하고, 제품 승인 없이 제한형 제공자 아티팩트와 이식 가능 코어 계약의 바이트 일치를 독립 확인했습니다. 프로필로 제한한 애플리케이션 API를 인터프리터와 셀프호스트 프런트엔드까지 연결하고 비지원 대상은 명시적으로 거부하게 했습니다. 검증된 소비자 아티팩트 저장과 인증되지 않은 이식 가능 코어의 검사·검증, 새 인스턴스에서의 바이트 동일 재실행도 추가했습니다. 유지보수용 2모듈 애플리케이션은 일반 npm 설치와 소스·컴파일러 제거, 실행 파일 이동을 거쳐 로컬 네이티브 검증을 통과했습니다. 현지화된 페이지 제목이 단어 안에서 꺾이지 않도록 고치고 별도 버전 MCP의 참조 경계도 바로잡았습니다. |
| 5.17.2 | 내부 | 5.18 제한형 애플리케이션의 공개 경계와 새 승인 순서를 고정하고, 전체 프로필 통합은 5.19에, 컴파일러 품질 개선은 5.20에 배치했습니다. HTTP 서비스와 MCP는 필수 통합 대상에서 분리했습니다. 무능력 호스트의 Lispex 연산도 명시적 거부 정책과 동기화했습니다. 이 체크포인트에서는 언어 의미나 지원 애플리케이션 동작을 바꾸지 않았습니다. |
| 5.17.3 | 내부 | 5.17을 그대로 상속하지만 아직 선택할 수 없는 5.18 프로필을 등록하고, 일급 제한형 Lispex 애플리케이션을 미래의 5.18 패키지와 표준 라이브러리 조합에만 결합했습니다. 현재 5.17의 모든 일급 애플리케이션 경로는 계속 명시적으로 거부합니다. 휴면 권위를 생성하고 MCP 참조 처분 정책과 원자적 활성화 목록을 고정했으며, 저장소를 바꾸지 않는 활성화 예행연습을 통과했습니다. 이 체크포인트에서는 현재 언어 의미나 지원 제품 동작을 바꾸지 않았습니다. |
| 5.17.4 | 내부 | 앞으로 실행할 후보 상대적 비공개 검증을 위해 스키마로 검사하는 합성 전용 기반시설을 마련했습니다. 후보와 법정의 폐포 형태, 제한된 생성자 권한, 관계를 끝까지 확인하는 봉인 코퍼스 수명 주기, 범용 비교, 분리된 관측·판정 레코드를 다룹니다. 이 첫 형식으로는 프로덕션 법정을 실행할 수 없으며 외부 프로덕션 경로는 모두 거부합니다. 실제 법정에는 공급자가 소유한 자가완결 의미·요금과 후보가 선택할 수 없는 신뢰 루트를 묶는 별도 버전의 후속 형식이 필요합니다. 프로덕션 후보·시드·코퍼스·결과·공개 기록은 만들지 않았습니다. 언어 의미와 지원 제품 동작, 공개 릴리스는 바뀌지 않았습니다. |
| 5.17.5 | 내부 | 앞으로 새로 발행할 제한형 애플리케이션 승인을 위해 밀폐된 합성 전용 기반시설을 마련했습니다. 후보·프로필 권위, 정확한 공급자 컴포넌트, 애플리케이션 증거, 네이티브 대상 다섯 개의 법정과 산출물, 미래 비공개 검증 권위, 거버넌스를 닫힌 45개 역할로 관리합니다. 생성기는 합성 입력의 실제 바이트를 해시하고 후보가 아닌 기록만 내며, 별도의 깨끗한 재계산과 실패 우선 부정 검사로 결과를 대조합니다. 프로덕션 후보나 신뢰 루트, 승인 요청은 받을 수 없습니다. 후보·승인·릴리스 자격, 언어 의미, 지원 제품 동작과 공개 릴리스는 바뀌지 않았습니다. |
| 5.17.6 | 예약 | 별도 버전의 프로덕션 비공개 검증 후속 형식을 위해 남겨 둔 슬롯입니다. 정확한 자가완결 공급자 의미·요금 모듈과 후보가 통제할 수 없는 소유자 또는 검증자 신뢰 루트가 아직 없으므로 발행하지 않았습니다. 외부 입력과 무관한 준비 체크포인트만 계속할 수 있습니다. 5.17.6 제품 체크포인트나 후보·비공개 검증 자료·승인·릴리스·공개 변경은 만들지 않았고 언어 의미도 바꾸지 않았습니다. |
| 5.17.7 | 내부 | 앞으로 발행할 제한형 애플리케이션 승인 번들 하나를 불투명하게 보존하는 합성 전용 기반시설을 추가했습니다. 비순환 팩은 현재의 45개 역할 단일 번들 바이트를 정확히 묶고, 격리된 순방향 릴리스 매니페스트 v5 멤버는 후보 자격을 가질 수 없습니다. 현재 v4 릴리스 스크립트와 워크플로 바이트는 바꾸지 않았습니다. 번들 생성 두 번, 팩 조립 두 번, 원자적 스테이징 두 번과 보존본 세 개가 정확히 일치했고 부정 통제 41개를 통과했습니다. 프로덕션 번들·승인·후보·v5 활성화·릴리스·공개 변경은 만들지 않았고 언어 의미도 바꾸지 않았습니다. |
| 5.17.8 | 내부 | 영어·한국어·러시아어로 새 후보 전용 한정 애플리케이션 사용자 계약을 추가했습니다. 유지보수 샘플 파일 17개를 모두 고정하고 5.18 매니페스트와 루트 잠금 해시만 도출하며, 안내·발견·상태·릴리스 문구·롤백 연산 24개를 동기화해 준비합니다. 지원하지 않는 경로 7개도 명시적으로 남겼습니다. 격리된 스테이징 두 번의 바이트가 같았고 부정 통제 26개를 통과했습니다. 전체 프로필 평가기는 이미 공급되어 비공개로 보존하지만 제품에서 실행하거나 승인하지 않은 상태로 바로잡았습니다. 공개 안내·샘플·후보·실행·릴리스·배포는 만들지 않았고 언어 의미도 바꾸지 않았습니다. |
| 5.17.9 | 내부 | 보존한 F15 인계보다 9커밋 뒤인 Lispex origin/develop 리비전 c78a39b466ff2cdda1c08aab883e62db6e3f7960의 추적 파일 12,250개 전체를 대상으로 T18-H2 외부 입력을 정확히 다시 감사했습니다. 공급자가 소유한 자가완결 의미·요금 모듈과 후보가 통제할 수 없는 H1 소유자·검증자 신뢰 루트는 모두 여전히 없습니다. 보존 바이트를 검사하고 공급자 Git 근거를 그대로 재실행하는 감시 검사도 추가했습니다. v2 후속 형식·신뢰 루트·프로덕션 문맥·후보·비공개 검증 자료·승인·공개 변경·릴리스·배포는 만들지 않았고 언어 의미도 바꾸지 않았습니다. |
| 5.17.10 | 내부 | 빠져 있는 T18-H2 외부 입력 두 개를 받을 때 쓰는 후보 중립 수신 규약을 추가했습니다. 앞으로 오는 공급자 제안과 신뢰 루트 제안은 토파즈 작업 트리 밖에 있어야 하며 저장소 원격, 커밋, Git 객체, 바이트 수, 해시, 역할, 공급자 내용 키, 서로 다른 소유자·검증자 자료를 정확히 묶어야 합니다. 검사기는 제안된 코드를 실행하지 않고 구조 검토 가능 여부만 말할 뿐 승인하지 않습니다. 일회용 합성 제안 한 쌍이 통과했고 잘못된 형식, 별칭, 가변 객체, 후보 통제, 다른 권한 범위, 비밀 자료를 넣은 부정 통제 29개가 거부됐습니다. 실제 공급자 모듈이나 신뢰 루트는 받지 않았습니다. v2 후속 형식·프로덕션 권한·후보·비공개 검증 자료·승인·공개 변경·릴리스·배포는 만들지 않았고 언어 의미도 바꾸지 않았습니다. |
| 5.17.11 | 내부 | Lispex origin/develop이 db808756b2e200f71590837fd1a7a683943688e3으로 전진한 뒤 T18-H2 외부 입력 두 개를 다시 감사했습니다. 보존한 원격 브랜치 8개에서 정확한 입력 검색어 9개는 모두 0건이고 F15 공급자 기록 세 개도 바이트 단위로 같습니다. 새 Ed25519 키는 공급자 로컬 수신자 정리 관찰에만 묶이며 토파즈 H1 소유자·검증자 신뢰 루트가 아닙니다. 공급자 권위·신뢰 루트·v2 후속 형식·후보·승인·공개 변경·릴리스·배포는 만들지 않았고 언어 의미도 바꾸지 않았습니다. |
| 5.17.12 | 내부 | Lispex origin/develop이 직접 수리 자식 ece930ea3e4483fec6ee1735f66727b60ff9b4e5로 전진한 뒤 T18-H2를 다시 감사했습니다. 정확한 23경로 변경은 실패한 수신자 샘플 시도와 수리 계보를 보존합니다. 정규 원장은 일차 승인을 시작하지 않았고 정리 완료 서명도 없으며 외부 독립 증명과 메모리 부재를 주장하지 않는다고 고정합니다. 보존한 원격 브랜치 8개에서 필수 입력 검색어 9개는 모두 0건입니다. 공급자 기록과 무관한 공개 키도 바이트 단위로 같으므로 폐기한 샘플 키와 정리 키 어느 쪽도 토파즈 H1 권위가 아닙니다. 공급자 모듈·신뢰 루트·v2 후속 형식·후보·승인·공개 변경·릴리스·배포는 만들지 않았고 언어 의미도 바꾸지 않았습니다. |
| 5.17.13 | 내부 | 이미 보존한 정확한 컴포넌트 폐쇄 위에 T18-H2E 토파즈 소유 제한 통합 적합성 권위를 고정했습니다. 후보를 모르는 직접 컴포넌트 오라클과 독립 Node 증인, 통합 분모 12개, 호출자가 덮어쓸 수 없는 GitHub Actions OIDC 및 Sigstore 정책이 움직이는 공급자 의존성을 대체합니다. 일상적인 Lispex 브랜치 이동은 토파즈의 가져오기·검색·재감사·중단을 유발하지 않습니다. H2B는 소유자가 명시적으로 승인한 버전 제안이 있을 때만 실행합니다. 이 체크포인트는 토파즈 애플리케이션 통합 적합성만 주장하며 공급자 의미 권위나 Lispex 전체 재검증, 후보·증명·시드·코퍼스·승인·공개 변경·릴리스·배포를 만들지 않았고 언어 의미도 바꾸지 않았습니다. |
| 5.17.14 | 내부 | T18-H2F 호스팅 신뢰 빌더 폐쇄를 실행 없이 고정했습니다. 앞선 불변 커밋에는 데이터 전용 격리 처리기와 정확한 스키마·정책·Sigstore Public Good 루트·서명 설정이 들어 있습니다. 그 자식 커밋에는 workflow_call 전용 GitHub 호스팅 서명기가 있고, 현재 검증기는 그 서명기 커밋과 고정 GitHub CLI 릴리스, 체크인한 루트를 고정합니다. 결정론적 합성 빌드 두 번과 데이터·파일시스템·Git·워크플로·검증기 부정 통제 16개를 통과했습니다. 후보·프로덕션 격리 기록·증명·투명성 변경·비공개 검증 자료·승인·공개 변경·릴리스·배포를 만들지 않았고 언어 의미도 바꾸지 않았습니다. |
| 5.17.15 | 내부 | T18-H2G 후보 동결과 원격 격리 권위를 실행 없이 고정했습니다. 역할 14개로 이루어진 분모가 안전한 일반 Git 블롭을 빠짐없이 한 번씩 분류합니다. 불변 신뢰 생성기는 Git 객체에서 정규 역할 매니페스트와 전체 폐쇄를 직접 만들고, 분리된 호스팅 호출자는 후보 바이트를 실행하지 않는 데이터로만 다루며, 오프라인 검증기는 고정 H2F 서명기와 체크인한 신뢰 루트만 받기 전에 전체 폐쇄를 독립적으로 다시 만듭니다. 일상적인 공급자 브랜치 이동은 입력이 아닙니다. 소스·Git·워크플로·검증기 통제 19개를 통과했습니다. 후보·격리 기록·증명·비공개 검증 자료·승인·공개 변경·릴리스·배포를 만들지 않았고 언어 의미도 바꾸지 않았습니다. |
| 5.17.16 | 내부 | T18-H2H 새 시드와 후보 비인지 생산자 기반을 실행 없이 고정했습니다. 불변 생산자 루트는 동결 뒤 생기는 256비트 시드에서 제한형 프로필 사례군 12개와 직접 WASM 기대값 사례 48개를 정확히 만듭니다. 분리된 재사용 워크플로는 후보 식별자·저장소·네트워크·이벤트 상태·이전 결과를 생산자 밖에 두고, 별도 외부 바인더만 생산이 끝난 뒤 후보 식별자를 붙입니다. 합성 결정성과 바인더 통제를 통과했습니다. 실제 시드·코퍼스·후보 실행·승인·공개 변경·릴리스·배포를 만들지 않았고 언어 의미도 바꾸지 않았습니다. |
| 5.17.17 | 내부 | T18-H2H 재사용 워크플로의 잠복 권위 결함을 첫 실행 전에 고쳤습니다. 백엔드를 쓰는 두 작업은 이제 호출자 상대값인 github.workflow_sha 대신 보존된 H2H 백엔드 커밋을 글자 그대로 고정합니다. 후속 권위는 과거 H2H 기록을 다시 쓰지 않고 수리된 워크플로 커밋을 별도로 고정합니다. 실제 워크플로·시드·코퍼스·후보 실행·증거·공개 변경·릴리스·배포는 없었고 언어 의미도 바꾸지 않았습니다. |
| 5.17.18 | 내부 | T18-H2I 봉인 코퍼스 운반과 리눅스 사전검사 결박을 실행하지 않은 채 고정했습니다. GitHub 호스팅 봉인 작업은 정확한 H2H 기록을 검증하고 비공개 1일 해시 폐쇄 아티팩트 하나를 올린 뒤 원시 아티팩트 세 개를 모두 삭제합니다. 후보 사전검사는 봉인 payload에 접근할 수 없습니다. 새 호스팅 소비자 하나만 payload를 불투명 바이트로 해시하고 바뀌지 않은 리눅스 결과와 결박해 고정 Sigstore 권위로 서명할 수 있습니다. 이는 저장소 접근 통제이며 종단 간 암호화 주장이 아닙니다. 재사용 조정 워크플로에는 호출자가 없고 실행되지 않았습니다. 후보·프로덕션 시드·코퍼스·리눅스 실행·결박·서명·승인·공개 변경·릴리스·배포는 없었고 언어 의미도 바꾸지 않았습니다. 일상적인 공급자 이동은 토파즈 입력이 아닙니다. |
| 5.17.19 | 내부 | 승인된 H2I 트리에서 T18-CP의 정확한 5.18 활성화 목록을 독립적으로 다시 도출했습니다. 영수증에 고정된 T18-V 목록은 바이트 하나 바꾸지 않았습니다. 새 정규 delta에는 뒤늦게 발견한 topaz_lispex_h1_oracle 저장소 상속 표면 하나를 추가했고, 저장소 상대 Node 순회기가 외부 ripgrep 설치 없이 현재 표면을 모두 찾습니다. 읽기 전용 예행연습은 후보 overlay 파일 83개와 재빌드 경계 13개를 구성하고 부정 통제 33개를 통과한 뒤 저장소를 그대로 보존했습니다. 5.18 활성화·후보·동결·push·ceremony·시드·코퍼스·실행·승인·공개 변경·릴리스·배포·공급자 조회는 없었고 언어 의미도 바꾸지 않았습니다. |
현재 기준
이 매뉴얼은 항상 현재 토파즈 제품을 설명합니다. 정확한 설치 식별자는 도구 모음 상태에서 확인하세요. 구형 문법 이전은 실제로 오래된 소스 형식을 옮길 때만 사용하세요.
한정된 Lispex 제품과 LIT 증거
설치된 5.17 제품은 닫힌 평가 요청 하나를 실행하는
topaz lispex embed run과, 정확한 구성 요소와 계약 식별자를 보여 주는
topaz lispex embed info --json을 제공합니다. 평가기는 설치 바이너리에
고정됩니다. 지원하지 않는 프로필이나 맞지 않는 식별자는 명시적으로
거부하며, 다른 평가기를 찾거나 내려받거나 폴백하지 않습니다.
LIT는 별개의 경계입니다. 토파즈로 작성한 Lispex 인터프리터 하나를 여러 토파즈 경로에서 실행해 같은 설계 계보 안의 회귀·통합 증거를 얻습니다. 이 증거는 소스 독립성이나 전체 언어 동등성을 세우지 않으며, Lispex를 토파즈 백엔드로 만들지도 않습니다.