Fix Codex chat history backfill

VERSION

@@ -1 +1 @@
-0.11.0
+0.12.0

package.json

@@ -1,6 +1,6 @@
 {
   "name": "verun",
-  "version": "0.11.0",
+  "version": "0.12.0",
   "description": "Parallel Claude Code Agent Orchestrator for macOS",
   "type": "module",
   "scripts": {

src-tauri/Cargo.toml

@@ -1,6 +1,6 @@
 [package]
 name = "verun"
-version = "0.11.0"
+version = "0.12.0"
 description = "Parallel Claude Code Agent Orchestrator for macOS"
 authors = ["SoftwareSavants"]
 edition = "2021"

src-tauri/src/agent/claude.rs

@@ -40,10 +40,15 @@ impl Agent for Claude {
     fn available_models(&self) -> Vec<crate::agent::ModelOption> {
         use crate::agent::ModelOption;
         vec![
+            ModelOption::new(
+                "claude-opus-4-8",
+                "Claude Opus 4.8",
+                "Latest and most capable",
+            ),
             ModelOption::new(
                 "claude-opus-4-7",
                 "Claude Opus 4.7",
-                "Latest and most capable",
+                "Previous flagship model",
             )
             .with_min_version("2.1.111"),
             ModelOption::new(

src-tauri/src/agent/codex.rs

@@ -76,31 +76,32 @@ impl Agent for Codex {
     fn available_models(&self) -> Vec<crate::agent::ModelOption> {
         use crate::agent::ModelOption;
         vec![
-            ModelOption::new("gpt-5.4", "GPT-5.4", "Latest frontier agentic coding model"),
+            ModelOption::new("gpt-5.5", "GPT-5.5", "Latest frontier coding model"),
             ModelOption::new(
-                "gpt-5.4-mini",
-                "GPT-5.4 Mini",
-                "Smaller frontier agentic coding model",
+                "gpt-5.5-pro",
+                "GPT-5.5 Pro",
+                "Higher-compute GPT-5.5 for complex coding work",
             ),
+            ModelOption::new("gpt-5.4", "GPT-5.4", "Frontier coding model"),
             ModelOption::new(
-                "gpt-5.3-codex",
-                "GPT-5.3 Codex",
-                "Codex-optimized agentic coding model",
+                "gpt-5.4-pro",
+                "GPT-5.4 Pro",
+                "Higher-compute GPT-5.4 for complex coding work",
             ),
             ModelOption::new(
-                "gpt-5.3-codex-spark",
-                "GPT-5.3 Codex Spark",
-                "Lightweight Codex model",
+                "gpt-5.4-mini",
+                "GPT-5.4 Mini",
+                "Smaller lower-latency frontier coding model",
             ),
             ModelOption::new(
-                "gpt-5.2-codex",
-                "GPT-5.2 Codex",
-                "Codex-optimized agentic coding model",
+                "gpt-5.4-nano",
+                "GPT-5.4 Nano",
+                "Lowest-cost GPT-5.4-class model",
             ),
             ModelOption::new(
-                "gpt-5.2",
-                "GPT-5.2",
-                "Optimized for professional work and long-running tasks",
+                "gpt-5.3-codex",
+                "GPT-5.3 Codex",
+                "Codex-optimized agentic coding model",
             ),
         ]
     }
@@ -273,7 +274,7 @@ impl Agent for Codex {
             CODEX_DEFAULT_MODE_DEVELOPER_INSTRUCTIONS
         };
         let settings = json!({
-            "model": params.model.unwrap_or("gpt-5.4"),
+            "model": params.model.unwrap_or("gpt-5.5"),
             "reasoning_effort": params.effort.unwrap_or("medium"),
             "developer_instructions": developer_instructions,
         });

src-tauri/src/agent/mod.rs

@@ -772,6 +772,14 @@ mod tests {
         assert!(agent.uses_claude_jsonl());
     }
 
+    #[test]
+    fn claude_available_models_include_opus_4_8_first() {
+        let models = Claude.available_models();
+        assert_eq!(models[0].id, "claude-opus-4-8");
+        assert_eq!(models[0].label, "Claude Opus 4.8");
+        assert_eq!(models[1].id, "claude-opus-4-7");
+    }
+
     // ── Persistence + abort strategy + stream encoders ──────────────────
 
     #[test]
@@ -1056,6 +1064,27 @@ mod tests {
         assert!(!agent.uses_claude_jsonl());
     }
 
+    #[test]
+    fn codex_available_models_match_current_openai_coding_models() {
+        let ids: Vec<String> = Codex
+            .available_models()
+            .into_iter()
+            .map(|m| m.id)
+            .collect();
+        assert_eq!(
+            ids,
+            vec![
+                "gpt-5.5",
+                "gpt-5.5-pro",
+                "gpt-5.4",
+                "gpt-5.4-pro",
+                "gpt-5.4-mini",
+                "gpt-5.4-nano",
+                "gpt-5.3-codex",
+            ]
+        );
+    }
+
     #[test]
     fn other_agents_do_not_defer_resume_id() {
         assert!(!Claude.defers_resume_id_until_turn_end());
@@ -1312,6 +1341,26 @@ mod tests {
         assert_eq!(v["params"]["sandboxPolicy"]["type"], "readOnly");
     }
 
+    #[test]
+    fn codex_encode_turn_start_defaults_collaboration_model_to_gpt_5_5() {
+        let bytes = Codex
+            .encode_rpc_turn_start(
+                13,
+                &CodexRpcTurnStartParams {
+                    thread_id: "t-xyz",
+                    prompt: "ls",
+                    image_urls: &[],
+                    trust_level: crate::policy::TrustLevel::Normal,
+                    model: None,
+                    effort: None,
+                    plan_mode: false,
+                },
+            )
+            .expect("encode");
+        let v = parse_rpc_frame(&bytes);
+        assert_eq!(v["params"]["collaborationMode"]["settings"]["model"], "gpt-5.5");
+    }
+
     #[test]
     fn codex_encode_turn_start_appends_image_attachments() {
         let urls = vec!["data:image/png;base64,abc".to_string()];

src-tauri/src/fd_limit.rs

@@ -8,6 +8,7 @@
 //! out when a task is added) reliably hits EMFILE. Bumping the soft limit to
 //! something well above normal usage costs nothing and removes the ceiling.
 
+#[cfg(unix)]
 use std::io;
 
 /// Raise the `RLIMIT_NOFILE` soft limit to `min(desired, hard_limit)` when it

src-tauri/src/mcp.rs

@@ -2742,7 +2742,7 @@ mod tests {
         let dir = tempfile::tempdir().unwrap();
         let socket = std::path::Path::new("/tmp/v.sock");
         let relay = std::path::Path::new("/usr/local/bin/verun-mcp-relay");
-        write_mcp_config(dir.path(), "task-42", socket, relay).unwrap();
+        write_verun_mcp_config(dir.path(), "task-42", socket, relay).unwrap();
 
         let path = dir.path().join(".mcp.json");
         let raw = std::fs::read_to_string(&path).unwrap();
@@ -2769,7 +2769,7 @@ mod tests {
         )
         .unwrap();
 
-        write_mcp_config(
+        write_verun_mcp_config(
             dir.path(),
             "t-1",
             std::path::Path::new("/sock"),
@@ -2797,7 +2797,7 @@ mod tests {
         )
         .unwrap();
 
-        write_mcp_config(
+        write_verun_mcp_config(
             dir.path(),
             "new-task",
             std::path::Path::new("/new-sock"),
@@ -2820,7 +2820,7 @@ mod tests {
         let path = dir.path().join(".mcp.json");
         std::fs::write(&path, "not json at all{{").unwrap();
 
-        write_mcp_config(
+        write_verun_mcp_config(
             dir.path(),
             "t-1",
             std::path::Path::new("/sock"),
@@ -2838,7 +2838,7 @@ mod tests {
         let path = dir.path().join(".mcp.json");
         std::fs::write(&path, r#"["not", "an", "object"]"#).unwrap();
 
-        write_mcp_config(
+        write_verun_mcp_config(
             dir.path(),
             "t-1",
             std::path::Path::new("/sock"),
@@ -2856,7 +2856,7 @@ mod tests {
         let path = dir.path().join(".mcp.json");
         std::fs::write(&path, r#"{"mcpServers": "broken"}"#).unwrap();
 
-        write_mcp_config(
+        write_verun_mcp_config(
             dir.path(),
             "t-1",
             std::path::Path::new("/sock"),
@@ -2874,7 +2874,7 @@ mod tests {
         let info = dir.path().join(".git").join("info");
         std::fs::create_dir_all(&info).unwrap();
 
-        write_mcp_config(
+        write_verun_mcp_config(
             dir.path(),
             "t-1",
             std::path::Path::new("/sock"),
@@ -2901,7 +2901,7 @@ mod tests {
         )
         .unwrap();
 
-        write_mcp_config(
+        write_verun_mcp_config(
             &worktree,
             "t-2",
             std::path::Path::new("/sock"),

src-tauri/src/task.rs

@@ -1958,7 +1958,7 @@ async fn spawn_codex_app_server_session(
     } = params;
 
     let app_data = app.state::<crate::blob::AppDataDir>().0.clone();
-    let mcp_config_path = mcp::verun_mcp_config_path(&app_data, &task_id);
+    let mcp_config_path = verun_mcp_config_path_for_task(&app_data, &task_id);
     let args_list = agent.build_session_args(&crate::agent::SessionArgs {
         resume_session_id: None,
         model: model.as_deref(),
@@ -1969,7 +1969,7 @@ async fn spawn_codex_app_server_session(
         worktree_path: &worktree_path,
         repo_path: &repo_path,
         message: &message,
-        verun_mcp_config_path: Some(&mcp_config_path),
+        verun_mcp_config_path: mcp_config_path.as_deref(),
     });
 
     eprintln!(
@@ -2472,7 +2472,7 @@ pub async fn spawn_session_process(
     } = params;
     let resume_id = resume_session_id.as_deref().filter(|s| !s.is_empty());
     let app_data = app.state::<crate::blob::AppDataDir>().0.clone();
-    let mcp_config_path = mcp::verun_mcp_config_path(&app_data, &task_id);
+    let mcp_config_path = verun_mcp_config_path_for_task(&app_data, &task_id);
     let session_args = crate::agent::SessionArgs {
         resume_session_id: resume_id,
         model: model.as_deref(),
@@ -2483,7 +2483,7 @@ pub async fn spawn_session_process(
         worktree_path: &worktree_path,
         repo_path: &repo_path,
         message: &message,
-        verun_mcp_config_path: Some(&mcp_config_path),
+        verun_mcp_config_path: mcp_config_path.as_deref(),
     };
 
     let args_list = agent.build_session_args(&session_args);
@@ -3055,6 +3055,21 @@ fn build_side_question_request(question: &str) -> serde_json::Value {
     })
 }
 
+fn verun_mcp_config_path_for_task(
+    app_data_dir: &std::path::Path,
+    task_id: &str,
+) -> Option<std::path::PathBuf> {
+    #[cfg(unix)]
+    {
+        Some(crate::mcp::verun_mcp_config_path(app_data_dir, task_id))
+    }
+    #[cfg(not(unix))]
+    {
+        let _ = (app_data_dir, task_id);
+        None
+    }
+}
+
 /// Parse the CLI's `control_response` payload for a `side_question` request.
 /// The Anthropic SDK envelope is `{"response": {"subtype": "success",
 /// "request_id": ..., "response": {"response": "...", "synthetic": false}}}`,
@@ -3825,6 +3840,22 @@ mod tests {
         assert!(args.iter().any(|a| a == "haiku"));
     }
 
+    #[test]
+    #[cfg(unix)]
+    fn verun_mcp_config_path_helper_matches_unix_mcp_path() {
+        let app_data = std::path::Path::new("/tmp/verun-app-data");
+        let path = verun_mcp_config_path_for_task(app_data, "task-42");
+        assert_eq!(path, Some(crate::mcp::verun_mcp_config_path(app_data, "task-42")));
+    }
+
+    #[test]
+    #[cfg(not(unix))]
+    fn verun_mcp_config_path_helper_is_none_off_unix() {
+        let app_data = std::path::Path::new(r"C:\verun-app-data");
+        let path = verun_mcp_config_path_for_task(app_data, "task-42");
+        assert_eq!(path, None);
+    }
+
     #[test]
     fn side_question_request_has_correct_wire_shape() {
         let body = build_side_question_request("what was that var name?");

src-tauri/tauri.conf.json

@@ -1,7 +1,7 @@
 {
   "$schema": "https://schema.tauri.app/config/2",
   "productName": "Verun",
-  "version": "0.11.0",
+  "version": "0.12.0",
   "identifier": "com.softwaresavants.verun",
   "build": {
     "beforeDevCommand": "node src-tauri/scripts/copy-relay-sidecar.mjs && pnpm dev",