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