The fact that there is a fork is a inconsistency per se. The log must be a linear chain of blocks, that's enforced by the protocol. If there's a fork, eventuall

The fact that there is a fork is a inconsistency per se. The log must be a linear chain of blocks, that's enforced by the protocol. If there's a fork, eventually all the diverging subchains but one (the longest) will disappear.