Re: Assumptions required for Bitcoin existence

only as long as their isnt a block bigger than allowed by the current protocol definition - as i said: blocksize is part of the protocol spec.

Aha, so it's reduced to assumption that we can distinguish branches. Good.