Детерминизм охватывает объявленные наблюдения именованного профиля runtime; пределы ресурсов являются частью профиля, а не обещанием неограниченного выполнения.
Текущие гарантии
- Наблюдаемые оси: байты stdout, байты диагностики, статус выхода, порядок предупреждений, отчёт ресурсов, проекция значения и при необходимости идентичность артефакта/происхождения.
- Native и WASM могут иметь разные пределы и при этом чисто сообщать профильные ресурсные результаты.
- Повтор закрепляет источник, идентичность runner, пределы и проекцию наблюдения до сравнения байтов.
Границы
- Один лишь wall-clock timeout не является семантическим отчётом ресурсов.
- Совпадение в ограниченной кампании не является эквивалентностью всего языка или доказательством отсутствия расхождений.