언제 필요한가요?
실행을 비교하거나 재생하거나 감사해야 할 때 이 계약을 쓰세요. 소스 바이트와 실행기 동일성, 자원 프로필, 관측 채널에 모두 이름을 붙이기 전까지는 “같은 입력”이라는 말만으로 부족합니다.
예제 읽기
결정적 실행은 모든 프로그램이 끝난다는 약속이 아닙니다. 선언한 실행이 고정된 관측을 내놓거나, 그 자원 프로필 아래에서 깨끗하고 이름 있는 실패에 도달한다는 약속입니다. 벽시계 시간은 운영 관측일 뿐 게스트 의미 값이 아닙니다.
이 순서로 생각하세요
- 관측 축은 stdout 바이트와 진단 바이트, 종료 상태, 경고 순서, 자원 보고, 값 투영이며, 해당하는 경우 아티팩트·출처 동일성까지 포함합니다.
- 네이티브와 WASM은 한도 핀이 서로 다를 수 있습니다. 그러면서도 프로필별 자원 결과는 깨끗하게 보고할 수 있습니다.
- 재생은 바이트를 비교하기 전에 소스와 실행기 동일성, 한도, 관측 투영을 먼저 고정합니다.
빠르게 고르기
| 비교 전에 고정할 것 | 중요한 이유 | 관측 예 |
|---|---|---|
| 소스·입력 바이트 | 텍스트 정규화도 동일성을 바꿈 | 값 또는 진단 바이트 |
| 실행기·프로필 | 한도와 지원 표면을 이름 붙임 | 종료 상태와 자원 보고 |
| 관측 투영 | 관측하지 않은 호스트 세부는 주장 밖 | stdout과 경고 순서 |
| 코퍼스·기준선 | 결과가 시험 집합을 고르면 안 됨 | 일치·불일치·비교 불가 |
| 필요한 아티팩트 동일성 | 증거가 무엇을 검사했는지 밝혀야 함 | 영수증 또는 엔진 다이제스트 |
흔한 오해
wall-clock timeout 하나만으로는 의미론적 자원 보고가 되지 않습니다.
현재 경계
- 한정된 캠페인에서 결과가 일치했다고 해서 전체 언어가 동등하다거나 불일치가 없다는 증명이 되지는 않습니다.
다음으로
출처를 표시한 실행기는 런타임 백엔드에서 설명합니다. 유지되는 비교가 정확히 어디까지인지는 검사 표면에서 확인하세요.