On Wed, 15 Jul 2015, omd wrote:
(d) If the valid options are ordered lists of preferences, the outcome is decided using instant-runoff voting. In case of a tie at any stage during the instant runoff, the vote collector CAN and must, in the announcement of the decision's resolution, select one of the leaders as the winner of that stage.
I thought (and Wikipedia agrees) that IRV stages without a majority winner (which includes any with a top tie) choose (one or more) losers, not a winner.
Greetings, Ørjan.