Compact UI: merge telemetry and mission summary into one ops console.

README.md

@@ -37,7 +37,7 @@ Credentials and publish permissions are handled by deployment runtime settings.
 - `Enforce Quality Gate`: enables/disables promotion gate checks.
 - `Gate Min pass@1`, `Gate Min pass@k`, `Gate Min Rows`: runtime gate thresholds.
 - `Live Tactical Telemetry`: real-time stage progression, runtime posture, loss sparkline, and gate/push state.
-- `Runtime Terminal Log (Live)`: line-by-line subprocess stream with heartbeat events during silent phases.
+- `Ops Console (Live Log + Mission JSON)`: unified panel for line-by-line runtime stream, heartbeats, and structured mission summary.
 - `Validation Mode (No Training)`: validates pipeline with `--dry-run`.
 - `Force Dataset Redownload`: bypasses cached parquet files.
 - `Abort Active Run`: cancels active subprocess tree.

app.py

@@ -396,6 +396,17 @@ def summary_text(summary: Dict[str, Any]) -> str:
     return json.dumps(summary, ensure_ascii=True, indent=2)
 
 
+def compose_ops_console(log_text: str, summary_json: str) -> str:
+    payload = (log_text or "").strip()
+    summary_payload = (summary_json or "").strip()
+    if summary_payload:
+        if payload:
+            payload += "\n\n" + ("-" * 52) + "\nMission Summary (JSON)\n" + summary_payload
+        else:
+            payload = "Mission Summary (JSON)\n" + summary_payload
+    return payload
+
+
 def _as_dict(value: Any) -> Dict[str, Any]:
     return value if isinstance(value, dict) else {}
 
@@ -913,8 +924,8 @@ def make_copyable_textbox(
     return gr.Textbox(**textbox_kwargs)
 
 
-def clear_outputs() -> Tuple[str, str, str, str]:
-    return "", "Idle", "", render_ops_visual({}, "Idle", "")
+def clear_outputs() -> Tuple[str, str, str]:
+    return "", "Idle", render_ops_visual({}, "Idle", "")
 
 
 def cancel_pipeline() -> str:
@@ -1281,7 +1292,7 @@ def run_pipeline(
     push_to_hub: bool,
     force_redownload: bool,
     preflight_only: bool,
-) -> Generator[Tuple[str, str, str, str], None, None]:
+) -> Generator[Tuple[str, str, str], None, None]:
     pipeline = run_pipeline_core(
         dataset_repo_id=dataset_repo_id,
         model_repo_id=model_repo_id,
@@ -1301,7 +1312,8 @@ def run_pipeline(
     )
     for logs_text, status_text, summary_json in pipeline:
         summary = _parse_summary_json(summary_json)
-        yield logs_text, status_text, summary_json, render_ops_visual(summary, status_text, logs_text)
+        console_text = compose_ops_console(logs_text, summary_json)
+        yield console_text, status_text, render_ops_visual(summary, status_text, logs_text)
 
 
 with gr.Blocks(title="Math Conjecture Trainer Space") as demo:
@@ -1369,11 +1381,10 @@ with gr.Blocks(title="Math Conjecture Trainer Space") as demo:
 
     ops_visual = gr.HTML(value=render_ops_visual({}, "Idle", ""))
     status = gr.Textbox(label="Run Status", value="Idle", interactive=False)
-    logs = make_copyable_textbox(label="Runtime Terminal Log (Live)", lines=24, max_lines=30, interactive=False)
-    run_summary = make_copyable_textbox(
-        label="Mission Summary (JSON)",
-        lines=16,
-        max_lines=24,
+    logs = make_copyable_textbox(
+        label="Ops Console (Live Log + Mission JSON)",
+        lines=26,
+        max_lines=36,
         interactive=False,
     )
 
@@ -1396,10 +1407,10 @@ with gr.Blocks(title="Math Conjecture Trainer Space") as demo:
             force_redownload,
             preflight_only,
         ],
-        outputs=[logs, status, run_summary, ops_visual],
+        outputs=[logs, status, ops_visual],
     )
     stop_button.click(fn=cancel_pipeline, inputs=None, outputs=[status], queue=False)
-    clear_button.click(fn=clear_outputs, inputs=None, outputs=[logs, status, run_summary, ops_visual], queue=False)
+    clear_button.click(fn=clear_outputs, inputs=None, outputs=[logs, status, ops_visual], queue=False)
     gr.HTML(TACTICAL_FOOTER_HTML)