I believe you are incorrect about how first round ballots are recorded. Delegate votes are recorded without regard to whether the candidate’s name is placed in nomination. Thus Ron Paul’s 200 or so votes were recorded in 2012 and Carson and other votes will be recorded in 2016.
Well my understanding is different but I respect yours because I don’t know. But it is my understanding that you cannot vote for a candidate that is not placed in nomination. We will see. Thus only delegates voting for Trump can vote.