Fascinating.
And one way for delegates to thread the needle among all of the possible rules is simply to abstain on the first ballot. Because as French notes,
Yet even if that happened, an abstaining or dissenting delegate could not be counted as supporting any other candidate for president.
So consider: suppose there was a broad movement among the delegates to abstain on the first ballot. This would a) deny Trump the necessary 1237 votes on the first ballot; and b) send the voting to the crucial second ballot, where any question of delegate-binding goes away.
Result: Trump probably does not get the nomination, and a compromise candidate (TBD) will be nominated instead.