oh-my-opencode 4.6.0 → 4.7.1

package/dist/shared/command-executor/execute-hook-command.d.ts

@@ -8,6 +8,8 @@ export interface ExecuteHookOptions {
     zshPath?: string;
     /** Timeout in milliseconds. Process is killed after this. Default: 30000 */
     timeoutMs?: number;
+    /** Grace period before force-killing and resolving timed-out commands. Default: 5000 */
+    killGraceMs?: number;
     /** When provided, scrub process.env to only include these vars plus HOME/PATH/etc. Used for plugin-sourced hooks. */
     allowedEnvVars?: string[];
 }

package/dist/tools/skill/description-formatter.d.ts

@@ -1,3 +1,7 @@
 import type { SkillInfo } from "./types";
 import type { CommandInfo } from "../slashcommand/types";
-export declare function formatCombinedDescription(skills?: SkillInfo[], commands?: CommandInfo[]): string;
+interface CombinedDescriptionOptions {
+    includeSkills?: boolean;
+}
+export declare function formatCombinedDescription(skills?: SkillInfo[], commands?: CommandInfo[], options?: CombinedDescriptionOptions): string;
+export {};

package/dist/tools/skill/types.d.ts

@@ -66,4 +66,5 @@ export interface SkillLoadOptions {
         } | undefined>;
         dirs(): string[] | Promise<string[]>;
     };
+    includeSkillsInDescription?: boolean;
 }

package/package.json

@@ -1,6 +1,6 @@
 {
   "name": "oh-my-opencode",
-  "version": "4.6.0",
+  "version": "4.7.1",
   "description": "The Best AI Agent Harness - Batteries-Included OpenCode Plugin with Multi-Model Orchestration, Parallel Background Agents, and Crafted LSP/AST Tools",
   "main": "./dist/index.js",
   "types": "dist/index.d.ts",
@@ -71,7 +71,7 @@
     "typecheck:packages": "tsgo --noEmit -p packages/rules-engine/tsconfig.json && tsgo --noEmit -p packages/ast-grep-core/tsconfig.json && tsgo --noEmit -p packages/ast-grep-mcp/tsconfig.json && tsgo --noEmit -p packages/git-bash-mcp/tsconfig.json && tsgo --noEmit -p packages/utils/tsconfig.json && tsgo --noEmit -p packages/model-core/tsconfig.json && tsgo --noEmit -p packages/prompts-core/tsconfig.json && tsgo --noEmit -p packages/comment-checker-core/tsconfig.json && tsgo --noEmit -p packages/hashline-core/tsconfig.json && tsgo --noEmit -p packages/boulder-state/tsconfig.json && tsgo --noEmit -p packages/agents-md-core/tsconfig.json && tsgo --noEmit -p packages/omo-codex/tsconfig.json",
     "typecheck:script": "tsgo --noEmit -p script/tsconfig.json",
     "test": "bun test",
-    "test:codex": "bun run build:ast-grep-mcp && bun run build:lsp-tools-mcp && npm --prefix packages/omo-codex/plugin ci && bun run --cwd packages/omo-codex/plugin build && bun test src/cli/cli-installer.platform.test.ts src/cli/install-codex/codex-cache.test.ts src/cli/install-codex/codex-cleanup.test.ts src/cli/install-codex/codex-config-agent-cleanup.test.ts src/cli/install-codex/codex-config-reasoning.test.ts src/cli/install-codex/codex-config-toml.test.ts src/cli/install-codex/codex-project-local-cleanup.test.ts src/cli/install-codex/install-codex-project-local-cleanup.test.ts src/cli/install-codex/install-codex.test.ts src/cli/install-codex/install-codex-packaged.test.ts src/cli/install-codex/link-cached-plugin-agents.test.ts packages/omo-codex/src/**/*.test.ts packages/utils/src/jsonc-parser.test.ts packages/utils/src/frontmatter.test.ts packages/hashline-core/src/hash-computation.test.ts packages/hashline-core/src/smoke-untested-modules.test.ts packages/rules-engine/src/index.test.ts packages/rules-engine/src/security-boundary.test.ts packages/agents-md-core/src/injector.test.ts packages/omo-codex/plugin/components/lsp/test/package-smoke.test.ts && node --test packages/omo-codex/plugin/test/*.test.mjs packages/omo-codex/scripts/install-cache-copy.test.mjs packages/omo-codex/scripts/install-cli-args.test.mjs packages/omo-codex/scripts/install-config-autonomous.test.mjs packages/omo-codex/scripts/install-config-reasoning.test.mjs packages/omo-codex/scripts/install-config.test.mjs packages/omo-codex/scripts/install-project-local-cleanup.test.mjs packages/omo-codex/scripts/install-local-entrypoint.test.mjs packages/omo-codex/scripts/install-local-git-bash-preflight.test.mjs packages/omo-codex/scripts/install-local.test.mjs packages/omo-codex/scripts/install-mcp-runtime.test.mjs packages/omo-codex/scripts/install-packaged-local.test.mjs packages/omo-codex/scripts/install/git-bash.test.mjs packages/omo-codex/scripts/install-agent-links.test.mjs packages/omo-codex/scripts/install-bin-links.test.mjs packages/omo-codex/scripts/sync-telemetry-component.test.mjs",
+    "test:codex": "bun run build:ast-grep-mcp && bun run build:lsp-tools-mcp && npm --prefix packages/omo-codex/plugin ci && bun run --cwd packages/omo-codex/plugin build && bun test src/cli/cli-installer.platform.test.ts src/cli/install-codex/codex-cache.test.ts src/cli/install-codex/codex-cleanup.test.ts src/cli/install-codex/codex-config-agent-cleanup.test.ts src/cli/install-codex/codex-config-autonomous-features.test.ts src/cli/install-codex/codex-config-reasoning.test.ts src/cli/install-codex/codex-config-toml.test.ts src/cli/install-codex/codex-project-local-cleanup.test.ts src/cli/install-codex/install-codex-project-local-cleanup.test.ts src/cli/install-codex/install-codex.test.ts src/cli/install-codex/install-codex-packaged.test.ts src/cli/install-codex/link-cached-plugin-agents.test.ts packages/omo-codex/src/**/*.test.ts packages/utils/src/jsonc-parser.test.ts packages/utils/src/frontmatter.test.ts packages/hashline-core/src/hash-computation.test.ts packages/hashline-core/src/smoke-untested-modules.test.ts packages/rules-engine/src/index.test.ts packages/rules-engine/src/security-boundary.test.ts packages/agents-md-core/src/injector.test.ts packages/omo-codex/plugin/components/lsp/test/package-smoke.test.ts && node --test packages/omo-codex/plugin/test/*.test.mjs packages/omo-codex/scripts/install-cache-copy.test.mjs packages/omo-codex/scripts/install-cli-args.test.mjs packages/omo-codex/scripts/install-config-autonomous-features.test.mjs packages/omo-codex/scripts/install-config-autonomous.test.mjs packages/omo-codex/scripts/install-config-reasoning.test.mjs packages/omo-codex/scripts/install-config.test.mjs packages/omo-codex/scripts/install-project-local-cleanup.test.mjs packages/omo-codex/scripts/install-local-entrypoint.test.mjs packages/omo-codex/scripts/install-local-git-bash-preflight.test.mjs packages/omo-codex/scripts/install-local.test.mjs packages/omo-codex/scripts/install-mcp-runtime.test.mjs packages/omo-codex/scripts/install-packaged-local.test.mjs packages/omo-codex/scripts/install/git-bash.test.mjs packages/omo-codex/scripts/install-agent-links.test.mjs packages/omo-codex/scripts/install-bin-links.test.mjs packages/omo-codex/scripts/sync-telemetry-component.test.mjs",
     "test:windows-codex": "bun run test:codex",
     "build:ast-grep-mcp": "bun run --cwd packages/ast-grep-mcp build",
     "build:git-bash-mcp": "bun run --cwd packages/git-bash-mcp build"
@@ -106,7 +106,6 @@
     "commander": "^14.0.3",
     "detect-libc": "^2.1.2",
     "diff": "^9.0.0",
-    "effect": "4.0.0-beta.65",
     "js-yaml": "^4.1.1",
     "jsonc-parser": "^3.3.1",
     "picocolors": "^1.1.1",
@@ -136,17 +135,17 @@
     "zod": "^4.4.3"
   },
   "optionalDependencies": {
-    "oh-my-opencode-darwin-arm64": "4.6.0",
-    "oh-my-opencode-darwin-x64": "4.6.0",
-    "oh-my-opencode-darwin-x64-baseline": "4.6.0",
-    "oh-my-opencode-linux-arm64": "4.6.0",
-    "oh-my-opencode-linux-arm64-musl": "4.6.0",
-    "oh-my-opencode-linux-x64": "4.6.0",
-    "oh-my-opencode-linux-x64-baseline": "4.6.0",
-    "oh-my-opencode-linux-x64-musl": "4.6.0",
-    "oh-my-opencode-linux-x64-musl-baseline": "4.6.0",
-    "oh-my-opencode-windows-x64": "4.6.0",
-    "oh-my-opencode-windows-x64-baseline": "4.6.0"
+    "oh-my-opencode-darwin-arm64": "4.7.1",
+    "oh-my-opencode-darwin-x64": "4.7.1",
+    "oh-my-opencode-darwin-x64-baseline": "4.7.1",
+    "oh-my-opencode-linux-arm64": "4.7.1",
+    "oh-my-opencode-linux-arm64-musl": "4.7.1",
+    "oh-my-opencode-linux-x64": "4.7.1",
+    "oh-my-opencode-linux-x64-baseline": "4.7.1",
+    "oh-my-opencode-linux-x64-musl": "4.7.1",
+    "oh-my-opencode-linux-x64-musl-baseline": "4.7.1",
+    "oh-my-opencode-windows-x64": "4.7.1",
+    "oh-my-opencode-windows-x64-baseline": "4.7.1"
   },
   "overrides": {
     "hono": "^4.12.18",

package/packages/ast-grep-mcp/dist/cli.js

@@ -342,13 +342,44 @@ function errorMessage(error) {
 import { createRequire } from "module";
 import { dirname, join as join2 } from "path";
 import { existsSync, statSync as statSync2 } from "fs";
+var WINDOWS_EXECUTABLE_EXTENSIONS = [".exe", ".cmd", ".bat"];
 function isValidBinary(filePath) {
   try {
-    return statSync2(filePath).size > 1e4;
+    const stats = statSync2(filePath);
+    if (!stats.isFile()) {
+      return false;
+    }
+    const size = stats.size;
+    const lowerPath = filePath.toLowerCase();
+    if (lowerPath.endsWith(".cmd") || lowerPath.endsWith(".bat")) {
+      return size > 0;
+    }
+    return size > 1e4;
   } catch {
     return false;
   }
 }
+function executableCandidates(filePath, platform = process.platform) {
+  if (platform !== "win32")
+    return [filePath];
+  const candidates = [filePath];
+  const lowerPath = filePath.toLowerCase();
+  if (WINDOWS_EXECUTABLE_EXTENSIONS.some((extension) => lowerPath.endsWith(extension))) {
+    return candidates;
+  }
+  for (const extension of WINDOWS_EXECUTABLE_EXTENSIONS) {
+    candidates.push(`${filePath}${extension}`);
+  }
+  return candidates;
+}
+function findValidExecutable(filePath) {
+  for (const candidate of executableCandidates(filePath)) {
+    if (existsSync(candidate) && isValidBinary(candidate)) {
+      return candidate;
+    }
+  }
+  return null;
+}
 function getPlatformPackageName() {
   const platform = process.platform;
   const arch = process.arch;
@@ -363,29 +394,42 @@ function getPlatformPackageName() {
   };
   return platformMap[`${platform}-${arch}`] ?? null;
 }
+function isModuleResolutionFailure(error) {
+  return error instanceof Error && (error.message.includes("Cannot find module") || error.message.includes("Cannot find package"));
+}
 function findSgCliPathSync() {
-  const binaryName = process.platform === "win32" ? "sg.exe" : "sg";
+  const binaryName = "sg";
   try {
     const require2 = createRequire(import.meta.url);
     const cliPackageJsonPath = require2.resolve("@ast-grep/cli/package.json");
     const cliDirectory = dirname(cliPackageJsonPath);
     const sgPath = join2(cliDirectory, binaryName);
-    if (existsSync(sgPath) && isValidBinary(sgPath)) {
-      return sgPath;
+    const validSgPath = findValidExecutable(sgPath);
+    if (validSgPath) {
+      return validSgPath;
+    }
+  } catch (error) {
+    if (!isModuleResolutionFailure(error)) {
+      throw error;
     }
-  } catch {}
+  }
   const platformPackage = getPlatformPackageName();
   if (platformPackage) {
     try {
       const require2 = createRequire(import.meta.url);
       const packageJsonPath = require2.resolve(`${platformPackage}/package.json`);
       const packageDirectory = dirname(packageJsonPath);
-      const astGrepBinaryName = process.platform === "win32" ? "ast-grep.exe" : "ast-grep";
+      const astGrepBinaryName = "ast-grep";
       const binaryPath = join2(packageDirectory, astGrepBinaryName);
-      if (existsSync(binaryPath) && isValidBinary(binaryPath)) {
-        return binaryPath;
+      const validBinaryPath = findValidExecutable(binaryPath);
+      if (validBinaryPath) {
+        return validBinaryPath;
+      }
+    } catch (error) {
+      if (!isModuleResolutionFailure(error)) {
+        throw error;
       }
-    } catch {}
+    }
   }
   if (process.platform === "darwin") {
     const homebrewPaths = ["/opt/homebrew/bin/sg", "/usr/local/bin/sg"];

package/packages/lsp-tools-mcp/dist/lsp/process.js

@@ -97,7 +97,7 @@ function getWindowsPathExtensions(env) {
         .map((extension) => extension.trim())
         .filter(Boolean)
         .map((extension) => (extension.startsWith(".") ? extension : `.${extension}`));
-    return [...new Set(["", ...extensions, ".exe", ".cmd", ".bat"])];
+    return [...new Set([...extensions, ".exe", ".cmd", ".bat", ""])];
 }
 function resolveWindowsCommand(command, env) {
     const hasPathSeparator = command.includes("/") || command.includes("\\");

package/packages/omo-codex/plugin/components/lsp/hooks/hooks.json

@@ -12,6 +12,19 @@
 					}
 				]
 			}
+		],
+		"PostCompact": [
+			{
+				"matcher": "manual|auto",
+				"hooks": [
+					{
+						"type": "command",
+						"command": "node \"${PLUGIN_ROOT}/dist/cli.js\" hook post-compact",
+						"timeout": 5,
+						"statusMessage": "LazyCodex(0.2.0): Resetting LSP Diagnostics Cache"
+					}
+				]
+			}
 		]
 	}
 }

package/packages/omo-codex/plugin/components/lsp/src/cli.ts

@@ -3,7 +3,7 @@ import { spawn } from "node:child_process";
 import { createRequire } from "node:module";
 import { argv, execPath, stderr } from "node:process";
 
-import { runPostToolUseHookCli } from "./codex-hook-cli.js";
+import { runPostCompactHookCli, runPostToolUseHookCli } from "./codex-hook-cli.js";
 
 const require = createRequire(import.meta.url);
 const PACKAGE_LSP_MCP_CLI = "@code-yeongyu/lsp-tools-mcp/dist/cli.js";
@@ -15,13 +15,17 @@ async function main(): Promise<void> {
 		await runPostToolUseHookCli();
 		return;
 	}
+	if (command === "hook" && subcommand === "post-compact") {
+		await runPostCompactHookCli();
+		return;
+	}
 
 	if (command === "mcp") {
 		await runPackageLspMcpCli();
 		return;
 	}
 
-	stderr.write("Usage: omo-lsp [mcp | hook post-tool-use]\n");
+	stderr.write("Usage: omo-lsp [mcp | hook post-tool-use | hook post-compact]\n");
 	process.exitCode = 2;
 }
 

package/packages/omo-codex/plugin/components/lsp/src/codex-hook-cli.ts

@@ -2,9 +2,20 @@ import { stdin as processStdin } from "node:process";
 
 import { disposeDefaultLspManager } from "@code-yeongyu/lsp-tools-mcp/dist/lsp/manager.js";
 
-import { isRecord, runLspPostToolUseHook } from "./codex-hook.js";
+import { isRecord, runLspPostCompactHook, runLspPostToolUseHook } from "./codex-hook.js";
 
 export async function runPostToolUseHookCli(stdin: NodeJS.ReadStream = processStdin): Promise<void> {
+	await runHookCli((input) => runLspPostToolUseHook(input), stdin);
+}
+
+export async function runPostCompactHookCli(stdin: NodeJS.ReadStream = processStdin): Promise<void> {
+	await runHookCli((input) => runLspPostCompactHook(input), stdin);
+}
+
+async function runHookCli(
+	runHook: (input: Record<string, unknown>) => Promise<string>,
+	stdin: NodeJS.ReadStream,
+): Promise<void> {
 	try {
 		const raw = await readStdin(stdin);
 		if (!raw.trim()) return;
@@ -16,7 +27,7 @@ export async function runPostToolUseHookCli(stdin: NodeJS.ReadStream = processSt
 			throw error;
 		}
 		const input = isRecord(parsed) ? parsed : {};
-		const output = await runLspPostToolUseHook(input);
+		const output = await runHook(input);
 		if (output) process.stdout.write(output);
 	} finally {
 		await disposeDefaultLspManager();

package/packages/omo-codex/plugin/components/lsp/src/codex-hook.ts

@@ -2,15 +2,31 @@ import { readFileSync } from "node:fs";
 
 import { executeLspDiagnostics } from "@code-yeongyu/lsp-tools-mcp/dist/tools.js";
 
+import {
+	isUnavailableLspDiagnostics,
+	markLspSessionCompacted,
+	recordLspDiagnosticsObservations,
+	sessionIdFrom,
+	shouldSkipUnavailableLspDiagnostics,
+} from "./lsp-session-state.js";
+import { extractMutatedFilePaths } from "./mutated-file-paths.js";
+
+export { extractMutatedFilePaths } from "./mutated-file-paths.js";
+
 export type DiagnosticsRunner = (filePath: string) => Promise<string>;
 
 export interface CodexPostToolUseInput {
+	session_id?: unknown;
 	tool_name?: unknown;
 	tool_input?: unknown;
 	tool_response?: unknown;
 	transcript_path?: unknown;
 }
 
+export interface CodexPostCompactInput {
+	session_id?: unknown;
+}
+
 interface DiagnosticBlock {
 	filePath: string;
 	diagnostics: string;
@@ -25,7 +41,6 @@ interface PostToolUseHookOutput {
 	};
 }
 
-const MUTATION_TOOL_NAMES = new Set(["apply_patch", "write", "edit", "multiedit", "multi_edit"]);
 const CLEAN_DIAGNOSTICS_TEXT = "No diagnostics found";
 const UNSUPPORTED_EXTENSION_TEXT = "No LSP server configured for extension:";
 const DIAGNOSTIC_START_PATTERN = /(?:error|warning|information|hint)\[[^\]\r\n]+\] \(\d+\) at \d+:\d+:/g;
@@ -52,14 +67,22 @@ export async function runLspPostToolUseHook(
 	input: CodexPostToolUseInput,
 	runDiagnostics: DiagnosticsRunner = runLspDiagnosticsText,
 ): Promise<string> {
-	const filePaths = extractMutatedFilePaths(input);
+	const sessionId = sessionIdFrom(input);
+	const filePaths = extractMutatedFilePaths(input).filter(
+		(filePath) => !shouldSkipUnavailableLspDiagnostics(filePath, sessionId),
+	);
 	if (filePaths.length === 0) return "";
 
 	const blocks: DiagnosticBlock[] = [];
+	const observations: Array<{ filePath: string; unavailable: boolean }> = [];
 	for (const { filePath, diagnostics } of await collectDiagnostics(filePaths, runDiagnostics)) {
+		const unavailable = isUnavailableLspDiagnostics(diagnostics);
+		observations.push({ filePath, unavailable });
 		if (isCleanDiagnostics(diagnostics)) continue;
+		if (unavailable) continue;
 		blocks.push({ filePath, diagnostics });
 	}
+	recordLspDiagnosticsObservations(sessionId, observations);
 
 	if (blocks.length === 0) return "";
 
@@ -76,6 +99,11 @@ export async function runLspPostToolUseHook(
 	return `${JSON.stringify(output)}\n`;
 }
 
+export async function runLspPostCompactHook(input: CodexPostCompactInput): Promise<string> {
+	markLspSessionCompacted(sessionIdFrom(input));
+	return "";
+}
+
 async function collectDiagnostics(
 	filePaths: readonly string[],
 	runDiagnostics: DiagnosticsRunner,
@@ -187,29 +215,6 @@ function limitHookText(text: string, maxChars: number): string {
 	return `${head}${marker}`;
 }
 
-export function extractMutatedFilePaths(input: CodexPostToolUseInput): string[] {
-	if (!isMutationTool(input.tool_name)) return [];
-	if (isFailedToolResponse(input.tool_response)) return [];
-
-	const toolInput = isRecord(input.tool_input) ? input.tool_input : {};
-	const paths = new Set<string>();
-	addStringValue(paths, toolInput["path"]);
-	addStringValue(paths, toolInput["filePath"]);
-	addStringValue(paths, toolInput["file_path"]);
-	addStringArray(paths, toolInput["paths"]);
-	addStringArray(paths, toolInput["filePaths"]);
-	addStringArray(paths, toolInput["file_paths"]);
-	addPatchPayloads(paths, toolInput);
-	addPatchFiles(paths, toolInput["files"]);
-	addPatchFiles(paths, toolInput["changes"]);
-	return [...paths];
-}
-
-function isMutationTool(value: unknown): boolean {
-	if (typeof value !== "string") return false;
-	return MUTATION_TOOL_NAMES.has(value.toLowerCase());
-}
-
 function isCleanDiagnostics(diagnostics: string): boolean {
 	return (
 		diagnostics.length === 0 ||
@@ -218,60 +223,6 @@ function isCleanDiagnostics(diagnostics: string): boolean {
 	);
 }
 
-function isFailedToolResponse(value: unknown): boolean {
-	if (!isRecord(value)) return false;
-	return (
-		value["isError"] === true || value["is_error"] === true || value["error"] === true || value["status"] === "error"
-	);
-}
-
-function addStringValue(paths: Set<string>, value: unknown): void {
-	if (typeof value === "string" && value.length > 0) {
-		paths.add(value);
-	}
-}
-
-function addStringArray(paths: Set<string>, value: unknown): void {
-	if (!Array.isArray(value)) return;
-	for (const item of value) {
-		addStringValue(paths, item);
-	}
-}
-
-function addPatchPayloads(paths: Set<string>, input: Record<string, unknown>): void {
-	addPatchInput(paths, input["input"]);
-	addPatchInput(paths, input["patch"]);
-	addPatchInput(paths, input["command"]);
-}
-
-function addPatchInput(paths: Set<string>, value: unknown): void {
-	if (typeof value !== "string") return;
-	for (const line of value.split("\n")) {
-		const path = extractPatchHeaderPath(line);
-		if (path !== undefined) paths.add(path);
-	}
-}
-
-function extractPatchHeaderPath(line: string): string | undefined {
-	const prefixes = ["*** Add File: ", "*** Update File: ", "*** Move to: "] as const;
-	for (const prefix of prefixes) {
-		if (line.startsWith(prefix)) return line.slice(prefix.length).trim();
-	}
-	return undefined;
-}
-
-function addPatchFiles(paths: Set<string>, value: unknown): void {
-	if (!Array.isArray(value)) return;
-	for (const item of value) {
-		if (!isRecord(item)) continue;
-		addStringValue(paths, item["path"]);
-		addStringValue(paths, item["filePath"]);
-		addStringValue(paths, item["file_path"]);
-		addStringValue(paths, item["movePath"]);
-		addStringValue(paths, item["move_path"]);
-	}
-}
-
 export function isRecord(value: unknown): value is Record<string, unknown> {
 	return typeof value === "object" && value !== null && !Array.isArray(value);
 }

package/packages/omo-codex/plugin/components/lsp/src/lsp-session-state.ts

@@ -0,0 +1,116 @@
+import { mkdirSync, readFileSync, writeFileSync } from "node:fs";
+import { homedir } from "node:os";
+import { dirname, extname, join } from "node:path";
+
+interface LspSessionState {
+	readonly unavailableExtensions: readonly string[];
+	readonly postCompactProbePending?: boolean;
+}
+
+export interface DiagnosticsObservation {
+	readonly filePath: string;
+	readonly unavailable: boolean;
+}
+
+export function sessionIdFrom(input: { readonly session_id?: unknown }): string | undefined {
+	return typeof input.session_id === "string" && input.session_id.length > 0 ? input.session_id : undefined;
+}
+
+export function shouldSkipUnavailableLspDiagnostics(filePath: string, sessionId: string | undefined): boolean {
+	if (sessionId === undefined) return false;
+	const state = readSessionState(sessionStatePath(sessionId));
+	const extension = extensionKey(filePath);
+	return (
+		extension !== undefined &&
+		state.postCompactProbePending !== true &&
+		state.unavailableExtensions.includes(extension)
+	);
+}
+
+export function recordLspDiagnosticsObservations(
+	sessionId: string | undefined,
+	observations: readonly DiagnosticsObservation[],
+): void {
+	if (sessionId === undefined || observations.length === 0) return;
+	const state = readSessionState(sessionStatePath(sessionId));
+	const unavailableExtensions = new Set(state.unavailableExtensions);
+
+	for (const observation of observations) {
+		const extension = extensionKey(observation.filePath);
+		if (extension === undefined) continue;
+		if (observation.unavailable) {
+			unavailableExtensions.add(extension);
+		} else {
+			unavailableExtensions.delete(extension);
+		}
+	}
+
+	writeSessionState(sessionStatePath(sessionId), { unavailableExtensions: [...unavailableExtensions].sort() });
+}
+
+export function markLspSessionCompacted(sessionId: string | undefined): void {
+	if (sessionId === undefined) return;
+	const state = readSessionState(sessionStatePath(sessionId));
+	if (state.unavailableExtensions.length === 0) return;
+	writeSessionState(sessionStatePath(sessionId), {
+		unavailableExtensions: state.unavailableExtensions,
+		postCompactProbePending: true,
+	});
+}
+
+export function isUnavailableLspDiagnostics(diagnostics: string): boolean {
+	const normalized = diagnostics.trim();
+	return (
+		normalized.includes("LSP request timeout (method: initialize)") ||
+		normalized.includes("LSP server is still initializing") ||
+		normalized.includes("NOT INSTALLED") ||
+		normalized.includes("Command not found:")
+	);
+}
+
+function sessionStatePath(sessionId: string): string {
+	const root = process.env["PLUGIN_DATA"] ?? join(homedir(), ".codex", "codex-lsp");
+	return join(root, "sessions", `${safePathSegment(sessionId)}.json`);
+}
+
+function readSessionState(path: string): LspSessionState {
+	try {
+		const parsed: unknown = JSON.parse(readFileSync(path, "utf8"));
+		if (isLspSessionState(parsed)) return parsed;
+		return emptyState();
+	} catch (error) {
+		if (error instanceof SyntaxError || (isRecord(error) && error["code"] === "ENOENT")) return emptyState();
+		throw error;
+	}
+}
+
+function writeSessionState(path: string, state: LspSessionState): void {
+	mkdirSync(dirname(path), { recursive: true });
+	writeFileSync(path, `${JSON.stringify(state)}\n`);
+}
+
+function emptyState(): LspSessionState {
+	return { unavailableExtensions: [] };
+}
+
+function extensionKey(filePath: string): string | undefined {
+	const extension = extname(filePath).toLowerCase();
+	return extension.length === 0 ? undefined : extension;
+}
+
+function safePathSegment(value: string): string {
+	return value.replace(/[^A-Za-z0-9._-]/g, "_").slice(0, 120) || "unknown-session";
+}
+
+function isLspSessionState(value: unknown): value is LspSessionState {
+	if (!isRecord(value) || !Array.isArray(value["unavailableExtensions"])) return false;
+	const postCompactProbePending = value["postCompactProbePending"];
+	return (
+		value["unavailableExtensions"].every((item) => typeof item === "string") &&
+		(postCompactProbePending === undefined || typeof postCompactProbePending === "boolean")
+	);
+}
+
+function isRecord(value: unknown): value is Record<string, unknown> {
+	return typeof value === "object" && value !== null && !Array.isArray(value);
+}

package/packages/omo-codex/plugin/components/lsp/src/mutated-file-paths.ts

@@ -0,0 +1,88 @@
+const MUTATION_TOOL_NAMES = new Set(["apply_patch", "write", "edit", "multiedit", "multi_edit"]);
+
+export interface MutatedFileInput {
+	readonly tool_name?: unknown;
+	readonly tool_input?: unknown;
+	readonly tool_response?: unknown;
+}
+
+export function extractMutatedFilePaths(input: MutatedFileInput): string[] {
+	if (!isMutationTool(input.tool_name)) return [];
+	if (isFailedToolResponse(input.tool_response)) return [];
+
+	const toolInput = isRecord(input.tool_input) ? input.tool_input : {};
+	const paths = new Set<string>();
+	addStringValue(paths, toolInput["path"]);
+	addStringValue(paths, toolInput["filePath"]);
+	addStringValue(paths, toolInput["file_path"]);
+	addStringArray(paths, toolInput["paths"]);
+	addStringArray(paths, toolInput["filePaths"]);
+	addStringArray(paths, toolInput["file_paths"]);
+	addPatchPayloads(paths, toolInput);
+	addPatchFiles(paths, toolInput["files"]);
+	addPatchFiles(paths, toolInput["changes"]);
+	return [...paths];
+}
+
+function isMutationTool(value: unknown): boolean {
+	if (typeof value !== "string") return false;
+	return MUTATION_TOOL_NAMES.has(value.toLowerCase());
+}
+
+function isFailedToolResponse(value: unknown): boolean {
+	if (!isRecord(value)) return false;
+	return (
+		value["isError"] === true || value["is_error"] === true || value["error"] === true || value["status"] === "error"
+	);
+}
+
+function addStringValue(paths: Set<string>, value: unknown): void {
+	if (typeof value === "string" && value.length > 0) {
+		paths.add(value);
+	}
+}
+
+function addStringArray(paths: Set<string>, value: unknown): void {
+	if (!Array.isArray(value)) return;
+	for (const item of value) {
+		addStringValue(paths, item);
+	}
+}
+
+function addPatchPayloads(paths: Set<string>, input: Record<string, unknown>): void {
+	addPatchInput(paths, input["input"]);
+	addPatchInput(paths, input["patch"]);
+	addPatchInput(paths, input["command"]);
+}
+
+function addPatchInput(paths: Set<string>, value: unknown): void {
+	if (typeof value !== "string") return;
+	for (const line of value.split("\n")) {
+		const path = extractPatchHeaderPath(line);
+		if (path !== undefined) paths.add(path);
+	}
+}
+
+function extractPatchHeaderPath(line: string): string | undefined {
+	const prefixes = ["*** Add File: ", "*** Update File: ", "*** Move to: "] as const;
+	for (const prefix of prefixes) {
+		if (line.startsWith(prefix)) return line.slice(prefix.length).trim();
+	}
+	return undefined;
+}
+
+function addPatchFiles(paths: Set<string>, value: unknown): void {
+	if (!Array.isArray(value)) return;
+	for (const item of value) {
+		if (!isRecord(item)) continue;
+		addStringValue(paths, item["path"]);
+		addStringValue(paths, item["filePath"]);
+		addStringValue(paths, item["file_path"]);
+		addStringValue(paths, item["movePath"]);
+		addStringValue(paths, item["move_path"]);
+	}
+}
+
+function isRecord(value: unknown): value is Record<string, unknown> {
+	return typeof value === "object" && value !== null && !Array.isArray(value);
+}