В простом виде не найти, но можно почитать пейпер рафта. Я попробую кратко объяснить так: поскольку кворум на коммит >= 50% + 1, и кворум на выборы такой же, то если был коммит на мастере, значит при перевыборах новым лидером гарантированно станет тот, на ком эта транзакция тоже есть. И он запишет на нее коммит сам. Это соблюдается, пока живо >= кворума инстансов. Выходит коммит даже при потере может восстановиться, если данные уже реплицированы.