v4

app.py

@@ -79,10 +79,17 @@ def load_gold_map():
 # =========================
 
 def load_leaderboard():
-    if os.path.exists(LEADERBOARD_FILE):
+    if not os.path.exists(LEADERBOARD_FILE):
+        return []
+
+    if os.path.getsize(LEADERBOARD_FILE) == 0:
+        return []
+
+    try:
         with open(LEADERBOARD_FILE, "r", encoding="utf-8") as f:
             return json.load(f)
-    return []
+    except json.JSONDecodeError:
+        return []
 
 
 def save_leaderboard(lb):