feat(run): per-tool run setup fields and binary probe

client/src/pages/Workspace.tsx

@@ -44,7 +44,15 @@ import { useTranslation } from "react-i18next";
 import { Plus } from "lucide-react";
 import { api } from "../lib/api";
 import type { CwdSuggestion, RunListResponse } from "../lib/api";
-import type { Lane, LaneFeature, LaneCounts, ProofFeature, Session, WSMessage } from "../lib/types";
+import type {
+  Lane,
+  LaneFeature,
+  LaneCounts,
+  ProofFeature,
+  Session,
+  WSMessage,
+  LaneTool,
+} from "../lib/types";
 import { eventBus } from "../lib/eventBus";
 import { LaneConsolePane } from "../components/run/LaneConsolePane";
 import PipelineMap from "../components/lanes/PipelineMap";
@@ -109,7 +117,7 @@ function ConsoleArea({
   splitView: SplitViewState;
   setLayout: (layout: SplitLayout) => void;
   setPaneLaneId: (index: number, id: number) => void;
-  binaryStatus: { found: boolean; path: string | null } | null;
+  binaryStatus: Record<LaneTool, { found: boolean; path: string | null }> | null;
   cwdSuggestions: CwdSuggestion[];
   activeRuns: RunListResponse | null;
   externalSessions: Session[];
@@ -192,9 +200,10 @@ export function Workspace() {
   // started in a terminal tab). They are not dashboard runs, so the run list
   // would otherwise show nothing while two agents are working.
   const [externalSessions, setExternalSessions] = useState<Session[]>([]);
-  const [binaryStatus, setBinaryStatus] = useState<{ found: boolean; path: string | null } | null>(
-    null
-  );
+  const [binaryStatus, setBinaryStatus] = useState<Record<
+    LaneTool,
+    { found: boolean; path: string | null }
+  > | null>(null);
   const [cwdSuggestions, setCwdSuggestions] = useState<CwdSuggestion[]>([]);
   const [defaultCwd, setDefaultCwd] = useState<string>("");
   const [paneHasActiveRun, setPaneHasActiveRun] = useState(false);
@@ -241,12 +250,11 @@ export function Workspace() {
   }, []);
 
   useEffect(() => {
-    api.run
-      .binary()
-      .then(setBinaryStatus)
+    Promise.all([api.run.binary("claude"), api.run.binary("codex")])
+      .then(([claude, codex]) => setBinaryStatus({ claude, codex }))
       // Fetch failure (server unreachable, proxy misrouted, etc.) isn't proof
-      // `claude` is missing from PATH — leave the probe unresolved rather than
-      // showing a misleading "claude missing" banner for an unrelated fault.
+      // `claude` or `codex` is missing from PATH — leave the probe unresolved rather than
+      // showing a misleading "binary missing" banner for an unrelated fault.
       .catch(() => undefined);
     api.lanes
       .pipelines()