Season leaderboard ranking

A puzzle league publishes its season leaderboard from three parallel lists. names holds each player's handle, points holds the score they finished on (penalties can push it below zero), and seconds holds their total solve time. Return the handles in final standing order. Rank by points from high to low. When two players finished on equal points, the smaller seconds ranks higher, since the faster solve breaks the tie. When points and seconds both match, order those handles lexicographically ascending as ordinary strings, so 'k10' sorts before 'k2'. Handles are distinct, so the rule always yields exactly one order. The three lists always have the same length, and an empty roster returns an empty list.