이 순서로 생각하세요
- 초기 v1 구현선은 첫 통합 v1.2 태그 전에 결정적 리더, 위생 정규화기, 트램펄린 평가기, 수 프로필, 제어 모델, 표준 라이브러리 기반, WASM 빌드, 플레이그라운드를 세웠습니다.
- v1.2는 정규 Core, Meaning Graph, 결정 갤러리, 차등 영수증, 오프라인 검증, replay, mutation으로 점검한 증거 경계를 중심으로 두 번째 검사 실행선을 확장했습니다.
- v1.3은 이 기반을 Lispex Vouch와 Bridge 흐름으로 만들었고, v1.4는 네이티브, npm, WASM, 플레이그라운드, 다운로드 표면을 갱신했습니다.
- v1.5는 한정 Lispex-in-Lispex와 Lispex-in-Topaz 실행선을 공개하고, 처음으로 형식이 구분된 Vouch 인증·재실행·로컬 gate 경계를 세웠습니다.
- v1.6은 이식 가능한 정확한 소스 승인 Vouch 도구를 모았고, v1.7은 권한을 낼 수 있는 모든 사용을 소비자가 따로 제공한 소스·입력 요청에 결속했습니다.
- v1.8.0은 이미지 바이트에 권한을 주지 않는 정확한 리스펙스 이미지를 추가했습니다. v1.8.1은 Modern 문서를 입문 학습 시스템으로 다시 만들었고, v1.8.2는 규범 프로필과 백엔드 지원을 분리했습니다. 이후 체크포인트는 LIL capability 분모를 완성했고 v1.8.14는 해석된 정규 Core IR 검사를, v1.8.15는 검증된 네이티브 바이트코드와 명시적 Rust VM을, v1.8.16은 기존 요청 결속 Vouch에 선택적 컴파일 VM 일치를, v1.8.17은 결정적 소스 포매팅과 에디터 연동을, v1.8.18은 정확히 설치한 Topaz 5.11 VM의 명시적 바이트코드 실행과 Rust/Topaz 비교를, v1.8.19는 전체 프로필 네이티브 Lispex-to-Topaz AOT 경로를, v1.8.20은 네 명시적 경로를 하나의 비권한 법정에 모으는 기능을 추가했습니다.
- v1.9.0은 언어 프로필이나 기본 Rust tree 경로를 바꾸지 않고 그 v1.8.x 전체를 하나의 휴대 실행 제품으로 공개합니다.
- 언어, 패키지, 아티팩트 계약 버전은 서로 관련되지만 항상 함께 올라가지는 않습니다.
- 평가 동작은 런타임 프로필이 소유하고 이름 붙은 CSK·Vouch 계약은 각 아티팩트 스키마를 소유합니다. 패키지 번호가 같다는 사실만으로 아티팩트 호환성이 성립하지는 않습니다.
의미 있는 v1 마일스톤
| 버전 | 주요 변경 | 경계 |
|---|---|---|
| v1.9.0 | 입문 학습 체계, LIL 205/205 수렴, 정규 Core IR, 검증 바이트코드와 Rust VM, 요청 결속 compiled Vouch, 소스 포매팅, 명시적 exact Topaz VM/AOT와 네 경로 법정을 하나의 일관된 제품으로 공개 | lispex-profile-1.5, Rust tree 레퍼런스·기본값, 경로별 지원·자원 차이, fallback 0, typed Vouch 비승격을 유지. 전체 프로필 증명이나 독립 증인을 주장하지 않고 F7 기본값을 바꾸거나 npm·브라우저·플레이그라운드에 컴파일 경로를 꾸며내지 않음 |
| v1.8.20 | 한 소스·입력 프런트엔드 유도, 정확히 일치하는 AOT 승인, tree/Rust VM/Topaz VM/AOT 명시적 실행, 의미·비교 가능 자원 불일치 축을 가진 덮어쓰지 않는 lispex.route-comparison/v1 영수증을 제공하는 네이티브 compare-routes를 추가. AOT primitive 호출 비용과 구조화 자원 fault를 수리하고, 정확한 strip·서명 도구 identity를 기록하며 Topaz artifact를 다시 결속해 macOS 실행 파일을 결정적으로 최종화 | 각 경로와 기본값을 독립적으로 보존하고 tree에 없는 계수와 실제 자원 진단 차이를 숨겨 맞추지 않으며 재시도하지 않음. 새 백엔드 계열·동등성·Vouch evidence·gate 권한을 만들지 않음. npm은 명령을 명시적으로 거부하고 공개 WASM·브라우저·플레이그라운드는 대체 기능을 제공하지 않음 |
| v1.8.19 | macOS ARM64 네이티브에 전체 프로필 Lispex-to-Topaz AOT를 추가. 결정적이고 읽을 수 있는 Topaz·source map, 정확히 설치한 Topaz/Rust 빌드 도구 승인, 소스 없는 엄격한 제품의 build·inspect·validate·run, 정규 전체 폭 u64 자원·진단·경고·눈에 보이는 폴백 0 다섯 개를 제공 | lispex-profile-1.5, Rust tree·VM 복구 경로, 별도 Topaz VM, npm/WASM/브라우저/플레이그라운드 동작과 모든 Vouch typed 권한 경계를 보존. 정확성 우선 AOT 제품은 검사 가능한 실행 재료일 뿐 계보 간 영수증·동등성 증명·제작자 신뢰·gate 입력이 아님 |
| v1.8.18 | macOS ARM64 네이티브에 정확히 설치한 Topaz 5.11 lispex-topaz-vm/v1 제품을 쓰는 명시적 bytecode run --engine topaz --topaz-vm 경로와 하나의 검증 바이트코드를 비교하는 compare-vms 영수증을 추가하고, 최적화 네이티브 빌드에서도 Core IR·바이트코드 컴파일 동작을 빠짐없이 유지 | 기본 엔진은 Rust. 제품·요청·결과·바이트코드/입력 식별자·정규 전체 폭 u64 자원·폴백 0을 엄격히 결속하며 실패해도 다른 엔진을 다시 시도하지 않음. Topaz 전송과 비교는 진단 전용으로 Vouch에 들어가거나 권한을 만들 수 없고 독립적인 전체 언어 동등성을 증명하지 않음. npm·공개 WASM·플레이그라운드·다른 타깃·AOT에는 Topaz VM 경로가 없음 |
| v1.8.17 | 주석·프라그마·토큰·원래 리터럴 철자를 보존하는 결정적 네이티브 lispex fmt, 조용한 --check, 안전한 --write, VS Code/Open VSX 문서 포매팅 연동을 추가 | 출력·교체 전에 검증하고 공백만 바꾸며 실행, lispex-profile-1.5 변경, 리터럴 값 정규화, 근거 생성, npm/WASM/플레이그라운드 fallback은 없음. 마켓플레이스 게시와 프로덕션 릴리스는 각각 별도 승인이 필요한 작업 |
| v1.8.16 | 정규 lispex.vouch-compiled-artifact/v1, 네이티브 vouch compiled build·inspect·validate, 선택적 vouch verify --reexecute --compiled-artifact, 정확한 소스 재유도와 현재 tree/Meaning·검증 Rust VM 실행 기록 일치를 모두 요구하는 컴파일 로컬 gate를 추가 | 소비자가 정확한 소스·입력을 계속 제공하고 인증과 현재 tree/Meaning 일치가 선행되며 fallback은 없음. 일반 바이트코드·컨테이너·해시·보고서·VM 출력·compiler 출처는 근거나 권한을 만들 수 없음. VM은 같은 Rust 계보이지 독립 증인이 아니며 npm·공개 WASM·플레이그라운드는 컴파일 Vouch 표면을 제공하지 않음 |
| 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은 fallback하지 않음. tree와 VM은 Rust 값과 primitive leaf를 공유하므로 비교는 독립 백엔드나 증명이 아니라 같은 계보의 근거. npm·공개 WASM·플레이그라운드는 bytecode/VM 표면이 없고, bytecode·verifier 출력·VM 결과·비교 보고서는 Vouch 권한 체인에 들어가거나 grant할 수 없음 |
| v1.8.14 | 안정적인 primitive 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를 대체하거나 출처를 인증하거나 요청을 결속하거나 독립 합의를 증명하거나 Vouch 권한을 만들지 않으며 npm·공개 WASM·플레이그라운드는 Core IR reader나 명령 표면을 제공하지 않음 |
| v1.8.13 | %·list-first·list-rest를 정확한 W330/W331 호환 경고와 함께 LIL에 구현해 현재 capability 지원을 202/205에서 205/205로 확장 | 실제 deprecated primitive가 실행될 때만 경고하며, 최초 발생 순서를 지키고 소스 호출 위치마다 한 번으로 중복을 제거하고, 뒤의 위임 연산이 실패해도 남고, stdout·값·오류 진단과 분리. capability 전체 지원은 전체 언어 동등성 주장, Rust 의미·LIT 변경, 역사 영수증 재작성, Vouch 권한 변경, 프로덕션 릴리스 권한을 뜻하지 않음 |
| v1.8.12 | display·write·newline·println을 한도가 있는 private effect sink로 LIL에 구현해 현재 지원을 198/205에서 202/205로 확장 | 명시적 출력과 최상위 자동출력은 정확한 stdout 순서를 유지하고 완료된 최상위 값은 별도 typed 투영으로 보존. 렌더링·0개 값 반환·부분 출력·arity는 호스트 stdout이나 Rust fallback 없이 현재 프로필과 일치. 경고형 deprecated 별칭, Rust·언어 의미 변경, LIT 변경, 역사 영수증 재작성, Vouch 권한 변경, 프로덕션 릴리스 권한은 범위 밖 |
| v1.8.11 | 남은 컬렉션 고차 프로시저 12행을 명시적 게스트 머신 연속 프레임으로 LIL에 구현해 현재 지원을 186/205에서 198/205로, guest-calling 지원을 6/18에서 18/18로 확장 | 콜백 순서·엄격 불리언 단락 평가·단일값/버림값 문맥·문자열 문자 결과·벡터 스냅샷·오류·일회용 탈출은 호스트 콜백이나 Rust fallback 없이 LIL 안에 유지. 출력 행·deprecated 별칭, Rust·언어 의미 변경, LIT 변경, 역사 영수증 재작성, Vouch 권한 변경, 프로덕션 릴리스 권한은 범위 밖 |
| 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 변경, 역사 영수증 재작성, Vouch 권한 변경, 프로덕션 릴리스 권한은 범위 밖 |
| v1.8.9 | exactness를 보존하는 floor·ceiling·round·truncate, exact/inexact 변환, 정수 짝홀 판정을 기록된 수 호스트 커널로 지원하고 혼합 수 타워 min·max fold를 LIL 안에 구현해 현재 범위를 161/205에서 173/205로 확장 | round는 half-even이고 exact는 유한 이진 값을 복원하며 수 커널 계보는 계속 공개. %·정수 나눗셈군, Rust·언어 의미 변경, LIT 변경, 역사 영수증 재작성, Vouch 권한 변경, 프로덕션 릴리스 권한 없음 |
| v1.8.8 | 문자·문자열 대소문자 판정·변환·대소문자 무시 순서 18개를 명시적으로 기록한 LIL Unicode 호스트 커널로 지원해 현재 범위를 143/205에서 161/205로 확장 | 호스트 커널 계보는 계속 공개. 완전한 Unicode CaseFolding 승격, 로케일 정렬·정규화, 숨은 fallback, Rust·언어 의미 변경, LIT 변경, 역사 영수증 재작성, Vouch 권한 변경, 프로덕션 릴리스 권한 없음 |
| v1.8.7 | 목록 복사·조회·공유 꼬리 탐색, 결정적 목록·문자열 생성, 문자 단위 문자열·벡터 변환을 LIL 안에 구현해 현재 지원 범위를 135/205에서 143/205로 확장 | 경고가 필요한 deprecated 별칭, 새 호스트 위임·fallback, Rust·언어 의미 변경, LIT 변경, 역사 영수증 재작성, Vouch 권한 변경, 프로덕션 릴리스 권한 없음 |
| v1.8.6 | Unicode scalar·사전식 순서로 대소문자를 그대로 보는 문자·문자열 비교 chain을 LIL 안에 구현해 현재 지원 범위를 127/205에서 135/205로 확장 | 로케일 정렬·정규화·case folding, 새 호스트 위임·fallback, Rust·언어 의미 변경, LIT 변경, 역사 영수증 재작성, Vouch 권한 변경, 프로덕션 릴리스 권한 없음 |
| v1.8.5 | 유한 실수 tower 판정 세 개, 구조적 !=, memv, assoc, assq, assv를 LIL 안에 구현해 현재 지원 범위를 119/205에서 127/205로 확장 | 새 호스트 위임·fallback, Rust·언어 의미 변경, LIT 변경, 역사 영수증 재작성, Vouch 권한 변경, 프로덕션 릴리스 권한 없음 |
| v1.8.4 | abs, square, 부호·영 판정 세 개, boolean=?, symbol=?를 LIL 안에서 합성해 현재 지원 범위를 112/205에서 119/205로 확장 | 새 호스트 위임·fallback, Rust·언어 의미 변경, LIT 변경, 역사 영수증 재작성, Vouch 권한 변경, 프로덕션 릴리스 권한 없음 |
| v1.8.3 | Lispex로 작성한 LIL 커널 안에서 caar부터 cddddr까지 빠져 있던 합성 쌍 접근자 27개를 모두 구현해 현재 LIL 범위를 85/205에서 112/205로 확장 | 호스트 fallback, Rust·언어 의미 변경, LIT 변경, 역사 영수증 재작성, Vouch 권한 변경, 프로덕션 릴리스 권한 없음 |
| v1.8.2 | 현재 capability 205개 모두를 규범상 profile-required로 기록하고 호스트 전용·미래 프로필 결정을 따로 분류하며, 역사적 비교쌍 차이 179건 모두에 기계로 검사하는 주된 이유 하나를 부여 | 언어 의미론, Rust/LIL/LIT 지원 수, 역사 영수증 바이트, Vouch 권한, 이미지 동작, 프로덕션 릴리스 경계는 바뀌지 않으며 분류는 허용이나 수리를 뜻하지 않음 |
| v1.8.1 | Modern 문서를 4단계 입문 과정, 한눈에 보는 문법, 전역 번호가 붙은 10개 그룹과 실제 한국어·영어·러시아어 본문 53개로 재구성. 다운로드에는 정확한 버전 확인, 명령 복구, 공식 VS Code·Open VSX 안내를 추가 | 문서와 제품 안내만 변경. Classic은 바이트 단위로 보존되며 lispex-profile-1.5, Rust/LIL/LIT 역량, 이미지 형식, Vouch 스키마와 typed 권한은 그대로 유지 |
| v1.8.0 | 정확한 리스펙스 이미지를 네이티브·npm·Node/브라우저 WASM·로컬 플레이그라운드의 같은 Rust 제품으로 공개하고, 완전히 증명된 이미지가 기존 요청 결속 Vouch 흐름에 정확한 소스 바이트를 공급 | 이미지는 정확한 공개 소스 바이트와 무결성 결속을 보존할 뿐 기밀성·서명·출처·독립 증인·신뢰·신선도·요청 선택·결정 정당성·실행 권한을 제공하지 않음 |
| v1.7.3 | 완전 증명된 리스펙스 이미지가 네이티브 Vouch identity·policy·발행·검사·인증·재실행·gate와 npm identity·policy·인증 verify에 정확한 소스 바이트를 공급. 유지되는 refund-window 흐름도 이미지 입력을 끝까지 사용 | 이미지는 소스 표현만 선택. 소비자 소유 source/input 결속과 기존 typed 권한 사슬은 계속 필수이며 PNG/ZIP·검사 JSON·bundle·보고서는 권한을 만들 수 없음 |
| v1.7.2 | 하나의 Rust 이미지 코어를 npm CLI·Node/브라우저 WASM으로 확장하고 플레이그라운드에 완전 로컬 만들기·열기, 증명된 페이지 이동, 정확한 복원, 다운로드, 별도 명시적 실행 흐름을 제공. 모든 표면의 단일·다중 페이지 바이트가 고정 C1 골든과 일치 | 같은 코어의 바이트 패리티는 배포 패리티이지 독립 증인이 아님. 로컬 미리보기·검사 JSON·복원 소스·다운로드는 Vouch evidence나 권한이 아님 |
| v1.7.1 | 네이티브에 정규 리스펙스 이미지를 도입: 정확한 소스의 PNG/ZIP 인코딩, 공개 결속값 검사, 바이트 단위 복원, 전체 정규성 증명 뒤 명시적 실행 | 이미지 정규성은 무결성일 뿐 기밀성, 서명, 출처, 신뢰, 요청 결속, Vouch evidence, 실행 권한이 아님. npm, 공개 WASM, 플레이그라운드는 아직 이미지 작업을 제공하지 않음 |
| v1.7.0 | Request-Bound Vouch를 소비자 소유 흐름 하나로 공개: exact identity 산출, policy 생성·검사, bundle 발행, 네이티브 또는 npm에서 선택적 외부 source/input 요청과 대조해 인증한 뒤 네이티브에서만 그 살아 있는 요청을 재실행·gate | unpinned bundle 검증은 인증 전용으로 유지. 요청 동일성은 신선도, replay 방지, 신원, 출처, policy 정당성 또는 외부 행위 권한이 아님 |
| v1.6.4 | 검증 전용 npm Vouch WASM을 깨끗하거나 변경 중이거나 다른 경로로 옮긴 소스 checkout에서도 추적된 동일 바이트로 다시 만들고 독립 export 표면 감사를 깨끗한 checkout에서도 실행 가능하게 함 | 고정된 비증명 build placeholder와 가상 소스 경로는 Git 출처가 아니며 네이티브·브라우저 WASM·다른 플랫폼의 재현 가능 빌드 주장도 아님 |
| v1.6.3 | 네이티브 bundle 재실행·gate가 일치하는 외부 source/input을 요구하고 살아 있는 request-bound evidence만 재실행에서 grant까지 전달. 다국어 문서 갱신으로 /v1.6 공개 마이너 경로, 다운로드, 번호형 현재·Classic 메뉴, 정렬된 문서 폭, 간결한 브라우저 제목, 반응형 균형 줄바꿈, 한국어 리스펙스 워드마크와 랜딩 표지·폼/데이터 표제·결과·하단 탐색·메뉴 카테고리를 아우르는 읽기 쉬운 로케일별 표제 체계를 추가 | unpinned bundle verify는 인증 전용으로 유지. 요청 동일성은 신선도·의도·외부 행위 권한이 아님 |
| v1.6.2 | 네이티브/npm pinned bundle verify가 먼저 인증한 뒤 별도로 제공한 exact source/input 바이트를 비교 | 정확한 요청 동일성은 신선도, replay 방지, 사람 의도 또는 외부 행위 권한이 아님 |
| v1.6.1 | 네이티브/npm vouch key-id, engine-id, input-id가 source-id와 함께 공유 Rust 공개 identity 산출을 완성 | identity는 출처, trust, 입력 검증, 인증, evidence 또는 실행 권한이 아님 |
| v1.6.0 | 이식 bundle v0, 키별 exact-source policy v1, 공유 Rust source-id·policy 도구, raw/bundle 인증을 소비자 소유 Vouch 흐름 하나로 집약 | 의미 프로필과 artifact schema는 동결 유지. 발행·재실행·gate는 네이티브만 수행 |
| v1.5.8 | 네이티브/npm vouch policy create/check가 공유 Rust로 정규 소비자 trust policy v1을 구성·검사 | 유효한 설정은 trust 선택, 인증, evidence, 재실행, 결정 grant 또는 외부 권한이 아님 |
| v1.5.7 | 네이티브/npm vouch source-id --source가 공유 Rust 코어로 한정된 정확한 바이트의 source identity를 산출 | 산출은 소스 승인, policy 생성, artifact 신뢰, 인증 또는 evidence가 아님 |
| v1.5.6 | trust policy v1이 선택된 키에서 정확한 source identity를 허용하지 않으면 완전히 유효하게 서명된 규칙도 거부 | v0는 소스 제약 없이 유지. input/request 승인, 신선도, replay 방지, 전송 가능한 권한은 아님 |
| v1.5.5 | 한정 정규 envelope/source/input bundle, 네이티브 발행·소비, npm 인증 전용 소비 | trust/profile/decision은 외부 유지. WASM과 플레이그라운드는 Vouch 인증을 노출하지 않음 |
| v1.5.4 | npm vouch verify가 공유 Rust 코어의 검증 전용 빌드로 서명 Native 봉투와 정확한 source/input/profile을 인증하고 네이티브 v0 보고서 바이트와 C-VN-06 결과를 동일하게 냄 | 독립 증인이 아닌 같은 코어 패키징 일치. npm은 발행·재실행·gate·살아 있는 evidence 노출·직렬화 보고서 승격을 할 수 없고 공개 WASM과 플레이그라운드는 인증을 export하지 않음 |
| v1.5.3 | 네이티브 vouch gate --require-decision은 로컬 grant를 반환하기 전에 인증과 현재 완전 transcript 일치와 정확한 결정 일치를 요구 | 네이티브 전용 로컬 프로세스 결과. 직렬화 보고서, Bridge, 인증-only evidence는 grant할 수 없으며 신선도, replay 방지, 신원, 정책 정당성, 배포, 외부 행위 승인 주장은 없음 |
| v1.5.2 | namespaced Vouch 흐름, 유지되는 환불 기간 흐름, LIL 85/205 capability 경계, 인증과 현재 실행 일치를 분리한 네이티브 vouch verify --reexecute | 재실행은 네이티브 전용의 같은 Rust 계보 관측이며 과거 실행, 신선도, 독립 증인, 승인, 정책 정당성, 전체 언어 동등성 주장은 없음 |
| v1.5.1 | 네이티브 바우치 발행: 발행 조건을 충족한 검사 결정은 DSSE 봉투로 직접 구성하고 서명한 뒤 소비자가 제공한 신뢰 정책으로 인증 가능 | 네이티브 릴리스 바이너리 전용. 유효한 서명은 정확히 검사된 바이트에 키가 허가됐음을 세우지만 사람 신원과 시각과 정직한 배포와 정책 정당성과 더 넓은 의미적 동등성은 증명하지 않음 |
| v1.5.0 | 한정 LIL과 LIT 실행선과 84/205 capability 원장과 세 구현 계보 공동 영수증과 네이티브 npm WASM 플레이그라운드 통합 배포 | 144사례 가운데 59사례에서 세 구현 계보가 모두 일치하고 쌍 차이 179건은 공개 상태로 남음. 전체 언어 주장과 LIT 소스 독립성 주장은 없음 |
| v1.4.0 | 런타임과 배포 갱신으로 검사 평가기의 apply와 다중 값 경로와 한정 영수증 fuel과 네이티브 npm WASM 플레이그라운드 정렬과 고정 네이티브 다운로드를 추가 | 이전 공개 릴리스이며 네이티브와 WASM은 여전히 같은 Rust 계보 |
| v1.3.11 | Bridge 읽기 측 정규 수용, 닫힌 세계 중첩 검사, 연결 아티팩트·선택 컨텍스트 검사 | 네이티브 정규 리더 강화는 보류 |
| v1.3.10 | 적대적 아티팩트 클래스 검사와 명시적 진위 비목표 | 서명, 발행자 결합, 타임스탬프, 부인 방지 없음 |
| v1.3.9 | 12사례 복지형 replay 평가 코퍼스 | 법률·정책 모델이 아닌 작업 예제 아티팩트 |
| v1.3.8 | Vouch Bridge 보고서 형태, 오프라인 검사기, 외부 엔진 예제 | 검사기는 외부 엔진을 실행하거나 증명하지 않음 |
| v1.3.1-v1.3.7 | 실사용 Vouch 순환 완성: 네이티브 영수증 생성, 릴리스 빌드 엔진 동일성, 오프라인 verify, 버전 replay 코퍼스, 명시적 진위 경계 | Vouch는 선언된 실행과 바이트 결합을 기록하며 서명·발행자 신뢰를 추가하지 않음 |
| v1.3.0 | 검사 프로필 결정 영수증, 오프라인 verify, replay, 릴리스 게이트 | 한정 검사 프로필이며 전체 언어 정당성 주장이 아님 |
| v1.2.15-v1.2.19 | 외부 Scheme oracle 원장, 저작 의미 벡터, 엄격한 아티팩트 리더, 변조 fixture, mutation drill | 강화와 측정 증거이며 완전한 Scheme 호환성 증명이 아님 |
| v1.2.14 | 검색, 반올림, any/all 순회, 엄격 fault, 더 명확한 replay 사용성으로 검사 결정 프로필·갤러리 확장 | 전체 Lispex 언어 표면이 아닌 프로필 실행 |
| 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.0 | 첫 통합 v1 태그; 복구 가능한 raise, guard, with-exception-handler 의미론과 네이티브·Node/WASM·플레이그라운드·다운로드 경로 제공 | 복구 핸들러는 호스트 예외가 아니라 고정된 Lispex 제어 모델을 사용 |
| 초기 v1 구현선 (2026-06-28/29) | 결정적 리더, 위생 정규화기, 트램펄린 평가기, 정확 정수·유리수와 유한 실수 프로필, 고정 렌더링, 일회 위쪽 call/cc, dynamic-wind, 다중 값, proper-tail apply, 폭넓은 R7RS형 절차, WASM, 플레이그라운드 | v1.0·v1.1 릴리스가 아니며 이후 v1.2로 통합된 날짜 확인 구현 커밋 |
흔한 오해
레포에는 v1.0 또는 v1.1 릴리스 태그가 없습니다. 따라서 “초기 v1 구현선”은 날짜가 확인되는 구현 마일스톤이지 임의로 만든 릴리스가 아닙니다.
현재 경계
- 백엔드 주장은 이름 붙은 capability 행과 호스트 경로와 코퍼스와 영수증에 한정됩니다.
- 문구만 바꾼 편집, CI 잡무, 해시 갱신, 검토 절차, 릴리스 리허설은 사용자 기능이나 실질적 검증 경계를 바꾸지 않았다면 연대기에서 제외합니다.
- 과거 영수증·Bridge 변경은 릴리스가 명시하지 않는 한 새 언어 의미론을 뜻하지 않습니다.
다음으로
실용적인 입구는 소개에서, 릴리스별 정확한 기록은 히스토리에서 이어집니다.