fix: global time leaderboard tick rounding being wrong

Author: ThatGravyBoat

internal/mapdb/queries/leaderboards.sql

@@ -22,22 +22,26 @@ where deleted is null
   and maps.published_at is not null;
 
 -- name: GetTopTimesLeaderboard :many
-select s1.player_id,
-       count(distinct s1.map_id) as top_times
-from (select map_id, min((round(greatest(playtime, ticks * 20) / 50.0) * 50)::bigint) as min_playtime
-      from save_states
+with
+    shortest_playtimes as (
+        select map_id, min((greatest(round(playtime / 50.0), ticks) * 50)::bigint) as min_playtime
+        from save_states
         join maps on save_states.map_id = maps.id
-      where deleted is null
-        and completed = true
-        and playtime != 0
-        and (type = 'playing' or type = 'verifying')
-        and maps.published_at is not null
-        and maps.deleted_at is null
-        and coalesce(maps.leaderboard ->> 'format', 'time') = 'time'
-      group by map_id) as shortest_playtimes
+        where deleted is null
+          and completed = true
+          and playtime != 0
+          and (type = 'playing' or type = 'verifying')
+          and maps.published_at is not null
+          and maps.deleted_at is null
+          and coalesce(maps.leaderboard ->> 'format', 'time') = 'time'
+          and coalesce(maps.leaderboard ->> 'asc', 'true') = 'true'
+        group by map_id
+    )
+select s1.player_id, count(distinct s1.map_id) as top_times
+from shortest_playtimes
   join save_states as s1
        on s1.map_id = shortest_playtimes.map_id
-         and (round(greatest(s1.playtime, s1.ticks * 20) / 50.0) * 50)::bigint = shortest_playtimes.min_playtime
+         and (greatest(round(s1.playtime / 50.0), s1.ticks) * 50)::bigint = shortest_playtimes.min_playtime
 where s1.deleted is null
   and s1.completed = true
 group by s1.player_id