Ranked pairs voting (Tideman) with a fixed four-level deterministic tiebreaker cascade: margin, winning votes, beatpath, lexicographic.
Schulze (Condorcet) voting calculation.