Remove Python from public release workflow

src/sh/show_run_progress.sh

@@ -26,33 +26,7 @@ if [[ -n "$latest_run" ]]; then
   metrics="$latest_run/diagnostics/run_metrics.json"
   if [[ -f "$metrics" ]]; then
     echo "Metrics: $metrics"
-    echo "--- key metrics ---"
-    py="$(command -v python3 || command -v python || true)"
-    if [[ -z "$py" && -x /run/current-system/sw/bin/python3 ]]; then
-      py=/run/current-system/sw/bin/python3
-    fi
-    if [[ -z "$py" ]]; then
-      echo "No Python interpreter found for JSON summary; metrics file is available at: $metrics"
-      exit 0
-    fi
-    "$py" - "$metrics" <<'PY'
-import json, sys
-path = sys.argv[1]
-with open(path) as f:
-    m = json.load(f)
-print("status:", m.get("status"))
-cfg = m.get("config", {})
-print("chains:", cfg.get("num_chains"), "warmup:", cfg.get("num_warmup"), "samples:", cfg.get("num_samples"), "max_depth:", cfg.get("max_depth"), "refresh:", cfg.get("refresh"))
-timing = m.get("timing", {})
-if timing:
-    print("walltime_minutes:", timing.get("walltime_minutes"))
-    print("reported_warmup_seconds:", timing.get("reported_warmup_seconds"))
-    print("reported_sampling_seconds:", timing.get("reported_sampling_seconds"))
-agg = m.get("aggregate", {})
-if agg:
-    print("divergences:", agg.get("divergences"), "treedepth_hits:", agg.get("treedepth_hits"), "mean_leapfrog:", agg.get("mean_leapfrog"))
-print("cmdstan_config_verified:", m.get("cmdstan_config_verified"))
-PY
+    echo "Open the JSON metrics file above for run-summary fields."
   else
     echo "No archived metrics yet. If the run is still sampling, watch the durable log with:"
     if [[ -n "$latest_log" ]]; then