(리스펙스)

리스펙스는 마이너 릴리스로 자랍니다. 마이너 하나가 사용자가 설치하는 제품의 경계입니다. 각 줄을 펼치면 그 마이너에 이르기까지의 체크포인트가 최신순으로 나옵니다. 그 안은 공학 기록이라 내부 이름이 그대로 나옵니다.

이 페이지의 약어

약어	뜻
`ABI`	애플리케이션 바이너리 인터페이스
`AOT`	실행 전에 규칙을 미리 프로그램으로 컴파일해 두는 방식
`DSSE`	Dead Simple Signing Envelope(서명 봉투 규격)
`IR`	중간 표현
`LIL`	리스펙스로 쓴 리스펙스 인터프리터(Lispex-in-Lispex)
`LIT`	토파즈로 쓴 리스펙스 인터프리터(Lispex-in-Topaz)
`MCP`	Model Context Protocol
`VM`	소스를 읽는 대신 미리 준비된 명령을 실행하는 가상 머신
`WASM`	WebAssembly 빌드

릴리스

v1.17 — 결정을 서명해 보내고 받은 쪽이 자기 컴퓨터에서 확인하는 흐름을 끝까지 채웠습니다. 키를 만들고 수신자 정책을 세우고 이미지로 요청을 거는 것까지 미리 만들어 둔 환불 예제 하나에 담았습니다.

버전	바뀐 것	경계
v1.17.0	로컬 키 준비와 수신자 정책 구성과 인증된 결정 교환과 이미지 기반 요청 결합 바우치와 프로토콜 혼동 거부와 값 여섯 개의 애플리케이션 인계를 담은 정확한 미리 만들어 둔 환불 예제를 공개합니다	인계는 한정된 행동 직전 기록만 쓰며 환불을 실행하지 않습니다. 제한 평가기와 전체 평가기와 이미지와 바우치와 결정 교환과 ABI와 값 코덱과 휴대 코어와 영수증과 정확한 토파즈 5.11 AOT 고정값은 서로 분리된 채 그대로입니다
v1.16.6	현재 호스트에서 설치한 네이티브와 npm 제품을 쓰는 명시적 실용성 검사 묶음 실행기 하나와 정적 quick 검사기와 F16 최종 경계의 닫힌 변이 지점 권위를 추가합니다	develop 체크포인트입니다. 실행기는 호출자가 건넨 정확한 제품만 받고 모든 역할과 이동 루트를 분리하며 F13과 F14와 바우치 증거를 서로 다른 세 축으로 유지합니다. 이 구현은 설치 검사 묶음 성공이나 F16 완료를 주장하지 않습니다. 네트워크와 탐색과 폴백과 재전송 방지와 바우치 승격과 외부 행동 권한을 추가하지 않습니다. 공개 제품은 v1.16.0을 유지합니다
v1.16.5	최종 인계 파일과 정식 매니페스트를 만들고 미리 만들어 둔 환불 예제의 정확한 26개 구성원 아카이브를 생성합니다. 별도의 네이티브 아카이브 판독기와 독립 ZIP 검사 묶음을 추가하고 세 언어 문서에서 전체 여정을 설명합니다	develop 체크포인트입니다. 인계는 서버가 인증하고 허용한 요청 하나를 받아 값 여섯 개의 확인 입력을 다시 만들고 현재 요청에 대한 새 게이트를 요구합니다. 한정된 로컬 행동 직전 기록만 남기며 환불이나 다른 외부 행동은 수행하지 않습니다. 아카이브는 v1.17.0 후보로 남고 공개 제품은 v1.16.0을 유지합니다
v1.16.4	정확한 26개 파일 목록과 정식 25개 항목 매니페스트와 존재만 확인하는 작업 슬롯 여덟 개와 고정 명령 후보 두 개를 독립 계약으로 내장한 네이티브 전용 `workspace status`를 추가합니다. 결정 교환을 먼저 보여 주고 이미지 기반 바우치 경로를 분리한 공개용 안내 흐름도 완성합니다	develop 체크포인트입니다. 실제 저장소 workspace는 24개 파일을 유지하며 성공을 주장하지 않습니다. v1.16.5가 인수인계 파일과 매니페스트를 만들기 전까지 성공 검사 묶음은 합성 26개 파일만 사용합니다. 상태 명령은 작업 산출물 내용을 읽거나 실행하거나 인증하지 않습니다. 탐색과 네트워크와 재전송 방지와 바우치 승격과 외부 행동 권한도 추가하지 않습니다. 공개 제품은 v1.16.0을 유지합니다
v1.16.3	검토한 공개키 하나와 직렬화되는 제약 네 개로 결정 수신자 정책을 직접 만드는 네이티브와 npm 명령을 활성화하고 기존 디렉터리 기반 F14 정책과 바이트가 같음을 요구합니다. A0 첫 시도의 입장 전 실패와 정확한 23개 경로 수리 커밋 A1 `ece930ea`와 정확한 다섯 경로 직접 자식 B `fb07ae7c`를 보존합니다. 삭제 후 검사 묶음이 중단된 뒤 보존 증거만 사용한 회복으로 최종 `lispex.recipient-sample-provenance/v1`을 완성했습니다	develop 체크포인트입니다. 기존 `rule policy`와 F14 스키마와 npm의 발급 불가 경계를 유지합니다. 보존 증거만 사용한 회복 과정에서는 의식 재실행과 재빌드와 `pack`과 `install`을 하지 않았습니다. 샘플 키나 공급자 키를 생성하거나 입장을 재서명하지도 않았습니다. 개인 키와 seed와 가짜 매니페스트와 인수인계 파일과 ZIP을 남기지 않습니다. 의식 루트와 증거 루트와 공급자 루트는 모두 없습니다. 신원 증명과 정책 승인과 바우치 승격과 재전송 방지와 외부 행동 권한을 추가하지 않습니다. 공개 제품은 v1.16.0을 유지합니다
v1.16.2	운영체제 난수원으로 Ed25519 키 쌍을 새 디렉터리에 만드는 네이티브 전용 명령과 같은 공개키의 결정 발급자 식별자와 바우치 식별자를 분리해 보여 주는 네이티브와 npm 검사 명령을 추가합니다	develop 체크포인트입니다. seed와 키 가져오기와 덮어쓰기와 기본 경로가 없고 npm은 공개키 검사만 제공합니다. 브라우저 키 내보내기와 서명 서비스와 키 저장소와 네트워크와 정책 권한과 조직 신원 증명과 바우치 승격과 재전송 방지와 외부 행동 권한을 추가하지 않습니다. 공개 제품은 v1.16.0을 유지합니다
v1.16.1	최종 26개 파일 계약과 정확한 21개 핵심 파일과 선행 바이트 투영 다섯 개를 고정하고 환불 사실 세 개를 이식 문자열과 정식 결정으로 각각 대응해 F16을 시작합니다	develop 체크포인트이며 가짜 샘플과 최종 매니페스트와 ZIP과 키 도구와 정책 도구를 만들지 않습니다. 평가기와 바우치 계약을 바꾸거나 두 경로의 의미가 같다고 주장하지 않으며 재전송 방지와 외부 행동 권한도 추가하지 않습니다. 공개 제품은 v1.16.0을 유지합니다

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 bounded 평가기로 F15를 공개합니다	restricted 평가기의 profile·meter·ABI·value codec·portable-core schema·바이트·과거 receipt는 그대로이며 별도로 선택됩니다. full 컴포넌트에는 discovery·폴백·host capability·pooling·바우치 승격·재전송 방지·외부 행동 권한이 없고 토파즈 승인은 토파즈 소유 후속 작업입니다
v1.15.8	별도의 전체 프로필 평가기 공급자를 동결하고, 유지된 `LPXART01`과 전체형 `LPXFAR01` 계약·벡터·재배포·보존·릴리스 DAG·최종 검사 묶음을 분리해 묶은 기계 검증 가능한 컴포넌트 전용 토파즈 인계 하나를 추가합니다	develop 체크포인트 전용입니다. 공개 릴리스, 토파즈 승인, 전체 릴리스 핀, 바우치, 외부 행동 권한을 추가하지 않으며 제한형 평가기와 AOT·LIT 관계는 그대로입니다
v1.15.7	별도의 정확한 import 0 full-profile Wasm 평가기와 실행마다 fresh instance를 쓰는 명시적 네이티브 prepare·evaluate·inspect·verify·replay를 추가합니다	develop 체크포인트 전용입니다. 새 identity는 모두 qualification 전 private 후보이고 중간 컴포넌트를 토파즈에 넘기지 않으며 정확한 restricted 평가기와 소비자 관계는 그대로입니다
v1.15.6	현재 프로필 프리미티브 205행 전체를 생성형 Fixed·Numeric·Text·Collection·Effect·GuestCalling 런타임 permit에 결속하고 실행 pending 행을 0으로 닫습니다	develop 체크포인트 전용입니다. 정확한 full-profile Wasm·네이티브 제품과 공개 identity는 v1.15.7-v1.15.8 작업으로 남고 restricted 평가기와 공개된 토파즈 소비자 관계는 그대로입니다
v1.15.5	실행 허용된 GuestCalling 18행의 스냅샷, 콜백 벡터, 보수적 출력 버퍼, 최종 리스트·벡터·문자열 생성 권한, 동적 진단을 fallible·bounded 경로로 닫습니다	develop 체크포인트 전용입니다. 비제어 프리미티브 핸들러 187행은 아직 런타임 permit 통합이 필요하고 네이티브 재귀 cleanup에는 fresh-instance Wasm 폐기가 필요하며 공개 full-profile identity나 경로를 추가하지 않습니다
v1.15.4	18개 GuestCalling 행 전체를 하나의 생성형 권위와 명시적 VM 제어 기계에 결속하고 exact work 경계와 host-recursive 0행을 닫습니다	develop 체크포인트 전용입니다. restricted 평가기는 기존에 제외한 13행을 계속 거부하고 물리 컬렉션·cleanup 종결은 남아 있으며 공개 full-profile identity나 경로를 추가하지 않습니다
v1.15.3	별도의 205행 full-profile tariff 설계에서 Deferred를 0으로 닫고, private iterative full-result encoder가 codec v1의 모든 portable data tag를 구현합니다	develop 체크포인트 전용입니다. restricted 평가기의 정확한 네 거부와 바이트는 그대로이고 runtime 편입과 provider 증거는 미완료이며 공개 full-profile identity나 경로를 추가하지 않습니다
v1.15.2	생성된 하나의 205행 registry를 프리미티브 설치와 Core IR identity의 유일한 권위로 만듭니다	develop 체크포인트 전용입니다. parity 증거가 허용하기 전까지 205행 모두 native로 유지되고 Deferred 비용 4행은 blocker로 남으며, 공개 full-profile identity나 실행 경로를 추가하지 않습니다
v1.15.1	F15를 시작하고 현재 프로필의 reader·form·opcode·value·diagnostic·205개 내장 프로시저 전체 표면과 계약 재사용 판정을 정확하게 생성합니다	develop 감사 체크포인트 전용입니다. 실행 경로나 공개 계약 identity를 추가하지 않으며 restricted 평가기, 과거 receipt, 현재 공개 토파즈 소비 관계, 정확한 토파즈 5.11 AOT pin, LIT evidence는 그대로입니다

v1.15 — 결정을 서명해 주고받는 첫 제품입니다. 보내는 쪽이 봉투를 만들고 받는 쪽이 자기 정책으로 검사합니다. 이미지와 플레이그라운드에서도 같은 결정을 다룰 수 있게 맞췄습니다.

버전	바뀐 것	경계
v1.15.0	첫 환불 결정 흐름, 정확한 네이티브 작성 인계, Ed25519 발급자 봉투, 수신자 소유 정책, 제한된 정규 `.lpxdecision`, 네이티브 전체 생명주기, npm 검증 전용 검사·인증을 하나의 인증된 결정 교환 제품으로 공개합니다	평가기·휴대 코어·프로필·meter·ABI·경로 기본값·정확한 토파즈 5.11 AOT pin은 그대로입니다. 서명·요청 결속·재실행은 따로 판단하며 재사용 방지·바우치 승격·외부 행동 권한은 없습니다
v1.14.6	깨끗하게 설치한 소스 없는 네이티브/npm 결정 교환 검사 묶음, 정확한 이동과 재실행, 간결한 비권위 제품 기록으로 F14를 닫습니다	develop 체크포인트 전용입니다. 소스, 원본 JSON, private key, discovery, 폴백, network, 바우치 승격, 재사용 방지, 외부 행동 권한은 계속 없으며 공개 제품은 v1.14.0 그대로입니다
v1.14.5	제한된 정규 `.lpxdecision` 일곱 파일 bundle 하나와 네이티브의 발급·검사·인증·재실행, npm의 검증 전용 검사·인증을 추가합니다	develop 체크포인트 전용입니다. bundle에는 소스, 원본 JSON, private key, discovery, 폴백, network, 바우치 지위, 재사용 방지, 외부 행동 권한이 없고 브라우저 export와 공개 제품은 그대로입니다
v1.14.4	정확한 휴대 코어 바이트를 위한 별도 Ed25519 발급자 봉투, 수신자 소유 정책 생성·검사, 실행 없는 네이티브 인증을 추가합니다	develop 체크포인트 전용입니다. 발급자 metadata는 비권위적이고, 재실행은 하지 않으며, 재사용 방지는 제공하지 않고, 외부 행동 권한은 없습니다. 평가기·휴대 코어·바우치·다운로드·공개 버전은 그대로입니다
v1.14.3	플레이그라운드에 폐쇄형 첫 환불 결정 모드를 추가하고, 한 번의 입력 선택으로 유지 사례를 실행하며, 소스를 포함한 정확한 네이티브 작성 인계 세 개를 제공합니다	develop 체크포인트 전용입니다. 브라우저 결과는 브라우저/Wasm 결과라고 밝히며 인계에는 휴대 코어나 권한이 없고 공개 다운로드는 v1.14.0에 남습니다
v1.14.2	개발 제품·공개 제품·문서 제품군·의미 프로필·불변 배포 identity를 분리하고, 하나의 권위에서 브라우저·네이티브·랜딩·세 로케일 환불 projection을 생성합니다	develop 체크포인트 전용입니다. 다운로드는 v1.14.0에 남고 평가기와 휴대 코어 바이트는 바뀌지 않으며 발급자·교환 묶음·바우치·외부 행위 권한을 추가하지 않습니다
v1.14.1	네이티브·npm·공개 WASM·플레이그라운드·유지 샘플의 정규 리스펙스 이미지를 Sunlit Amber v2 image·profile·codebook 계약으로 함께 올립니다	develop 체크포인트 전용입니다. 소스 바이트, 언어 의미, 실행, 바우치 권한, 이미지 밖의 제품 계약은 바뀌지 않습니다

v1.14 — 규칙 하나를 JSON 입력으로 실행하고, 그 실행을 나중에 실행 없이 들여다보거나 새 인스턴스에서 다시 돌려 볼 수 있게 됐습니다.

버전	바뀐 것	경계
v1.14.0	엄격한 JSON 입력, 정확한 한도, 원자적 `rule run`, 실행 없는 inspect·verify, 새 인스턴스 replay, 사람·에이전트 문서가 함께 쓰는 생성형 환불 예제, 정확한 라이선스 포함 평가기 재배포 archive를 하나의 확인 가능한 결정 흐름으로 공개합니다	평가기와 동결 계약은 바뀌지 않습니다. 이 흐름은 네이티브 전용이고 휴대 코어는 권한이 없으며 바우치 대상이 아닙니다. npm·브라우저 표면은 기존 범위를 유지합니다
v1.13.4	생성된 환불 fixture, 엄격한 JSON adapter, 원자적 결정 디렉터리, 실행 없는 inspect·verify, 새 인스턴스 replay, 이동, 거부·변조 사례를 설치형 네이티브 흐름 하나로 결속하고 랜딩과 세 로케일에서 같은 정확한 예제를 가르칩니다	develop 체크포인트 전용입니다. 평가기·프로필·meter·ABI·값 codec·휴대 코어 schema·route·AOT compiler pin·바우치 권한·공개 릴리스는 바뀌지 않습니다
v1.13.3	정확한 다섯 파일 결정 디렉터리에 `lispex rule inspect`·`verify`·`replay`를 추가하고 준비 bytecode와 결과 결속을 깊이 검사해 새 인스턴스에서 한 번 재실행합니다	inspect와 verify는 실행하지 않습니다. replay도 소스를 복원하거나 인증·탐색·폴백·원격 호출·재사용 방지·바우치 승격·외부 행동 허가를 하지 않습니다
v1.13.2	정확한 소스, 엄격한 JSON, 분리된 준비·평가 한도, 내장 평가기를 묶은 원자적 네이티브 `lispex rule run`을 추가합니다	기존 출력을 덮어쓰지 않으며 디렉터리에 원본 소스·원본 JSON·호스트 경로·탐색·폴백·원격 전송·바우치 적격성·외부 행동 권한을 남기지 않습니다
v1.13.1	생성형 환불 규칙 fixture 하나와 중복 key·inexact number를 거부하는 엄격하고 결정적인 JSON-to-evaluator-value adapter를 추가합니다	develop 체크포인트 전용입니다. 평가기 operation·의미 프로필·공개 schema·명령·route·capability·폴백·바우치 권한·릴리스 추가가 없습니다

v1.13 — 평가기를 애플리케이션 안에 넣는 첫 방법이 생겼습니다. 준비와 실행에 서로 다른 한도를 겁니다. 평가기 바이트를 동결하고 여러 방식으로 검사했습니다.

버전	바뀐 것	경계
v1.13.0	네이티브 `lispex embed prepare/evaluate/inspect/verify`, 정확한 import 0 평가기 컴포넌트 하나, 분리된 준비·평가 한도, 동결된 제한 프로필·meter·ABI·value codec·휴대 코어 계약, manifest 기반 `/llms.txt`와 현재 문서 전용 sitemap을 공개합니다	단일 Rust VM engine과 제한 프로필만 지원합니다. host capability, 탐색, 폴백, 원격 전송, 브라우저 embed 표면, issuer 인증, 바우치 권한, 토파즈 consumer 구현은 없습니다. 중단과 engine fault에는 결정이나 휴대 코어가 없고 Classic은 현재 agent 색인에 들어가지 않습니다
v1.12.4	최종 평가기 바이트가 mutation, property, reachability, safety, 설치 제품, cross-architecture 검사 묶음을 통과한 뒤 정확한 제한 프로필, 결정적 작업량·논리 할당 모델, import-free Wasm ABI, 휴대 코어 schema를 동결합니다	develop 체크포인트 전용입니다. 휴대 코어는 결정적 의미 결과와 요청 거부에만 있으며, 중단과 engine fault에는 없습니다. 탐색, 폴백, 원격 전송, 바우치 권한, 브라우저 embedding, 토파즈 consumer 구현, 프로덕션 배포가 없습니다
v1.12.3	하나의 정확한 import-free Wasm 평가기를 내장해 네이티브 `lispex embed prepare`, `evaluate`, `inspect`, `verify`를 추가합니다. 준비와 평가는 서로 다른 정확한 한도를 쓰고, 작업마다 새 Store/Instance를 만들며, 완료된 평가는 canonical 결과값 바이트를 담습니다	develop 체크포인트 전용입니다. 후보 계약은 아직 공개 계약이 아니며 평가기 경로, 탐색, 폴백, host callback, 원격 전송, 바우치 권한, 휴대 영수증, 프로덕션 배포가 없습니다
v1.12.2	재현 가능한 import 0 bounded evaluator Wasm 번들, 폐쇄형 값 전용 후보 ABI, canonical prepared-bytecode 인계, 정확한 요청 소유권, 유지 정책 규칙 세 개를 실행하는 fresh-instance Rust VM을 추가	develop 체크포인트. 후보 계약은 아직 비공개이며 네이티브 `lispex embed`, 휴대 영수증, 폴백, host capability, 바우치 권한, 프로덕션 배포 없음
v1.12.1	예전의 포괄적인 step/allocation 계약을 준비 4축과 평가 10축으로 바꾸고, 휴대 코어 후보에서 사용량을 제거하며, 독립 Node/Rust 벡터와 유지되는 정책 적합성 사례 세 개를 추가	develop 체크포인트. 공개 meter/profile/ABI/receipt ID, evaluator bundle, `lispex embed` 명령, 휴대 영수증, 폴백, host capability, 바우치 권한, 프로덕션 배포 없음

v1.12 — 편집기와 AI 도구가 설치된 리스펙스에 직접 물어보는 로컬 창구가 생겼습니다. 바깥으로 나가지 않습니다.

버전	바뀐 것	경계
v1.12.0	설치 제품의 정확한 레퍼런스 조회, 크기·시간을 제한한 신뢰 소스용 Rust tree 작성 실행, 진단 조회, 고정된 폐쇄형 경로 비교, 공개 primer·descriptor, 유지형 설치 제품 검사 묶음을 하나의 네이티브 stdio 작성 표면으로 공개	적대적 소스 sandbox·전체 작업/논리 할당의 결정적 meter·시간 초과 휴대 영수증·원격 서비스·파일/작업 폴더 접근·임의 경로 부분집합·탐색·부분 비교·폴백·답 선택·소스 보관·npm/브라우저 MCP·의미 동등성 증명·바우치 권한 없음. 무버전 tree-sitter 문법은 별도 미공개 제품으로 유지
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 작성 실행·진단 조회용 네이티브 도구 세 개를 추가	로컬 stdio 전용. 적대적 소스 sandbox·전체 작업/논리 할당의 결정적 meter·시간 초과 휴대 영수증·파일·네트워크·실행 경로 탐색·비교·폴백·소스 보관·npm/브라우저 표면·의미 동등성 증명·바우치 권한 없음

v1.11 — 실행에 필요한 도구를 받아서 설치하고 어느 것으로 돌릴지 고정하는 과정이 하나로 이어졌습니다.

버전	바뀐 것	경계
v1.11.0	정규 route catalog와 stored-ZIP 설치기, 제한된 정확한 companion 가져오기, 승인된 macOS ARM64 토파즈 VM/AOT compiler 셀, 가져오기부터 이동까지 유지 여정을 하나의 네이티브 제품으로 공개	Rust tree가 기본값이고 미지원 target은 없음으로 남음. 외부 제품은 명시적이며 경로 없는 lock은 제품을 찾지 않고 실행은 네트워크나 폴백을 쓰지 않으며 어떤 route 재료도 바우치 권한에 들어가지 않음
v1.10.4	두 companion 설치를 AOT 빌드, 네 경로 목록과 측정, 경로 없는 VM/AOT 잠금, 진단, 잠금 실행, 잠금을 바꾸지 않는 이동으로 잇는 유지 예제와 정확한 제품 검사 묶음을 추가	새 경로나 target을 추가하지 않음. 외부 root는 매번 다시 전달하고 실행은 가져오기나 폴백을 하지 않으며 Rust tree가 기본값이고 companion·잠금·측정·결과는 모두 바우치 권한 밖에 있음
v1.10.3	정확한 8파일 토파즈 5.11 macOS ARM64 compiler companion의 공식 `routes fetch --route aot-compiler`, 불변 release manifest 검사, 재배치한 설치 컴파일러를 사용한 결정적 소스 없는 AOT 빌드를 추가	승인된 target만 존재하며 fetch와 설치는 선택·실행하지 않음. Rust 도구는 별도 명시 입력이고 미지원 target은 전송 전에 실패하며 카탈로그·아카이브·빌드 결과는 바우치 권한에 들어갈 수 없음
v1.10.2	네이티브 `routes fetch`, 정확한 내장 공식 카탈로그 하나, `aarch64-apple-darwin`용으로 승인된 토파즈 5.11 VM의 결정적 companion 패키지를 추가	획득은 명시적이며 실행과 분리됨. 임의 URL·카탈로그, 리다이렉트, 재시도, 등록, 자동 탐색, 선택, 폴백, 미지원 target 대체, 바우치 승격 없음
v1.10.1	정확한 로컬 토파즈 VM 또는 AOT compiler companion을 위한 네이티브 `routes install`, 정규 `lispex.route-catalog/v1`, 경로 없는 `lispex.route-installation/v1`, 제한된 정규 stored-ZIP 형식을 추가	로컬 설치만 제공. 네트워크·등록·자동 탐색·선택·폴백·바우치 승격·새 target 지원 주장·기본값 변경이 없고 Rust tree 일반 실행에는 companion이 필요 없음

v1.10 — 어떤 실행 경로가 있는지 진단하고 하나로 고정해 두는 도구가 생겼습니다. 고른 경로가 실패해도 몰래 다른 경로로 넘어가지 않습니다.

버전	바뀐 것	경계
v1.10.0	안정된 네이티브 inventory·doctor·경로 없는 route lock·제한 측정과 고정된 tree/Rust VM/토파즈 VM/AOT 실행을 하나의 제품으로 공개	tree는 호환 기본·레퍼런스·복구 경로로 남고, 외부 제품은 명시적 절대 경로와 정확한 identity가 필요함. 어떤 경로도 자동 발견·폴백되지 않으며 timing은 설명 자료일 뿐이고 lock과 결과는 바우치 권한이 될 수 없음
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` 추가	제품 자동 발견은 계속 금지되고 외부 절대경로를 매번 다시 지정해야 함. 선택·진단 JSON에는 바우치 권한이 없으며 호환 기본값 tree는 바뀌지 않음

v1.9 — 이미지, 검증 바이트코드, Rust VM, 소스 포매팅, 토파즈 VM 실행, 네 경로 비교까지 스무 번의 체크포인트를 담고 있습니다.

버전	바뀐 것	경계
v1.9.0	입문 학습 체계, LIL 205/205 수렴, 정규 Core IR, 검증 바이트코드와 Rust VM, 요청 결속 컴파일 바우치, 소스 포매팅, 명시적 exact 토파즈 VM/AOT와 네 경로 검사 묶음을 하나의 일관된 제품으로 공개	`lispex-profile-1.5`, Rust tree 레퍼런스·기본값, 경로별 지원·자원 차이, 폴백 0, typed 바우치 비승격을 유지. 전체 프로필 증명이나 독립 증인을 주장하지 않고 F7 기본값을 바꾸거나 npm·브라우저·플레이그라운드에 컴파일 경로를 꾸며내지 않음
v1.8.20	한 소스·입력 프런트엔드 유도, 정확히 일치하는 AOT 승인, tree/Rust VM/토파즈 VM/AOT 명시적 실행, 의미·비교 가능 자원 불일치 축을 가진 덮어쓰지 않는 `lispex.route-comparison/v1` 영수증을 제공하는 네이티브 `compare-routes`를 추가. AOT 프리미티브 호출 비용과 구조화 자원 fault를 수리하고, 정확한 strip·서명 도구 identity를 기록하며 토파즈 artifact를 다시 결속해 macOS 실행 파일을 결정적으로 최종화	각 경로와 기본값을 독립적으로 보존하고 tree에 없는 계수와 실제 자원 진단 차이를 숨겨 맞추지 않으며 재시도하지 않음. 새 백엔드 계열·동등성·바우치 증거·게이트 권한을 만들지 않음. npm은 명령을 명시적으로 거부하고 공개 WASM·브라우저·플레이그라운드는 대체 기능을 제공하지 않음
v1.8.19	macOS ARM64 네이티브에 리스펙스를 토파즈로 옮기는 전체 프로필 AOT를 추가. 결정적이고 읽을 수 있는 토파즈·source map, 정확히 설치한 토파즈/Rust 빌드 도구 승인, 소스 없는 엄격한 제품의 `build`·`inspect`·`validate`·`run`, 정규 전체 폭 `u64` 자원·진단·경고·눈에 보이는 폴백 0 다섯 개를 제공	`lispex-profile-1.5`, Rust tree·VM 복구 경로, 별도 토파즈 VM, npm/WASM/브라우저/플레이그라운드 동작과 모든 바우치 typed 권한 경계를 보존. 정확성 우선 AOT 제품은 검사 가능한 실행 재료일 뿐 계보 간 영수증·동등성 증명·제작자 신뢰·게이트 입력이 아님
v1.8.18	macOS ARM64 네이티브에 정확히 설치한 토파즈 5.11 `lispex-topaz-vm/v1` 제품을 쓰는 명시적 `bytecode run --engine topaz --topaz-vm` 경로와 하나의 검증 바이트코드를 비교하는 `compare-vms` 영수증을 추가하고, 최적화 네이티브 빌드에서도 Core IR·바이트코드 컴파일 동작을 빠짐없이 유지	기본 엔진은 Rust. 제품·요청·결과·바이트코드/입력 식별자·정규 전체 폭 `u64` 자원·폴백 0을 엄격히 결속하며 실패해도 다른 엔진을 다시 시도하지 않음. 토파즈 전송과 비교는 진단 전용으로 바우치에 들어가거나 권한을 만들 수 없고 독립적인 전체 언어 동등성을 증명하지 않음. npm·공개 WASM·플레이그라운드·다른 타깃·AOT에는 토파즈 VM 경로가 없음
v1.8.17	주석·프라그마·토큰·원래 리터럴 철자를 보존하는 결정적 네이티브 `lispex fmt`, 조용한 `--check`, 안전한 `--write`, VS Code/Open VSX 문서 포매팅 연동을 추가	출력·교체 전에 검증하고 공백만 바꾸며 실행, `lispex-profile-1.5` 변경, 리터럴 값 정규화, 근거 생성, npm/WASM/플레이그라운드 폴백은 없음. 마켓플레이스 게시와 프로덕션 릴리스는 각각 별도 승인이 필요한 작업
v1.8.16	정규 `lispex.vouch-compiled-artifact/v1`, 네이티브 `vouch compiled build`·`inspect`·`validate`, 선택적 `vouch verify --reexecute --compiled-artifact`, 정확한 소스 재유도와 현재 tree/Meaning·검증 Rust VM 실행 기록 일치를 모두 요구하는 컴파일 로컬 게이트를 추가	소비자가 정확한 소스·입력을 계속 제공하고 인증과 현재 tree/Meaning 일치가 선행되며 폴백은 없음. 일반 바이트코드·컨테이너·해시·보고서·VM 출력·compiler 출처는 근거나 권한을 만들 수 없음. VM은 같은 Rust 계보이지 독립 증인이 아니며 npm·공개 WASM·플레이그라운드는 컴파일 바우치 표면을 제공하지 않음
v1.8.15	정규 바이너리 `lispex.bytecode/v1`, 실행 전 strict `lispex.bytecode-verifier/v1`, 전체 프로필 `lispex-rust-vm/v1`, 네이티브 bytecode build·inspect·validate·run, 명시적 소스 `--engine vm`, 덮어쓰지 않는 정확한 tree/VM 비교 보고서를 추가	tree는 레퍼런스와 기본값으로 유지되며 요청한 VM은 폴백하지 않음. tree와 VM은 Rust 값과 프리미티브 잎을 공유하므로 비교는 독립 백엔드나 증명이 아니라 같은 계보의 근거. npm·공개 WASM·플레이그라운드는 bytecode/VM 표면이 없고, bytecode·verifier 출력·VM 결과·비교 보고서는 바우치 권한 체인에 들어가거나 통과를 만들 수 없음
v1.8.14	안정적인 프리미티브 ID 205행, 해석된 lexical/global 셀, 정확한 closure capture와 꼬리 위치, 소스 위치, Canonical Core 감사 projection을 가진 전체 프로필 정규 `lispex.core-ir/v1` 및 네이티브 `core-ir build`·`validate`·`inspect` 명령을 추가	Core IR은 같은 Rust 계보의 실행하지 않는 `integrity-only` 재료. Meaning Graph를 대체하거나 출처를 인증하거나 요청을 결속하거나 독립 합의를 증명하거나 바우치 권한을 만들지 않으며 npm·공개 WASM·플레이그라운드는 Core IR reader나 명령 표면을 제공하지 않음
v1.8.13	`%`·`list-first`·`list-rest`를 정확한 W330/W331 호환 경고와 함께 LIL에 구현해 현재 capability 지원을 202/205에서 205/205로 확장	실제 deprecated 내장 프로시저가 실행될 때만 경고하며, 최초 발생 순서를 지키고 소스 호출 위치마다 한 번으로 중복을 제거하고, 뒤의 위임 연산이 실패해도 남고, 표준 출력·값·오류 진단과 분리. capability 전체 지원은 전체 언어 동등성 주장, Rust 의미·LIT 변경, 역사 영수증 재작성, 바우치 권한 변경, 프로덕션 릴리스 권한을 뜻하지 않음
v1.8.12	`display`·`write`·`newline`·`println`을 한도가 있는 private effect sink로 LIL에 구현해 현재 지원을 198/205에서 202/205로 확장	명시적 출력과 최상위 자동출력은 정확한 표준 출력 순서를 유지하고 완료된 최상위 값은 별도 typed 투영으로 보존. 렌더링·0개 값 반환·부분 출력·arity는 호스트 표준 출력이나 Rust 폴백 없이 현재 프로필과 일치. 경고형 deprecated 별칭, Rust·언어 의미 변경, LIT 변경, 역사 영수증 재작성, 바우치 권한 변경, 프로덕션 릴리스 권한은 범위 밖
v1.8.11	남은 컬렉션 고차 프로시저 12행을 명시적 게스트 기계 연속 프레임으로 LIL에 구현해 현재 지원을 186/205에서 198/205로, guest-calling 지원을 6/18에서 18/18로 확장	콜백 순서·엄격 불리언 단락 평가·단일값/버림값 문맥·문자열 문자 결과·벡터 스냅샷·오류·일회용 탈출은 호스트 콜백이나 Rust 폴백 없이 LIL 안에 유지. 출력 행·deprecated 별칭, Rust·언어 의미 변경, LIT 변경, 역사 영수증 재작성, 바우치 권한 변경, 프로덕션 릴리스 권한은 범위 밖
v1.8.10	exact 중간값을 쓰는 나눗셈 9행과 `gcd`·`lcm` fold를 LIL에 구현하고 exact 정수 `expt`와 두 값을 내는 `exact-integer-sqrt`를 기록된 수 커널로 지원해 현재 범위를 173/205에서 186/205로 확장	floor/truncate 부호·exactness contagion·도메인 오류·다중값은 기존 프로필과 일치. deprecated `%`, guest-calling·출력 행, Rust·언어 의미 변경, LIT 변경, 역사 영수증 재작성, 바우치 권한 변경, 프로덕션 릴리스 권한은 범위 밖
v1.8.9	exactness를 보존하는 `floor`·`ceiling`·`round`·`truncate`, exact/inexact 변환, 정수 짝홀 판정을 기록된 수 호스트 커널로 지원하고 혼합 수 타워 `min`·`max` fold를 LIL 안에 구현해 현재 범위를 161/205에서 173/205로 확장	`round`는 half-even이고 `exact`는 유한 이진 값을 복원하며 수 커널 계보는 계속 공개. `%`·정수 나눗셈군, Rust·언어 의미 변경, LIT 변경, 역사 영수증 재작성, 바우치 권한 변경, 프로덕션 릴리스 권한 없음
v1.8.8	문자·문자열 대소문자 판정·변환·대소문자 무시 순서 18개를 명시적으로 기록한 LIL Unicode 호스트 커널로 지원해 현재 범위를 143/205에서 161/205로 확장	호스트 커널 계보는 계속 공개. 완전한 Unicode CaseFolding 승격, 로케일 정렬·정규화, 숨은 폴백, Rust·언어 의미 변경, LIT 변경, 역사 영수증 재작성, 바우치 권한 변경, 프로덕션 릴리스 권한 없음
v1.8.7	목록 복사·조회·공유 꼬리 탐색, 결정적 목록·문자열 생성, 문자 단위 문자열·벡터 변환을 LIL 안에 구현해 현재 지원 범위를 135/205에서 143/205로 확장	경고가 필요한 deprecated 별칭, 새 호스트 위임·폴백, Rust·언어 의미 변경, LIT 변경, 역사 영수증 재작성, 바우치 권한 변경, 프로덕션 릴리스 권한 없음
v1.8.6	Unicode scalar·사전식 순서로 대소문자를 그대로 보는 문자·문자열 비교 chain을 LIL 안에 구현해 현재 지원 범위를 127/205에서 135/205로 확장	로케일 정렬·정규화·case folding, 새 호스트 위임·폴백, Rust·언어 의미 변경, LIT 변경, 역사 영수증 재작성, 바우치 권한 변경, 프로덕션 릴리스 권한 없음
v1.8.5	유한 실수 tower 판정 세 개, 구조적 `!=`, `memv`, `assoc`, `assq`, `assv`를 LIL 안에 구현해 현재 지원 범위를 119/205에서 127/205로 확장	새 호스트 위임·폴백, Rust·언어 의미 변경, LIT 변경, 역사 영수증 재작성, 바우치 권한 변경, 프로덕션 릴리스 권한 없음
v1.8.4	`abs`, `square`, 부호·영 판정 세 개, `boolean=?`, `symbol=?`를 LIL 안에서 합성해 현재 지원 범위를 112/205에서 119/205로 확장	새 호스트 위임·폴백, Rust·언어 의미 변경, LIT 변경, 역사 영수증 재작성, 바우치 권한 변경, 프로덕션 릴리스 권한 없음
v1.8.3	리스펙스로 작성한 LIL 커널 안에서 `caar`부터 `cddddr`까지 빠져 있던 합성 쌍 접근자 27개를 모두 구현해 현재 LIL 범위를 85/205에서 112/205로 확장	호스트 폴백, Rust·언어 의미 변경, LIT 변경, 역사 영수증 재작성, 바우치 권한 변경, 프로덕션 릴리스 권한 없음
v1.8.2	현재 capability 205개 모두를 규범상 `profile-required`로 기록하고 호스트 전용·미래 프로필 결정을 따로 분류하며, 역사적 비교쌍 차이 179건 모두에 기계로 검사하는 주된 이유 하나를 부여	언어 의미론, Rust/LIL/LIT 지원 수, 역사 영수증 바이트, 바우치 권한, 이미지 동작, 프로덕션 릴리스 경계는 바뀌지 않으며 분류는 허용이나 수리를 뜻하지 않음
v1.8.1	Modern 문서를 4단계 입문 과정, 한눈에 보는 문법, 전역 번호가 붙은 10개 그룹과 실제 한국어·영어·러시아어 본문 53개로 재구성. 다운로드에는 정확한 버전 확인, 명령 복구, 공식 VS Code·Open VSX 안내를 추가	문서와 제품 안내만 변경. Classic은 바이트 단위로 보존되며 `lispex-profile-1.5`, Rust/LIL/LIT 역량, 이미지 형식, 바우치 스키마와 typed 권한은 그대로 유지

v1.8 — 규칙 소스를 바이트 그대로 담은 그림 파일, 리스펙스 이미지가 생겼습니다. 이미지 자체는 아무 권한도 갖지 않습니다.

버전	바뀐 것	경계
v1.8.0	정확한 리스펙스 이미지를 네이티브·npm·Node/브라우저 WASM·로컬 플레이그라운드의 같은 Rust 제품으로 공개하고, 완전히 증명된 이미지가 기존 요청 결속 바우치 흐름에 정확한 소스 바이트를 공급	이미지는 정확한 공개 소스 바이트와 무결성 결속을 보존할 뿐 기밀성·서명·출처·독립 증인·신뢰·신선도·요청 선택·결정 정당성·실행 권한을 제공하지 않음
v1.7.3	완전 증명된 리스펙스 이미지가 네이티브 바우치의 식별자·정책·발행·검사·인증·재실행·게이트와 npm의 식별자·정책·인증 verify에 정확한 소스 바이트를 공급. 유지되는 refund-window 흐름도 이미지 입력을 끝까지 사용	이미지는 소스 표현만 선택. 소비자 소유 source/input 결속과 기존 typed 권한 사슬은 계속 필수이며 PNG/ZIP·검사 JSON·묶음·보고서는 권한을 만들 수 없음
v1.7.2	하나의 Rust 이미지 코어를 npm CLI·Node/브라우저 WASM으로 확장하고 플레이그라운드에 완전 로컬 만들기·열기, 증명된 페이지 이동, 정확한 복원, 다운로드, 별도 명시적 실행 흐름을 제공. 모든 표면의 단일·다중 페이지 바이트가 고정 C1 골든과 일치	같은 코어의 바이트 패리티는 배포 패리티이지 독립 증인이 아님. 로컬 미리보기·검사 JSON·복원 소스·다운로드는 바우치 증거나 권한이 아님
v1.7.1	네이티브에 정규 리스펙스 이미지를 도입해 정확한 소스의 PNG/ZIP 인코딩, 공개 결속값 검사, 바이트 단위 복원, 전체 정규성 증명 뒤 명시적 실행을 제공	이미지 정규성은 무결성일 뿐 기밀성, 서명, 출처, 신뢰, 요청 결속, 바우치 증거, 실행 권한이 아님. npm, 공개 WASM, 플레이그라운드는 아직 이미지 작업을 제공하지 않음

v1.7 — 규칙과 입력을 함께 걸어 검증하는 흐름이 생겼습니다. 권한이 걸린 사용은 받은 쪽이 따로 건넨 소스와 입력에 묶입니다.

버전	바뀐 것	경계
v1.7.0	요청 결속 바우치를 소비자 소유 흐름 하나로 공개. 정확한 식별자 산출과 정책 생성·검사와 묶음 발행을 거쳐, 네이티브 또는 npm에서 선택적 외부 source/input 요청과 대조해 인증한 뒤 네이티브에서만 그 살아 있는 요청을 재실행하고 게이트로 확인	고정하지 않은 묶음 검증은 인증 전용으로 유지. 요청 동일성은 신선도, 재전송 방지, 신원, 출처, 정책 정당성 또는 외부 행위 권한이 아님
v1.6.4	검증 전용 npm 바우치 WASM을 깨끗하거나 변경 중이거나 다른 경로로 옮긴 소스 checkout에서도 추적된 동일 바이트로 다시 만들고 독립 export 표면 감사를 깨끗한 checkout에서도 실행 가능하게 함	고정된 비증명 build placeholder와 가상 소스 경로는 Git 출처가 아니며 네이티브·브라우저 WASM·다른 플랫폼의 재현 가능 빌드 주장도 아님
v1.6.3	네이티브 묶음 재실행과 게이트가 일치하는 외부 source/input을 요구하고 살아 있는 요청 결속 근거만 재실행에서 통과까지 전달. 다국어 문서 갱신으로 `/v1.6` 공개 마이너 경로, 다운로드, 번호형 현재·Classic 메뉴, 정렬된 문서 폭, 간결한 브라우저 제목, 반응형 균형 줄바꿈, 한국어 리스펙스 워드마크와 랜딩 표지·폼/데이터 표제·결과·하단 탐색·메뉴 카테고리를 아우르는 읽기 쉬운 로케일별 표제 체계를 추가	고정하지 않은 묶음 verify는 인증 전용으로 유지. 요청 동일성은 신선도·의도·외부 행위 권한이 아님
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 인증을 소비자 소유 바우치 흐름 하나로 집약	의미 프로필과 artifact schema는 동결 유지. 발행과 재실행과 게이트는 네이티브만 수행
v1.5.8	네이티브/npm `vouch policy create/check`가 공유 Rust로 정규 소비자 신뢰 정책 v1을 구성·검사	유효한 설정은 신뢰 선택, 인증, 근거, 재실행, 결정 통과 또는 외부 권한이 아님
v1.5.7	네이티브/npm `vouch source-id --source`가 공유 Rust 코어로 한정된 정확한 바이트의 소스 식별자를 산출	산출은 소스 승인, 정책 생성, artifact 신뢰, 인증 또는 근거가 아님
v1.5.6	신뢰 정책 v1이 선택된 키에서 정확한 소스 식별자를 허용하지 않으면 완전히 유효하게 서명된 규칙도 거부	v0는 소스 제약 없이 유지. 입력·요청 승인, 신선도, 재전송 방지, 전송 가능한 권한은 아님
v1.5.5	한정 정규 envelope/source/input 묶음, 네이티브 발행·소비, npm 인증 전용 소비	신뢰·프로필·결정은 외부 유지. WASM과 플레이그라운드는 바우치 인증을 노출하지 않음
v1.5.4	npm `vouch verify`가 공유 Rust 코어의 검증 전용 빌드로 서명 네이티브 봉투와 정확한 source/input/profile을 인증하고 네이티브 v0 보고서 바이트와 C-VN-06 결과를 동일하게 냄	독립 증인이 아닌 같은 코어 패키징 일치. npm은 발행과 재실행과 게이트와 살아 있는 근거 노출과 직렬화 보고서 승격을 할 수 없고 공개 WASM과 플레이그라운드는 인증을 내보내지 않음
v1.5.3	네이티브 `vouch gate --require-decision`은 로컬 통과를 반환하기 전에 인증과 현재 완전 transcript 일치와 정확한 결정 일치를 요구	네이티브 전용 로컬 프로세스 결과. 직렬화 보고서, 브릿지, 인증 전용 근거는 통과를 만들 수 없으며 신선도, 재전송 방지, 신원, 정책 정당성, 배포, 외부 행위 승인 주장은 없음
v1.5.2	이름 공간 바우치 흐름, 유지되는 환불 기간 흐름, LIL 85/205 capability 경계, 인증과 현재 실행 일치를 분리한 네이티브 `vouch verify --reexecute`	재실행은 네이티브 전용의 같은 Rust 계보 관측이며 과거 실행, 신선도, 독립 증인, 승인, 정책 정당성, 전체 언어 동등성 주장은 없음
v1.5.1	네이티브 바우치 발행을 도입. 발행 조건을 충족한 검사 결정은 DSSE 봉투로 직접 구성하고 서명한 뒤 소비자가 제공한 신뢰 정책으로 인증 가능	네이티브 릴리스 바이너리 전용. 유효한 서명은 정확히 검사된 바이트에 키가 허가됐음을 성립시키지만 사람 신원과 시각과 정직한 배포와 정책 정당성과 더 넓은 의미적 동등성은 증명하지 않음

v1.5 — 리스펙스로 쓴 인터프리터와 토파즈로 쓴 인터프리터를 나란히 돌려 결과를 대조하기 시작했습니다.

버전	바뀐 것	경계
v1.5.0	한정 LIL과 LIT 실행선과 84/205 capability 원장과 세 구현 계보 공동 영수증과 네이티브 npm WASM 플레이그라운드 통합 배포	144사례 가운데 59사례에서 세 구현 계보가 모두 일치하고 쌍 차이 179건은 공개 상태로 남음. 전체 언어 주장과 LIT 소스 독립성 주장은 없음

v1.4 — 네이티브와 npm과 브라우저와 플레이그라운드가 같게 동작하도록 맞추고 다운로드를 고정했습니다.

버전	바뀐 것	경계
v1.4.0	런타임과 배포 갱신으로 검사 평가기의 apply와 다중 값 경로와 한정 영수증 fuel과 네이티브 npm WASM 플레이그라운드 정렬과 고정 네이티브 다운로드를 추가	이전 공개 릴리스이며 네이티브와 WASM은 여전히 같은 Rust 계보
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	강화와 측정 증거이며 완전한 Scheme 호환성 증명이 아님
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·플레이그라운드·다운로드 경로 제공	복구 핸들러는 호스트 예외가 아니라 고정된 리스펙스 제어 모델을 사용
초기 v1 구현선 (2026-06-28/29)	결정적 리더, 위생 정규화기, 트램펄린 평가기, 정확 정수·유리수와 유한 실수 프로필, 고정 렌더링, 일회 위쪽 call/cc, dynamic-wind, 다중 값, proper-tail apply, 폭넓은 R7RS형 절차, WASM, 플레이그라운드	v1.0·v1.1 릴리스가 아니며 이후 v1.2로 통합된 날짜 확인 구현 커밋

현재 경계

언어, 패키지, 아티팩트 계약 버전은 서로 관련되지만 항상 함께 올라가지는 않습니다.
평가 동작은 런타임 프로필이 소유하고 이름 붙은 CSK·바우치 계약은 각 아티팩트 스키마를 소유합니다. 패키지 번호가 같다는 사실만으로 아티팩트 호환성이 성립하지는 않습니다.
백엔드 주장은 이름 붙은 capability 행과 호스트 경로와 코퍼스와 영수증에 한정됩니다.
과거 영수증·브릿지 변경은 릴리스가 명시하지 않는 한 새 언어 의미론을 뜻하지 않습니다.

다음으로

리스펙스가 처음이라면 소개가 실용적인 입구입니다. 앞으로의 계획은 로드맵에 있습니다.

소개 · 로드맵