Therefore, Bitcoin code has to have been always free of bugs (malicious or accidental). That has not been the case and will not be the case. The assumption doesn't hold, and double spends are therefore possible.