Объяснение
Actor изолирует изменяемое состояние. await может приостановить метод и допустить другое сообщение actor. Поэтому инвариант, проверенный до await, может потребовать повторной проверки после него.
Задача для самостоятельного решения
Можно ли считать баланс неизменным между проверкой и await сети?
Показать разбор ответа
Нет: actor reentrancy позволяет другим задачам изменить состояние. Резервируйте средства до ожидания либо повторно проверяйте условия при фиксации.