Season 2: start a fresh leaderboard

arena.py

@@ -16,7 +16,9 @@ from tetris import TetrisGame
 MAX_PIECES = int(os.environ.get("MAX_PIECES", 500))
 K_FACTOR = 32
 START_ELO = 1000.0
-APP_VERSION = "1.0"
+APP_VERSION = "1.1"
+# Bump to start a fresh leaderboard: data saved under another season is ignored.
+SEASON = 2
 
 
 def choose(game: TetrisGame, player, protocol: str, seed: int):
@@ -78,12 +80,15 @@ class ResultsStore:
         return bool(self.token)
 
     def _empty(self):
-        return {"version": 1, "updated": None, "protocols": {"guided": {}, "blind": {}}}
+        return {"version": 1, "season": SEASON, "updated": None, "protocols": {"guided": {}, "blind": {}}}
 
     def _load(self):
         try:
             path = hf_hub_download(self.repo_id, "leaderboard.json", repo_type="dataset", token=self.token, force_download=True)
             data = json.load(open(path))
+            if data.get("season") != SEASON:
+                self.load_error = None
+                return self._empty()  # previous season: start clean
             data.setdefault("protocols", {}).setdefault("guided", {})
             data["protocols"].setdefault("blind", {})
             self.load_error = None
@@ -115,6 +120,7 @@ class ResultsStore:
                 "seed": seed,
                 "max_pieces": MAX_PIECES,
                 "app_version": APP_VERSION,
+                "season": SEASON,
                 "players": [],
             }
             for p, g, r, d, rank in zip(players, games, ratings, deltas, ranks):