В итоге в договор должен попасть список ключевых операций и критичных ошибок, формально определяющий пространство состояний системы.