Show Elo on home cards

leaderboard.py

@@ -44,10 +44,10 @@ ELO_REGULARIZATION = 0.1
 
 @dataclass(frozen=True)
 class TopModel:
-    """One line of a home card's mini-ranking; ``score`` is None when unrankable."""
+    """One line of a home card's mini-ranking; ``elo`` is None when unavailable."""
 
     name: str
-    score: float | None
+    elo: int | None
     is_baseline: bool
 
 
@@ -337,7 +337,11 @@ def top_models(
     return [
         TopModel(
             name=str(e["model_name"]),
-            score=_round(e["rank"]),
+            elo=(
+                round(e["elo"])
+                if math.isfinite(e["elo"]) and math.isfinite(e["rank"])
+                else None
+            ),
             is_baseline=e["is_baseline"],
         )
         for e in _entries(df, by_id, board)[:limit]

render.py

@@ -123,7 +123,7 @@ def _leading(top) -> str:
             if row.is_baseline
             else ""
         )
-        score = "n/a" if row.score is None else f"{row.score:.3f}"
+        score = "n/a" if row.elo is None else str(row.elo)
         parts.append(
             f'<p class="pm-leader">{escape(row.name)}{badge}'
             f' <span class="pm-num--dim">{score}</span></p>'