결정성은 이름 붙은 런타임 프로필의 선언된 관측을 다루며 자원 상한은 무제한 실행 약속이 아니라 그 프로필의 일부입니다.
현재 보장
- 관측 축은 stdout 바이트, 진단 바이트, 종료 상태, 경고 순서, 자원 보고, 값 투영, 해당 시 아티팩트·출처 동일성입니다.
- 네이티브와 WASM은 서로 다른 한도 핀을 가지면서도 프로필별 자원 결과를 깨끗하게 보고할 수 있습니다.
- 재생은 바이트 비교 전에 소스, 실행기 동일성, 한도, 관측 투영을 고정합니다.
경계
- wall-clock timeout만으로는 의미론적 자원 보고가 아닙니다.
- 한정 캠페인의 일치는 전체 언어 동등성이나 불일치 부재의 증명이 아닙니다.