현재 프로필은 의도적으로 전체 R7RS-small보다 작고 호스팅 백엔드는 LIL 85/205와 LIT 84/205라는 별도 명시 경계를 드러냅니다.
현재 보장
- 구현됨: 결정적 수치 탑, 어휘 변경, 올바른 꼬리 호출, 다중 값, 예외·guard, 일회 탈출 연속, 불변 집합과 변경 벡터, 명시 라이브러리.
- 보류: 다회 연속·재진입, 포트·일반 I/O, 초월함수, 변경 가능한 쌍·문자열·바이트벡터, 정확 Unicode folding, 사용자 매크로.
- LIL은 버전된 primitive capability 205행 가운데 85행을 구현하고 120행을 명시적으로 거부하며, LIT는 별도로 84행을 구현하고 121행을 거부합니다. 백엔드 admission이 언어 프로필을 넓히지는 않습니다.
- 미래 작업에는 명시적 의미론 결정과 스펙·구현·테스트·증거의 동시 갱신이 필요합니다.
- request-bound 권한 사슬은 Rust 205/205, LIL 85/205, LIT 84/205 또는 역사적 전체 계보 일치 59/144 경계를 넓히지 않습니다.
범위 원장
| 영역 | 현재 | 보류 |
|---|---|---|
| 제어 | 일회 위쪽 call/cc, dynamic-wind, 핸들러, guard | 다회 연속과 동적 재진입 |
| 수 | 정확 정수·유리수와 유한 실수; 정확 정수 지수·제곱근 | 복소수와 플랫폼 초월함수 |
| 변경 | 어휘 셀과 벡터 | 변경 쌍, 문자열, 바이트벡터 |
| 효과 | 정규 출력과 명시 호출 경계 | 포트, 파일, 네트워크, 시간, 난수 |
| 메타프로그래밍 | 내장 위생 파생 형식 정규화 | 사용자 매크로와 define-syntax |
| 백엔드 범위 | Rust 레퍼런스와 현재 LIL 85/205 및 LIT 84/205 경계이며 정확한 144사례 공개 공동 영수증은 이전 공통 84행 경계를 측정 | 범위 없는 전체 언어 동등성이나 LIT 소스 독립성이나 남은 LIL 120행 및 LIT 121행 |
| 공개 identity 도구 | 네이티브/npm key-id, engine-id, source-id, input-id가 공유 Rust로 기존 evidence·policy의 정확한 값을 산출 | 키·실행 파일 출처, trust, 입력 파싱·승인, 인증, evidence, 신선도, replay 통제 또는 실행 권한 |
| Policy 설정 | 네이티브/npm에서 검토한 Ed25519 SPKI·engine digest·정확한 소스 바이트로 공유 Rust 정규 policy v1 생성·검사 | 개인 키 처리, 자동 등록, artifact 파생 trust, policy 정당성, 인증, evidence, gate 권한 또는 브라우저 도구 |
| 소스 identity 산출 | 네이티브/npm 공유 Rust의 SHA-256("csk.v0.source" || 0x1f || 정확한 소스 바이트) | 일반 SHA-256, 정규화, 소스 승인, policy 생성, artifact 신뢰, 인증 또는 evidence |
| 소스 승인 | trust policy v1에서 선택된 키별 정확한 domain-separated 소스 바이트 allowlist | input/request 승인, 규칙 정당성, 신선도, replay 방지, 신원, 외부 행위 권한 |
| 이식 입력 운반 | 16 MiB 정규 envelope/source/input bundle 하나. raw fallback 유지 | 언어 분모, LIL/LIT 행, 공개 영수증, 신선도, replay 방지, 권한 |
경계
- 보류 기능을 다른 Scheme 구현에서 추론하면 안 됩니다.