Function high_times_entries_from_records 

pub fn high_times_entries_from_records(
    dtos: &[RoomRecordDto],
) -> Vec<HighTimesEntry>

Render the high-times entries for a room’s records LOCALLY (local fallback for servers predating room_high_times): every valid record (positive time_ticks, non-empty hash), per-player best only, ascending by (time_ticks, player, hash), the same ordering as [supreme_tournament::rank_records] and the server-side renderer, so a fallback file can never disagree with a server-rendered one about rank order.

Split times come straight from the stored splits_ms; records without usable splits render finish-only (both checkpoints collapse to the finish, exactly like the server does). The per-entry date column is the record’s upload date (UTC, game format), no padding is applied here; callers that need the hot-tail dummies call [supreme_tournament::pad_with_dummies] themselves.