Update app.py

app.py

@@ -1467,7 +1467,6 @@ def refresh_dashboard():
         solved =sum(s["solved"] for s in PROBLEM_STATS.values())
         total_ce=sum(s["total_ce"] for s in PROBLEM_STATS.values())
         avg_ce=round(total_ce/runs,5) if runs else 0
-        reg_size=0  # approximate — registry is per-run
 
     perf =_render_perf_table()
     types=_render_type_table()
@@ -1527,7 +1526,7 @@ with gr.Blocks(theme=gr.themes.Monochrome(text_size="sm"),title="Practicality 19
 
     with gr.Row():
         btn=gr.Button("▶ START 19.3",variant="primary",scale=1)
-        gr.Markdown("*Engine cycles through 14 domains. Dashboard auto-refreshes every 2s.*",scale=3)
+        gr.Markdown("*Engine cycles through 14 domains. Dashboard auto-refreshes every 2s.*")
 
     html_out=gr.HTML(refresh_dashboard())
     btn.click(toggle_engine,inputs=None,outputs=btn)