144사례 Rust/LIL/LIT 영수증과 11,088사례 같은 Rust 계보 캠페인은 명시적 인벤토리와 출처를 가진 별도 측정 표면입니다.
현재 보장
- 문서 코퍼스와 타깃 런타임 테스트는 이름 붙은 예제와 음성 진단을 검사합니다.
- 통합 분모는 차등 38, 적합성 61, 경고 7, 자원 6, 한정 생성 32로 구성된 정확히 144사례입니다.
- 영수증은 정확한 인벤토리, 실행기, 관측, 재생, 차이 공개, 출처, 아티팩트 동일성, 위임, capability, 한도를 기록합니다.
- 별도 확장 캠페인은 같은 Rust 계보의 네이티브와 WASM 경로에서 생성 사례 11,088개를 저장하며 자연 발생 차이와 인프라 실패가 모두 0건입니다.
- 합성 drift와 mutation control은 검사기가 선택된 실패 클래스를 탐지함을 보여줍니다.
측정 증거선
| 표면 | 인벤토리 | 가장 강한 정직한 해석 |
|---|---|---|
| 문서 적합성 | 결과 주석 122개와 진단·TCO·제어 사례 | 이름 붙은 예제가 레퍼런스 인터프리터와 일치 |
| 통합 백엔드 분모 | 차등 38 + 적합성 61 + 경고 7 + 자원 6 + 생성 한정 32 = 144사례 | LIL·LIT admission·N-way 행렬에 재사용한 하나의 정확한 인벤토리; 생성 시드 550633217 |
| LIL 호스팅 백엔드 | 현재 계약은 primitive capability 85/205행과 guest-calling 6/18행이며 144사례 공개 영수증은 이전 84행 경계를 기록 | 공개 영수증에서 Rust/LIL은 61사례 일치하고 83사례 다르며 미지원 행은 명시적으로 실패 |
| LIT 옮김 인터프리터 | primitive capability 84/205행과 guest-calling 6/18행을 지원하며 144사례 영수증에 LIT 제품 경로 하나를 기록 | Rust/LIT은 65사례 일치하고 79사례 다르며 소스 독립성 주장은 없음 |
| LIT 4호스트 봉인 | 하나의 정본 소스에서 나온 Topaz 인터프리터와 생성 Rust와 생성 Python과 Web 경로 | 내부 Topaz 5.7.0 증거가 정확한 버전 검사 표면을 닫으며 네 경로는 호스트 변형이지 네 구현이 아님 |
| 세 구현 계보 공동 영수증 | 144사례와 설치 백엔드 실행 432회와 구현 계보 쌍 비교 432건 | 전체 구현 계보 일치 59사례와 차이를 하나 이상 포함한 85사례를 기록하며 쌍 일치 253건과 쌍 차이 179건을 명시 |
| 같은 계보 확장 캠페인 | 네이티브와 WASM Rust 경로의 저장 생성 사례 11,088개 | 해당 인벤토리에서 자연 발생 차이와 인프라 실패가 모두 0건이며 Rust/LIL/LIT 캠페인은 아님 |
경계
- 불일치 0건은 저장되거나 실행된 해당 인벤토리에만 한정됩니다.
- 11,088사례 무차이 캠페인은 Rust/LIL/LIT 공동 영수증이 아니며 구현 독립성이나 전체 언어 동등성을 세우지 않습니다.