도구 모음 상태

Topaz v5.10.0은 현재 공개 릴리스입니다. 공개 CLI, 컴파일러, 런타임, 문서, npm 설치 패키지, WASM 컴파일러와 플레이그라운드는 정본 topaz-5.10 언어 모드를 사용합니다.

현재 제품은 연속 메모리를 사용하는 변경 가능 ByteBuffer, 수리된 Web 메모리 소유권, 검사형 Local Data Application Loop와 관리형 제한 HTTP/1.1 서비스 대상을 포함합니다. 생성 호스트가 연결·대기열·요청·응답·데드라인·로그·종료의 유한한 경계를 소유하고, 처리기는 일반적인 검사형 Topaz 코드로 남습니다. 아웃바운드 네트워크, 주변 환경 권한, 공유 Topaz 힙, TLS 종료, 범용 웹 프레임워크는 추가하지 않습니다.

검사형 native emit과 build는 결정적인 함수별 낮추기 보고서를 쓸 수 있습니다. 애플리케이션 전체를 네이티브로 낮출 수 없더라도 검증된 최상위 스칼라 함수와 정확한 Bytes·ByteBuffer 고속 경로는 기존 박싱된 애플리케이션 외곽 구조 안에서 네이티브 헬퍼를 사용할 수 있습니다. 검사기가 증명한 읽기 전용 레코드 매개변수의 직접 바이너리 필드도 이 경로에 들어갈 수 있으며, 더 넓거나 증명되지 않은 형식은 박싱된 경로에 남습니다. 고속 경로는 박싱된 런타임의 범위 오류, 고정 길이와 스냅샷 규칙, 겹치는 복사와 변경 전 검사 계약을 보존합니다.

설치된 순정 도구 모음은 비공개 컴파일러 없이 유지 관리되는 다중 모듈 바이너리 미디어 커널을 raw Web·Worker 산출물로 빌드해 검증합니다. 정확한 바이트·오류 코트, 소스 없는 실행, 네이티브 선택 보고서, 브라우저 렌더러와 제한된 proof worker 경로를 함께 검사하며, 성능 근거는 임의의 프로그램이 아니라 이 유지 관리 워크로드에만 한정합니다.

Codec.deflateFixedCompress는 32,768바이트 이력 창과 제한된 일치 탐색과 256 MiB 입력 한계를 사용해 하나의 결정적 고정 허프만 raw DEFLATE 블록을 만듭니다. 해석기·생성 Rust·raw Web·Web Worker·플레이그라운드에서 사용할 수 있고, Python 대상은 이 기능을 사용한 프로그램을 산출물 생성 전에 명시적으로 거절합니다.

Codec.zlibFixedCompress는 정확한 raw 바이트에 고정 78 01 헤더와 원본 입력의 Adler-32 트레일러를 붙여 완성된 결정적 RFC 1950 스트림을 만듭니다. 입력 한계와 지원 경로는 같고, Python은 산출물 생성 전에 이 기능을 거절합니다.

Codec.reedSolomon255223Protect는 GF(256) 위에서 고정된 0 채움과 최대 65,535개 조각을 사용하는 systematic RS(255,223) 코드워드를 만듭니다. 해석기·생성 Rust·raw Web·Web Worker·플레이그라운드에서 사용할 수 있고, Python은 산출물 생성 전에 이 기능을 거절합니다. 이 기능은 보호 바이트만 만들며 오류 탐지·교정과 가변 Reed–Solomon 프로필은 현재 범위 밖입니다.

Hash.crc32는 해석기·Rust·Python·Web·Worker·플레이그라운드에서 같은 부호 없는 CRC-32/ISO-HDLC 값을 반환합니다. 이 기능은 비암호학적 무결성 검사이며 점진적 상태·Adler-32·다른 CRC 계열·PNG 인코딩은 포함하지 않습니다.

사용 가능한 구성 요소

• 프로그램 검사·실행·생성·빌드를 위한 네이티브 CLI
• 독립 네이티브 실행 파일을 만드는 Rust 타겟
• 필요한 런타임 지원 파일을 함께 만드는 Python 타겟
• 브라우저 응용 프로그램을 위한 raw WASM·web-worker 타겟
• 검사형 web-app 스캐폴드, 루프백 개발 실행, 완전한 관리형 정적 번들, 로컬 텍스트 가져오기·내보내기와 영구 환경설정·초안
• 패키지 명령과 브라우저 플레이그라운드

사용 방법

공개 설치 스크립트나 npm 패키지로 Topaz를 설치한 뒤 topaz version --verbose로 컴파일러, 런타임, 언어 모드를 확인할 수 있습니다. 소스는 check 뒤 run으로 확인하고, 배포할 대상만 선택해 build를 실행하세요.

현재 지원

v5.9는 매뉴얼에 적힌 주요 언어 기능을 해석기, Rust, Python으로 실행하고 지원하지 않는 형태를 컴파일 단계에서 거부합니다. 브라우저 빌드는 raw WASM, worker 패키지와 생성된 정적 번들만으로 실행되는 검사형 Web Application을 지원합니다. 표준 라이브러리, 패키지, WASM과 플레이그라운드도 같은 버전을 사용합니다.

저장소 통합 아티팩트

Lispex-in-Topaz에는 하나의 측정 소스 계보에 대한 한정된 내부 통합 증거가 있지만 정식 배포 구성 요소나 공개 백엔드는 아닙니다.

이 아티팩트는 새 문법, 표준 라이브러리 보장, 설치 내용, 공개 백엔드를 추가하지 않습니다.

제한 사항

압축 기능은 모든 출력 대상에서 똑같이 제공되지 않습니다. 특히 결정적 raw 고정 허프만 압축과 고정 zlib은 생성 Python에서 사용할 수 없으며 생성 단계에서 실패합니다. 동시 작업의 세부 실행 순서는 언어가 정하지 않으므로 프로그램이 특정 순서에 의존해서는 안 됩니다. 파일과 프로세스와 네트워크와 시간과 브라우저 API는 각 실행 환경이 제공하는 범위 안에서만 사용할 수 있습니다. Lispex 통합은 primitive 84/205행과 정확한 4호스트 검사 표면과 144사례 공동 영수증에 한정됩니다. 전체 언어 동등성을 세우지 않습니다.

명령 예시

topaz version --verbose
topaz check main.tpz
topaz run main.tpz
topaz build main.tpz --out-dir build

관련 문서

• 인터프리터와 백엔드
• WASM과 플레이그라운드
• 정합성과 검증