I agree with the prevailing wisdom that if Trump does not get to 1237, the GOPe is NOT going to hand the nomination to Cruz.
Therefore I will be boycotting Paul Ryan or somebody.
The numbers are that if the GOP-E will not hand the nomination to Cruz, then it will be Donald Trump delegates that hand the nomination to the GOP-E candidate. There aren't any other sources for votes.