In Michigan’s down-ballot 2020 Supreme Court Justice race three candidates out of seven were programmed differently in the election system. As a result, the court changed from Republican to Democrat!
The remedy to address this is to count all the ballots across the state and compare to the election results.