reverseport 0.0.0-stage → 1.2.0

package/dist/cli-runtime/application__Uninstall-BVgWDCPN.js

@@ -0,0 +1,349 @@
+import { __esmMin } from "./rolldown-runtime-DXoylpqc.js";
+import { PRODUCT_IDENTITY, init_identity } from "./reconstructionObligationLedgerSchemas-dvp6PEnZ.js";
+import { homeDirectoryFromEnvironment, init_ClientRegistrationIdentity, init_SupportedClients, init_homeDirectory, isOwnedClientRegistrationCommand, manualRegistrationRemediation, supportedClients } from "./SupportedClients-BrZ2qZVg.js";
+import { init_RegularFileRead, readRegularFileText } from "./RegularFileRead-BMh5FMXd.js";
+import { init_UninstallFailure, isUninstallFailure } from "./UninstallFailure-1blyKXHE.js";
+import { ArtifactResourceScope, init_ArtifactResourceScope } from "./ArtifactResourceScope-CZqLEfbb.js";
+import { MANAGED_SKILL_FILES, clientServerPath, dshDocument, init_ClientConfigurationDocument, init_DshCordisPatch, init_SetupSkill, isManagedSkillManifest, legacyClientServerPath, parseClientConfiguration, readSkillFile, serializeClientConfiguration, skillDestinations, withClientServers } from "./ClientConfigurationDocument-D0ZqgTCv.js";
+import { init_ClientConfigPath, resolveClientConfigTransactionPath } from "./ClientConfigPath-c6jr6INc.js";
+import { join } from "node:path";
+import { z } from "zod";
+import { copyFile, lstat, realpath, rm } from "node:fs/promises";
+import { constants } from "node:fs";
+import writeFileAtomic from "write-file-atomic";
+
+//#region dist/application/Uninstall.js
+var systemFileSystem, runUninstall, removeAll, systemUninstallHost, readClientConfiguration, itemRead, removeClient, resolveUninstallConfigPath, isOwnedRegistration, purgeManagedData, removeManagedPath, removeManagedSkills, removeManagedSkill, removeManagedSkillFile, item, collapseUninstallItems, mergeUninstallItems, preferredUninstallStatus, uninstallStatusPriority, registrationSchema, isMissing;
+function init_Uninstall() {
+	return (init_Uninstall = __esmMin((() => {
+		init_ClientConfigurationDocument();
+		init_homeDirectory();
+		init_identity();
+		init_SetupSkill();
+		init_ClientRegistrationIdentity();
+		init_DshCordisPatch();
+		init_ClientConfigPath();
+		init_RegularFileRead();
+		init_ArtifactResourceScope();
+		init_SupportedClients();
+		init_UninstallFailure();
+		systemFileSystem = (resources) => ({
+			readText: (path) => readRegularFileText(path, { resources }),
+			readRegularText: (path) => readSkillFile(path, resources),
+			copy: (source, destination) => copyFile(source, destination, constants.COPYFILE_EXCL),
+			writeText: (path, contents) => writeFileAtomic(path, contents, { encoding: "utf8" }),
+			stat: (path) => lstat(path),
+			realpath: (path) => realpath(path),
+			remove: (path, recursive = true) => rm(path, { recursive })
+		});
+		runUninstall = async (purgeData, host = systemUninstallHost()) => {
+			let result;
+			let primaryFailure;
+			let failed = false;
+			try {
+				const clients = await host.clients();
+				const blocked = [];
+				for (const client of clients) {
+					const blocking = await host.inspectClient(client);
+					if (blocking !== undefined) blocked.push(blocking);
+				}
+				const items = blocked.length > 0 ? [...blocked, item("uninstall", "skipped", "No REA registration, skill, or data was removed. Repair each failed configuration, then rerun uninstall.")] : await removeAll(clients, purgeData, host);
+				items.push({
+					name: "analysis_engine",
+					status: "retained",
+					detail: "Hopper is not owned by REA uninstall."
+				});
+				const reported = collapseUninstallItems(items);
+				result = {
+					status: reported.some(({ status }) => status === "failed") ? "failed" : "complete",
+					items: reported
+				};
+			} catch (cause) {
+				failed = true;
+				primaryFailure = cause;
+			}
+			let cleanupFailure;
+			try {
+				cleanupFailure = await host.close?.();
+			} catch (cause) {
+				cleanupFailure = `Uninstall resource cleanup failed: ${cause instanceof Error ? cause.message : String(cause)}`;
+			}
+			if (failed) {
+				if (cleanupFailure !== undefined) throw new AggregateError([primaryFailure, new Error(cleanupFailure)], "Uninstall failed and its resource cleanup remains incomplete.", { cause: primaryFailure });
+				throw primaryFailure;
+			}
+			if (result === undefined) throw new Error("Uninstall result was not produced.");
+			if (cleanupFailure === undefined) return result;
+			const items = collapseUninstallItems([...result.items, item("uninstall_cleanup", "failed", cleanupFailure)]);
+			return {
+				status: "failed",
+				items
+			};
+		};
+		removeAll = async (clients, purgeData, host) => {
+			const items = [];
+			for (const client of clients) {
+				const removed = await host.removeClient(client);
+				items.push(removed);
+				if (removed.status === "failed") return [...items, item("uninstall", "skipped", "Uninstall stopped at this failure; the items above report what changed. Repair the failed configuration, then rerun uninstall.")];
+			}
+			items.push(await host.removeSkill());
+			if (purgeData) items.push(...await host.purgeData());
+			return items;
+		};
+		systemUninstallHost = (selectedHome = undefined, selectedFileSystem = undefined, environment = process.env, platform = process.platform) => {
+			const home = selectedHome ?? homeDirectoryFromEnvironment(environment, platform);
+			const resources = new ArtifactResourceScope();
+			const fileSystem = selectedFileSystem ?? systemFileSystem(resources);
+			return {
+				clients: () => Promise.resolve(supportedClients(home, platform, environment).flatMap((client) => client.configPaths === undefined ? [client] : client.configPaths.map((configPath) => ({
+					...client,
+					configPath
+				})))),
+				inspectClient: async (client) => {
+					const read = await readClientConfiguration(client, fileSystem);
+					return read.kind === "item" && read.item.status === "failed" ? read.item : undefined;
+				},
+				removeClient: (client) => removeClient(client, fileSystem),
+				removeSkill: () => removeManagedSkills(home, fileSystem, environment, platform),
+				purgeData: () => purgeManagedData(join(home, ".rea"), fileSystem),
+				close: async () => {
+					try {
+						await resources.close();
+						return undefined;
+					} catch (cause) {
+						return `Uninstall resource cleanup failed: ${cause instanceof Error ? cause.message : String(cause)}`;
+					}
+				}
+			};
+		};
+		readClientConfiguration = async (client, fileSystem) => {
+			if (client.configPathError !== undefined) return itemRead(item(client.name, "failed", client.configPathError));
+			if (client.format === "unsupported") return itemRead(item(client.name, "skipped", manualRegistrationRemediation(client.name) ?? "This client has no documented local MCP configuration boundary."));
+			const resolved = await resolveUninstallConfigPath(client, fileSystem);
+			if (typeof resolved !== "string") return itemRead(resolved);
+			const transactionPath = resolved;
+			let original;
+			try {
+				original = await fileSystem.readText(transactionPath);
+			} catch (cause) {
+				return itemRead(isMissing(cause) ? item(client.name, "skipped", "Configuration does not exist.") : item(client.name, "failed", "Configuration could not be read. Check file permissions, then rerun uninstall."));
+			}
+			try {
+				const parsed = parseClientConfiguration(original, client.format);
+				return {
+					kind: "configuration",
+					transactionPath,
+					original,
+					parsed
+				};
+			} catch (cause) {
+				void cause;
+				return itemRead(item(client.name, "failed", `Configuration is not valid ${client.format === "toml" || client.format === "grok" ? "TOML" : client.format === "opencode" ? "JSONC" : "JSON"} and was not changed. Repair it, then rerun uninstall.`));
+			}
+		};
+		itemRead = (result) => ({
+			kind: "item",
+			item: result
+		});
+		removeClient = async (client, fileSystem) => {
+			const read = await readClientConfiguration(client, fileSystem);
+			if (read.kind === "item") return read.item;
+			const { transactionPath, original, parsed } = read;
+			const name = PRODUCT_IDENTITY.mcpServerKey;
+			const legacyPath = legacyClientServerPath(parsed, name);
+			const hasNative = Object.hasOwn(parsed.servers, name);
+			const carriesDshEntry = parsed.dialect === "dsh" && dshDocument(parsed.document).carriesEntry;
+			if (parsed.dialect === "dsh" && dshDocument(parsed.document).hasUnknownStructure) return item(client.name, "retained", "A Cordis expression may produce registration rows, so the patch was retained without changes.");
+			if (!hasNative && legacyPath === undefined && !carriesDshEntry) return item(client.name, "skipped", "REA registration is absent.");
+			const removeNative = carriesDshEntry || hasNative && isOwnedRegistration(parsed.servers[name], client);
+			const removeLegacy = legacyPath !== undefined && isOwnedRegistration(parsed.legacyServers[name], client);
+			if (!removeNative && !removeLegacy) return item(client.name, "retained", "The rea-named registration is not REA-owned.");
+			const remaining = { ...parsed.servers };
+			if (removeNative) delete remaining[name];
+			const document = withClientServers(parsed, remaining, removeLegacy ? name : undefined);
+			const editedPaths = [...removeNative ? [clientServerPath(parsed, name)] : [], ...removeLegacy ? [legacyPath] : []];
+			const backupPath = `${client.configPath}.rea.backup`;
+			try {
+				await fileSystem.copy(transactionPath, backupPath);
+			} catch (cause) {
+				if (!(cause instanceof Error && "code" in cause && cause.code === "EEXIST")) return item(client.name, "failed", "Configuration could not be backed up, so no change was made. Check file permissions, then rerun uninstall.");
+			}
+			try {
+				await fileSystem.writeText(transactionPath, serializeClientConfiguration(document, client.format, original, editedPaths));
+				const readback = parseClientConfiguration(await fileSystem.readText(transactionPath), client.format);
+				if (removeNative && Object.hasOwn(readback.servers, name) || readback.dialect === "dsh" && dshDocument(readback.document).carriesEntry || removeLegacy && Object.hasOwn(readback.legacyServers, name)) throw new Error("registration readback mismatch");
+				return item(client.name, "removed", `Removed registration from ${client.configPath}.`);
+			} catch (cause) {
+				void cause;
+				try {
+					await fileSystem.writeText(transactionPath, original);
+				} catch (restoreCause) {
+					void restoreCause;
+					return item(client.name, "failed", "Configuration could not be updated or restored. Restore its `.rea.backup` manually, then rerun uninstall.");
+				}
+				return item(client.name, "failed", "Configuration could not be updated. The original was restored and its `.rea.backup` was retained. Repair the configuration or restore the backup, then rerun uninstall.");
+			}
+		};
+		resolveUninstallConfigPath = async (client, fileSystem) => {
+			const path = await resolveClientConfigTransactionPath(client.configPath, fileSystem.realpath === undefined ? { lstat: fileSystem.stat } : {
+				lstat: fileSystem.stat,
+				realpath: fileSystem.realpath
+			});
+			return path ?? item(client.name, "failed", "Configuration path could not be safely verified. Check its permissions and, if it is a symbolic link, verify that the link resolves to a regular file owned by the current user, then rerun uninstall.");
+		};
+		isOwnedRegistration = (value, client) => {
+			if (client.format === "opencode") {
+				const parsed = z.object({
+					type: z.literal("local"),
+					command: z.array(z.string()).min(1)
+				}).passthrough().safeParse(value);
+				if (!parsed.success) return false;
+				const command = parsed.data.command;
+				return isOwnedClientRegistrationCommand(command);
+			}
+			const parsed = registrationSchema.safeParse(value);
+			if (!parsed.success) return false;
+			const { command, args } = parsed.data;
+			return isOwnedClientRegistrationCommand([command, ...args]);
+		};
+		purgeManagedData = async (root, fileSystem) => {
+			const names = ["cache", "state"];
+			try {
+				const stats = await fileSystem.stat(root);
+				const linked = stats.isSymbolicLink();
+				if (linked || stats.isDirectory?.() !== true) return names.map((name) => item(name, "retained", `REA did not remove this item because its managed data root ${root} is ${linked ? "a symbolic link" : "not a directory"}. Verify the root before removing its data manually.`));
+			} catch (cause) {
+				return names.map((name) => isMissing(cause) ? item(name, "skipped", `${join(root, name)} does not exist.`) : item(name, "failed", `The managed data root ${root} could not be verified. Check its permissions, then rerun uninstall.`));
+			}
+			const items = [];
+			for (const name of names) items.push(await removeManagedPath(join(root, name), name, fileSystem));
+			return items;
+		};
+		removeManagedPath = async (path, name, fileSystem) => {
+			try {
+				const stats = await fileSystem.stat(path);
+				if (stats.isSymbolicLink()) return item(name, "retained", "REA did not remove this item because its managed path is a symbolic link. Verify the link target before removing it manually.");
+				await fileSystem.remove(path);
+				return item(name, "removed", `Removed ${path}.`);
+			} catch (cause) {
+				return isMissing(cause) ? item(name, "skipped", `${path} does not exist.`) : item(name, "failed", "This item could not be removed. Check file permissions, then rerun uninstall.");
+			}
+		};
+		removeManagedSkills = async (home, fileSystem, environment, platform) => {
+			const results = await Promise.all(skillDestinations(home, undefined, environment, platform).map(({ path }) => removeManagedSkill(path, path, fileSystem)));
+			const failed = results.find(({ status }) => status === "failed");
+			if (failed !== undefined) return item("skill", "failed", results.map(({ name, status, detail }) => `${name}: ${status} (${detail})`).join(" "));
+			const status = results.some(({ status: resultStatus }) => resultStatus === "removed") ? "removed" : results.some(({ status: resultStatus }) => resultStatus === "retained") ? "retained" : "skipped";
+			return item("skill", status, results.map(({ name, status: resultStatus, detail }) => `${name}: ${resultStatus} (${detail})`).join(" "));
+		};
+		removeManagedSkill = async (path, name, fileSystem) => {
+			let root;
+			try {
+				root = await fileSystem.stat(path);
+			} catch (cause) {
+				return isMissing(cause) ? item(name, "skipped", "Skill directory does not exist.") : item(name, "failed", "Skill directory could not be inspected.");
+			}
+			if (root.isSymbolicLink()) return item(name, "retained", "Skill directory is a symbolic link.");
+			if (root.isDirectory?.() !== true) return item(name, "retained", "Skill path is not a directory.");
+			const manifestPath = join(path, "SKILL.md");
+			try {
+				const manifest = await fileSystem.stat(manifestPath);
+				if (manifest.isSymbolicLink()) return item(name, "retained", "Skill manifest is a symbolic link.");
+				if (manifest.isFile?.() !== true) return item(name, "retained", "Skill manifest is not a regular file.");
+			} catch (cause) {
+				return isMissing(cause) ? item(name, "retained", "Skill ownership could not be established.") : item(name, "failed", "Skill manifest could not be inspected.");
+			}
+			let content;
+			try {
+				content = await (fileSystem.readRegularText?.(manifestPath) ?? fileSystem.readText(manifestPath));
+			} catch (cause) {
+				return isMissing(cause) ? item(name, "retained", "Skill ownership could not be established.") : item(name, "failed", "Skill manifest could not be read.");
+			}
+			if (!isManagedSkillManifest(content)) return item(name, "retained", "Skill manifest is not REA-owned.");
+			const manifestName = "SKILL.md";
+			const otherFiles = MANAGED_SKILL_FILES.filter((relativePath) => relativePath !== manifestName);
+			const results = [];
+			for (const relativePath of otherFiles) results.push(await removeManagedSkillFile(path, relativePath, name, fileSystem));
+			if (results.some(({ status }) => status === "failed" || status === "retained")) results.push(item(name, "retained", "REA ownership manifest was retained because a managed file could not be safely removed."));
+			else results.push(await removeManagedSkillFile(path, manifestName, name, fileSystem));
+			const failed = results.find(({ status }) => status === "failed");
+			if (failed !== undefined) return item(name, "failed", results.map(({ detail }) => detail).join(" "));
+			const removed = results.some(({ status }) => status === "removed");
+			return item(name, removed ? "removed" : "skipped", "REA-managed skill files were removed; other files were preserved.");
+		};
+		removeManagedSkillFile = async (root, relativePath, name, fileSystem) => {
+			const segments = relativePath.split(/[\\/]/u);
+			let parent = root;
+			for (const segment of segments.slice(0, -1)) {
+				parent = join(parent, segment);
+				try {
+					const stats = await fileSystem.stat(parent);
+					if (stats.isSymbolicLink() || stats.isDirectory?.() !== true) return item(name, "retained", `Managed path parent was retained: ${parent}.`);
+				} catch (cause) {
+					return isMissing(cause) ? item(name, "skipped", `${join(parent, segments.at(-1) ?? "")} does not exist.`) : item(name, "failed", `Managed path parent could not be inspected: ${parent}.`);
+				}
+			}
+			const target = join(root, relativePath);
+			let stats;
+			try {
+				stats = await fileSystem.stat(target);
+			} catch (cause) {
+				return isMissing(cause) ? item(name, "skipped", `${target} does not exist.`) : item(name, "failed", `Managed file could not be inspected: ${target}.`);
+			}
+			if (stats.isSymbolicLink()) return item(name, "retained", `Managed file is a symbolic link: ${target}.`);
+			if (stats.isFile?.() !== true) return item(name, "retained", `Managed path is not a regular file: ${target}.`);
+			try {
+				await fileSystem.remove(target, false);
+				return item(name, "removed", `Removed ${target}.`);
+			} catch (cause) {
+				return isMissing(cause) ? item(name, "skipped", `${target} does not exist.`) : item(name, "failed", `Managed file could not be removed: ${target}.`);
+			}
+		};
+		item = (name, status, detail) => ({
+			name,
+			status,
+			detail
+		});
+		collapseUninstallItems = (items) => {
+			const collapsed = [];
+			for (const next of items) {
+				const index = collapsed.findIndex(({ name }) => name === next.name);
+				const current = collapsed[index];
+				if (current === undefined) {
+					collapsed.push(next);
+					continue;
+				}
+				collapsed[index] = mergeUninstallItems(current, next);
+			}
+			return collapsed;
+		};
+		mergeUninstallItems = (current, next) => {
+			const status = preferredUninstallStatus(current.status, next.status);
+			const details = [current, next].filter((entry) => entry.status === status || status === "removed" && entry.status === "retained").map(({ detail }) => detail);
+			return item(current.name, status, [...new Set(details)].join(" "));
+		};
+		preferredUninstallStatus = (current, next) => uninstallStatusPriority(next) > uninstallStatusPriority(current) ? next : current;
+		uninstallStatusPriority = (status) => {
+			switch (status) {
+				case "failed": return 3;
+				case "removed": return 2;
+				case "retained": return 1;
+				case "skipped": return 0;
+				default: {
+					const exhaustive = status;
+					throw new TypeError(`Unhandled uninstall item status: ${String(exhaustive)}`);
+				}
+			}
+		};
+		registrationSchema = z.object({
+			command: z.string(),
+			args: z.array(z.string())
+		}).passthrough();
+		isMissing = (cause) => cause instanceof Error && "code" in cause && cause.code === "ENOENT";
+	})))();
+}
+
+//#endregion
+init_Uninstall();
+export { runUninstall, systemUninstallHost };