@duckmind/dm-darwin-x64 0.66.5 → 0.66.6

package/extensions/dm-lens/clients/lsp/server.js

@@ -19,7 +19,8 @@ import { STAGE_TMP_PATTERN } from "../atomic-write-staging.js";
 import {
   DOTNET_CSHARP_ROOT_MARKERS,
   DOTNET_FSHARP_ROOT_MARKERS,
-  KIND_EXTENSIONS
+  KIND_EXTENSIONS,
+  LEAN_ROOT_MARKERS
 } from "../file-kinds.js";
 import { extensionsForLanguage } from "../language-registry.js";
 import {
@@ -27,6 +28,7 @@ import {
   direntsHaveMarkerGlobMatch,
   isAtOrAboveHomeDir,
   isFullyQualified,
+  isUnderDir,
   isWindowsPath,
   matchesWorkspaceMemberPattern,
   normalizeEphemeralMapKey,
@@ -62,6 +64,9 @@ import {
   unknownDirMtimeRecords
 } from "../workspace-topology.js";
 import { bounded } from "../deadline-utils.js";
+import {
+  DEFAULT_LSP_SERVER_ROLE
+} from "./server-traits.js";
 import { FRESHNESS_CADENCE_MS } from "../freshness-cadence.js";
 import { HOOK_WALL_BUDGET_MS } from "../hook-budgets.js";
 import { recordDegradationOnce } from "../degradation-ledger.js";
@@ -77,7 +82,11 @@ import {
   isCommandAvailableAsync,
   safeSpawnAsync
 } from "../safe-spawn.js";
-import { launchLSP } from "./launch.js";
+import {
+  admitProjectSuppliedTsserver,
+  launchLSP
+} from "./launch.js";
+import { ephemeralStagingRoot } from "../ephemeral-root.js";
 import { createLombokJdtlsArgs } from "./lombok.js";
 import { resolveJavaRuntimeEnv } from "./jvm-runtime.js";
 import { normalizeMapKey } from "./path-utils.js";
@@ -90,7 +99,26 @@ function withRootMarkers(root, markers) {
   root.rootMarkers = markers;
   return root;
 }
-export async function resolveLspServerCwd(server, filePath, sessionCwd, onRootFailure) {
+export function describeRootFallback(fallback) {
+  const tail = "so dm-lens cannot confirm the server analysed the file";
+  if (fallback.cause === "failed") {
+    return `${fallback.serverName}: resolving the project root for this file failed, ${tail}`;
+  }
+  if (fallback.cause === "unselected") {
+    return `${fallback.serverName}: found ${fallback.marker} for this file but dm-lens did not select it as the project root (a test-fixture or git-ignored directory is never used as one), ${tail}`;
+  }
+  return `${fallback.serverName}: no project root found for this file (looked for ${fallback.rootMarkers.join(" / ")}); the server was started at the file's directory and may not have analysed it`;
+}
+export async function resolveLspServerCwd(server, filePath, sessionCwd, onRootFailure, onRootFallback) {
+  const stagingRoot = ephemeralStagingRoot(filePath);
+  if (stagingRoot) {
+    recordDegradationOnce({
+      kind: "lsp-root-declined",
+      subject: stagingRoot,
+      reason: "LSP root declined for host pi-agent staging directory"
+    });
+    return;
+  }
   const rootMarkers = server.rootMarkers ?? server.root.rootMarkers;
   let serverRoot;
   let rootFailed = false;
@@ -103,19 +131,32 @@ export async function resolveLspServerCwd(server, filePath, sessionCwd, onRootFa
   }
   const isFileDirFallback = serverRoot !== undefined && rootMarkers?.length && path.resolve(serverRoot) === path.resolve(path.dirname(filePath));
   if (!serverRoot || isFileDirFallback) {
+    const probedMarker = onRootFallback && !rootFailed && rootMarkers?.length ? resolveToolCwd("lsp", server.id, filePath, {
+      cwd: sessionCwd,
+      rootMarkers,
+      suppressTelemetry: true
+    }).marker : undefined;
+    const refusedMarker = probedMarker !== undefined && rootMarkers?.includes(probedMarker) ? probedMarker : undefined;
+    const fallbackCwd = rootMarkers?.length ? resolveToolCwd("lsp", server.id, filePath, {
+      cwd: path.dirname(path.resolve(filePath)),
+      rootMarkers
+    }) : undefined;
     if (!serverRoot) {
       recordDegradationOnce({
         kind: "tool-cwd-resolution",
         subject: server.id,
         reason: `lsp:server-root-${rootFailed ? "failed" : "fallback"}:${filePath}`
       });
+      onRootFallback?.({
+        serverId: server.id,
+        serverName: server.name ?? server.id,
+        rootMarkers: rootMarkers ?? [],
+        requiresProjectRoot: server.requiresProjectRoot === true,
+        cause: rootFailed ? "failed" : refusedMarker !== undefined ? "unselected" : "none",
+        ...refusedMarker !== undefined && { marker: refusedMarker }
+      });
     }
-    if (!rootMarkers?.length)
-      return;
-    return resolveToolCwd("lsp", server.id, filePath, {
-      cwd: path.dirname(path.resolve(filePath)),
-      rootMarkers
-    }).cwd;
+    return fallbackCwd?.cwd;
   }
   const boundedServerRoot = enforceLspRootCeiling(serverRoot, sessionCwd, filePath);
   return resolveToolCwd("lsp", server.id, filePath, {
@@ -306,10 +347,22 @@ function canInstall(allowInstall) {
 const DIRECT_LSP_NEGATIVE_TTL_MS = Math.max(30000, Number.parseInt(process.env.DM_LENS_DIRECT_LSP_NEGATIVE_TTL_MS ?? "600000", 10) || 600000);
 const directLspCommandUnavailableUntil = new Map;
 const directLspCommandSkipLoggedUntil = new Map;
-const lspLaunchAvailabilityGeneration = createGenerationSource("lsp-launch-availability");
+const LSP_SERVICE_GENERATION_FAMILY = "lsp.service.generation";
+const LSP_SERVICE_GENERATION_VERSION = 1;
+function lspServiceGenerationCell() {
+  let seed = 0;
+  return getProcessSingleton(LSP_SERVICE_GENERATION_FAMILY, LSP_SERVICE_GENERATION_VERSION, () => ({ generation: seed }), (previous) => {
+    const value = previous?.generation;
+    seed = typeof value === "number" && Number.isSafeInteger(value) && value > 0 ? value : 0;
+  });
+}
+const lspLaunchAvailabilityGeneration = createGenerationSource("lsp-launch-availability", lspServiceGenerationCell);
 export function resetLspLaunchAvailabilityGeneration() {
   lspLaunchAvailabilityGeneration.bump();
 }
+export function captureLspServiceGeneration() {
+  return lspLaunchAvailabilityGeneration.capture();
+}
 function staleLaunch(generation, subject, proc) {
   if (generation.isCurrent())
     return false;
@@ -800,9 +853,13 @@ function createInteractiveServer(spec) {
     id: spec.id,
     name: spec.name,
     extensions: spec.extensions,
+    idleEviction: "unmeasured",
+    role: DEFAULT_LSP_SERVER_ROLE,
     root: spec.root,
     rootMarkers: spec.root.rootMarkers,
     fallbackFor: spec.fallbackFor,
+    requiresProjectRoot: spec.requiresProjectRoot,
+    executesProjectCode: spec.executesProjectCode,
     availabilityKey: typeof spec.command === "string" && isSimpleCommand(spec.command) ? spec.command : undefined,
     async spawn(root) {
       const command = typeof spec.command === "function" ? spec.command(root) : spec.command;
@@ -1055,24 +1112,44 @@ async function typescriptVersionForTsc(tscPath) {
   }
   return;
 }
-async function findTsserverPath(root, allowInstall) {
+async function findTsserverPath(root, allowInstall, options) {
   const fs = await import("node:fs/promises");
+  const projectRoots = await Promise.all([root, options?.sessionRoot ?? process.cwd(), process.cwd()].map((dir) => fs.realpath(dir).catch(() => path.resolve(dir))));
+  const admitCandidate = async (candidate, projectSupplied) => {
+    try {
+      const real = await fs.realpath(candidate);
+      if (path.basename(real) !== "tsserver.js" || !(await fs.stat(real)).isFile())
+        return;
+      const manifest = JSON.parse(await fs.readFile(path.join(path.dirname(real), "..", "package.json"), "utf8"));
+      if (typeof manifest?.version !== "string" || !manifest.version)
+        return;
+      return admitProjectSuppliedTsserver(real, options?.sessionRoot ?? process.cwd(), projectSupplied || projectRoots.some((dir) => isUnderDir(real, dir)), options?.projectCodeAllowed);
+    } catch {
+      return;
+    }
+  };
   const ancestorHit = await findAncestorFile(root, "node_modules", "typescript", "lib", "tsserver.js");
-  if (ancestorHit)
-    return ancestorHit;
+  if (ancestorHit) {
+    const admittedAncestor = await admitCandidate(ancestorHit, true);
+    if (admittedAncestor)
+      return admittedAncestor;
+  }
   const cwdCandidate = path.join(process.cwd(), "node_modules", "typescript", "lib", "tsserver.js");
   try {
     await fs.access(cwdCandidate);
-    return cwdCandidate;
+    const admittedCwd = await admitCandidate(cwdCandidate, false);
+    if (admittedCwd)
+      return admittedCwd;
   } catch {}
   const tsserverForTsc = async (tscPath) => {
-    if (!tscPath)
+    if (!tscPath || !path.isAbsolute(tscPath))
       return;
     for (const dir of typescriptDirsForTsc(tscPath)) {
       const candidate = path.join(dir, "lib", "tsserver.js");
       try {
-        await fs.access(candidate);
-        return candidate;
+        const admitted = await admitCandidate(candidate, false);
+        if (admitted)
+          return admitted;
       } catch {}
     }
     return;
@@ -1278,15 +1355,17 @@ const TypeScriptRoot = withRootMarkers(DenoExcludeRoot(async (file) => {
 }), [...TS_CONFIG_MARKERS, ...TS_TOOLING_MARKERS]);
 export const TypeScriptServer = {
   id: "typescript",
+  idleEviction: "transparent",
+  role: "language",
   name: "TypeScript Language Server",
+  projectLocalCommand: "typescript-language-server",
   extensions: JS_TS_LSP_EXTENSIONS,
   autoPropagateDiagnostics: true,
   root: TypeScriptRoot,
   rootMarkers: TypeScriptRoot.rootMarkers,
   async spawn(root, options) {
-    const fs = await import("node:fs/promises");
     const nativeLsp = await findNativeTypeScriptLsp(root);
-    if (nativeLsp) {
+    if (nativeLsp && admitProjectSuppliedTsserver(nativeLsp.command, root, true, options?.projectCodeAllowed)) {
       const env = await getToolEnvironment();
       logSessionStart(`lsp typescript-native: version=${nativeLsp.version} command=${nativeLsp.command}`);
       const proc = await launchLSP(nativeLsp.command, ["--lsp", "--stdio"], {
@@ -1310,13 +1389,10 @@ export const TypeScriptServer = {
         return;
       }
     }
-    let tsserverPath = await findTsserverPath(root, options?.allowInstall);
+    const tsserverPath = await findTsserverPath(root, options?.allowInstall, options);
     if (!tsserverPath) {
-      const localCandidate = path.join(path.dirname(lspPath), "..", "typescript", "lib", "tsserver.js");
-      try {
-        await fs.access(localCandidate);
-        tsserverPath = localCandidate;
-      } catch {}
+      admitProjectSuppliedTsserver(undefined, root, true, options?.projectCodeAllowed);
+      return;
     }
     if (tsserverPath)
       source = "managed";
@@ -1338,6 +1414,8 @@ export const TypeScriptServer = {
 };
 export const DenoServer = {
   id: "deno",
+  idleEviction: "transparent",
+  role: "language",
   name: "Deno Language Server",
   fallbackFor: "typescript",
   extensions: JS_TS_LSP_EXTENSIONS,
@@ -1354,6 +1432,8 @@ export const DenoServer = {
 };
 export const PythonServer = {
   id: "python",
+  idleEviction: "transparent",
+  role: "language",
   name: "Pyright Language Server",
   extensions: KIND_EXTENSIONS["python"],
   root: RootWithFallback(createRootDetector([
@@ -1447,6 +1527,8 @@ export const PythonServer = {
 };
 export const PythonJediServer = {
   id: "python-jedi",
+  idleEviction: "transparent",
+  role: "language",
   name: "Jedi Language Server",
   fallbackFor: "python",
   extensions: KIND_EXTENSIONS["python"],
@@ -1477,6 +1559,8 @@ export const PythonJediServer = {
 };
 export const GoServer = {
   id: "go",
+  idleEviction: "unmeasured",
+  role: "language",
   name: "gopls",
   extensions: KIND_EXTENSIONS["go"],
   root: RootWithFallback(WorkspacePriorityRoot([["go.work"], ["go.mod", "go.sum"], [".git"]])),
@@ -1499,7 +1583,11 @@ function cargoWorkspaceDeclaresMember(workspaceContent, parentDir, childDir) {
   const relativePath = path.relative(parentDir, childDir).split(path.sep).join("/");
   if (relativePath === "" || relativePath.startsWith(".."))
     return false;
-  const matches = (pattern) => matchesWorkspaceMemberPattern(pattern, relativePath, CARGO_WORKSPACE_MEMBER_DIALECT);
+  const matches = (pattern) => matchesWorkspaceMemberPattern(pattern, relativePath, CARGO_WORKSPACE_MEMBER_DIALECT, () => recordDegradationOnce({
+    kind: "workspace-glob-cap",
+    subject: String(pattern.length),
+    reason: "workspace glob matcher exceeded its memo-table cell cap"
+  }));
   const excluded = readCargoWorkspaceExclude(workspaceContent);
   if (excluded.some(matches))
     return false;
@@ -1600,7 +1688,11 @@ function JavaWorkspaceRoot() {
 }
 export const RustServer = {
   id: "rust",
+  idleEviction: "unmeasured",
+  role: "language",
+  requiresProjectRoot: true,
   name: "rust-analyzer",
+  executesProjectCode: true,
   extensions: KIND_EXTENSIONS["rust"],
   root: RustWorkspaceRoot(),
   async spawn(root, options) {
@@ -1624,7 +1716,10 @@ export const RustServer = {
 };
 export const RubyServer = {
   id: "ruby",
+  idleEviction: "unmeasured",
+  role: "language",
   name: "Ruby LSP",
+  executesProjectCode: true,
   extensions: KIND_EXTENSIONS["ruby"],
   root: RootWithFallback(PriorityRoot([["Gemfile", ".ruby-version"], [".git"]])),
   initializeTimeoutMs: 30000,
@@ -1658,6 +1753,8 @@ export const RubyServer = {
 };
 export const PHPServer = {
   id: "php",
+  idleEviction: "transparent",
+  role: "language",
   name: "Intelephense",
   extensions: KIND_EXTENSIONS["php"],
   root: RootWithFallback(createRootDetector(["composer.json", "composer.lock"])),
@@ -1712,7 +1809,10 @@ function buildPsesArgs(bundleDir) {
 }
 export const PowerShellServer = {
   id: "powershell",
+  idleEviction: "unmeasured",
+  role: "language",
   name: "PowerShell Editor Services",
+  executesProjectCode: true,
   extensions: KIND_EXTENSIONS["powershell"],
   root: RootWithFallback(createRootDetector([".git"])),
   spawn(root, options) {
@@ -1726,7 +1826,11 @@ export const PowerShellServer = {
 };
 export const CSharpServer = {
   id: "csharp",
+  idleEviction: "unmeasured",
+  role: "language",
+  requiresProjectRoot: true,
   name: "csharp-ls",
+  executesProjectCode: true,
   extensions: KIND_EXTENSIONS["csharp"],
   root: createRootDetector([...DOTNET_CSHARP_ROOT_MARKERS]),
   async spawn(root, options) {
@@ -1746,6 +1850,8 @@ export const CSharpServer = {
 export const OmniSharpServer = createInteractiveServer({
   id: "omnisharp",
   name: "OmniSharp",
+  executesProjectCode: true,
+  requiresProjectRoot: true,
   fallbackFor: "csharp",
   extensions: KIND_EXTENSIONS["csharp"],
   root: createRootDetector([...DOTNET_CSHARP_ROOT_MARKERS]),
@@ -1755,7 +1861,11 @@ export const OmniSharpServer = createInteractiveServer({
 });
 export const FSharpServer = {
   id: "fsharp",
+  idleEviction: "unmeasured",
+  role: "language",
+  requiresProjectRoot: true,
   name: "FSAutocomplete",
+  executesProjectCode: true,
   extensions: KIND_EXTENSIONS["fsharp"],
   root: createRootDetector([...DOTNET_FSHARP_ROOT_MARKERS]),
   async spawn(root, options) {
@@ -1775,6 +1885,7 @@ export const FSharpServer = {
 export const JavaServer = createInteractiveServer({
   id: "java",
   name: "JDT Language Server",
+  executesProjectCode: true,
   extensions: KIND_EXTENSIONS["java"],
   root: RootWithFallback(JavaWorkspaceRoot()),
   language: "java",
@@ -1784,20 +1895,36 @@ export const JavaServer = createInteractiveServer({
 });
 export const KotlinServer = {
   id: "kotlin",
+  idleEviction: "unmeasured",
+  role: "language",
   name: "Kotlin Language Server",
+  executesProjectCode: true,
   extensions: KIND_EXTENSIONS["kotlin"],
   root: RootWithFallback(createRootDetector(["build.gradle.kts", "build.gradle", "pom.xml"])),
   async spawn(root, options) {
     return resolveAndLaunch({
       candidates: ["kotlin-lsp", "kotlin-language-server"],
       args: [],
-      cwd: root
+      cwd: root,
+      managedToolId: "kotlin-language-server"
     }, options?.allowInstall);
   }
 };
+export const LeanServer = createInteractiveServer({
+  id: "lean",
+  name: "Lean 4 Language Server",
+  extensions: KIND_EXTENSIONS.lean,
+  root: RootWithFallback(createRootDetector([...LEAN_ROOT_MARKERS])),
+  language: "lean",
+  requiresProjectRoot: true,
+  executesProjectCode: true,
+  command: "lake",
+  args: ["serve"]
+});
 export const SwiftServer = createInteractiveServer({
   id: "swift",
   name: "SourceKit-LSP",
+  executesProjectCode: true,
   extensions: KIND_EXTENSIONS["swift"],
   root: createRootDetector(["Package.swift"]),
   language: "swift",
@@ -1805,6 +1932,7 @@ export const SwiftServer = createInteractiveServer({
 });
 export const DartServer = createInteractiveServer({
   id: "dart",
+  executesProjectCode: true,
   name: "Dart Analysis Server",
   extensions: KIND_EXTENSIONS["dart"],
   root: RootWithFallback(createRootDetector(["pubspec.yaml"])),
@@ -1817,6 +1945,8 @@ function createTreeBinaryServer(spec) {
     id: spec.id,
     name: spec.name,
     extensions: spec.extensions,
+    idleEviction: spec.idleEviction ?? "unmeasured",
+    role: DEFAULT_LSP_SERVER_ROLE,
     root: spec.root,
     spawn(root, options) {
       return resolveAndLaunchTreeBinary({
@@ -1839,6 +1969,7 @@ export const LuaServer = createTreeBinaryServer({
 });
 export const CppServer = createTreeBinaryServer({
   id: "cpp",
+  idleEviction: "transparent",
   name: "clangd",
   extensions: KIND_EXTENSIONS["cxx"],
   root: RootWithFallback(createRootDetector([
@@ -1853,6 +1984,9 @@ export const CppServer = createTreeBinaryServer({
 });
 export const ZigServer = {
   id: "zig",
+  executesProjectCode: true,
+  idleEviction: "unmeasured",
+  role: "language",
   name: "ZLS",
   extensions: KIND_EXTENSIONS["zig"],
   root: RootWithFallback(createRootDetector(["build.zig"])),
@@ -1868,6 +2002,7 @@ export const ZigServer = {
 export const HaskellServer = createInteractiveServer({
   id: "haskell",
   name: "Haskell Language Server",
+  executesProjectCode: true,
   extensions: KIND_EXTENSIONS["haskell"],
   root: createRootDetector(["stack.yaml", "cabal.project", "*.cabal"]),
   language: "haskell",
@@ -1877,6 +2012,7 @@ export const HaskellServer = createInteractiveServer({
 export const ElixirServer = createInteractiveServer({
   id: "elixir",
   name: "ElixirLS",
+  executesProjectCode: true,
   extensions: KIND_EXTENSIONS["elixir"],
   root: RootWithFallback(createRootDetector(["mix.exs"])),
   language: "elixir",
@@ -1884,7 +2020,10 @@ export const ElixirServer = createInteractiveServer({
 });
 export const ElixirExpertServer = {
   id: "expert",
+  idleEviction: "unmeasured",
+  role: "language",
   name: "Expert",
+  executesProjectCode: true,
   fallbackFor: "elixir",
   extensions: KIND_EXTENSIONS["elixir"],
   root: RootWithFallback(createRootDetector(["mix.exs"])),
@@ -1901,6 +2040,8 @@ export const ElixirExpertServer = {
 };
 export const GleamServer = {
   id: "gleam",
+  idleEviction: "unmeasured",
+  role: "language",
   name: "Gleam LSP",
   extensions: KIND_EXTENSIONS["gleam"],
   root: RootWithFallback(createRootDetector(["gleam.toml"])),
@@ -1915,6 +2056,9 @@ export const GleamServer = {
 };
 export const TinymistServer = {
   id: "tinymist",
+  executesProjectCode: true,
+  idleEviction: "unmeasured",
+  role: "language",
   name: "Tinymist",
   extensions: extensionsForLanguage("typst"),
   root: RootWithFallback(createRootDetector(["typst.toml", ".git"])),
@@ -1930,6 +2074,8 @@ export const TinymistServer = {
 };
 export const MarksmanServer = {
   id: "marksman",
+  idleEviction: "transparent",
+  role: "language",
   name: "Marksman",
   extensions: KIND_EXTENSIONS["markdown"],
   root: RootWithFallback(createRootDetector([".marksman.toml", ".git"])),
@@ -1944,6 +2090,7 @@ export const MarksmanServer = {
 };
 export const OCamlServer = createInteractiveServer({
   id: "ocaml",
+  executesProjectCode: true,
   name: "ocamllsp",
   extensions: KIND_EXTENSIONS["ocaml"],
   root: createRootDetector(["dune-project", "opam"]),
@@ -1952,6 +2099,9 @@ export const OCamlServer = createInteractiveServer({
 });
 export const ClojureServer = {
   id: "clojure",
+  executesProjectCode: true,
+  idleEviction: "transparent",
+  role: "language",
   name: "Clojure LSP",
   extensions: KIND_EXTENSIONS["clojure"],
   root: createRootDetector(["deps.edn", "project.clj"]),
@@ -1966,6 +2116,8 @@ export const ClojureServer = {
 };
 export const CueServer = {
   id: "cue",
+  idleEviction: "unmeasured",
+  role: "language",
   name: "CUE Language Server",
   extensions: KIND_EXTENSIONS["cue"],
   root: RootWithFallback(createRootDetector(["cue.mod", ".git"])),
@@ -1980,6 +2132,9 @@ export const CueServer = {
 };
 export const TerraformServer = {
   id: "terraform",
+  executesProjectCode: true,
+  idleEviction: "unmeasured",
+  role: "language",
   name: "Terraform LSP",
   extensions: KIND_EXTENSIONS["terraform"],
   root: RootWithFallback(createRootDetector([".terraform.lock.hcl", ".terraform"])),
@@ -1994,6 +2149,7 @@ export const TerraformServer = {
 };
 export const NixServer = createInteractiveServer({
   id: "nix",
+  executesProjectCode: true,
   name: "nixd",
   extensions: KIND_EXTENSIONS["nix"],
   root: createRootDetector(["flake.nix"]),
@@ -2002,8 +2158,10 @@ export const NixServer = createInteractiveServer({
 });
 export const BashServer = {
   id: "bash",
+  idleEviction: "transparent",
+  role: "language",
   name: "Bash Language Server",
-  extensions: [".bash", ".sh", ".zsh"],
+  extensions: [".bash", ".sh"],
   root: FileDirRoot,
   clientWaitTimeoutMs: 20000,
   initializeTimeoutMs: 20000,
@@ -2016,8 +2174,20 @@ export const BashServer = {
     }, options?.allowInstall);
   }
 };
+export { BUILTIN_SERVER_RUNNER_COVERS } from "./server-covers.js";
+export const ShuckServer = createInteractiveServer({
+  id: "shuck",
+  name: "Shuck",
+  extensions: [".zsh"],
+  root: FileDirRoot,
+  language: "shell",
+  command: "shuck",
+  args: ["server"]
+});
 export const FishServer = {
   id: "fish",
+  idleEviction: "transparent",
+  role: "language",
   name: "Fish Language Server",
   extensions: KIND_EXTENSIONS["fish"],
   root: RootWithFallback(createRootDetector([".git"])),
@@ -2032,6 +2202,9 @@ export const FishServer = {
 };
 export const CMakeServer = {
   id: "cmake",
+  executesProjectCode: true,
+  idleEviction: "unmeasured",
+  role: "language",
   name: "CMake Language Server",
   extensions: [...KIND_EXTENSIONS["cmake"], "CMakeLists.txt"],
   root: RootWithFallback(createRootDetector(["CMakeLists.txt", ".git"])),
@@ -2046,6 +2219,8 @@ export const CMakeServer = {
 };
 export const DockerServer = {
   id: "docker",
+  idleEviction: "transparent",
+  role: "language",
   name: "Dockerfile Language Server",
   extensions: [".dockerfile", "Dockerfile"],
   root: RootWithFallback(PriorityRoot([
@@ -2066,8 +2241,34 @@ export const DockerServer = {
     }, options?.allowInstall);
   }
 };
+export const DockerOfficialServer = {
+  id: "docker-official",
+  idleEviction: "unmeasured",
+  role: "language",
+  name: "Docker Language Server (official)",
+  fallbackFor: "docker",
+  extensions: [".dockerfile", "Dockerfile"],
+  root: RootWithFallback(PriorityRoot([
+    [
+      "docker-compose.yml",
+      "docker-compose.yaml",
+      "compose.yml",
+      "compose.yaml"
+    ],
+    [".git"]
+  ])),
+  spawn(root, options) {
+    return resolveAndLaunch({
+      candidates: nodeBinCandidates(root, "docker-language-server"),
+      args: ["start", "--stdio"],
+      cwd: root
+    }, options?.allowInstall);
+  }
+};
 export const YamlServer = {
   id: "yaml",
+  idleEviction: "transparent",
+  role: "language",
   name: "YAML Language Server",
   extensions: KIND_EXTENSIONS["yaml"],
   root: RootWithFallback(PriorityRoot([
@@ -2085,6 +2286,8 @@ export const YamlServer = {
 };
 export const JsonServer = {
   id: "json",
+  idleEviction: "transparent",
+  role: "language",
   name: "VSCode JSON Language Server",
   extensions: KIND_EXTENSIONS["json"],
   root: RootWithFallback(WorkspacePriorityRoot([
@@ -2104,6 +2307,8 @@ export const JsonServer = {
 };
 export const HtmlServer = {
   id: "html",
+  idleEviction: "transparent",
+  role: "language",
   name: "VSCode HTML Language Server",
   extensions: KIND_EXTENSIONS["html"],
   root: RootWithFallback(IgnoreHomeRoot(PriorityRoot([["package.json", "index.html", "vite.config.ts"]]))),
@@ -2118,6 +2323,8 @@ export const HtmlServer = {
 };
 export const TomlServer = {
   id: "toml",
+  idleEviction: "unmeasured",
+  role: "language",
   name: "Taplo",
   extensions: KIND_EXTENSIONS["toml"],
   root: RootWithFallback(PriorityRoot([["pyproject.toml", "Cargo.toml", "taplo.toml"], [".git"]])),
@@ -2132,6 +2339,8 @@ export const TomlServer = {
 };
 export const PrismaServer = {
   id: "prisma",
+  idleEviction: "transparent",
+  role: "language",
   name: "Prisma Language Server",
   extensions: KIND_EXTENSIONS["prisma"],
   root: RootWithFallback(createRootDetector(["prisma/schema.prisma", "schema.prisma"])),
@@ -2148,6 +2357,9 @@ export const PrismaServer = {
 };
 export const VueServer = {
   id: "vue",
+  executesProjectCode: true,
+  idleEviction: "unmeasured",
+  role: "language",
   name: "Vue Language Server",
   extensions: [".vue"],
   root: RootWithFallback(IgnoreHomeRoot(createRootDetector([
@@ -2161,7 +2373,7 @@ export const VueServer = {
   clientWaitTimeoutMs: 30000,
   initializeTimeoutMs: 30000,
   async spawn(root, options) {
-    const tsserverPath = await findTsserverPath(root, options?.allowInstall);
+    const tsserverPath = await findTsserverPath(root, options?.allowInstall, options);
     const hasPackageJson = existsSync(path.join(root, "package.json"));
     const hasNodeModules = existsSync(path.join(root, "node_modules"));
     if (hasPackageJson && !hasNodeModules) {
@@ -2184,6 +2396,9 @@ export const VueServer = {
 };
 export const SvelteServer = {
   id: "svelte",
+  executesProjectCode: true,
+  idleEviction: "unmeasured",
+  role: "language",
   name: "Svelte Language Server",
   extensions: [".svelte"],
   root: RootWithFallback(IgnoreHomeRoot(createRootDetector([
@@ -2197,7 +2412,7 @@ export const SvelteServer = {
   clientWaitTimeoutMs: 20000,
   initializeTimeoutMs: 20000,
   async spawn(root, options) {
-    const tsserverPath = await findTsserverPath(root, options?.allowInstall);
+    const tsserverPath = await findTsserverPath(root, options?.allowInstall, options);
     const proc = await resolveAndLaunch({
       candidates: [
         ...nodeBinCandidates(root, "svelteserver"),
@@ -2218,6 +2433,8 @@ export const SvelteServer = {
 };
 export const CssServer = {
   id: "css",
+  idleEviction: "transparent",
+  role: "language",
   name: "CSS Language Server",
   extensions: KIND_EXTENSIONS["css"],
   root: RootWithFallback(IgnoreHomeRoot(PriorityRoot([
@@ -2274,8 +2491,9 @@ function opengrepInitialization(root) {
 }
 export const OpengrepServer = {
   id: "opengrep",
-  name: "Opengrep Security Scanner",
+  idleEviction: "transparent",
   role: "auxiliary",
+  name: "Opengrep Security Scanner",
   extensions: OPENGREP_EXTENSIONS,
   root: RootWithFallback(NearestRoot([".git"]), async () => process.cwd()),
   availabilityKey: "opengrep",
@@ -2319,12 +2537,14 @@ const AST_GREP_KINDS = [
 const AST_GREP_EXTENSIONS = Array.from(new Set(AST_GREP_KINDS.flatMap((k) => KIND_EXTENSIONS[k] ?? [])));
 export const AstGrepServer = {
   id: "ast-grep",
-  name: "ast-grep structural linter",
+  idleEviction: "unmeasured",
   role: "auxiliary",
+  name: "ast-grep structural linter",
   extensions: AST_GREP_EXTENSIONS,
   root: RootWithFallback(createRootDetector(["sgconfig.yml", "sgconfig.yaml"]), RootWithFallback(NearestRoot([".git"]), async () => process.cwd())),
   availabilityKey: "ast-grep",
   notifyInflightLimit: 4,
+  replyOrdering: "single-task-ordered",
   initializeTimeoutMs: 15000,
   async spawn(root, options) {
     const projectSgconfig = findLocalSgconfig(root);
@@ -2348,8 +2568,9 @@ export const AstGrepServer = {
 const ZIZMOR_EXTENSIONS = KIND_EXTENSIONS["yaml"];
 export const ZizmorServer = {
   id: "zizmor",
-  name: "zizmor Actions Security Scanner",
+  idleEviction: "unmeasured",
   role: "auxiliary",
+  name: "zizmor Actions Security Scanner",
   extensions: ZIZMOR_EXTENSIONS,
   pathFilter: isZizmorAuditTarget,
   root: RootWithFallback(NearestRoot([".git"]), async () => process.cwd()),
@@ -2393,8 +2614,9 @@ function typosInitialization(root) {
 }
 export const TyposServer = {
   id: "typos",
-  name: "typos Spell Checker",
+  idleEviction: "unmeasured",
   role: "auxiliary",
+  name: "typos Spell Checker",
   extensions: TYPOS_EXTENSIONS,
   root: RootWithFallback(NearestRoot([".git"]), async () => process.cwd()),
   availabilityKey: "typos-lsp",
@@ -2427,6 +2649,7 @@ export const LSP_SERVERS = [
   FSharpServer,
   JavaServer,
   KotlinServer,
+  LeanServer,
   SwiftServer,
   DartServer,
   LuaServer,
@@ -2444,9 +2667,11 @@ export const LSP_SERVERS = [
   TerraformServer,
   NixServer,
   BashServer,
+  ShuckServer,
   FishServer,
   CMakeServer,
   DockerServer,
+  DockerOfficialServer,
   YamlServer,
   JsonServer,
   HtmlServer,