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