Результат проверки зависит не только от сценария. Версия объекта, состояние среды, исходные данные и способ наблюдения определяют, что именно было проверено и к каким условиям относится вывод.
Обязательные условия готовятся независимо и сходятся до выполнения операции. Если одного из них нет, фиксируется конкретный пробел; выполнение не изображается как состоявшаяся проверка.
Для асинхронных операций промежуточное подтверждение отделяется от конечного исхода. Результат сохраняется вместе с контекстом и ограничениями, а изменение значимых условий запускает проверку применимости прежнего вывода.
