Deploy Space: update app.py

app.py

@@ -21,6 +21,7 @@ from src.utils import (
     load_baseline_rank_history,
     load_baseline_rank_history_weekly,
     load_forecast_snapshots,
+    make_domain_pie_chart,
     make_forecast_plot,
     make_rank_trend_plot,
     prepare_ranks_table,
@@ -109,15 +110,16 @@ def refresh_leaderboard() -> tuple:
     daily_df = load_baseline_rank_history(RESULTS_PATH)
 
     outputs: list = [
-        prepare_values_table(grouped["overall_values"]),    # [0]
-        prepare_ranks_table(grouped["overall_ranks"]),      # [1]
-        daily_df,                                           # [2] daily table
-        load_baseline_rank_history_weekly(RESULTS_PATH),    # [3] weekly table
-        make_rank_trend_plot(daily_df),                     # [4] rank trend plot
+        make_domain_pie_chart(RESULTS_PATH),                # [0] domain pie chart
+        prepare_values_table(grouped["overall_values"]),    # [1]
+        prepare_ranks_table(grouped["overall_ranks"]),      # [2]
+        daily_df,                                           # [3] daily table
+        load_baseline_rank_history_weekly(RESULTS_PATH),    # [4] weekly table
+        make_rank_trend_plot(daily_df),                     # [5] rank trend plot
     ]
     value_tables, rank_tables = _dataset_tables(grouped, datasets)
-    outputs.extend(value_tables)    # [5 .. 5+N-1]
-    outputs.extend(rank_tables)     # [5+N .. 5+2N-1]
+    outputs.extend(value_tables)    # [6 .. 6+N-1]
+    outputs.extend(rank_tables)     # [6+N .. 6+2N-1]
     outputs.append(build_status_line(status))  # [-1]
     return tuple(outputs)
 
@@ -142,18 +144,26 @@ with demo:
     with gr.Tabs(elem_classes="tab-buttons"):
         # ── Overall Tab ──────────────────────────────────────────────────────
         with gr.TabItem("Overall"):
+            gr.Markdown(
+                "**Dataset coverage by domain** · hover for dataset names",
+                elem_classes="markdown-text",
+            )
+            domain_pie_plot = gr.Plot(
+                value=INITIAL_OUTPUTS[0],
+                label="Domain distribution",
+            )
             gr.Markdown(
                 "Geometric mean of **absolute** metrics across all datasets. Lower is better.",
                 elem_classes="markdown-text",
             )
             overall_values_df = gr.Dataframe(
-                value=INITIAL_OUTPUTS[0],
+                value=INITIAL_OUTPUTS[1],
                 interactive=False,
                 wrap=True,
                 label="Metric values (absolute, lower is better)",
             )
             overall_ranks_df = gr.Dataframe(
-                value=INITIAL_OUTPUTS[1],
+                value=INITIAL_OUTPUTS[2],
                 interactive=False,
                 wrap=True,
                 label="Ranks (average per-dataset rank, lower is better)",
@@ -164,7 +174,7 @@ with demo:
                 elem_classes="markdown-text",
             )
             baseline_history_df = gr.Dataframe(
-                value=INITIAL_OUTPUTS[2],
+                value=INITIAL_OUTPUTS[3],
                 interactive=False,
                 wrap=True,
                 label="Baseline rank history — by day",
@@ -174,7 +184,7 @@ with demo:
                 elem_classes="markdown-text",
             )
             baseline_weekly_df = gr.Dataframe(
-                value=INITIAL_OUTPUTS[3],
+                value=INITIAL_OUTPUTS[4],
                 interactive=False,
                 wrap=True,
                 label="Baseline rank history — by week",
@@ -184,7 +194,7 @@ with demo:
                 elem_classes="markdown-text",
             )
             rank_trend_plot = gr.Plot(
-                value=INITIAL_OUTPUTS[4],
+                value=INITIAL_OUTPUTS[5],
                 label="Rank trend over time",
             )
 
@@ -198,7 +208,7 @@ with demo:
                     )
                     dataset_value_dfs.append(
                         gr.Dataframe(
-                            value=INITIAL_OUTPUTS[5 + dataset_idx],
+                            value=INITIAL_OUTPUTS[6 + dataset_idx],
                             interactive=False,
                             wrap=True,
                             show_label=False,
@@ -210,7 +220,7 @@ with demo:
                     )
                     dataset_rank_dfs.append(
                         gr.Dataframe(
-                            value=INITIAL_OUTPUTS[5 + len(DATASETS) + dataset_idx],
+                            value=INITIAL_OUTPUTS[6 + len(DATASETS) + dataset_idx],
                             interactive=False,
                             wrap=True,
                             show_label=False,
@@ -281,6 +291,7 @@ with demo:
         )
 
     refresh_outputs = [
+        domain_pie_plot,
         overall_values_df,
         overall_ranks_df,
         baseline_history_df,