max/ビルトインは貪欲なようです。minつまり、一意でない場合は、ケースの最初のオカレンスを返します。
>>> x = [('spam', 1), ('egg', 0), ('potato', 1)]
>>> max(x, key=lambda v: v[1])
('spam', 1)
>>> max(reversed(x), key=lambda v: v[1])
('potato', 1)
これは言語によって保証されており、クロスプラットフォームやバージョンを超えて信頼できますか、それとも実装の詳細ですか？