"А" - жертвует. Нельзя записать в одну ноду и моментально достоверно прочитать из другой.
Можно спорить о том сколько подтверждений требует достоверность, но помещение в мемпул точно таковым считать нельзя. В ремя которое тратится на то чтобы домайнить текущий блок, сформировать следующий с "записаной" транзакцией и смайнить его и является этим компромисом.
ну почему же, в любой момент времени любая нода ответит тебе, какое, по ее мнению, сейчас состояние системы. то есть какой-то ответ всегда available, другой вопрос, что он может быть не consistent с другими