@canonical/pragma-cli 0.36.0 → 0.38.0

package/dist/src/capabilities/setup/operations/setupLsp.js

@@ -11,18 +11,39 @@
  * NOT used: it hardcodes the `code` CLI, which is precisely what left
  * VSCodium/Cursor/Windsurf/Antigravity machines unable to install at all.
  *
- * `detectLsp` probes FOR REAL up front, and spawns NOTHING: an editor is
- * detected when its CLI resolves on PATH (the `editorClis` registry names
- * them), carries the extension when its extensions dir holds a
+ * `detectLsp` probes FOR REAL up front, and spawns NOTHING. An editor is
+ * detected THREE ways, and each row records which one found it, because "no
+ * editor found" and "found but nothing can be installed into it" are different
+ * answers and only one of them is about this machine lacking the editor:
+ *
+ * 1. its CLI on PATH (the `editorClis` registry names them);
+ * 2. its CLI inside its macOS APP BUNDLE — a stock macOS install puts nothing
+ *    on PATH until the user runs the palette's "Shell Command: Install
+ *    '<cli>' command in PATH", which is opt-in and usually never taken, so a
+ *    PATH-only probe reported a machine that HAS VS Code as having none;
+ * 3. its per-user configuration DIRECTORY, which is the last trace a fresh
+ *    install leaves. Nothing can be installed through a directory, so such an
+ *    editor carries no CLI path at all and its remedy is the palette command
+ *    that settles it.
+ *
+ * It carries the extension when its extensions dir holds a
  * `canonical.terrazzo-lsp-extension-<version>/` entry, and is "installed" when
- * that entry is also new enough to work. Running
- * `--list-extensions` instead would be the natural probe, but Cursor's Linux
- * launcher OPENS THE EDITOR on that flag — a detection step must never launch
- * an app, so the fs is the source of truth. The full extension id is matched
- * (not the old `terrazzo` substring, which any other terrazzo-named extension
- * could false-positive).
- *
- * No editor CLI found is a NAMED SKIP, not an error: the message says what was
+ * that entry is also new enough to work. Running `--list-extensions` instead
+ * would be the natural probe, but Cursor's Linux launcher OPENS THE EDITOR on
+ * that flag — a detection step must never launch an app, so the fs is the
+ * source of truth. The full extension id is matched (not the old `terrazzo`
+ * substring, which any other terrazzo-named extension could false-positive).
+ *
+ * Detection also asks whether the extensions directory could be WRITTEN, via
+ * `probeWritable`, BEFORE any install is composed. A home-manager-managed
+ * `~/.vscode/extensions` is a symlink into `/nix/store`, so
+ * `--install-extension` there failed with a raw fs error or silently changed
+ * nothing; that is now a named skip carrying the declaration that does work.
+ * Per the owner, 2026-09-16, the decision is made by the DIRECTORY, never by
+ * the OS: a Nix user's home is ordinary, and a non-Nix user can have a
+ * read-only mount.
+ *
+ * Every one of those is a NAMED SKIP, not an error: the message says what was
  * looked for and what to do, and the run exits 0 — there is nothing on this
  * machine the step could honestly fail at. Real failures (fetch, sideload)
  * travel the task failure channel (`checkExecOk`) with a recovery that names a
@@ -31,16 +52,44 @@
  */
 import { existsSync, readdirSync } from "node:fs";
 import { join } from "node:path";
-import { exec, flatMap, mkdir, sequence_, } from "@canonical/task";
+import { exec, exists, flatMap, mkdir, pure, sequence, sequence_, } from "@canonical/task";
 import { BIN_NAME } from "../../../constants.js";
-import { checkExecOk, guardMissingBinary } from "../../shared/index.js";
+import { PragmaError } from "../../../kernel/error/index.js";
+import { checkExecOk, failPragma, guardMissingBinary, } from "../../shared/index.js";
+import { shortenPath } from "../plan.js";
+import { probeWritable } from "./writability.js";
+/**
+ * The extension's publisher and name. Separate constants because the Nix
+ * declaration names all three parts (`vscodeExtPublisher`, `vscodeExtName`,
+ * `vscodeExtUniqueId`), and composing the id from them is what keeps the three
+ * from drifting apart in one string.
+ */
+const EXTENSION_PUBLISHER = "canonical";
+const EXTENSION_NAME = "terrazzo-lsp-extension";
 /** The full extension id, as the editor's extensions dir spells it. */
-const EXTENSION_ID = "canonical.terrazzo-lsp-extension";
+const EXTENSION_ID = `${EXTENSION_PUBLISHER}.${EXTENSION_NAME}`;
 /** The npm package whose tarball bundles the VSIX. */
 const LSP_PACKAGE = "@canonical/terrazzo-lsp-extension";
 /**
- * Whether an editor CLI resolves on PATH, given the candidate paths the host
- * would consider for it.
+ * Whether an install can act on an editor at all: there is a CLI to RUN, and
+ * its extensions folder can be WRITTEN.
+ *
+ * One predicate, because the answer is one question. Five call sites used to
+ * spell their own half of it (`!e.installed && e.block === undefined`,
+ * `e.present && e.block === undefined`, …), so adding a third way to be
+ * unreachable would have meant finding all five.
+ *
+ * @param e - One detected editor.
+ * @returns Whether the sideload can run for it.
+ * @note Pure — reads the detection record.
+ */
+const installable = (e) => e.foundBy !== "user-dir" && e.block === undefined;
+/** The editors nothing can be installed into, in registry order. */
+const blockedEditors = (d) => d.editors.filter((e) => !installable(e));
+/**
+ * The FIRST candidate path that exists, or `undefined` when none does — used
+ * for both candidate lists (PATH, then the macOS app bundle), so a caller
+ * learns not only whether the CLI is there but which file it is.
  *
  * The candidates come from `@canonical/harnesses`' `executableCandidates` —
  * the same helper harness detection resolves `process` signals with — rather
@@ -52,8 +101,12 @@ const LSP_PACKAGE = "@canonical/terrazzo-lsp-extension";
  * the editor — a wrong skip reads as correct, which is worse than a wrong
  * failure. One implementation of the platform rules means the probe cannot
  * drift away from detection's.
+ *
+ * @param candidates - The candidate paths, strongest first.
+ * @returns The first candidate that exists, or `undefined` when none does.
+ * @note Impure — stats each candidate until one exists.
  */
-const cliOnPath = (candidates) => candidates.some((candidate) => existsSync(candidate));
+const resolveCli = (candidates) => candidates.find((candidate) => existsSync(candidate));
 /**
  * The oldest extension release whose bundled language server actually starts.
  *
@@ -124,7 +177,8 @@ const extensionState = (editor, platform) => {
         entries = readdirSync(editor.extensionsDir(platform));
     }
     catch {
-        return { present: false, current: false }; // No dir — nothing installed.
+        // No dir — nothing installed.
+        return { present: false, current: false, entries: [] };
     }
     const prefix = `${EXTENSION_ID}-`;
     const matching = entries.filter((entry) => entry.toLowerCase().startsWith(prefix));
@@ -134,29 +188,103 @@ const extensionState = (editor, platform) => {
             return false; // Unreadable: cannot vouch for it.
         return compareVersions(version, MINIMUM) >= 0;
     });
-    return { present: matching.length > 0, current };
+    return { present: matching.length > 0, current, entries: matching };
 };
 /**
- * Probe every registry editor: CLI presence via PATH lookup, installed-state
- * via the extensions dir — no spawns (see the module docblock for why).
+ * WHICH of the three probes finds this editor, strongest first — or
+ * `undefined` when none does.
+ *
+ * A resolved CLI always wins, because a CLI is what an install RUNS. The
+ * per-user directory is last and yields no path: it proves the editor is on
+ * this machine and nothing more.
+ *
+ * @param editor - One registry row.
+ * @param host - The captured platform.
+ * @param paths - The harness path helpers.
+ * @returns The provenance and its evidence, or `undefined`.
+ * @note Impure — stats PATH entries, app bundles and the user directory.
+ */
+const findEditorSource = (editor, host, paths) => {
+    const onPath = resolveCli(paths.executableCandidates(editor.cli, host));
+    if (onPath !== undefined)
+        return { foundBy: "path", cliPath: onPath };
+    const inBundle = resolveCli(paths.appBundleCandidates(editor.cli, host, editor.darwinBundles));
+    if (inBundle !== undefined)
+        return { foundBy: "bundle", cliPath: inBundle };
+    // The registry names the PRODUCT; `vscodeUserDir` owns the platform switch,
+    // so this probe, the harness rows' `homeConfigPath` and their detection
+    // signals cannot name different directories.
+    const userDir = editor.product === undefined
+        ? undefined
+        : paths.vscodeUserDir(editor.product, host);
+    if (userDir !== undefined && existsSync(userDir)) {
+        return { foundBy: "user-dir" };
+    }
+    return undefined;
+};
+/**
+ * One registry row as a {@link DetectedEditor} — or `undefined` when this
+ * machine has no trace of the editor at all.
+ *
+ * @param editor - One registry row.
+ * @param host - The captured platform.
+ * @param paths - The harness path helpers.
+ * @param probe - The writability filesystem seam; defaults to the real one.
+ * @returns The detection record, or `undefined`.
+ * @note Impure — reads PATH dirs, app bundles, the user directory and the
+ * extensions directory off the real fs.
+ */
+const findEditor = (editor, host, paths, probe) => {
+    const source = findEditorSource(editor, host, paths);
+    if (source === undefined)
+        return undefined;
+    const { present, current, entries } = extensionState(editor, host);
+    const extensionsDir = editor.extensionsDir(host);
+    // Writability is asked only where there is a CLI to run. An editor found
+    // only by its user directory cannot be installed into whatever its folder
+    // permits, and the palette command is its remedy either way — so the probe
+    // would cost a stat to answer a question nothing reads.
+    const block = source.foundBy === "user-dir"
+        ? undefined
+        : probeWritable(extensionsDir, probe);
+    return {
+        editor,
+        ...source,
+        present,
+        installed: current,
+        extensionsDir,
+        presentEntries: entries,
+        ...(block === undefined ? {} : { block }),
+    };
+};
+/**
+ * Probe every registry editor: its CLI on PATH, then inside its macOS app
+ * bundle, then its per-user directory; its installed-state via the extensions
+ * dir; and whether that dir could be written. No spawns (see the module
+ * docblock for why).
  *
  * @param _cwd - Unused; kept so every `detectX` shares the (cwd) shape.
+ * @param platform - The captured host; defaults to the live one. Injected so a
+ *   test can drive the darwin arm — the one this repo's CI host cannot run.
+ * @param probe - The writability filesystem seam; defaults to the real one.
  * @returns The detected {@link LspDetection}.
- * @note Impure — reads PATH dirs and editor extension dirs off the real fs.
+ * @note Impure — reads PATH dirs, app bundles and editor extension dirs off
+ * the real fs.
  */
-export async function detectLsp(_cwd) {
-    const { editorClis, executableCandidates, readPlatformEnv, userDataBase } = await import("@canonical/harnesses");
-    const platform = readPlatformEnv();
-    const editors = editorClis
-        .filter((editor) => cliOnPath(executableCandidates(editor.cli, platform)))
-        .map((editor) => {
-        const { present, current } = extensionState(editor, platform);
-        return {
-            editor,
-            present,
-            installed: current,
-            extensionsDir: editor.extensionsDir(platform),
-        };
+export async function detectLsp(_cwd, platform, probe) {
+    const { appBundleCandidates, editorClis, executableCandidates, readPlatformEnv, userDataBase, vscodeUserDir, } = await import("@canonical/harnesses");
+    // Not a default parameter value: `readPlatformEnv` arrives through the
+    // dynamic import that keeps `@canonical/harnesses` off the fast path, so it
+    // cannot be named in the signature.
+    const host = platform ?? readPlatformEnv();
+    const paths = {
+        appBundleCandidates,
+        executableCandidates,
+        vscodeUserDir,
+    };
+    const editors = editorClis.flatMap((editor) => {
+        const found = findEditor(editor, host, paths, probe);
+        return found === undefined ? [] : [found];
     });
     const state = editors.length === 0
         ? "unknown"
@@ -168,7 +296,7 @@ export async function detectLsp(_cwd) {
         state,
         editors,
         probed: editorClis.map((editor) => editor.cli),
-        stagingDir: join(userDataBase(platform), BIN_NAME, "lsp"),
+        stagingDir: join(userDataBase(host), BIN_NAME, "lsp"),
     };
 }
 /**
@@ -184,22 +312,149 @@ export async function detectLsp(_cwd) {
  * @returns The editors to install into.
  */
 export const selectedEditors = (d, chosen) => {
-    const pending = d.editors.filter((e) => !e.installed);
+    // A BLOCKED editor is never pending. It is not a candidate the user declined
+    // — it is one this command cannot act on, and composing its sideload anyway
+    // is what produced the raw fs failure the block exists to replace.
+    const pending = d.editors.filter((e) => !e.installed && installable(e));
     return chosen === undefined
         ? pending
         : pending.filter((e) => chosen.includes(e.editor.cli));
 };
+/**
+ * The editors an install could act on, ignoring the wizard's selection — the
+ * question both plan rows and doctor's row ask to decide whether there is any
+ * work here at all.
+ *
+ * @param d - The detection gathered up front.
+ * @returns The editors missing the extension that can be written to.
+ */
+export const installableEditors = (d) => d.editors.filter((e) => !e.installed && installable(e));
 /** The editor names in a detection (for messages/results). */
 export const lspEditorNames = (d) => d.editors.map((e) => e.editor.name);
 /**
- * The named-skip reason for a machine with no VS Code-family CLI on PATH. It
- * names every CLI that was probed, because a skip the user cannot act on is
- * only honest if it says what would have counted.
+ * The named-skip reason for a machine with no VS Code-family editor at all. It
+ * names every CLI that was probed AND every place it was looked for, because a
+ * skip the user cannot act on is only honest if it says what would have
+ * counted — and "not on PATH" was a misleading half of the answer once the
+ * bundle and user-directory probes existed.
  *
  * @param d - The detection gathered up front.
  * @returns The reason line.
  */
-export const lspSkipReason = (d) => `no VS Code-family editor CLI on PATH (${d.probed.join(", ")})`;
+export const lspSkipReason = (d) => `no VS Code-family editor found — looked for ${d.probed.join(", ")} on PATH, under /Applications or ~/Applications, or by its user directory`;
+/**
+ * How one editor was found, as a phrase both surfaces print — the provenance a
+ * user needs to tell "pragma missed my editor" from "pragma found it and could
+ * not act". Authored once, because `setup`'s child row and `doctor`'s item are
+ * the same finding.
+ *
+ * The evidence path travels with it wherever there is one: the CLI file the
+ * probe resolved. An editor found only by its user directory has no CLI, and
+ * the phrase alone is the whole finding there.
+ *
+ * @param e - One detected editor.
+ * @param roots - The two roots every path renders relative to.
+ * @returns The phrase, e.g. `via PATH (/usr/bin/codium)`.
+ */
+export const describeEditorSource = (e, roots) => {
+    if (e.foundBy === "user-dir")
+        return "via user directory";
+    const where = e.foundBy === "path" ? "PATH" : "app bundle";
+    return `via ${where} (${shortenPath(e.cliPath, roots)})`;
+};
+/**
+ * The home-manager declaration for a Nix-managed extensions folder.
+ *
+ * It does NOT name a marketplace id, because there is no listing — the module
+ * docblock above says so, and sideloading the bundled VSIX is the only install
+ * path that exists. So the line gives both halves a home-manager user needs:
+ * where to get the file, and the attribute that installs it.
+ *
+ * The expression is VALID NIX, which the shorter `{ src = <path>; }` sketch it
+ * replaces was not twice over: `buildVscodeExtension` has no defaults for
+ * `name`, `vscodeExtPublisher`, `vscodeExtName` or `vscodeExtUniqueId`
+ * (nixpkgs `pkgs/build-support/vscode/extensions`), and an unquoted Nix path
+ * literal cannot carry the `@` in `@canonical/…` — it is `builtins.path`
+ * around a quoted string here for that reason. `version` is the ONE attribute
+ * a user must fill in, so the line says so rather than guessing a number that
+ * would be wrong the next release.
+ */
+const nixDeclarationRemedy = (d) => `fetch the VSIX with \`bun add ${LSP_PACKAGE}@latest\` in ${d.stagingDir}, then declare it yourself, filling in the version from the fetched package.json: programs.vscode.profiles.default.extensions = [ (pkgs.vscode-utils.buildVscodeExtension { name = "${EXTENSION_NAME}"; version = "<version>"; vscodeExtPublisher = "${EXTENSION_PUBLISHER}"; vscodeExtName = "${EXTENSION_NAME}"; vscodeExtUniqueId = "${EXTENSION_ID}"; src = builtins.path { path = "${lspVsixPath(d)}"; }; }) ];`;
+/**
+ * Why nothing can be installed into a blocked editor, and the ONE action that
+ * settles it — both answers from one dispatch.
+ *
+ * Two `switch`es over the same three causes (one for the reason, one for the
+ * remedy) is how a fourth cause gets a reason and no remedy; a table whose row
+ * is a `{reason, remedy}` pair cannot drift that way. The remedy is a thunk
+ * because only it needs the detection (for the staging dir and the VSIX path),
+ * and the reason is read per child row where no detection is in hand.
+ *
+ * The reason does NOT name the editor. Every place it lands already does: the
+ * setup child row is labelled `<cli> — <name> · <found via>`, doctor's item is
+ * labelled with the name, and the row headline prefixes it
+ * ({@link firstLspBlock}). Including it here made doctor print "VS Code: via
+ * user directory · VS Code is installed but has no …" — the name twice in one
+ * line and three times in two.
+ *
+ * @param e - An editor nothing can be installed into.
+ * @returns Its reason, and a remedy awaiting the detection.
+ * @note Pure — composes strings from the detection record.
+ */
+const describeBlock = (e) => {
+    // Keyed by PROVENANCE, not by a block: an editor found only by its user
+    // directory has no CLI whatever its folder permits, so "no launcher" is a
+    // fact about how it was found. Its folder is never probed (see `findEditor`).
+    if (e.foundBy === "user-dir") {
+        return {
+            reason: "no command-line launcher — found only its user directory",
+            remedy: () => `run "Shell Command: Install '${e.editor.cli}' command in PATH" from ${e.editor.name}'s command palette, then run \`${BIN_NAME} setup lsp\` again`,
+        };
+    }
+    switch (e.block.kind) {
+        case "nix-store":
+            return {
+                reason: `extensions folder managed by Nix (it resolves to ${e.block.resolved})`,
+                remedy: nixDeclarationRemedy,
+            };
+        case "read-only":
+            return {
+                // The folder the row names is the one a `chmod` has to reach, so the
+                // remedy can say "the extensions folder" instead of repeating it.
+                reason: `extensions folder is not writable (${e.block.path})`,
+                remedy: () => `make the extensions folder writable, then run \`${BIN_NAME} setup lsp\` again`,
+            };
+    }
+};
+/**
+ * Why nothing can be installed into one editor — one line, as the renderer
+ * prints one — or `undefined` when the install can act on it.
+ *
+ * @param e - One detected editor.
+ * @returns The reason, or `undefined` when the editor is actionable.
+ */
+export const lspBlockReason = (e) => installable(e) ? undefined : describeBlock(e).reason;
+/**
+ * The FIRST editor nothing can be installed into, with its row headline and
+ * its remedy already derived — or `undefined` when every detected editor is
+ * actionable.
+ *
+ * It hands back the derived strings rather than the editor, because the
+ * blockedness is what makes the reason and the remedy exist: a caller that
+ * took the editor and asked for them separately had to assert that both were
+ * there, twice, on both surfaces. The headline names the editor, since nothing
+ * else on a ROW has.
+ *
+ * @param d - The detection gathered up front.
+ * @returns The first block's headline and remedy, or `undefined`.
+ */
+export const firstLspBlock = (d) => {
+    const first = blockedEditors(d).at(0);
+    if (first === undefined)
+        return undefined;
+    const { reason, remedy } = describeBlock(first);
+    return { headline: `${first.editor.name}: ${reason}`, remedy: remedy(d) };
+};
 /**
  * The remedy beneath that skip. It states plainly that nothing is possible here
  * yet rather than offering a command for a binary this machine lacks — the rule
@@ -219,7 +474,7 @@ export const LSP_SKIP_REMEDY = "no action is possible on this machine yet — in
  * @returns A Task installing the extension into each editor missing it.
  */
 export function composeLsp(d, chosen) {
-    // Nothing to install: no editor CLI on PATH (a named skip the plan row
+    // Nothing to install: no editor found at all (a named skip the plan row
     // carries) or every detected editor already has it. Both compose NOTHING —
     // what the run SAYS about this target is the plan row's business.
     if (d.state !== "absent")
@@ -242,11 +497,16 @@ export function composeLsp(d, chosen) {
                 `\`${BIN_NAME} setup lsp\` again.`,
         })),
     ]));
-    const sideloads = pending.map(({ editor }) => {
-        const command = `${editor.cli} --install-extension ${vsixPath}`;
-        return guardMissingBinary(editor.cli, {
-            message: `The \`${editor.cli}\` CLI disappeared from PATH mid-run — restore it, then run \`${BIN_NAME} setup lsp\` again.`,
-        }, flatMap(exec(editor.cli, ["--install-extension", vsixPath], d.stagingDir), (result) => checkExecOk(command, result, {
+    const sideloads = pending.map(({ editor, cliPath }) => {
+        // The CLI FILE detection resolved, which is the only thing a pending
+        // editor HAS: an editor found in its macOS app bundle has nothing on PATH
+        // to spawn, and even a PATH hit is better spawned as the file this run
+        // verified.
+        const bin = cliPath;
+        const command = `${bin} --install-extension ${vsixPath}`;
+        return guardMissingBinary(bin, {
+            message: `${editor.name}'s CLI disappeared mid-run — restore it, then run \`${BIN_NAME} setup lsp\` again.`,
+        }, flatMap(exec(bin, ["--install-extension", vsixPath], d.stagingDir), (result) => checkExecOk(command, result, {
             message: `${editor.name} refused the VSIX (its output is above). The file is kept at ${vsixPath} — retry by hand with ` +
                 `\`${command}\`, or update ${editor.name} first.`,
         })));
@@ -265,10 +525,16 @@ export function composeLsp(d, chosen) {
  * @param d - The detection gathered up front.
  * @returns The editors carrying a copy.
  */
-export const ownedLspEditors = (d) => d.editors.filter((e) => e.present);
+export const ownedLspEditors = (d) => 
+// A blocked editor is excluded even when it carries a copy: the uninstall
+// would need a CLI this machine has not got, or a write into a directory
+// pragma must not touch. The row says so rather than composing a reversal
+// that cannot run.
+d.editors.filter((e) => e.present && installable(e));
 /**
  * Compose the removal: one `<editor cli> --uninstall-extension <id>` per owned
- * editor, carried as the `undo` of a forward no-op.
+ * editor, carried as the `undo` of a forward no-op — and each uninstall
+ * asserts its own GOAL, not just its exit code.
  *
  * The docblock this replaces claimed "an `exec` carries no reversal". That was
  * factually wrong about the effect model — `Exec` has an `undo` slot and `exec`
@@ -282,24 +548,68 @@ export const ownedLspEditors = (d) => d.editors.filter((e) => e.present);
  * `present` proves already exists — reads nothing and is a genuine no-op. Phase
  * two then runs the uninstall against the real editor.
  *
+ * THE POSTCONDITION is the removal's real success criterion. The exec's exit
+ * code and the extensions DIRECTORY are two different judges — detection
+ * deliberately reads the directory (probing via the CLI can launch an
+ * editor), and VS Code-family CLIs are known to exit 0 while deferring or
+ * skipping the deletion — so after `checkExecOk` the undo probes the exact
+ * entries detection said this command owns, and FAILS (with the manual
+ * deletion as the remedy — never the command that just claimed success) when
+ * any survived. An in-task failure here is safe precisely because
+ * `runCollectedUndos` executes each undo isolated: it used to abort every
+ * reversal still pending, which is why no removal could afford to assert its
+ * own goal.
+ *
  * @param d - The detection gathered up front.
- * @returns A Task whose undo uninstalls the extension from each owned editor.
+ * @param undoKey - Correlation key stamped on each reversal, echoed on its
+ *   `UndoOutcome` so the caller can read the outcomes back per row.
+ * @returns A Task whose undo uninstalls the extension from each owned editor
+ *   and verifies the copy is gone.
  */
-export function composeLspRemoval(d) {
+export function composeLspRemoval(d, undoKey) {
     const owned = ownedLspEditors(d);
     // Nothing on this machine carries a copy — there is no honest work to model,
     // and the plan row says so. Same shape as the other rows' empty removals.
     if (owned.length === 0)
         return sequence_([]);
-    return sequence_(owned.map(({ editor, extensionsDir }) => {
-        const command = `${editor.cli} --uninstall-extension ${EXTENSION_ID}`;
+    return sequence_(owned.map(({ editor, cliPath, extensionsDir, presentEntries }) => {
+        // The resolved CLI file, for the reason `composeLsp` spells out.
+        const bin = cliPath;
+        const command = `${bin} --uninstall-extension ${EXTENSION_ID}`;
+        const ownedPaths = presentEntries.map((entry) => join(extensionsDir, entry));
+        const uninstall = flatMap(exec(bin, ["--uninstall-extension", EXTENSION_ID], extensionsDir), (result) => checkExecOk(command, result, {
+            message: `${editor.name} refused the uninstall (its output is above). ` +
+                `Remove it by hand with \`${command}\`.`,
+        }));
+        // The probe must apply DETECTION'S presence criterion, or the check can
+        // quietly stop checking: `extensionState` calls an entry present when
+        // `readdirSync` lists it, and a default `exists` (`fs.access`) follows
+        // symlinks — so a dangling matching symlink would be "installed" to
+        // detection and "absent" here, and an editor that exits 0 without
+        // removing it would report `undone` while the next detection finds it
+        // again. `followSymlinks: false` is `lstat` semantics: the entry
+        // itself, exactly what the directory listing answers.
+        const verified = flatMap(uninstall, () => flatMap(sequence(ownedPaths.map((p) => exists(p, { followSymlinks: false }))), (stillThere) => {
+            const survivors = ownedPaths.filter((_, i) => stillThere[i]);
+            if (survivors.length === 0)
+                return pure(undefined);
+            // The remedy presents the surviving paths as DATA, never as a
+            // synthesized shell line: the names come from `readdirSync`, so
+            // no quoting is trustworthy, and one command cannot be right for
+            // every platform the editor registry supports.
+            return failPragma(new PragmaError({
+                code: "UNSUPPORTED",
+                message: `\`${command}\` exited 0, but the extension is still present after the undo ran.`,
+                recovery: {
+                    message: `Delete ${survivors.length === 1 ? "this entry" : "these entries"} from ${editor.name}'s extensions folder by hand, then restart it: ${survivors.join(" · ")}`,
+                },
+            }));
+        }));
         return mkdir(extensionsDir, true, {
-            undo: guardMissingBinary(editor.cli, {
-                message: `The \`${editor.cli}\` CLI disappeared from PATH mid-run — restore it, then run \`${BIN_NAME} setup lsp --undo\` again.`,
-            }, flatMap(exec(editor.cli, ["--uninstall-extension", EXTENSION_ID], extensionsDir), (result) => checkExecOk(command, result, {
-                message: `${editor.name} refused the uninstall (its output is above). ` +
-                    `Remove it by hand with \`${command}\`.`,
-            }))),
+            undo: guardMissingBinary(bin, {
+                message: `${editor.name}'s CLI disappeared mid-run — restore it, then run \`${BIN_NAME} setup lsp --undo\` again.`,
+            }, verified),
+            undoKey,
         });
     }));
 }
@@ -317,10 +627,10 @@ export function composeLspRemoval(d) {
  * @returns The uninstall command, or undefined.
  */
 export function lspUninstallRemedy(d) {
-    const cli = ownedLspEditors(d).at(0)?.editor.cli;
-    return cli === undefined
+    const owner = ownedLspEditors(d).at(0);
+    return owner === undefined
         ? undefined
-        : `${cli} --uninstall-extension ${EXTENSION_ID}`;
+        : `${owner.cliPath} --uninstall-extension ${EXTENSION_ID}`;
 }
 /** The VSIX path a failed sideload leaves behind for a manual retry. */
 export function lspVsixPath(d) {

package/dist/src/capabilities/setup/operations/setupLsp.js.map

@@ -1 +1 @@
-{"version":3,"file":"setupLsp.js","sourceRoot":"","sources":["../../../../../src/capabilities/setup/operations/setupLsp.ts"],"names":[],"mappings":"AAAA;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;GA8BG;AAEH,OAAO,EAAE,UAAU,EAAE,WAAW,EAAE,MAAM,SAAS,CAAC;AAClD,OAAO,EAAE,IAAI,EAAE,MAAM,WAAW,CAAC;AAEjC,OAAO,EAEL,IAAI,EACJ,OAAO,EACP,KAAK,EACL,SAAS,GAEV,MAAM,iBAAiB,CAAC;AACzB,OAAO,EAAE,QAAQ,EAAE,MAAM,uBAAuB,CAAC;AACjD,OAAO,EAAE,WAAW,EAAE,kBAAkB,EAAE,MAAM,uBAAuB,CAAC;AAGxE,uEAAuE;AACvE,MAAM,YAAY,GAAG,kCAAkC,CAAC;AAExD,sDAAsD;AACtD,MAAM,WAAW,GAAG,mCAAmC,CAAC;AAgDxD;;;;;;;;;;;;;;GAcG;AACH,MAAM,SAAS,GAAG,CAAC,UAA6B,EAAW,EAAE,CAC3D,UAAU,CAAC,IAAI,CAAC,CAAC,SAAS,EAAE,EAAE,CAAC,UAAU,CAAC,SAAS,CAAC,CAAC,CAAC;AAExD;;;;;;;;;;;;GAYG;AACH,MAAM,qBAAqB,GAAG,OAAO,CAAC;AAEtC,kDAAkD;AAClD,MAAM,OAAO,GAAa,qBAAqB,CAAC,KAAK,CAAC,GAAG,CAAC,CAAC,GAAG,CAAC,MAAM,CAAC,CAAC;AAEvE;;;GAGG;AACH,MAAM,eAAe,GAAG,iBAAiB,CAAC;AAE1C;;;;;;;;;;;GAWG;AACH,MAAM,YAAY,GAAG,CAAC,KAAa,EAAwB,EAAE,CAC3D,eAAe,CAAC,IAAI,CAAC,KAAK,CAAC;IACzB,CAAC,CAAC,KAAK,CAAC,KAAK,CAAC,GAAG,CAAC,CAAC,GAAG,CAAC,CAAC,IAAI,EAAE,EAAE,CAAC,MAAM,CAAC,IAAI,CAAC,CAAC;IAC9C,CAAC,CAAC,SAAS,CAAC;AAEhB,gFAAgF;AAChF,MAAM,eAAe,GAAG,CAAC,IAAc,EAAE,KAAe,EAAU,EAAE;IAClE,KAAK,IAAI,CAAC,GAAG,CAAC,EAAE,CAAC,GAAG,IAAI,CAAC,GAAG,CAAC,IAAI,CAAC,MAAM,EAAE,KAAK,CAAC,MAAM,CAAC,EAAE,CAAC,EAAE,EAAE,CAAC;QAC7D,MAAM,IAAI,GAAG,CAAC,IAAI,CAAC,CAAC,CAAC,IAAI,CAAC,CAAC,GAAG,CAAC,KAAK,CAAC,CAAC,CAAC,IAAI,CAAC,CAAC,CAAC;QAC9C,IAAI,IAAI,KAAK,CAAC;YAAE,OAAO,IAAI,CAAC;IAC9B,CAAC;IACD,OAAO,CAAC,CAAC;AACX,CAAC,CAAC;AAEF;;;;;;;;;;;;;;;;;;GAkBG;AACH,MAAM,cAAc,GAAG,CACrB,MAA2B,EAC3B,QAAqB,EACmB,EAAE;IAC1C,IAAI,OAAiB,CAAC;IACtB,IAAI,CAAC;QACH,OAAO,GAAG,WAAW,CAAC,MAAM,CAAC,aAAa,CAAC,QAAQ,CAAC,CAAC,CAAC;IACxD,CAAC;IAAC,MAAM,CAAC;QACP,OAAO,EAAE,OAAO,EAAE,KAAK,EAAE,OAAO,EAAE,KAAK,EAAE,CAAC,CAAC,8BAA8B;IAC3E,CAAC;IACD,MAAM,MAAM,GAAG,GAAG,YAAY,GAAG,CAAC;IAClC,MAAM,QAAQ,GAAG,OAAO,CAAC,MAAM,CAAC,CAAC,KAAK,EAAE,EAAE,CACxC,KAAK,CAAC,WAAW,EAAE,CAAC,UAAU,CAAC,MAAM,CAAC,CACvC,CAAC;IACF,MAAM,OAAO,GAAG,QAAQ,CAAC,IAAI,CAAC,CAAC,KAAK,EAAE,EAAE;QACtC,MAAM,OAAO,GAAG,YAAY,CAAC,KAAK,CAAC,WAAW,EAAE,CAAC,KAAK,CAAC,MAAM,CAAC,MAAM,CAAC,CAAC,CAAC;QACvE,IAAI,OAAO,KAAK,SAAS;YAAE,OAAO,KAAK,CAAC,CAAC,mCAAmC;QAC5E,OAAO,eAAe,CAAC,OAAO,EAAE,OAAO,CAAC,IAAI,CAAC,CAAC;IAChD,CAAC,CAAC,CAAC;IACH,OAAO,EAAE,OAAO,EAAE,QAAQ,CAAC,MAAM,GAAG,CAAC,EAAE,OAAO,EAAE,CAAC;AACnD,CAAC,CAAC;AAEF;;;;;;;GAOG;AACH,MAAM,CAAC,KAAK,UAAU,SAAS,CAAC,IAAY;IAC1C,MAAM,EAAE,UAAU,EAAE,oBAAoB,EAAE,eAAe,EAAE,YAAY,EAAE,GACvE,MAAM,MAAM,CAAC,sBAAsB,CAAC,CAAC;IACvC,MAAM,QAAQ,GAAG,eAAe,EAAE,CAAC;IACnC,MAAM,OAAO,GAAqB,UAAU;SACzC,MAAM,CAAC,CAAC,MAAM,EAAE,EAAE,CAAC,SAAS,CAAC,oBAAoB,CAAC,MAAM,CAAC,GAAG,EAAE,QAAQ,CAAC,CAAC,CAAC;SACzE,GAAG,CAAC,CAAC,MAAM,EAAE,EAAE;QACd,MAAM,EAAE,OAAO,EAAE,OAAO,EAAE,GAAG,cAAc,CAAC,MAAM,EAAE,QAAQ,CAAC,CAAC;QAC9D,OAAO;YACL,MAAM;YACN,OAAO;YACP,SAAS,EAAE,OAAO;YAClB,aAAa,EAAE,MAAM,CAAC,aAAa,CAAC,QAAQ,CAAC;SAC9C,CAAC;IACJ,CAAC,CAAC,CAAC;IACL,MAAM,KAAK,GACT,OAAO,CAAC,MAAM,KAAK,CAAC;QAClB,CAAC,CAAC,SAAS;QACX,CAAC,CAAC,OAAO,CAAC,KAAK,CAAC,CAAC,CAAC,EAAE,EAAE,CAAC,CAAC,CAAC,SAAS,CAAC;YACjC,CAAC,CAAC,WAAW;YACb,CAAC,CAAC,QAAQ,CAAC;IACjB,OAAO;QACL,SAAS,EAAE,IAAI;QACf,KAAK;QACL,OAAO;QACP,MAAM,EAAE,UAAU,CAAC,GAAG,CAAC,CAAC,MAAM,EAAE,EAAE,CAAC,MAAM,CAAC,GAAG,CAAC;QAC9C,UAAU,EAAE,IAAI,CAAC,YAAY,CAAC,QAAQ,CAAC,EAAE,QAAQ,EAAE,KAAK,CAAC;KAC1D,CAAC;AACJ,CAAC;AAED;;;;;;;;;;;GAWG;AACH,MAAM,CAAC,MAAM,eAAe,GAAG,CAC7B,CAAe,EACf,MAA0B,EACC,EAAE;IAC7B,MAAM,OAAO,GAAG,CAAC,CAAC,OAAO,CAAC,MAAM,CAAC,CAAC,CAAC,EAAE,EAAE,CAAC,CAAC,CAAC,CAAC,SAAS,CAAC,CAAC;IACtD,OAAO,MAAM,KAAK,SAAS;QACzB,CAAC,CAAC,OAAO;QACT,CAAC,CAAC,OAAO,CAAC,MAAM,CAAC,CAAC,CAAC,EAAE,EAAE,CAAC,MAAM,CAAC,QAAQ,CAAC,CAAC,CAAC,MAAM,CAAC,GAAG,CAAC,CAAC,CAAC;AAC3D,CAAC,CAAC;AAEF,8DAA8D;AAC9D,MAAM,CAAC,MAAM,cAAc,GAAG,CAAC,CAAe,EAAY,EAAE,CAC1D,CAAC,CAAC,OAAO,CAAC,GAAG,CAAC,CAAC,CAAC,EAAE,EAAE,CAAC,CAAC,CAAC,MAAM,CAAC,IAAI,CAAC,CAAC;AAEtC;;;;;;;GAOG;AACH,MAAM,CAAC,MAAM,aAAa,GAAG,CAAC,CAAe,EAAU,EAAE,CACvD,yCAAyC,CAAC,CAAC,MAAM,CAAC,IAAI,CAAC,IAAI,CAAC,GAAG,CAAC;AAElE;;;;GAIG;AACH,MAAM,CAAC,MAAM,eAAe,GAC1B,8FAA8F,CAAC;AAEjG;;;;;;;;;;;GAWG;AACH,MAAM,UAAU,UAAU,CACxB,CAAe,EACf,MAA0B;IAE1B,uEAAuE;IACvE,2EAA2E;IAC3E,kEAAkE;IAClE,IAAI,CAAC,CAAC,KAAK,KAAK,QAAQ;QAAE,OAAO,SAAS,CAAC,EAAE,CAAC,CAAC;IAE/C,MAAM,OAAO,GAAG,eAAe,CAAC,CAAC,EAAE,MAAM,CAAC,CAAC;IAC3C,wEAAwE;IACxE,IAAI,OAAO,CAAC,MAAM,KAAK,CAAC;QAAE,OAAO,SAAS,CAAC,EAAE,CAAC,CAAC;IAC/C,MAAM,QAAQ,GAAG,WAAW,CAAC,CAAC,CAAC,CAAC;IAEhC,2EAA2E;IAC3E,2EAA2E;IAC3E,uDAAuD;IACvD,MAAM,YAAY,GAAG,WAAW,WAAW,SAAS,CAAC;IACrD,MAAM,SAAS,GAAG,kBAAkB,CAClC,KAAK,EACL;QACE,OAAO,EAAE,4CAA4C,QAAQ,qBAAqB;KACnF,EACD,SAAS,CAAC;QACR,KAAK,CAAC,CAAC,CAAC,UAAU,EAAE,IAAI,CAAC;QACzB,OAAO,CACL,IAAI,CAAC,KAAK,EAAE,CAAC,KAAK,EAAE,GAAG,WAAW,SAAS,CAAC,EAAE,CAAC,CAAC,UAAU,CAAC,EAC3D,CAAC,MAAM,EAAE,EAAE,CACT,WAAW,CAAC,YAAY,EAAE,MAAoB,EAAE;YAC9C,OAAO,EACL,yHAAyH;gBACzH,KAAK,QAAQ,qBAAqB;SACrC,CAAC,CACL;KACF,CAAC,CACH,CAAC;IAEF,MAAM,SAAS,GAAG,OAAO,CAAC,GAAG,CAAC,CAAC,EAAE,MAAM,EAAE,EAAE,EAAE;QAC3C,MAAM,OAAO,GAAG,GAAG,MAAM,CAAC,GAAG,wBAAwB,QAAQ,EAAE,CAAC;QAChE,OAAO,kBAAkB,CACvB,MAAM,CAAC,GAAG,EACV;YACE,OAAO,EAAE,SAAS,MAAM,CAAC,GAAG,iEAAiE,QAAQ,qBAAqB;SAC3H,EACD,OAAO,CACL,IAAI,CAAC,MAAM,CAAC,GAAG,EAAE,CAAC,qBAAqB,EAAE,QAAQ,CAAC,EAAE,CAAC,CAAC,UAAU,CAAC,EACjE,CAAC,MAAM,EAAE,EAAE,CACT,WAAW,CAAC,OAAO,EAAE,MAAoB,EAAE;YACzC,OAAO,EACL,GAAG,MAAM,CAAC,IAAI,gEAAgE,QAAQ,wBAAwB;gBAC9G,KAAK,OAAO,iBAAiB,MAAM,CAAC,IAAI,SAAS;SACpD,CAAC,CACL,CACF,CAAC;IACJ,CAAC,CAAC,CAAC;IAEH,OAAO,SAAS,CAAC,CAAC,SAAS,EAAE,GAAG,SAAS,CAAC,CAAC,CAAC;AAC9C,CAAC;AAED;;;;;;;;;;;GAWG;AACH,MAAM,CAAC,MAAM,eAAe,GAAG,CAAC,CAAe,EAA6B,EAAE,CAC5E,CAAC,CAAC,OAAO,CAAC,MAAM,CAAC,CAAC,CAAC,EAAE,EAAE,CAAC,CAAC,CAAC,OAAO,CAAC,CAAC;AAErC;;;;;;;;;;;;;;;;;;GAkBG;AACH,MAAM,UAAU,iBAAiB,CAAC,CAAe;IAC/C,MAAM,KAAK,GAAG,eAAe,CAAC,CAAC,CAAC,CAAC;IACjC,6EAA6E;IAC7E,0EAA0E;IAC1E,IAAI,KAAK,CAAC,MAAM,KAAK,CAAC;QAAE,OAAO,SAAS,CAAC,EAAE,CAAC,CAAC;IAC7C,OAAO,SAAS,CACd,KAAK,CAAC,GAAG,CAAC,CAAC,EAAE,MAAM,EAAE,aAAa,EAAE,EAAE,EAAE;QACtC,MAAM,OAAO,GAAG,GAAG,MAAM,CAAC,GAAG,0BAA0B,YAAY,EAAE,CAAC;QACtE,OAAO,KAAK,CAAC,aAAa,EAAE,IAAI,EAAE;YAChC,IAAI,EAAE,kBAAkB,CACtB,MAAM,CAAC,GAAG,EACV;gBACE,OAAO,EAAE,SAAS,MAAM,CAAC,GAAG,iEAAiE,QAAQ,4BAA4B;aAClI,EACD,OAAO,CACL,IAAI,CACF,MAAM,CAAC,GAAG,EACV,CAAC,uBAAuB,EAAE,YAAY,CAAC,EACvC,aAAa,CACd,EACD,CAAC,MAAM,EAAE,EAAE,CACT,WAAW,CAAC,OAAO,EAAE,MAAoB,EAAE;gBACzC,OAAO,EACL,GAAG,MAAM,CAAC,IAAI,gDAAgD;oBAC9D,4BAA4B,OAAO,KAAK;aAC3C,CAAC,CACL,CACF;SACF,CAAC,CAAC;IACL,CAAC,CAAC,CACH,CAAC;AACJ,CAAC;AAED;;;;;;;;;;;;GAYG;AACH,MAAM,UAAU,kBAAkB,CAAC,CAAe;IAChD,MAAM,GAAG,GAAG,eAAe,CAAC,CAAC,CAAC,CAAC,EAAE,CAAC,CAAC,CAAC,EAAE,MAAM,CAAC,GAAG,CAAC;IACjD,OAAO,GAAG,KAAK,SAAS;QACtB,CAAC,CAAC,SAAS;QACX,CAAC,CAAC,GAAG,GAAG,0BAA0B,YAAY,EAAE,CAAC;AACrD,CAAC;AAED,wEAAwE;AACxE,MAAM,UAAU,WAAW,CAAC,CAAe;IACzC,OAAO,IAAI,CACT,CAAC,CAAC,UAAU,EACZ,cAAc,EACd,GAAG,WAAW,CAAC,KAAK,CAAC,GAAG,CAAC,EACzB,mBAAmB,CACpB,CAAC;AACJ,CAAC"}
+{"version":3,"file":"setupLsp.js","sourceRoot":"","sources":["../../../../../src/capabilities/setup/operations/setupLsp.ts"],"names":[],"mappings":"AAAA;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;GAmDG;AAEH,OAAO,EAAE,UAAU,EAAE,WAAW,EAAE,MAAM,SAAS,CAAC;AAClD,OAAO,EAAE,IAAI,EAAE,MAAM,WAAW,CAAC;AAEjC,OAAO,EAEL,IAAI,EACJ,MAAM,EACN,OAAO,EACP,KAAK,EACL,IAAI,EACJ,QAAQ,EACR,SAAS,GAEV,MAAM,iBAAiB,CAAC;AACzB,OAAO,EAAE,QAAQ,EAAE,MAAM,uBAAuB,CAAC;AACjD,OAAO,EAAE,WAAW,EAAE,MAAM,gCAAgC,CAAC;AAC7D,OAAO,EACL,WAAW,EACX,UAAU,EACV,kBAAkB,GACnB,MAAM,uBAAuB,CAAC;AAC/B,OAAO,EAAc,WAAW,EAAE,MAAM,YAAY,CAAC;AAErD,OAAO,EAAgB,aAAa,EAAE,MAAM,kBAAkB,CAAC;AAE/D;;;;;GAKG;AACH,MAAM,mBAAmB,GAAG,WAAW,CAAC;AACxC,MAAM,cAAc,GAAG,wBAAwB,CAAC;AAEhD,uEAAuE;AACvE,MAAM,YAAY,GAAG,GAAG,mBAAmB,IAAI,cAAc,EAAE,CAAC;AAEhE,sDAAsD;AACtD,MAAM,WAAW,GAAG,mCAAmC,CAAC;AA6GxD;;;;;;;;;;;;GAYG;AACH,MAAM,WAAW,GAAG,CAAC,CAAiB,EAAuB,EAAE,CAC7D,CAAC,CAAC,OAAO,KAAK,UAAU,IAAI,CAAC,CAAC,KAAK,KAAK,SAAS,CAAC;AAEpD,oEAAoE;AACpE,MAAM,cAAc,GAAG,CAAC,CAAe,EAA4B,EAAE,CACnE,CAAC,CAAC,OAAO,CAAC,MAAM,CAAC,CAAC,CAAC,EAAsB,EAAE,CAAC,CAAC,WAAW,CAAC,CAAC,CAAC,CAAC,CAAC;AAoB/D;;;;;;;;;;;;;;;;;;;GAmBG;AACH,MAAM,UAAU,GAAG,CAAC,UAA6B,EAAsB,EAAE,CACvE,UAAU,CAAC,IAAI,CAAC,CAAC,SAAS,EAAE,EAAE,CAAC,UAAU,CAAC,SAAS,CAAC,CAAC,CAAC;AAExD;;;;;;;;;;;;GAYG;AACH,MAAM,qBAAqB,GAAG,OAAO,CAAC;AAEtC,kDAAkD;AAClD,MAAM,OAAO,GAAa,qBAAqB,CAAC,KAAK,CAAC,GAAG,CAAC,CAAC,GAAG,CAAC,MAAM,CAAC,CAAC;AAEvE;;;GAGG;AACH,MAAM,eAAe,GAAG,iBAAiB,CAAC;AAE1C;;;;;;;;;;;GAWG;AACH,MAAM,YAAY,GAAG,CAAC,KAAa,EAAwB,EAAE,CAC3D,eAAe,CAAC,IAAI,CAAC,KAAK,CAAC;IACzB,CAAC,CAAC,KAAK,CAAC,KAAK,CAAC,GAAG,CAAC,CAAC,GAAG,CAAC,CAAC,IAAI,EAAE,EAAE,CAAC,MAAM,CAAC,IAAI,CAAC,CAAC;IAC9C,CAAC,CAAC,SAAS,CAAC;AAEhB,gFAAgF;AAChF,MAAM,eAAe,GAAG,CAAC,IAAc,EAAE,KAAe,EAAU,EAAE;IAClE,KAAK,IAAI,CAAC,GAAG,CAAC,EAAE,CAAC,GAAG,IAAI,CAAC,GAAG,CAAC,IAAI,CAAC,MAAM,EAAE,KAAK,CAAC,MAAM,CAAC,EAAE,CAAC,EAAE,EAAE,CAAC;QAC7D,MAAM,IAAI,GAAG,CAAC,IAAI,CAAC,CAAC,CAAC,IAAI,CAAC,CAAC,GAAG,CAAC,KAAK,CAAC,CAAC,CAAC,IAAI,CAAC,CAAC,CAAC;QAC9C,IAAI,IAAI,KAAK,CAAC;YAAE,OAAO,IAAI,CAAC;IAC9B,CAAC;IACD,OAAO,CAAC,CAAC;AACX,CAAC,CAAC;AAEF;;;;;;;;;;;;;;;;;;GAkBG;AACH,MAAM,cAAc,GAAG,CACrB,MAA2B,EAC3B,QAAqB,EACsC,EAAE;IAC7D,IAAI,OAAiB,CAAC;IACtB,IAAI,CAAC;QACH,OAAO,GAAG,WAAW,CAAC,MAAM,CAAC,aAAa,CAAC,QAAQ,CAAC,CAAC,CAAC;IACxD,CAAC;IAAC,MAAM,CAAC;QACP,8BAA8B;QAC9B,OAAO,EAAE,OAAO,EAAE,KAAK,EAAE,OAAO,EAAE,KAAK,EAAE,OAAO,EAAE,EAAE,EAAE,CAAC;IACzD,CAAC;IACD,MAAM,MAAM,GAAG,GAAG,YAAY,GAAG,CAAC;IAClC,MAAM,QAAQ,GAAG,OAAO,CAAC,MAAM,CAAC,CAAC,KAAK,EAAE,EAAE,CACxC,KAAK,CAAC,WAAW,EAAE,CAAC,UAAU,CAAC,MAAM,CAAC,CACvC,CAAC;IACF,MAAM,OAAO,GAAG,QAAQ,CAAC,IAAI,CAAC,CAAC,KAAK,EAAE,EAAE;QACtC,MAAM,OAAO,GAAG,YAAY,CAAC,KAAK,CAAC,WAAW,EAAE,CAAC,KAAK,CAAC,MAAM,CAAC,MAAM,CAAC,CAAC,CAAC;QACvE,IAAI,OAAO,KAAK,SAAS;YAAE,OAAO,KAAK,CAAC,CAAC,mCAAmC;QAC5E,OAAO,eAAe,CAAC,OAAO,EAAE,OAAO,CAAC,IAAI,CAAC,CAAC;IAChD,CAAC,CAAC,CAAC;IACH,OAAO,EAAE,OAAO,EAAE,QAAQ,CAAC,MAAM,GAAG,CAAC,EAAE,OAAO,EAAE,OAAO,EAAE,QAAQ,EAAE,CAAC;AACtE,CAAC,CAAC;AAYF;;;;;;;;;;;;;GAaG;AACH,MAAM,gBAAgB,GAAG,CACvB,MAA2B,EAC3B,IAAiB,EACjB,KAAkB,EACQ,EAAE;IAC5B,MAAM,MAAM,GAAG,UAAU,CAAC,KAAK,CAAC,oBAAoB,CAAC,MAAM,CAAC,GAAG,EAAE,IAAI,CAAC,CAAC,CAAC;IACxE,IAAI,MAAM,KAAK,SAAS;QAAE,OAAO,EAAE,OAAO,EAAE,MAAM,EAAE,OAAO,EAAE,MAAM,EAAE,CAAC;IACtE,MAAM,QAAQ,GAAG,UAAU,CACzB,KAAK,CAAC,mBAAmB,CAAC,MAAM,CAAC,GAAG,EAAE,IAAI,EAAE,MAAM,CAAC,aAAa,CAAC,CAClE,CAAC;IACF,IAAI,QAAQ,KAAK,SAAS;QAAE,OAAO,EAAE,OAAO,EAAE,QAAQ,EAAE,OAAO,EAAE,QAAQ,EAAE,CAAC;IAC5E,4EAA4E;IAC5E,wEAAwE;IACxE,6CAA6C;IAC7C,MAAM,OAAO,GACX,MAAM,CAAC,OAAO,KAAK,SAAS;QAC1B,CAAC,CAAC,SAAS;QACX,CAAC,CAAC,KAAK,CAAC,aAAa,CAAC,MAAM,CAAC,OAAO,EAAE,IAAI,CAAC,CAAC;IAChD,IAAI,OAAO,KAAK,SAAS,IAAI,UAAU,CAAC,OAAO,CAAC,EAAE,CAAC;QACjD,OAAO,EAAE,OAAO,EAAE,UAAU,EAAE,CAAC;IACjC,CAAC;IACD,OAAO,SAAS,CAAC;AACnB,CAAC,CAAC;AAEF;;;;;;;;;;;GAWG;AACH,MAAM,UAAU,GAAG,CACjB,MAA2B,EAC3B,IAAiB,EACjB,KAAkB,EAClB,KAAe,EACa,EAAE;IAC9B,MAAM,MAAM,GAAG,gBAAgB,CAAC,MAAM,EAAE,IAAI,EAAE,KAAK,CAAC,CAAC;IACrD,IAAI,MAAM,KAAK,SAAS;QAAE,OAAO,SAAS,CAAC;IAC3C,MAAM,EAAE,OAAO,EAAE,OAAO,EAAE,OAAO,EAAE,GAAG,cAAc,CAAC,MAAM,EAAE,IAAI,CAAC,CAAC;IACnE,MAAM,aAAa,GAAG,MAAM,CAAC,aAAa,CAAC,IAAI,CAAC,CAAC;IACjD,yEAAyE;IACzE,0EAA0E;IAC1E,2EAA2E;IAC3E,wDAAwD;IACxD,MAAM,KAAK,GACT,MAAM,CAAC,OAAO,KAAK,UAAU;QAC3B,CAAC,CAAC,SAAS;QACX,CAAC,CAAC,aAAa,CAAC,aAAa,EAAE,KAAK,CAAC,CAAC;IAC1C,OAAO;QACL,MAAM;QACN,GAAG,MAAM;QACT,OAAO;QACP,SAAS,EAAE,OAAO;QAClB,aAAa;QACb,cAAc,EAAE,OAAO;QACvB,GAAG,CAAC,KAAK,KAAK,SAAS,CAAC,CAAC,CAAC,EAAE,CAAC,CAAC,CAAC,EAAE,KAAK,EAAE,CAAC;KAC1C,CAAC;AACJ,CAAC,CAAC;AAEF;;;;;;;;;;;;;GAaG;AACH,MAAM,CAAC,KAAK,UAAU,SAAS,CAC7B,IAAY,EACZ,QAAsB,EACtB,KAAe;IAEf,MAAM,EACJ,mBAAmB,EACnB,UAAU,EACV,oBAAoB,EACpB,eAAe,EACf,YAAY,EACZ,aAAa,GACd,GAAG,MAAM,MAAM,CAAC,sBAAsB,CAAC,CAAC;IACzC,uEAAuE;IACvE,4EAA4E;IAC5E,oCAAoC;IACpC,MAAM,IAAI,GAAG,QAAQ,IAAI,eAAe,EAAE,CAAC;IAC3C,MAAM,KAAK,GAAgB;QACzB,mBAAmB;QACnB,oBAAoB;QACpB,aAAa;KACd,CAAC;IACF,MAAM,OAAO,GAAqB,UAAU,CAAC,OAAO,CAAC,CAAC,MAAM,EAAE,EAAE;QAC9D,MAAM,KAAK,GAAG,UAAU,CAAC,MAAM,EAAE,IAAI,EAAE,KAAK,EAAE,KAAK,CAAC,CAAC;QACrD,OAAO,KAAK,KAAK,SAAS,CAAC,CAAC,CAAC,EAAE,CAAC,CAAC,CAAC,CAAC,KAAK,CAAC,CAAC;IAC5C,CAAC,CAAC,CAAC;IACH,MAAM,KAAK,GACT,OAAO,CAAC,MAAM,KAAK,CAAC;QAClB,CAAC,CAAC,SAAS;QACX,CAAC,CAAC,OAAO,CAAC,KAAK,CAAC,CAAC,CAAC,EAAE,EAAE,CAAC,CAAC,CAAC,SAAS,CAAC;YACjC,CAAC,CAAC,WAAW;YACb,CAAC,CAAC,QAAQ,CAAC;IACjB,OAAO;QACL,SAAS,EAAE,IAAI;QACf,KAAK;QACL,OAAO;QACP,MAAM,EAAE,UAAU,CAAC,GAAG,CAAC,CAAC,MAAM,EAAE,EAAE,CAAC,MAAM,CAAC,GAAG,CAAC;QAC9C,UAAU,EAAE,IAAI,CAAC,YAAY,CAAC,IAAI,CAAC,EAAE,QAAQ,EAAE,KAAK,CAAC;KACtD,CAAC;AACJ,CAAC;AAED;;;;;;;;;;;GAWG;AACH,MAAM,CAAC,MAAM,eAAe,GAAG,CAC7B,CAAe,EACf,MAA0B,EACC,EAAE;IAC7B,6EAA6E;IAC7E,4EAA4E;IAC5E,mEAAmE;IACnE,MAAM,OAAO,GAAG,CAAC,CAAC,OAAO,CAAC,MAAM,CAC9B,CAAC,CAAC,EAAuB,EAAE,CAAC,CAAC,CAAC,CAAC,SAAS,IAAI,WAAW,CAAC,CAAC,CAAC,CAC3D,CAAC;IACF,OAAO,MAAM,KAAK,SAAS;QACzB,CAAC,CAAC,OAAO;QACT,CAAC,CAAC,OAAO,CAAC,MAAM,CAAC,CAAC,CAAC,EAAE,EAAE,CAAC,MAAM,CAAC,QAAQ,CAAC,CAAC,CAAC,MAAM,CAAC,GAAG,CAAC,CAAC,CAAC;AAC3D,CAAC,CAAC;AAEF;;;;;;;GAOG;AACH,MAAM,CAAC,MAAM,kBAAkB,GAAG,CAChC,CAAe,EACY,EAAE,CAC7B,CAAC,CAAC,OAAO,CAAC,MAAM,CAAC,CAAC,CAAC,EAAuB,EAAE,CAAC,CAAC,CAAC,CAAC,SAAS,IAAI,WAAW,CAAC,CAAC,CAAC,CAAC,CAAC;AAE/E,8DAA8D;AAC9D,MAAM,CAAC,MAAM,cAAc,GAAG,CAAC,CAAe,EAAY,EAAE,CAC1D,CAAC,CAAC,OAAO,CAAC,GAAG,CAAC,CAAC,CAAC,EAAE,EAAE,CAAC,CAAC,CAAC,MAAM,CAAC,IAAI,CAAC,CAAC;AAEtC;;;;;;;;;GASG;AACH,MAAM,CAAC,MAAM,aAAa,GAAG,CAAC,CAAe,EAAU,EAAE,CACvD,+CAA+C,CAAC,CAAC,MAAM,CAAC,IAAI,CAAC,IAAI,CAAC,2EAA2E,CAAC;AAEhJ;;;;;;;;;;;;;GAaG;AACH,MAAM,CAAC,MAAM,oBAAoB,GAAG,CAClC,CAAiB,EACjB,KAAY,EACJ,EAAE;IACV,IAAI,CAAC,CAAC,OAAO,KAAK,UAAU;QAAE,OAAO,oBAAoB,CAAC;IAC1D,MAAM,KAAK,GAAG,CAAC,CAAC,OAAO,KAAK,MAAM,CAAC,CAAC,CAAC,MAAM,CAAC,CAAC,CAAC,YAAY,CAAC;IAC3D,OAAO,OAAO,KAAK,KAAK,WAAW,CAAC,CAAC,CAAC,OAAO,EAAE,KAAK,CAAC,GAAG,CAAC;AAC3D,CAAC,CAAC;AAEF;;;;;;;;;;;;;;;;GAgBG;AACH,MAAM,oBAAoB,GAAG,CAAC,CAAe,EAAU,EAAE,CACvD,iCAAiC,WAAW,gBAAgB,CAAC,CAAC,UAAU,uLAAuL,cAAc,mDAAmD,mBAAmB,uBAAuB,cAAc,2BAA2B,YAAY,oCAAoC,WAAW,CAAC,CAAC,CAAC,aAAa,CAAC;AAEje;;;;;;;;;;;;;;;;;;;;GAoBG;AACH,MAAM,aAAa,GAAG,CACpB,CAAgB,EACyC,EAAE;IAC3D,wEAAwE;IACxE,0EAA0E;IAC1E,8EAA8E;IAC9E,IAAI,CAAC,CAAC,OAAO,KAAK,UAAU,EAAE,CAAC;QAC7B,OAAO;YACL,MAAM,EAAE,0DAA0D;YAClE,MAAM,EAAE,GAAG,EAAE,CACX,gCAAgC,CAAC,CAAC,MAAM,CAAC,GAAG,2BAA2B,CAAC,CAAC,MAAM,CAAC,IAAI,kCAAkC,QAAQ,oBAAoB;SACrJ,CAAC;IACJ,CAAC;IACD,QAAQ,CAAC,CAAC,KAAK,CAAC,IAAI,EAAE,CAAC;QACrB,KAAK,WAAW;YACd,OAAO;gBACL,MAAM,EAAE,oDAAoD,CAAC,CAAC,KAAK,CAAC,QAAQ,GAAG;gBAC/E,MAAM,EAAE,oBAAoB;aAC7B,CAAC;QACJ,KAAK,WAAW;YACd,OAAO;gBACL,qEAAqE;gBACrE,kEAAkE;gBAClE,MAAM,EAAE,sCAAsC,CAAC,CAAC,KAAK,CAAC,IAAI,GAAG;gBAC7D,MAAM,EAAE,GAAG,EAAE,CACX,mDAAmD,QAAQ,oBAAoB;aAClF,CAAC;IACN,CAAC;AACH,CAAC,CAAC;AAEF;;;;;;GAMG;AACH,MAAM,CAAC,MAAM,cAAc,GAAG,CAAC,CAAiB,EAAsB,EAAE,CACtE,WAAW,CAAC,CAAC,CAAC,CAAC,CAAC,CAAC,SAAS,CAAC,CAAC,CAAC,aAAa,CAAC,CAAC,CAAC,CAAC,MAAM,CAAC;AAEvD;;;;;;;;;;;;;GAaG;AACH,MAAM,CAAC,MAAM,aAAa,GAAG,CAC3B,CAAe,EACqD,EAAE;IACtE,MAAM,KAAK,GAAG,cAAc,CAAC,CAAC,CAAC,CAAC,EAAE,CAAC,CAAC,CAAC,CAAC;IACtC,IAAI,KAAK,KAAK,SAAS;QAAE,OAAO,SAAS,CAAC;IAC1C,MAAM,EAAE,MAAM,EAAE,MAAM,EAAE,GAAG,aAAa,CAAC,KAAK,CAAC,CAAC;IAChD,OAAO,EAAE,QAAQ,EAAE,GAAG,KAAK,CAAC,MAAM,CAAC,IAAI,KAAK,MAAM,EAAE,EAAE,MAAM,EAAE,MAAM,CAAC,CAAC,CAAC,EAAE,CAAC;AAC5E,CAAC,CAAC;AAEF;;;;GAIG;AACH,MAAM,CAAC,MAAM,eAAe,GAC1B,8FAA8F,CAAC;AAEjG;;;;;;;;;;;GAWG;AACH,MAAM,UAAU,UAAU,CACxB,CAAe,EACf,MAA0B;IAE1B,wEAAwE;IACxE,2EAA2E;IAC3E,kEAAkE;IAClE,IAAI,CAAC,CAAC,KAAK,KAAK,QAAQ;QAAE,OAAO,SAAS,CAAC,EAAE,CAAC,CAAC;IAE/C,MAAM,OAAO,GAAG,eAAe,CAAC,CAAC,EAAE,MAAM,CAAC,CAAC;IAC3C,wEAAwE;IACxE,IAAI,OAAO,CAAC,MAAM,KAAK,CAAC;QAAE,OAAO,SAAS,CAAC,EAAE,CAAC,CAAC;IAC/C,MAAM,QAAQ,GAAG,WAAW,CAAC,CAAC,CAAC,CAAC;IAEhC,2EAA2E;IAC3E,2EAA2E;IAC3E,uDAAuD;IACvD,MAAM,YAAY,GAAG,WAAW,WAAW,SAAS,CAAC;IACrD,MAAM,SAAS,GAAG,kBAAkB,CAClC,KAAK,EACL;QACE,OAAO,EAAE,4CAA4C,QAAQ,qBAAqB;KACnF,EACD,SAAS,CAAC;QACR,KAAK,CAAC,CAAC,CAAC,UAAU,EAAE,IAAI,CAAC;QACzB,OAAO,CACL,IAAI,CAAC,KAAK,EAAE,CAAC,KAAK,EAAE,GAAG,WAAW,SAAS,CAAC,EAAE,CAAC,CAAC,UAAU,CAAC,EAC3D,CAAC,MAAM,EAAE,EAAE,CACT,WAAW,CAAC,YAAY,EAAE,MAAoB,EAAE;YAC9C,OAAO,EACL,yHAAyH;gBACzH,KAAK,QAAQ,qBAAqB;SACrC,CAAC,CACL;KACF,CAAC,CACH,CAAC;IAEF,MAAM,SAAS,GAAG,OAAO,CAAC,GAAG,CAAC,CAAC,EAAE,MAAM,EAAE,OAAO,EAAE,EAAE,EAAE;QACpD,qEAAqE;QACrE,0EAA0E;QAC1E,uEAAuE;QACvE,YAAY;QACZ,MAAM,GAAG,GAAG,OAAO,CAAC;QACpB,MAAM,OAAO,GAAG,GAAG,GAAG,wBAAwB,QAAQ,EAAE,CAAC;QACzD,OAAO,kBAAkB,CACvB,GAAG,EACH;YACE,OAAO,EAAE,GAAG,MAAM,CAAC,IAAI,uDAAuD,QAAQ,qBAAqB;SAC5G,EACD,OAAO,CACL,IAAI,CAAC,GAAG,EAAE,CAAC,qBAAqB,EAAE,QAAQ,CAAC,EAAE,CAAC,CAAC,UAAU,CAAC,EAC1D,CAAC,MAAM,EAAE,EAAE,CACT,WAAW,CAAC,OAAO,EAAE,MAAoB,EAAE;YACzC,OAAO,EACL,GAAG,MAAM,CAAC,IAAI,gEAAgE,QAAQ,wBAAwB;gBAC9G,KAAK,OAAO,iBAAiB,MAAM,CAAC,IAAI,SAAS;SACpD,CAAC,CACL,CACF,CAAC;IACJ,CAAC,CAAC,CAAC;IAEH,OAAO,SAAS,CAAC,CAAC,SAAS,EAAE,GAAG,SAAS,CAAC,CAAC,CAAC;AAC9C,CAAC;AAED;;;;;;;;;;;GAWG;AACH,MAAM,CAAC,MAAM,eAAe,GAAG,CAAC,CAAe,EAA6B,EAAE;AAC5E,0EAA0E;AAC1E,yEAAyE;AACzE,0EAA0E;AAC1E,mBAAmB;AACnB,CAAC,CAAC,OAAO,CAAC,MAAM,CAAC,CAAC,CAAC,EAAuB,EAAE,CAAC,CAAC,CAAC,OAAO,IAAI,WAAW,CAAC,CAAC,CAAC,CAAC,CAAC;AAE5E;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;GAkCG;AACH,MAAM,UAAU,iBAAiB,CAC/B,CAAe,EACf,OAAgB;IAEhB,MAAM,KAAK,GAAG,eAAe,CAAC,CAAC,CAAC,CAAC;IACjC,6EAA6E;IAC7E,0EAA0E;IAC1E,IAAI,KAAK,CAAC,MAAM,KAAK,CAAC;QAAE,OAAO,SAAS,CAAC,EAAE,CAAC,CAAC;IAC7C,OAAO,SAAS,CACd,KAAK,CAAC,GAAG,CAAC,CAAC,EAAE,MAAM,EAAE,OAAO,EAAE,aAAa,EAAE,cAAc,EAAE,EAAE,EAAE;QAC/D,iEAAiE;QACjE,MAAM,GAAG,GAAG,OAAO,CAAC;QACpB,MAAM,OAAO,GAAG,GAAG,GAAG,0BAA0B,YAAY,EAAE,CAAC;QAC/D,MAAM,UAAU,GAAG,cAAc,CAAC,GAAG,CAAC,CAAC,KAAK,EAAE,EAAE,CAC9C,IAAI,CAAC,aAAa,EAAE,KAAK,CAAC,CAC3B,CAAC;QACF,MAAM,SAAS,GAAG,OAAO,CACvB,IAAI,CAAC,GAAG,EAAE,CAAC,uBAAuB,EAAE,YAAY,CAAC,EAAE,aAAa,CAAC,EACjE,CAAC,MAAM,EAAE,EAAE,CACT,WAAW,CAAC,OAAO,EAAE,MAAoB,EAAE;YACzC,OAAO,EACL,GAAG,MAAM,CAAC,IAAI,gDAAgD;gBAC9D,4BAA4B,OAAO,KAAK;SAC3C,CAAC,CACL,CAAC;QACF,wEAAwE;QACxE,sEAAsE;QACtE,uEAAuE;QACvE,oEAAoE;QACpE,kEAAkE;QAClE,sEAAsE;QACtE,iEAAiE;QACjE,sDAAsD;QACtD,MAAM,QAAQ,GAAG,OAAO,CAAC,SAAS,EAAE,GAAG,EAAE,CACvC,OAAO,CACL,QAAQ,CAAC,UAAU,CAAC,GAAG,CAAC,CAAC,CAAC,EAAE,EAAE,CAAC,MAAM,CAAC,CAAC,EAAE,EAAE,cAAc,EAAE,KAAK,EAAE,CAAC,CAAC,CAAC,EACrE,CAAC,UAAU,EAAE,EAAE;YACb,MAAM,SAAS,GAAG,UAAU,CAAC,MAAM,CAAC,CAAC,CAAC,EAAE,CAAC,EAAE,EAAE,CAAC,UAAU,CAAC,CAAC,CAAC,CAAC,CAAC;YAC7D,IAAI,SAAS,CAAC,MAAM,KAAK,CAAC;gBAAE,OAAO,IAAI,CAAC,SAAS,CAAC,CAAC;YACnD,8DAA8D;YAC9D,gEAAgE;YAChE,iEAAiE;YACjE,+CAA+C;YAC/C,OAAO,UAAU,CACf,IAAI,WAAW,CAAC;gBACd,IAAI,EAAE,aAAa;gBACnB,OAAO,EAAE,KAAK,OAAO,qEAAqE;gBAC1F,QAAQ,EAAE;oBACR,OAAO,EAAE,UAAU,SAAS,CAAC,MAAM,KAAK,CAAC,CAAC,CAAC,CAAC,YAAY,CAAC,CAAC,CAAC,eAAe,SAAS,MAAM,CAAC,IAAI,kDAAkD,SAAS,CAAC,IAAI,CAAC,KAAK,CAAC,EAAE;iBACxK;aACF,CAAC,CACH,CAAC;QACJ,CAAC,CACF,CACF,CAAC;QACF,OAAO,KAAK,CAAC,aAAa,EAAE,IAAI,EAAE;YAChC,IAAI,EAAE,kBAAkB,CACtB,GAAG,EACH;gBACE,OAAO,EAAE,GAAG,MAAM,CAAC,IAAI,uDAAuD,QAAQ,4BAA4B;aACnH,EACD,QAAQ,CACT;YACD,OAAO;SACR,CAAC,CAAC;IACL,CAAC,CAAC,CACH,CAAC;AACJ,CAAC;AAED;;;;;;;;;;;;GAYG;AACH,MAAM,UAAU,kBAAkB,CAAC,CAAe;IAChD,MAAM,KAAK,GAAG,eAAe,CAAC,CAAC,CAAC,CAAC,EAAE,CAAC,CAAC,CAAC,CAAC;IACvC,OAAO,KAAK,KAAK,SAAS;QACxB,CAAC,CAAC,SAAS;QACX,CAAC,CAAC,GAAG,KAAK,CAAC,OAAO,0BAA0B,YAAY,EAAE,CAAC;AAC/D,CAAC;AAED,wEAAwE;AACxE,MAAM,UAAU,WAAW,CAAC,CAAe;IACzC,OAAO,IAAI,CACT,CAAC,CAAC,UAAU,EACZ,cAAc,EACd,GAAG,WAAW,CAAC,KAAK,CAAC,GAAG,CAAC,EACzB,mBAAmB,CACpB,CAAC;AACJ,CAAC"}