이 페이지는 v1.13을 설명합니다. 현재 매뉴얼인지 여부는 여기에서 확인하세요: /version.json
언제 필요한가요?
실행을 비교하거나 재생하거나 감사해야 할 때 이 계약을 쓰세요. 소스 바이트와 실행기 동일성, 자원 프로필, 관측 채널에 모두 이름을 붙이기 전까지는 “같은 입력”이라는 말만으로 부족합니다.
예제 읽기
결정적 실행은 모든 프로그램이 끝난다는 약속이 아닙니다. 현재 경로에는 입력·출력·transition·control 한도가 있지만, 모든 순회와 큰 정수 연산, 할당, 렌더링, 진단을 계량하지는 않습니다. 따라서 적대적인 무한 반복이나 할당이 많은 규칙은 현재 의미 한도의 바깥에서 계속 실행될 수 있습니다. 벽시계 시간은 운영 관측일 뿐 게스트 의미 값이 아닙니다.
이 순서로 생각하세요
- 관측 축은 stdout 바이트와 진단 바이트, 종료 상태, 경고 순서, 자원 보고, 값 투영이며, 해당하는 경우 아티팩트·출처 동일성까지 포함합니다.
- 네이티브와 WASM은 한도 핀이 서로 다를 수 있습니다. 그러면서도 프로필별 자원 결과는 깨끗하게 보고할 수 있습니다.
- 재생은 바이트를 비교하기 전에 소스와 실행기 동일성, 한도, 관측 투영을 먼저 고정합니다.
빠르게 고르기
| 비교 전에 고정할 것 | 중요한 이유 | 관측 예 |
|---|---|---|
| 소스·입력 바이트 | 텍스트 정규화도 동일성을 바꿈 | 값 또는 진단 바이트 |
| 실행기·프로필 | 한도와 지원 표면을 이름 붙임 | 종료 상태와 자원 보고 |
| 관측 투영 | 관측하지 않은 호스트 세부는 주장 밖 | stdout과 경고 순서 |
| 코퍼스·기준선 | 결과가 시험 집합을 고르면 안 됨 | 일치·불일치·비교 불가 |
| 필요한 아티팩트 동일성 | 증거가 무엇을 검사했는지 밝혀야 함 | 영수증 또는 엔진 다이제스트 |
흔한 오해
wall-clock timeout 하나만으로는 의미론적 자원 보고가 되지 않습니다.
현재 경계
- 한정된 캠페인에서 결과가 일치했다고 해서 전체 언어가 동등하다거나 불일치가 없다는 증명이 되지는 않습니다.
- 현재 트리와 VM 경로는 신뢰하는 규칙 소스를 전제로 합니다. 적대적 소스용 sandbox가 아니며, 전체 작업량이나 전체 논리적 할당량을 결정적으로 재는 meter가 없습니다.
- 시간 초과, worker 강제 종료, host OOM, panic, trap은 운영 중단 또는 엔진 결함입니다. 결정이나 portable receipt를 만들지 않습니다.
다음으로
출처를 표시한 실행기는 런타임 백엔드에서 설명합니다. 유지되는 비교가 정확히 어디까지인지는 검사 표면에서 확인하세요.