Почему условие R + W > N само по себе не даёт линеаризуемости?

Условие пересечения означает лишь, что множества реплик, отвечающих на чтение и на запись, обязаны иметь общий узел, а значит читатель увидит хотя бы одну копию последней успешно подтверждённой записи. Этого недостаточно по нескольким причинам. Запись, прерванная на середине, могла попасть на часть реплик и не быть подтверждённой — последующие чтения могут её то видеть, то нет. Две конкурентные записи без согласования порядка приводят к тому, что разные читатели видят разный итог. Нестрогий кворум, когда во время разделения подтверждения принимают от произвольных доступных узлов, вообще снимает гарантию пересечения. Наконец, восстановление при чтении и антиэнтропия работают асинхронно, поэтому окно расхождения существует. Линеаризуемость требует согласованного порядка операций — то есть консенсуса вроде Raft или Paxos либо синхронной репликации через лидера, — а не арифметического условия на числа реплик.