이 순서로 생각하세요
- 문서 코퍼스와 타깃 런타임 테스트는 이름 붙은 예제와 음성 진단을 검사합니다.
- 통합 분모는 차등 38, 적합성 61, 경고 7, 자원 6, 한정 생성 32로 구성된 정확히 144사례입니다.
- 영수증은 정확한 인벤토리, 실행기, 관측, 재생, 차이 공개, 출처, 아티팩트 동일성, 위임, capability, 한도를 기록합니다.
- 별도 확장 캠페인은 같은 Rust 계보의 네이티브와 WASM 경로에서 생성 사례 11,088개를 저장하며 자연 발생 차이와 인프라 실패가 모두 0건입니다.
- 집중 Rust 엔진 법정은 tree와 검증된 바이트코드 VM의 outcome을 비교하고 primitive dispatch 205행 전체와 금지 fallback 0을 검사합니다. 역사적 세 계보 영수증과는 별도입니다.
- 합성 drift와 mutation control은 검사기가 선택된 실패 클래스를 탐지함을 보여줍니다.
적합성 법정은 여러 층으로 구성됩니다
- 작성한 예제는 한 번에 한 가지 동작을 고정합니다.
- 생성 사례는 더 넓은 유효·의도적 오류 공간을 탐색합니다.
- mutation control은 선택한 계약 훼손이 실제로 거부됨을 확인합니다.
- 자원 사례는 한정 종료도 관측 결과로 남깁니다.
- 진단 사례는 오류 코드·메시지·위치·바이트와 경고 순서를 비교합니다.
- 차등 실행은 같은 사례를 승인된 구현 계열에서 비교합니다.
어느 한 층도 나머지를 대신하지 않습니다. 새 비교쌍 차이는 먼저
unclassified가 되며, 관측과 주된 이유가 기록될 때까지 법정은 fail-closed로
멈춥니다.
측정 증거선
| 표면 | 인벤토리 | 가장 강한 정직한 해석 |
|---|---|---|
| 문서 적합성 | 결과 주석 122개와 진단·TCO·제어 사례 | 이름 붙은 예제가 레퍼런스 인터프리터와 일치 |
| 통합 백엔드 분모 | 차등 38 + 적합성 61 + 경고 7 + 자원 6 + 생성 한정 32 = 144사례 | LIL·LIT admission·N-way 행렬에 재사용한 하나의 정확한 인벤토리; 생성 시드 550633217 |
| LIL 호스팅 백엔드 | 현재 계약은 primitive capability 205/205행과 guest-calling 18/18행이며 144사례 공개 영수증은 이전 84행 경계를 기록 | 기존 수렴·정확 정수·고차 콜백·출력에 더해 경고형 별칭 성공 4개와 실패 3개 관측으로 순서·호출 위치 중복 제거·shadowing·오류 전 경고·채널 분리·금지 fallback 0을 집중 검사했으며 역사 영수증은 그대로 유지 |
| LIT 옮김 인터프리터 | primitive capability 84/205행과 guest-calling 6/18행을 지원하며 144사례 영수증에 LIT 제품 경로 하나를 기록 | Rust/LIT은 65사례 일치하고 79사례 다르며 소스 독립성 주장은 없음 |
| LIT 4호스트 봉인 | 하나의 정본 소스에서 나온 Topaz 인터프리터와 생성 Rust와 생성 Python과 Web 경로 | 내부 증거가 정확한 버전 검사 표면을 닫으며 네 경로는 호스트 변형이지 네 구현이 아님 |
| 세 구현 계보 공동 영수증 | 144사례와 설치 백엔드 실행 432회와 구현 계보 쌍 비교 432건 | 전체 구현 계보 일치 59사례와 차이를 하나 이상 포함한 85사례를 기록하며 쌍 일치 253건과 쌍 차이 179건을 명시 |
| 같은 계보 확장 캠페인 | 네이티브와 WASM Rust 경로의 저장 생성 사례 11,088개 | 해당 인벤토리에서 자연 발생 차이와 인프라 실패가 모두 0건이며 Rust/LIL/LIT 캠페인은 아님 |
| Rust tree/VM 법정 | 집중 의미·제어 프로그램, primitive dispatch 205행, malformed bytecode 음성 사례, 정확한 소스·Core IR·바이트코드 식별자, fallback 0 계측 | 유지 표면에서 명시적 VM 관측이 tree와 일치한다는 같은 Rust 계보 근거. 독립 증인·Vouch 영수증·전체 프로필 증명은 아님 |
흔한 오해
불일치 0건은 저장되거나 실행된 해당 인벤토리에만 한정됩니다.
현재 경계
- 11,088사례 무차이 캠페인은 Rust/LIL/LIT 공동 영수증이 아니며 구현 독립성이나 전체 언어 동등성을 세우지 않습니다.
- LIL 집중 검사들은 현재 LIL 지원 범위만 바꿉니다. 역사적 144사례 영수증을 다시 계산하거나 그 주장을 넓히지 않습니다.
- Rust tree/VM 비교 보고서는 진단 자료이며 백엔드 분모나 실행 권한에 들어가지 않습니다.
다음으로
코드를 작성할 때 이 페이지를 곁에 두세요. 안내식 설명이 필요하면 문법 지도나 관련 매뉴얼로 돌아가면 됩니다.