> Perhaps. Is that a necessity of ordinal voting
Necessary? No. Likely? Yes. This depends on if the candidates are included in the ranking or not. So for example, if we had 10 candidates and you rank your top 5, then no this wouldn't happen. But if you rank your top 10, then yes. But if you limit your ranking then some votes don't get counted because their top 5 don't make it past the first 5 rounds.
> The reason to drop this information is because it's often garbage
This is a pretty strong claim that needs strong evidence to counter. Especially considering there's lots of works demonstrating the usefulness of this information.
> In our example, the strongly Republican voter probably actually wants something like this:
If the voter truly has no preference of Romney over Biden, then yeah, that makes sense. And you can't really express this in an ordinal manner. You can only do: Trump > Romney > Biden. Cardinal systems you can do any of the following: 1) Trump > Romney >> Biden, 2) Trump >> Romney > Biden, 3) Trump >> Romney = Biden, 4) Trump > Romney = Biden. There's a whole slew of permutations that are available at no additional cost (I'd actually argue the cost is lower because `argmax(reduce_sum(candidates))` is a hell of a lot easier than `while [candidate_votes < 0.5].all() pop(lowest_score)`). I'm not sure why you're convinced that these permutations are "garbage".
> Another point is that we shouldn't conceive of candidates as passive observers
This is a point that has not been ignored and I'm not sure why you think I am ignoring this. I've stated numerous times that no system is immune to strategies. I am specifically INCLUDING this parameter. I've made zero claims that cardinal systems are impervious to strategies and manipulation. I have made claims about the effectiveness of this manipulation being reduced but reduced is not dismissal.
> Most Republicans have Biden > Sanders > Warren
To be clear, it is easier to simulate a ranked system FROM a cardinal system than the other way around. In fact, ordering candidates in a cardinal system is perfectly valid and will become equivalent to an ordered system. You are also perfectly valid to vote {Trump >> Biden > Sanders = Warren, Trump >> Biden = Sanders = Waren, etc}. Those votes are all valid and none are considered "a bug."
To be clear, in an ordinal system you CANNOT given Biden, Sanders, and Warren an equal score (of 0 or any value) unless we limit the number of candidates a voter is able to rank (which is necessary for large elections, but comes with a lot of other problems and may be unconstitutional).