Можно без проблем создавать атомы из асинхронных функций)
Вот этот странный STOP выполняет две функции: 1) указывает граф-волкеру что дальнейшнее распространение по этой ветке не должно происходить 2) позволяет отфильтровывать на уровне типов данные
По умолчанию транзакция - это синхронный вызов фьючи. Но крайне просто заэкстендить класс транзакции и сделать ее асинхронной, что бы она вызывала подписчиков или применяла роллбеки, даже по прошествию какого-то времени - работы. Это оч круто для описания оптимистик ui