Determinism covers declared observations under a named runtime profile; resource ceilings are part of that profile rather than an unbounded execution promise.
Current guarantees
- Observed axes are stdout bytes, diagnostic bytes, exit status, warning order, resource report, value projection, and artifact/provenance identity where applicable.
- Native and WASM can have different limit pins while still reporting clean profile-specific resource outcomes.
- Replay fixes source, runner identity, limits, and observation projection before comparing bytes.
Boundaries
- Wall-clock timeout alone is not a semantic resource report.
- Agreement on a bounded campaign is not whole-language equivalence or proof of no divergence.