Interesting. So in the examples you present, electors in Michigan and Colorado are required to vote for the candidate that appeared on the ballot. In Florida, the electors are required to vote for “the candidate of the party”, which could give leeway to vote for a replacement as long as that replacement becomes “the candidate of the party”.
Exactly...it’ll be a mess and each state will have their own problems. Imagine if MI and CO are bound, by law, to vote for the dropout Creepy but FL would vote for, say, the replacement Harris. Suppose the Dems get 270+ electoral votes, but no candidate gets 270+. Buckle up.