Вот такое определение гарантированной доставки есть "Передающий компьютер всегда «знает», была ли доставлены данные получателю или нет. Это обеспечивается тем, что принимающий компьютер подтверждает успешный прием данных.".
Если исходить из этого определения, то:
синхронный рест обеспечивает гарантированную доставку (ты получишь или ошибку или таймаут или успешный ответ);
чистый асинхрон без обратных подтверждающих сообщений не обеспечивает гарантированную доставку.
Другое дело, что на практике можно построить асинхронную систему где вероятность недоставки будет очень низкая.
Плюс нужно учитывать фактор времени, надо просто доставить хоть когда-нибудь, или надо доставить за определенное время.