리스펙스는 마이너 릴리스로 자랍니다. 마이너 하나가 사용자가 설치하는 제품의 경계입니다. 각 줄을 펼치면 그 마이너에 이르기까지의 체크포인트가 최신순으로 나옵니다. 그 안은 공학 기록이라 내부 이름이 그대로 나옵니다.
이 페이지의 약어
| 약어 | 뜻 |
|---|---|
ABI | 애플리케이션 바이너리 인터페이스 |
AOT | 실행 전에 규칙을 미리 프로그램으로 컴파일해 두는 방식 |
DSSE | Dead Simple Signing Envelope(서명 봉투 규격) |
IR | 중간 표현 |
LIL | 리스펙스로 쓴 리스펙스 인터프리터(Lispex-in-Lispex) |
LIT | 토파즈로 쓴 리스펙스 인터프리터(Lispex-in-Topaz) |
MCP | Model Context Protocol |
VM | 소스를 읽는 대신 미리 준비된 명령을 실행하는 가상 머신 |
WASM | WebAssembly 빌드 |
릴리스
v1.20. 네이티브와 npm과 WebAssembly와 플레이그라운드의 전체 소스 실행을 같은 출력 투영과 종료 상태로 맞추고 자원 종료의 원자성을 제공합니다.
v1.20 공개 마이너는 번호가 붙은 개발 체크포인트 v1.19.1부터 v1.19.5까지 다섯 개를 조립합니다.
| 버전 | 바뀐 것 |
|---|---|
| v1.20.0 | Rust와 LIL 실행에 정확한 다섯 자원 축 사용량을 추가하고 재귀 안전 한계 소진을 자원 상태로 보고합니다. 네이티브와 npm과 WebAssembly와 플레이그라운드는 성공한 폼을 순서대로 렌더링합니다. 일반 런타임 결함은 확정된 출력을 보존하고 자원 종료는 빈 출력과 상태 2를 반환합니다. 브라우저 결과는 output, diagnostics, ok, exit_status를 제공합니다. SICP 사이트의 링크 미리보기 그림도 새로 적용합니다. |
| v1.19.5 | Rust와 LIL에서 프런트엔드 전이, 토큰, 정규화 단계, 머신 전이, 출력 바이트의 정확한 사용량을 제공합니다. 진단 계열을 정규화하고 재귀 안전 한계 소진을 non-tail-call-depth 자원 종료로 보고합니다. 네이티브와 npm과 WebAssembly와 플레이그라운드의 전체 소스 출력을 맞추고 SICP 링크 미리보기 그림을 새로 적용합니다. |
| v1.19.4 | 정식 제품 매니페스트 주장을 내보내고 관측 스키마 식별자와 관측 계약 식별자를 분리하며 관측 식별 봉투를 완성합니다. LIL의 stdout 효과를 Rust와 맞춥니다. 배치 실행은 최상위 값을 자동 출력하지 않고 전체 소스 CLI는 성공한 각 폼을 렌더링합니다. 정규화기 진단은 원래 단계를 보존합니다. |
| v1.19.3 | 바인딩되지 않은 식별자 검사를 처음 값이 요구되는 조회 시점으로 옮깁니다. 실행에서 요구하지 않은 식별자는 허용하고 요구된 조회는 원본 식별자 위치에서 E300을 보고하며 결함 전에 확정된 stdout을 보존합니다. |
| v1.19.2 | 0바이트, 공백만 있는 소스, 주석만 있는 소스, 공백과 주석만 있는 소스를 값 0개와 빈 출력과 상태 0의 빈 프로그램으로 받아들입니다. |
| v1.19.1 | 최상위와 내부 정의 문맥의 begin 폼을 소스 순서대로 같은 정의 문맥에 재귀적으로 펼칩니다. 일반 표현식 문맥의 begin 안에 있는 define은 계속 정적 오류로 처리합니다. |
v1.19. 제어 흐름과 변이의 의미 구조를 확정합니다. Core IR에서 투영한 Meaning Graph v1과 Rust 호출 스택에 의존하지 않는 명시적 Meaning Environment v1을 도입합니다.
Meaning Graph와 Meaning Environment 작업은 v1.19.0으로 조립될 때까지 v1.18.0 개발 식별자를 유지했습니다.
| 버전 | 바뀐 것 |
|---|---|
| v1.19.0 | Meaning Graph v1과 명시적 Meaning Environment v1, letrec·내부 정의·나머지 인자·set!·define의 공유 셀 의미, 실제 TCO, one-shot upward escape-only call/cc, outward-cleanup-only dynamic-wind, exact stdout·값·경고·오류 관측, 비바우치 meaning-diff를 추가합니다. 선택된 61-case corpus의 이름 있는 gap 15개를 동작 수준에서 해소합니다. |
v1.18. SICP 교육 런타임과 장별 시스템 실습을 마련했으며 현재 @lispex/sicp@1.0.0, lispex sicp run, sicp.io에서 제공합니다.
SICP P0부터 P9까지의 작업은 v1.18.0으로 조립될 때까지 v1.17.0 개발 식별자를
유지했습니다. 런타임과 과정은 같은 @lispex/sicp@1.0.0 패키지 식별자로
v1.20.0에서도 이어집니다.
| 버전 | 바뀐 것 |
|---|---|
| v1.18.0 | 별도 설치형 @lispex/sicp@1.0.0 교육 런타임과 명시적 lispex sicp run 명령, Native와 import 없는 Wasm 실행, 고정 자원 한계, typed observation, 정확한 실행 trace를 마련합니다. 대표 corpus 26개를 모두 통과하고 memoized streams, mutable Unicode strings, deterministic real domain, 임의 정밀도 수치, chapter data와 derived syntax host, 메타순환·분석형·지연·amb 평가기와 논리 질의·레지스터 머신·명시적 제어 평가기·컴파일러 등 장별 시스템 8개, deterministic SVG, cooperative schedule explorer를 제공합니다. MIT/GNU Scheme, Racket SICP, Chibi, Gauche를 사용한 104회의 외부 측정도 보존합니다. |
v1.17 — 결정을 서명해 보내고 받은 쪽이 자기 컴퓨터에서 확인하는 흐름을 끝까지 채웠습니다. 키를 만들고 수신자 정책을 세우고 이미지로 요청을 거는 것까지 미리 만들어 둔 환불 예제 하나에 담았습니다.
| 버전 | 바뀐 것 |
|---|---|
| v1.17.0 | 로컬 키 준비와 수신자 정책 구성과 인증된 결정 교환과 이미지 기반 요청 결합 바우치와 프로토콜 혼동 거부와 값 여섯 개의 애플리케이션 인계를 담은 정확한 미리 만들어 둔 환불 예제를 공개합니다 |
| v1.16.6 | 현재 호스트에서 설치한 네이티브와 npm 제품을 쓰는 명시적 실용성 검사 묶음 실행기 하나와 정적 quick 검사기와 F16 최종 경계의 닫힌 변이 지점 권위를 추가합니다 |
| v1.16.5 | 최종 인계 파일과 정식 매니페스트를 만들고 미리 만들어 둔 환불 예제의 정확한 26개 구성원 아카이브를 생성합니다. 별도의 네이티브 아카이브 판독기와 독립 ZIP 검사 묶음을 추가하고 세 언어 문서에서 전체 여정을 설명합니다 |
| v1.16.4 | 정확한 26개 파일 목록과 정식 25개 항목 매니페스트와 존재만 확인하는 작업 슬롯 여덟 개와 고정 명령 후보 두 개를 독립 계약으로 내장한 네이티브 전용 workspace status를 추가합니다. 결정 교환을 먼저 보여 주고 이미지 기반 바우치 경로를 분리한 공개용 안내 흐름도 완성합니다 |
| v1.16.3 | 검토한 공개키 하나와 직렬화되는 제약 네 개로 결정 수신자 정책을 직접 만드는 네이티브와 npm 명령을 활성화하고 기존 디렉터리 기반 F14 정책과 바이트가 같음을 요구합니다. A0 첫 시도의 입장 전 실패와 정확한 23개 경로 수리 커밋 A1 ece930ea와 정확한 다섯 경로 직접 자식 B fb07ae7c를 보존합니다. 삭제 후 검사 묶음이 중단된 뒤 보존 증거만 사용한 회복으로 최종 lispex.recipient-sample-provenance/v1을 완성했습니다 |
| v1.16.2 | 운영체제 난수원으로 Ed25519 키 쌍을 새 디렉터리에 만드는 네이티브 전용 명령과 같은 공개키의 결정 발급자 식별자와 바우치 식별자를 분리해 보여 주는 네이티브와 npm 검사 명령을 추가합니다 |
| v1.16.1 | 최종 26개 파일 계약과 정확한 21개 핵심 파일과 선행 바이트 투영 다섯 개를 고정하고 환불 사실 세 개를 이식 문자열과 정식 결정으로 각각 대응해 F16을 시작합니다 |
v1.16 — 언어 전체를 쓸 수 있는 평가기를 애플리케이션 안에 넣을 수 있게 됐습니다. 205개 프로시저의 비용과 권한을 하나의 권위로 묶었습니다. 기능을 줄인 기존 평가기는 그대로 남습니다.
| 버전 | 바뀐 것 |
|---|---|
| v1.16.0 | 생성형 closed-world 205행 권위, 별도 full-profile meter·컴포넌트 identity, 명시적 fresh-instance 네이티브 prepare·evaluate·inspect·verify·replay, portable provider vector, 재배포 묶음, 보존형 release DAG와 함께 lispex-profile-1.5 전체용 별도 exact import 0 평가기로 F15를 공개합니다 |
| v1.15.8 | 별도의 전체 프로필 평가기 공급자를 동결하고, 유지된 LPXART01과 전체형 LPXFAR01 계약·벡터·재배포·보존·릴리스 DAG·최종 검사 묶음을 분리해 묶은 기계 검증 가능한 컴포넌트 전용 토파즈 인계 하나를 추가합니다 |
| v1.15.7 | 별도의 정확한 import 0 full-profile Wasm 평가기와 실행마다 fresh instance를 쓰는 명시적 네이티브 prepare·evaluate·inspect·verify·replay를 추가합니다 |
| v1.15.6 | 현재 프로필 프리미티브 205행 전체를 생성형 Fixed·Numeric·Text·Collection·Effect·GuestCalling 런타임 permit에 결속하고 실행 pending 행을 0으로 닫습니다 |
| v1.15.5 | 실행 허용된 GuestCalling 18행의 스냅샷, 콜백 벡터, 보수적 출력 버퍼, 최종 리스트·벡터·문자열 생성 권한, 동적 진단을 fallible 경로와 작업 예산로 닫습니다 |
| v1.15.4 | 18개 GuestCalling 행 전체를 하나의 생성형 권위와 명시적 VM 제어 기계에 결속하고 exact work 경계와 host-recursive 0행을 닫습니다 |
| v1.15.3 | 별도의 205행 full-profile tariff 설계에서 Deferred를 0으로 닫고, private iterative full-result encoder가 codec v1의 모든 portable data tag를 구현합니다 |
| v1.15.2 | 생성된 하나의 205행 registry를 프리미티브 설치와 Core IR identity의 유일한 권위로 만듭니다 |
| v1.15.1 | F15를 시작하고 현재 프로필의 reader·form·opcode·value·diagnostic·205개 내장 프로시저 전체 표면과 계약 재사용 판정을 정확하게 생성합니다 |
v1.15 — 결정을 서명해 주고받는 첫 제품입니다. 보내는 쪽이 봉투를 만들고 받는 쪽이 자기 정책으로 검사합니다. 이미지와 플레이그라운드에서도 같은 결정을 다룰 수 있게 맞췄습니다.
| 버전 | 바뀐 것 |
|---|---|
| v1.15.0 | 첫 환불 결정 흐름, 정확한 네이티브 작성 인계, Ed25519 발급자 봉투, 수신자 소유 정책, 정규 .lpxdecision, 네이티브 전체 생명주기, npm 검증 전용 검사·인증을 하나의 인증된 결정 교환 제품으로 공개합니다 |
| v1.14.6 | 깨끗하게 설치한 소스 없는 네이티브/npm 결정 교환 검사 묶음, 정확한 이동과 재실행, 간결한 비권위 제품 기록으로 F14를 닫습니다 |
| v1.14.5 | 정규 .lpxdecision 일곱 파일 bundle 하나와 네이티브의 발급·검사·인증·재실행, npm의 검증 전용 검사·인증을 추가합니다 |
| v1.14.4 | 정확한 휴대 코어 바이트를 위한 별도 Ed25519 발급자 봉투, 수신자 소유 정책 생성·검사, 실행 없는 네이티브 인증을 추가합니다 |
| v1.14.3 | 플레이그라운드에 폐쇄형 첫 환불 결정 모드를 추가하고, 한 번의 입력 선택으로 유지 사례를 실행하며, 소스를 포함한 정확한 네이티브 작성 인계 세 개를 제공합니다 |
| v1.14.2 | 개발 제품·공개 제품·문서 제품군·의미 프로필·불변 배포 identity를 분리하고, 하나의 권위에서 브라우저·네이티브·랜딩·세 로케일 환불 projection을 생성합니다 |
| v1.14.1 | 네이티브·npm·공개 WASM·플레이그라운드·유지 샘플의 정규 리스펙스 이미지를 Sunlit Amber v2 image·profile·codebook 계약으로 함께 올립니다 |
v1.14 — 규칙 하나를 JSON 입력으로 실행하고, 그 실행을 나중에 실행 없이 들여다보거나 새 인스턴스에서 다시 돌려 볼 수 있게 됐습니다.
| 버전 | 바뀐 것 |
|---|---|
| v1.14.0 | 엄격한 JSON 입력, 정확한 한도, 원자적 rule run, 실행 없는 inspect·verify, 새 인스턴스 replay, 사람·에이전트 문서가 함께 쓰는 생성형 환불 예제, 정확한 라이선스 포함 평가기 재배포 archive를 하나의 확인 가능한 결정 흐름으로 공개합니다 |
| v1.13.4 | 생성된 환불 fixture, 엄격한 JSON adapter, 원자적 결정 디렉터리, 실행 없는 inspect·verify, 새 인스턴스 replay, 이동, 거부·변조 사례를 설치형 네이티브 흐름 하나로 결속하고 랜딩과 세 로케일에서 같은 정확한 예제를 가르칩니다 |
| v1.13.3 | 정확한 다섯 파일 결정 디렉터리에 lispex rule inspect·verify·replay를 추가하고 준비 bytecode와 결과 결속을 깊이 검사해 새 인스턴스에서 한 번 재실행합니다 |
| v1.13.2 | 정확한 소스, 엄격한 JSON, 분리된 준비·평가 한도, 내장 평가기를 묶은 원자적 네이티브 lispex rule run을 추가합니다 |
| v1.13.1 | 생성형 환불 규칙 fixture 하나와 중복 key·inexact number를 거부하는 엄격하고 결정적인 JSON-to-evaluator-value adapter를 추가합니다 |
v1.13 — 평가기를 애플리케이션 안에 넣는 첫 방법이 생겼습니다. 준비와 실행에 서로 다른 한도를 겁니다. 평가기 바이트를 동결하고 여러 방식으로 검사했습니다.
| 버전 | 바뀐 것 |
|---|---|
| v1.13.0 | 네이티브 lispex embed prepare/evaluate/inspect/verify, 정확한 import 0 평가기 컴포넌트 하나, 분리된 준비·평가 한도, 동결된 제한 프로필·meter·ABI·value codec·휴대 코어 계약, manifest 기반 /llms.txt와 현재 문서 전용 sitemap을 공개합니다 |
| v1.12.4 | 최종 평가기 바이트가 mutation, property, reachability, safety, 설치 제품, cross-architecture 검사 묶음을 통과한 뒤 정확한 제한 프로필, 결정적 작업량·논리 할당 모델, import-free Wasm ABI, 휴대 코어 schema를 동결합니다 |
| v1.12.3 | 하나의 정확한 import-free Wasm 평가기를 내장해 네이티브 lispex embed prepare, evaluate, inspect, verify를 추가합니다. 준비와 평가는 서로 다른 정확한 한도를 쓰고, 작업마다 새 Store/Instance를 만들며, 완료된 평가는 canonical 결과값 바이트를 담습니다 |
| v1.12.2 | 재현 가능한 import 0 자원 제어 평가기 Wasm 번들, 폐쇄형 값 전용 후보 ABI, canonical prepared-bytecode 인계, 정확한 요청 소유권, 유지 정책 규칙 세 개를 실행하는 fresh-instance Rust VM을 추가 |
| v1.12.1 | 예전의 포괄적인 step/allocation 계약을 준비 4축과 평가 10축으로 바꾸고, 휴대 코어 후보에서 사용량을 제거하며, 독립 Node/Rust 벡터와 유지되는 정책 적합성 사례 세 개를 추가 |
v1.12 — 편집기와 AI 도구가 설치된 리스펙스에 직접 물어보는 로컬 창구가 생겼습니다. 바깥으로 나가지 않습니다.
| 버전 | 바뀐 것 |
|---|---|
| v1.12.0 | 설치 제품의 정확한 레퍼런스 조회, 크기·시간을 제한한 신뢰 소스용 Rust tree 작성 실행, 진단 조회, 고정된 폐쇄형 경로 비교, 공개 primer·descriptor, 유지형 설치 제품 검사 묶음을 하나의 네이티브 stdio 작성 표면으로 공개 |
| v1.11.3 | 정확한 도구 네 개, E100/E303/E321 CLI 일치, 금지된 호스트 기능, 호출별 상태 격리, 제한 종료와 회복, 폐쇄형 검사 묶음의 일치·불일치, 결정적인 클린룸 작성 흐름을 설치된 네이티브 제품 하나로 확인하는 유지 검사 묶음을 추가 |
| v1.11.2 | 고정된 tree-rust, rust-topaz, all-four 검사 묶음과 시작 시점의 엄격한 companion 승인, 요청마다 새로 만드는 AOT 제품, 일치·불일치의 명시적 보고를 lispex_compare_routes로 추가 |
| v1.11.1 | 안정 MCP 2025-11-25의 lispex mcp serve와 설치 언어 레퍼런스·크기/시간을 제한한 신뢰 소스용 Rust tree 작성 실행·진단 조회용 네이티브 도구 세 개를 추가 |
v1.11 — 실행에 필요한 도구를 받아서 설치하고 어느 것으로 돌릴지 고정하는 과정이 하나로 이어졌습니다.
| 버전 | 바뀐 것 |
|---|---|
| v1.11.0 | 정규 route catalog와 stored-ZIP 설치기, catalog로 고정한 companion 가져오기, 승인된 macOS ARM64 토파즈 VM/AOT compiler 셀, 가져오기부터 이동까지 유지 여정을 하나의 네이티브 제품으로 공개 |
| v1.10.4 | 두 companion 설치를 AOT 빌드, 네 경로 목록과 측정, 경로 없는 VM/AOT 잠금, 진단, 잠금 실행, 잠금을 바꾸지 않는 이동으로 잇는 유지 예제와 정확한 제품 검사 묶음을 추가 |
| v1.10.3 | 정확한 8파일 토파즈 5.11 macOS ARM64 compiler companion의 공식 routes fetch --route aot-compiler, 불변 release manifest 검사, 재배치한 설치 컴파일러를 사용한 결정적 소스 없는 AOT 빌드를 추가 |
| v1.10.2 | 네이티브 routes fetch, 정확한 내장 공식 카탈로그 하나, aarch64-apple-darwin용으로 승인된 토파즈 5.11 VM의 결정적 companion 패키지를 추가 |
| v1.10.1 | 정확한 로컬 토파즈 VM 또는 AOT compiler companion을 위한 네이티브 routes install, 정규 lispex.route-catalog/v1, 경로 없는 lispex.route-installation/v1, 정규 stored-ZIP 형식을 추가 |
v1.10 — 어떤 실행 경로가 있는지 진단하고 하나로 고정해 두는 도구가 생겼습니다. 고른 경로가 실패해도 몰래 다른 경로로 넘어가지 않습니다.
| 버전 | 바뀐 것 |
|---|---|
| v1.10.0 | 안정된 네이티브 inventory·doctor·경로 없는 route lock·제한 측정과 고정된 tree/Rust VM/토파즈 VM/AOT 실행을 하나의 제품으로 공개 |
| v1.9.3 | 고정 routes run과 네 경로 공통 typed 결과를 추가하고 tree를 호환 기본값·레퍼런스·복구 경로로 유지하며 F7 종료 |
| v1.9.2 | tree·Rust VM·정확한 토파즈 VM·정확한 AOT를 한정 반복하는 네이티브 routes measure와 별도 정규 비교 영수증 추가 |
| v1.9.1 | tree·Rust VM·정확한 설치형 토파즈 VM·정확한 AOT 경로를 위한 네이티브 routes inventory, 덮어쓰지 않는 정규 routes lock, 엄격한 routes doctor 추가 |
v1.9 — 이미지, 검증 바이트코드, Rust VM, 소스 포매팅, 토파즈 VM 실행, 네 경로 비교까지 스무 번의 체크포인트를 담고 있습니다.
| 버전 | 바뀐 것 |
|---|---|
| v1.9.0 | 입문 학습 체계, LIL 205/205 수렴, 정규 Core IR, 검증 바이트코드와 Rust VM, 요청 결속 컴파일 바우치, 소스 포매팅, 명시적 exact 토파즈 VM/AOT와 네 경로 검사 묶음을 하나의 일관된 제품으로 공개 |
| v1.8.20 | 한 소스·입력 프런트엔드 유도, 정확히 일치하는 AOT 승인, tree/Rust VM/토파즈 VM/AOT 명시적 실행, 의미·비교 가능 자원 불일치 축을 가진 덮어쓰지 않는 lispex.route-comparison/v1 영수증을 제공하는 네이티브 compare-routes를 추가. AOT 프리미티브 호출 비용과 구조화 자원 fault를 수리하고, 정확한 strip·서명 도구 identity를 기록하며 토파즈 artifact를 다시 결속해 macOS 실행 파일을 결정적으로 최종화 |
| v1.8.19 | macOS ARM64 네이티브에 리스펙스를 토파즈로 옮기는 전체 프로필 AOT를 추가. 결정적이고 읽을 수 있는 토파즈·source map, 정확히 설치한 토파즈/Rust 빌드 도구 승인, 소스 없는 엄격한 제품의 build·inspect·validate·run, 정규 전체 폭 u64 자원·진단·경고·눈에 보이는 폴백 0 다섯 개를 제공 |
| v1.8.18 | macOS ARM64 네이티브에 정확히 설치한 토파즈 5.11 lispex-topaz-vm/v1 제품을 쓰는 명시적 bytecode run --engine topaz --topaz-vm 경로와 하나의 검증 바이트코드를 비교하는 compare-vms 영수증을 추가하고, 최적화 네이티브 빌드에서도 Core IR·바이트코드 컴파일 동작을 빠짐없이 유지 |
| v1.8.17 | 주석·프라그마·토큰·원래 리터럴 철자를 보존하는 결정적 네이티브 lispex fmt, 조용한 --check, 안전한 --write, VS Code/Open VSX 문서 포매팅 연동을 추가 |
| v1.8.16 | 정규 lispex.vouch-compiled-artifact/v1, 네이티브 vouch compiled build·inspect·validate, 선택적 vouch verify --reexecute --compiled-artifact, 정확한 소스 재유도와 현재 tree/Meaning·검증 Rust VM 실행 기록 일치를 모두 요구하는 컴파일 로컬 게이트를 추가 |
| v1.8.15 | 정규 바이너리 lispex.bytecode/v1, 실행 전 strict lispex.bytecode-verifier/v1, 전체 프로필 lispex-rust-vm/v1, 네이티브 bytecode build·inspect·validate·run, 명시적 소스 --engine vm, 덮어쓰지 않는 정확한 tree/VM 비교 보고서를 추가 |
| v1.8.14 | 안정적인 프리미티브 ID 205행, 해석된 lexical/global 셀, 정확한 closure capture와 꼬리 위치, 소스 위치, Canonical Core 감사 projection을 가진 전체 프로필 정규 lispex.core-ir/v1 및 네이티브 core-ir build·validate·inspect 명령을 추가 |
| v1.8.13 | %·list-first·list-rest를 정확한 W330/W331 호환 경고와 함께 LIL에 구현해 현재 capability 지원을 202/205에서 205/205로 확장 |
| v1.8.12 | display·write·newline·println을 한도가 있는 private effect sink로 LIL에 구현해 현재 지원을 198/205에서 202/205로 확장 |
| v1.8.11 | 남은 컬렉션 고차 프로시저 12행을 명시적 게스트 기계 연속 프레임으로 LIL에 구현해 현재 지원을 186/205에서 198/205로, guest-calling 지원을 6/18에서 18/18로 확장 |
| v1.8.10 | exact 중간값을 쓰는 나눗셈 9행과 gcd·lcm fold를 LIL에 구현하고 exact 정수 expt와 두 값을 내는 exact-integer-sqrt를 기록된 수 커널로 지원해 현재 범위를 173/205에서 186/205로 확장 |
| v1.8.9 | exactness를 보존하는 floor·ceiling·round·truncate, exact/inexact 변환, 정수 짝홀 판정을 기록된 수 호스트 커널로 지원하고 혼합 수 타워 min·max fold를 LIL 안에 구현해 현재 범위를 161/205에서 173/205로 확장 |
| v1.8.8 | 문자·문자열 대소문자 판정·변환·대소문자 무시 순서 18개를 명시적으로 기록한 LIL Unicode 호스트 커널로 지원해 현재 범위를 143/205에서 161/205로 확장 |
| v1.8.7 | 목록 복사·조회·공유 꼬리 탐색, 결정적 목록·문자열 생성, 문자 단위 문자열·벡터 변환을 LIL 안에 구현해 현재 지원 범위를 135/205에서 143/205로 확장 |
| v1.8.6 | Unicode scalar·사전식 순서로 대소문자를 그대로 보는 문자·문자열 비교 chain을 LIL 안에 구현해 현재 지원 범위를 127/205에서 135/205로 확장 |
| v1.8.5 | 유한 실수 tower 판정 세 개, 구조적 !=, memv, assoc, assq, assv를 LIL 안에 구현해 현재 지원 범위를 119/205에서 127/205로 확장 |
| v1.8.4 | abs, square, 부호·영 판정 세 개, boolean=?, symbol=?를 LIL 안에서 합성해 현재 지원 범위를 112/205에서 119/205로 확장 |
| v1.8.3 | 리스펙스로 작성한 LIL 커널 안에서 caar부터 cddddr까지 빠져 있던 합성 쌍 접근자 27개를 모두 구현해 현재 LIL 범위를 85/205에서 112/205로 확장 |
| v1.8.2 | 현재 capability 205개 모두를 규범상 profile-required로 기록하고 호스트 전용·미래 프로필 결정을 따로 분류하며, 역사적 비교쌍 차이 179건 모두에 기계로 검사하는 주된 이유 하나를 부여 |
| v1.8.1 | Modern 문서를 4단계 입문 과정, 한눈에 보는 문법, 전역 번호가 붙은 10개 그룹과 실제 한국어·영어·러시아어 본문 53개로 재구성. 다운로드에는 정확한 버전 확인, 명령 복구, 공식 VS Code·Open VSX 안내를 추가 |
v1.8 — 리스펙스 이미지가 정확한 규칙 바이트와 무결성 결속과 정규 복원을 네이티브, npm, WebAssembly, 플레이그라운드에 제공합니다.
| 버전 | 바뀐 것 |
|---|---|
| v1.8.0 | 정확한 리스펙스 이미지를 네이티브·npm·Node/브라우저 WASM·로컬 플레이그라운드의 같은 Rust 제품으로 공개하고, 정규 이미지가 기존 요청 결속 바우치 흐름에 정확한 소스 바이트를 공급 |
| v1.7.3 | 정규 리스펙스 이미지가 네이티브 바우치의 식별자·정책·발행·검사·인증·재실행·게이트와 npm의 식별자·정책·인증 verify에 정확한 소스 바이트를 공급. 유지되는 refund-window 흐름도 이미지 입력을 끝까지 사용 |
| v1.7.2 | 하나의 Rust 이미지 코어를 npm CLI·Node/브라우저 WASM으로 확장하고 플레이그라운드에 완전 로컬 만들기·열기, 검증한 페이지 이동, 정확한 복원, 다운로드, 별도 명시적 실행 흐름을 제공. 모든 표면의 단일·다중 페이지 바이트가 고정 C1 골든과 일치 |
| v1.7.1 | 네이티브에 정규 리스펙스 이미지를 도입해 정확한 소스의 PNG/ZIP 인코딩, 공개 결속값 검사, 바이트 단위 복원, 전체 정규성 증명 뒤 명시적 실행을 제공 |
v1.7 — 규칙과 입력을 함께 걸어 검증하는 흐름이 생겼습니다. 권한이 걸린 사용은 받은 쪽이 따로 건넨 소스와 입력에 묶입니다.
| 버전 | 바뀐 것 |
|---|---|
| v1.7.0 | 요청 결속 바우치를 소비자 소유 흐름 하나로 공개. 정확한 식별자 산출과 정책 생성·검사와 묶음 발행을 거쳐, 네이티브 또는 npm에서 선택적 외부 source/input 요청과 대조해 인증한 뒤 네이티브에서만 그 살아 있는 요청을 재실행하고 게이트로 확인 |
| v1.6.4 | 검증 전용 npm 바우치 WASM을 깨끗하거나 변경 중이거나 다른 경로로 옮긴 소스 checkout에서도 추적된 동일 바이트로 다시 만들고 독립 export 표면 감사를 깨끗한 checkout에서도 실행 가능하게 함 |
| v1.6.3 | 네이티브 묶음 재실행과 게이트가 일치하는 외부 source/input을 요구하고 살아 있는 요청 결속 근거만 재실행에서 통과까지 전달. 다국어 문서 갱신으로 /v1.6 공개 마이너 경로, 다운로드, 번호형 현재·Classic 메뉴, 정렬된 문서 폭, 간결한 브라우저 제목, 반응형 균형 줄바꿈, 한국어 리스펙스 워드마크와 랜딩 표지·폼/데이터 표제·결과·하단 탐색·메뉴 카테고리를 아우르는 읽기 쉬운 로케일별 표제 체계를 추가 |
| v1.6.2 | 네이티브/npm의 고정 묶음 verify가 먼저 인증한 뒤 별도로 제공한 exact source/input 바이트를 비교 |
| v1.6.1 | 네이티브/npm vouch key-id, engine-id, input-id가 source-id와 함께 공유 Rust 공개 식별자 산출을 완성 |
v1.6 — 검증에 필요한 것을 한 묶음으로 옮길 수 있게 됐고, 키마다 어떤 소스를 허용할지 정할 수 있게 됐습니다.
| 버전 | 바뀐 것 |
|---|---|
| v1.6.0 | 이식 묶음 v0, 키별 exact-source 정책 v1, 공유 Rust source-id·정책 도구, raw/bundle 인증을 소비자 소유 바우치 흐름 하나로 집약 |
| v1.5.8 | 네이티브/npm vouch policy create/check가 공유 Rust로 정규 소비자 신뢰 정책 v1을 구성·검사 |
| v1.5.7 | 네이티브/npm vouch source-id --source가 공유 Rust 코어로 한정된 정확한 바이트의 소스 식별자를 산출 |
| v1.5.6 | 신뢰 정책 v1이 선택된 키에서 정확한 소스 식별자를 허용하지 않으면 완전히 유효하게 서명된 규칙도 거부 |
| v1.5.5 | 한정 정규 envelope/source/input 묶음, 네이티브 발행·소비, npm 인증 전용 소비 |
| v1.5.4 | npm vouch verify가 공유 Rust 코어의 검증 전용 빌드로 서명 네이티브 봉투와 정확한 source/input/profile을 인증하고 네이티브 v0 보고서 바이트와 C-VN-06 결과를 동일하게 냄 |
| v1.5.3 | 네이티브 vouch gate --require-decision은 로컬 통과를 반환하기 전에 인증과 현재 완전 transcript 일치와 정확한 결정 일치를 요구 |
| v1.5.2 | 이름 공간 바우치 흐름, 유지되는 환불 기간 흐름, LIL 85/205 capability 경계, 인증과 현재 실행 일치를 분리한 네이티브 vouch verify --reexecute |
| v1.5.1 | 네이티브 바우치 발행을 도입. 발행 조건을 충족한 검사 결정은 DSSE 봉투로 직접 구성하고 서명한 뒤 소비자가 제공한 신뢰 정책으로 인증 가능 |
v1.5 — 리스펙스로 쓴 인터프리터와 토파즈로 쓴 인터프리터를 나란히 돌려 결과를 대조하기 시작했습니다.
| 버전 | 바뀐 것 |
|---|---|
| v1.5.0 | 한정 LIL과 LIT 실행선과 84/205 capability 원장과 세 구현 계보 공동 영수증과 네이티브 npm WASM 플레이그라운드 통합 배포 |
v1.4 — 네이티브와 npm과 브라우저와 플레이그라운드가 같게 동작하도록 맞추고 다운로드를 고정했습니다.
| 버전 | 바뀐 것 |
|---|---|
| v1.4.0 | 런타임과 배포 갱신으로 검사 평가기의 apply와 다중 값 경로와 한정 영수증 fuel과 네이티브 npm WASM 플레이그라운드 정렬과 고정 네이티브 다운로드를 추가 |
| v1.3.11 | 브릿지 읽기 측 정규 수용, 닫힌 세계 중첩 검사, 연결 아티팩트·선택 컨텍스트 검사 |
| v1.3.10 | 적대적 아티팩트 클래스 검사와 명시적 진위 비목표 |
| v1.3.9 | 12사례 복지형 replay 평가 코퍼스 |
| v1.3.8 | 바우치 브릿지 보고서 형태, 오프라인 검사기, 외부 엔진 예제 |
| v1.3.1-v1.3.7 | 실사용 바우치 순환을 완성. 네이티브 영수증 생성, 릴리스 빌드 엔진 동일성, 오프라인 verify, 버전 replay 코퍼스, 명시적 진위 경계를 갖춤 |
v1.3 — 실행 기록을 남기고, 인터넷 없이 검사하고, 같은 실행을 다시 돌려 볼 수 있게 됐습니다.
| 버전 | 바뀐 것 |
|---|---|
| v1.3.0 | 검사 프로필 결정 영수증, 오프라인 verify, replay, 릴리스 게이트 |
| v1.2.15-v1.2.19 | 외부 Scheme oracle 원장, 저작 의미 벡터, 엄격한 아티팩트 리더, 변조 fixture, mutation drill |
| v1.2.14 | 검색, 반올림, any/all 순회, 엄격 fault, 더 명확한 replay 사용성으로 검사 결정 프로필·갤러리 확장 |
| v1.2.9-v1.2.13 | 검사 프로필 경계, intrinsic 결합, 제어·산술 갤러리, 클로저·순회, 호스트 입력 결합, npm 오프라인 verify와 replay UX |
| v1.2.2-v1.2.8 | 버전된 정규 Core, 실행 영수증, 적합성 매니페스트, Meaning Graph·lowering, 별도 Meaning Environment 평가기, 차등 영수증 계약 |
v1.2 — 첫 v1 태그입니다. 오류를 잡아 회복하는 방식이 정해졌고 네 가지 실행 경로가 열렸습니다.
| 버전 | 바뀐 것 |
|---|---|
| v1.2.0 | 첫 통합 v1 태그. 복구 가능한 raise, guard, with-exception-handler 의미론과 네이티브·Node/WASM·플레이그라운드·다운로드 경로를 제공합니다. 2026-06-28과 2026-06-29의 초기 v1 구현선에서 결정적 리더, 위생 정규화기, 트램펄린 평가기, 정확 정수·유리수와 유한 실수 프로필, 고정 렌더링, 일회 위쪽 call/cc, dynamic-wind, 다중 값, proper-tail apply, R7RS형 프로시저, WASM, 플레이그라운드를 마련했습니다 |
버전별 소유 영역
- 언어, 패키지, 아티팩트 계약 버전은 각 제품 변경에 맞춰 올라갑니다.
- 평가 동작은 런타임 프로필이 소유하고 이름 붙은 CSK·바우치 계약은 각 아티팩트 스키마와 호환 식별자를 소유합니다.
- 백엔드 기록에는 capability 행과 호스트 경로와 코퍼스와 영수증이 함께 적힙니다.
- 언어 의미가 바뀐 릴리스는 해당 변경을 항목에 직접 적습니다.
다음으로
리스펙스가 처음이라면 소개가 실용적인 입구입니다. 앞으로의 계획은 로드맵에 있습니다.