Я не понимаю, к чему аргумент. Описанный тобой функционал (отложенная синхронизация получения и отправления писем) не транзакционен по сути, и его реализация не требует и не использует транзакций. О чём мы спорим вообще?

Ты мне приведи пример задачи, требующей транзакций, но которую нельзя было бы реализовать на достаточно большой распределённой системе. Это могло бы быть подтверждением твоей идеи будто бы транзакционная целостность не всегда достижима.