dsh-plugin-shop 0.4.1 → 0.4.3

package/lib/index.js

@@ -256,7 +256,10 @@ function validateInstall(snapshot, args) {
 }
 //#endregion
 //#region src/host/executor.ts
-/** Install executor: spawn the dsh CLI, stream its output, serialize per profile. */
+/** Plugin-command executor: spawn the dsh CLI, stream its output, serialize
+* per profile. One implementation drives both `dsh plugin add` (install) and
+* `dsh plugin remove` (uninstall); the only differences are the verb and the
+* post-exit manifest confirmation. */
 const MAX_LOG_LINES = 200;
 const MAX_LOG_BYTES = 65536;
 const profileQueues = /* @__PURE__ */ new Map();
@@ -265,8 +268,7 @@ function chain(profile, task) {
 	profileQueues.set(profile, next.catch(() => {}));
 	return next;
 }
-/**
-* The §7.2 step-6 confirm: after a zero exit, re-read the profile manifest and
+/** The §7.2 step-6 confirm: after a zero exit, re-read the profile manifest and
 * verify the bundle actually landed in `dsh.profile.bundles`. Exit 0 alone is
 * not success — a library-that-looked-like-a-plugin, or a stale catalog,
 * exits 0 while changing nothing (§10). The shop cannot force a client
@@ -285,18 +287,31 @@ function confirmBundleActivation(profile, home, expectedName) {
 		return `installed but the profile manifest could not be read (${join(profileDir, "package.json")}) — the catalog may be stale; refresh it`;
 	}
 }
-/**
-* Run one `dsh plugin --profile <profile> add <spec>` and track it.
+/** The uninstall mirror of §7.2 step 6: after a zero exit, re-read the profile
+* manifest and verify the bundle actually left `dsh.profile.bundles`. A zero
+* exit that changed nothing must not read as success. */
+function confirmBundleRemoval(profile, home, expectedName) {
+	const profileDir = resolveProfileDir(profile, home);
+	try {
+		if (!readProfileManifest("dsh-plugin-shop", profileDir).dsh?.profile?.bundles?.includes(expectedName)) return null;
+		return "removed but dsh.profile.bundles did not change — re-run the uninstall";
+	} catch {
+		return `removed but the profile manifest could not be read (${join(profileDir, "package.json")}) — re-run the uninstall`;
+	}
+}
+/** Run one `dsh plugin --profile <profile> <verb> <target>` and track it.
 * Never rolls back; a failure surfaces stderr verbatim plus the recovery hint
 * (§10). The shop never passes build-script flags: `allowBuilds` stays the
 * user's explicit decision in the CLI (§7.2).
 * The child inherits the current environment unless `env` is given — the
 * real-install test pins DSH_HOME to a temporary directory this way.
-* When `expectedName` is given, a zero exit is confirmed against the profile
-* manifest (§7.2 step 6) before the install reports `done`.
-*/
-function startInstall(options) {
-	const { profile, spec, dshBin = "dsh", env, expectedName, onStatus } = options;
+* When `confirm` is given, a zero exit is checked against the profile
+* manifest before the command reports `done` (§7.2 step 6 and its uninstall
+* mirror). */
+function spawnPluginCli(options) {
+	const { profile, argv, dshBin, env, confirm, onStatus } = options;
+	const target = argv[1];
+	if (target === void 0 || target.startsWith("-")) throw new Error(`dsh-plugin-shop: refusing to spawn with a flag-like operand: ${target ?? "(none)"}`);
 	const installId = randomUUID();
 	const log = [];
 	let logBytes = 0;
@@ -325,8 +340,7 @@ function startInstall(options) {
 				"plugin",
 				"--profile",
 				profile,
-				"add",
-				spec
+				...argv
 			], {
 				stdio: [
 					"ignore",
@@ -352,8 +366,8 @@ function startInstall(options) {
 				if (state !== "running") return;
 				if (exitCode === 0) {
 					state = "done";
-					if (expectedName !== void 0) {
-						const confirmDetail = confirmBundleActivation(profile, env?.DSH_HOME, expectedName);
+					if (confirm !== void 0) {
+						const confirmDetail = confirm(env?.DSH_HOME);
 						if (confirmDetail !== null) {
 							state = "failed";
 							detail = confirmDetail;
@@ -370,6 +384,118 @@ function startInstall(options) {
 		}))
 	};
 }
+/**
+* Run one `dsh plugin --profile <profile> add <spec>` and track it.
+* When `expectedName` is given, a zero exit is confirmed against the profile
+* manifest (§7.2 step 6) before the install reports `done`.
+*/
+function startInstall(options) {
+	const { profile, spec, dshBin = "dsh", env, expectedName, onStatus } = options;
+	return spawnPluginCli({
+		profile,
+		argv: ["add", spec],
+		dshBin,
+		env,
+		confirm: expectedName !== void 0 ? (home) => confirmBundleActivation(profile, home, expectedName) : void 0,
+		onStatus
+	});
+}
+/**
+* Run one `dsh plugin --profile <profile> remove <name>` and track it.
+* When `expectedName` is given, a zero exit is confirmed against the profile
+* manifest — the bundle must actually have LEFT `dsh.profile.bundles` — before
+* the uninstall reports `done`.
+*/
+function startUninstall(options) {
+	const { profile, name, dshBin = "dsh", env, expectedName, onStatus } = options;
+	return spawnPluginCli({
+		profile,
+		argv: ["remove", name],
+		dshBin,
+		env,
+		confirm: expectedName !== void 0 ? (home) => confirmBundleRemoval(profile, home, expectedName) : void 0,
+		onStatus
+	});
+}
+//#endregion
+//#region src/host/restart.ts
+/** Restart executor: re-spawn the Host's own command line and hand the
+* browser the new server's URL. The child is detached (its own process
+* group), so it survives both the parent's exit and the launching
+* terminal's. The parent exits only AFTER the child printed its
+* `dsh web: <url>` line — a restart that fails to come up leaves the old
+* process running untouched. */
+/** How long to wait for the child to print its URL before declaring the
+* restart failed and killing the child. dsh web prints the URL once the
+* Loader tree settles; 20s is generous on slow machines. */
+const RESTART_UP_TIMEOUT_MS = 2e4;
+/** Spawn the restarted server and wait for it to announce its URL.
+*
+* The child runs the same `dsh` with the same argv the current process was
+* launched with (`process.argv.slice(2)` — node and the CLI script path
+* stripped), so the profile, port and flags reproduce the user's launch
+* verbatim. `--port 0` therefore yields a NEW port, and the returned URL is
+* how the browser finds it.
+*
+* On success the caller exits the old process — but only after delivering
+* the RPC response carrying `url`, which is the caller's sequencing duty,
+* not this module's. On failure (child exits before announcing, spawn
+* error, or the timeout) the child is killed if still running and the old
+* process is untouched. */
+function startRestart(options) {
+	const { dshBin, argv, env, timeoutMs = RESTART_UP_TIMEOUT_MS } = options;
+	const stderr = [];
+	return new Promise((resolve) => {
+		const child = spawn(dshBin, argv, {
+			stdio: [
+				"ignore",
+				"pipe",
+				"pipe"
+			],
+			env: env ?? process.env,
+			detached: true
+		});
+		child.unref();
+		const timeout = setTimeout(() => {
+			child.kill();
+			resolve({
+				ok: false,
+				detail: "the restarted server did not announce its URL in time"
+			});
+		}, timeoutMs);
+		child.stdout.on("data", (chunk) => {
+			for (const line of chunk.toString().split("\n")) {
+				if (line === "") continue;
+				const match = /dsh web: (http:\/\/\S+)/.exec(line);
+				if (match?.[1] !== void 0) {
+					clearTimeout(timeout);
+					resolve({
+						ok: true,
+						url: match[1]
+					});
+				}
+			}
+		});
+		child.stderr.on("data", (chunk) => {
+			for (const line of chunk.toString().split("\n")) if (line !== "") stderr.push(line);
+		});
+		child.on("error", (error) => {
+			const code = error.code;
+			clearTimeout(timeout);
+			resolve({
+				ok: false,
+				detail: code === "ENOENT" ? "dsh not found on PATH — restart could not be launched" : `restart spawn failed: ${error.message}`
+			});
+		});
+		child.on("close", () => {
+			clearTimeout(timeout);
+			resolve({
+				ok: false,
+				detail: `the restarted server exited during boot — ${stderr[stderr.length - 1] ?? "no output"}`
+			});
+		});
+	});
+}
 //#endregion
 //#region src/host/profile.ts
 /** Profile directory discovery and user-layer writes (§8: hot enable/disable). */
@@ -494,7 +620,9 @@ let ShopGateway = (() => {
 	let _catalog_decorators;
 	let _install_decorators;
 	let _installStatus_decorators;
-	let _outdated_decorators;
+	let _installed_decorators;
+	let _uninstall_decorators;
+	let _restart_decorators;
 	return class ShopGateway extends _classSuper {
 		static {
 			const _metadata = typeof Symbol === "function" && Symbol.metadata ? Object.create(_classSuper[Symbol.metadata] ?? null) : void 0;
@@ -502,7 +630,9 @@ let ShopGateway = (() => {
 			_catalog_decorators = [Remote("catalog")];
 			_install_decorators = [Remote("installStart")];
 			_installStatus_decorators = [Remote("installStatus")];
-			_outdated_decorators = [Remote("outdated")];
+			_installed_decorators = [Remote("installed")];
+			_uninstall_decorators = [Remote("uninstallStart")];
+			_restart_decorators = [Remote("restart")];
 			__esDecorate(this, null, _setEnabled_decorators, {
 				kind: "method",
 				name: "setEnabled",
@@ -547,14 +677,36 @@ let ShopGateway = (() => {
 				},
 				metadata: _metadata
 			}, null, _instanceExtraInitializers);
-			__esDecorate(this, null, _outdated_decorators, {
+			__esDecorate(this, null, _installed_decorators, {
+				kind: "method",
+				name: "installed",
+				static: false,
+				private: false,
+				access: {
+					has: (obj) => "installed" in obj,
+					get: (obj) => obj.installed
+				},
+				metadata: _metadata
+			}, null, _instanceExtraInitializers);
+			__esDecorate(this, null, _uninstall_decorators, {
+				kind: "method",
+				name: "uninstall",
+				static: false,
+				private: false,
+				access: {
+					has: (obj) => "uninstall" in obj,
+					get: (obj) => obj.uninstall
+				},
+				metadata: _metadata
+			}, null, _instanceExtraInitializers);
+			__esDecorate(this, null, _restart_decorators, {
 				kind: "method",
-				name: "outdated",
+				name: "restart",
 				static: false,
 				private: false,
 				access: {
-					has: (obj) => "outdated" in obj,
-					get: (obj) => obj.outdated
+					has: (obj) => "restart" in obj,
+					get: (obj) => obj.restart
 				},
 				metadata: _metadata
 			}, null, _instanceExtraInitializers);
@@ -572,11 +724,21 @@ let ShopGateway = (() => {
 		profileDir;
 		inventory;
 		dshBin;
+		/** The argv `shop/restart` re-spawns: the real process argv minus node and
+		* the CLI script path, or a test-provided substitute. */
+		restartArgv;
+		/** The exit the restart calls once the response is out; `process.exit` in
+		* production, a spy in tests. */
+		exit;
+		restartExitDelayMs;
 		/** The install gate runs against the last loaded snapshot, never a fresh
 		* fetch per request (§7.2: the Host's cached snapshot is the truth). */
 		/** Finished install records retained, so a poll sees the true terminal
 		* state (§8: done / needsRestart / failure detail). Oldest evicted on add. */
 		static MAX_FINISHED_INSTALLS = 32;
+		/** How long the gateway waits after a successful restart response before
+		* exiting the old process — the browser must receive the URL first. */
+		static RESTART_EXIT_DELAY_MS = 2e3;
 		/** The install gate runs against the last loaded snapshot, never a fresh
 		* fetch per request (§7.2: the Host's cached snapshot is the truth). */
 		lastSnapshot = null;
@@ -591,6 +753,9 @@ let ShopGateway = (() => {
 			this.profileDir = options.profileDir;
 			this.inventory = options.inventory;
 			this.dshBin = options.dshBin ?? "dsh";
+			this.restartArgv = options.restartArgv ?? process.argv.slice(2);
+			this.exit = options.exit ?? ((code) => process.exit(code));
+			this.restartExitDelayMs = options.restartExitDelayMs ?? ShopGateway.RESTART_EXIT_DELAY_MS;
 		}
 		/** The boot's Loader root directory (the active profile's `cordis.yml`
 		* directory, carried on `ctx.baseUrl`), when present. A `link:` install
@@ -727,8 +892,11 @@ let ShopGateway = (() => {
 				...running.status()
 			};
 		}
-		/** Installed plugins whose installed version is older than the catalog's (§7.3). */
-		async outdated() {
+		/** Installed catalog plugins (§7.3): every entry of the snapshot the profile
+		* manifest declares as a dependency, with the Host's `outdated` verdict
+		* attached. The tab's shelf cards and its installed section both derive
+		* from this one list. */
+		async installed() {
 			if (this.lastSnapshot === null) {
 				const { catalogUrl, cacheDir } = this.rowConfig();
 				const { snapshot } = await (this.options.loadCatalog ?? loadCatalog)({
@@ -738,24 +906,84 @@ let ShopGateway = (() => {
 				this.lastSnapshot = snapshot;
 			}
 			const dependencies = readProfileManifest("dsh-plugin-shop", this.profileDirResolved()).dependencies ?? {};
-			const outdated = [];
+			const installed = [];
 			for (const entry of this.lastSnapshot.entries) {
-				const installed = dependencies[entry.name];
-				if (installed === void 0) continue;
-				let floor;
-				if (installed === entry.version) floor = installed;
-				else try {
-					floor = minVersion(installed)?.version ?? null;
-				} catch {
-					floor = null;
-				}
-				if (floor !== null && lt(floor, entry.version)) outdated.push({
+				const spec = dependencies[entry.name];
+				if (spec === void 0) continue;
+				installed.push({
 					name: entry.name,
-					installed,
-					latest: entry.version
+					installed: spec,
+					latest: entry.version,
+					outdated: this.isBehind(spec, entry.version)
 				});
 			}
-			return outdated;
+			return installed;
+		}
+		/** Whether an installed dependency spec sits behind the catalog's version.
+		* A spec identical to the catalog version is current by definition; a
+		* pnpm-written non-semver spec like `workspace:*` is not reportable and
+		* reads as current rather than killing the RPC. */
+		isBehind(spec, latest) {
+			if (spec === latest) return false;
+			let floor;
+			try {
+				floor = minVersion(spec)?.version ?? null;
+			} catch {
+				floor = null;
+			}
+			return floor !== null && lt(floor, latest);
+		}
+		/** Uninstall one installed catalog plugin from the profile (§7.3 follow-up
+		* amendment). Removing revokes privilege rather than granting it, so there
+		* is no acknowledgement gate. The name must be a catalog entry the profile
+		* manifest declares as a dependency — the RPC cannot remove profile
+		* dependencies the shop does not manage (the base bundle, the shop
+		* itself). The same install records/polling serve the client. */
+		async uninstall(args) {
+			if (this.lastSnapshot === null) {
+				const { catalogUrl, cacheDir } = this.rowConfig();
+				const { snapshot } = await (this.options.loadCatalog ?? loadCatalog)({
+					baseUrl: catalogUrl,
+					cacheDir
+				});
+				this.lastSnapshot = snapshot;
+			}
+			if (!this.lastSnapshot.entries.some((entry) => entry.name === args.name)) return {
+				ok: false,
+				detail: `dsh-plugin-shop: ${args.name} is not in the catalog`
+			};
+			if ((readProfileManifest("dsh-plugin-shop", this.profileDirResolved()).dependencies ?? {})[args.name] === void 0) return {
+				ok: false,
+				detail: `dsh-plugin-shop: ${args.name} is not installed`
+			};
+			const running = startUninstall({
+				profile: this.profile,
+				name: args.name,
+				dshBin: this.dshBin,
+				expectedName: args.name
+			});
+			this.installs.set(running.installId, running);
+			this.installOrder.push(running.installId);
+			this.evictFinishedInstalls();
+			return {
+				ok: true,
+				installId: running.installId
+			};
+		}
+		/** Restart the dsh process the shop runs in (§8 amendment, 2026-08-27):
+		* re-spawn this process's own command line, return the new server's URL
+		* once it announces itself, and only then exit. A failed restart returns a
+		* typed failure and the old process keeps serving — the restart is
+		* all-or-nothing. The response must reach the browser before the exit, so
+		* the exit is delayed past the RPC round-trip. */
+		async restart() {
+			const outcome = await startRestart({
+				dshBin: this.dshBin,
+				argv: this.restartArgv,
+				env: process.env
+			});
+			if (outcome.ok) setTimeout(() => this.exit(0), this.restartExitDelayMs);
+			return outcome;
 		}
 	};
 })();

package/lib/typert.host.js

@@ -38,6 +38,12 @@ const dsh_plugin_shop_shop_catalog_result$schema = z.object({
 })),
   'stars': z.record(z.string(), z.number()),
 })
+const dsh_plugin_shop_shop_installed_result$schema = z.array(z.object({
+  'name': z.string(),
+  'installed': z.string(),
+  'latest': z.string(),
+  'outdated': z.boolean(),
+}))
 const dsh_plugin_shop_shop_installStart_parameter_0$schema = z.object({
   'name': z.string(),
   'version': z.string(),
@@ -61,11 +67,13 @@ const dsh_plugin_shop_shop_installStatus_result$schema = z.object({
   'needsRestart': z.union([z.undefined(), z.literal(false), z.literal(true)]).optional(),
   'detail': z.union([z.undefined(), z.string()]).optional(),
 })
-const dsh_plugin_shop_shop_outdated_result$schema = z.array(z.object({
-  'name': z.string(),
-  'installed': z.string(),
-  'latest': z.string(),
-}))
+const dsh_plugin_shop_shop_restart_result$schema = z.union([z.object({
+  'ok': z.literal(true),
+  'url': z.string(),
+}), z.object({
+  'ok': z.literal(false),
+  'detail': z.string(),
+})])
 const dsh_plugin_shop_shop_setEnabled_parameter_0$schema = z.object({
   'name': z.string(),
   'enabled': z.boolean(),
@@ -74,6 +82,16 @@ const dsh_plugin_shop_shop_setEnabled_result$schema = z.object({
   'ok': z.boolean(),
   'detail': z.union([z.undefined(), z.string()]).optional(),
 })
+const dsh_plugin_shop_shop_uninstallStart_parameter_0$schema = z.object({
+  'name': z.string(),
+})
+const dsh_plugin_shop_shop_uninstallStart_result$schema = z.union([z.object({
+  'ok': z.literal(true),
+  'installId': z.string(),
+}), z.object({
+  'ok': z.literal(false),
+  'detail': z.string(),
+})])
 
 export const TYPERT = {
   package: 'dsh-plugin-shop',
@@ -105,7 +123,22 @@ export const TYPERT = {
         typeSymbol: 'dsh-plugin-shop/types#ShopCatalogResult',
         schema: dsh_plugin_shop_shop_catalog_result$schema,
       },
-      sourceLocation: {"file":"packages/dsh-plugin-shop/src/host/index.ts","line":180,"column":9},
+      sourceLocation: {"file":"packages/dsh-plugin-shop/src/host/index.ts","line":218,"column":9},
+    },
+    {
+      id: 'dsh-plugin-shop#shop/installed',
+      service: 'shop',
+      namespace: 'shop',
+      method: 'installed',
+      invocation: { kind: 'direct' },
+      parameters: [
+      ],
+      result: {
+        mode: 'strict',
+        typeSymbol: 'dsh-plugin-shop#shop/installed:result',
+        schema: dsh_plugin_shop_shop_installed_result$schema,
+      },
+      sourceLocation: {"file":"packages/dsh-plugin-shop/src/host/index.ts","line":293,"column":9},
     },
     {
       id: 'dsh-plugin-shop#shop/installStart',
@@ -131,7 +164,7 @@ export const TYPERT = {
         typeSymbol: 'dsh-plugin-shop/types#ShopInstallResult',
         schema: dsh_plugin_shop_shop_installStart_result$schema,
       },
-      sourceLocation: {"file":"packages/dsh-plugin-shop/src/host/index.ts","line":206,"column":9},
+      sourceLocation: {"file":"packages/dsh-plugin-shop/src/host/index.ts","line":244,"column":9},
     },
     {
       id: 'dsh-plugin-shop#shop/installStatus',
@@ -156,22 +189,22 @@ export const TYPERT = {
         typeSymbol: 'dsh-plugin-shop/types#ShopInstallStatusResult',
         schema: dsh_plugin_shop_shop_installStatus_result$schema,
       },
-      sourceLocation: {"file":"packages/dsh-plugin-shop/src/host/index.ts","line":244,"column":3},
+      sourceLocation: {"file":"packages/dsh-plugin-shop/src/host/index.ts","line":282,"column":3},
     },
     {
-      id: 'dsh-plugin-shop#shop/outdated',
+      id: 'dsh-plugin-shop#shop/restart',
       service: 'shop',
       namespace: 'shop',
-      method: 'outdated',
+      method: 'restart',
       invocation: { kind: 'direct' },
       parameters: [
       ],
       result: {
         mode: 'strict',
-        typeSymbol: 'dsh-plugin-shop#shop/outdated:result',
-        schema: dsh_plugin_shop_shop_outdated_result$schema,
+        typeSymbol: 'dsh-plugin-shop/types#ShopRestartResult',
+        schema: dsh_plugin_shop_shop_restart_result$schema,
       },
-      sourceLocation: {"file":"packages/dsh-plugin-shop/src/host/index.ts","line":252,"column":9},
+      sourceLocation: {"file":"packages/dsh-plugin-shop/src/host/index.ts","line":367,"column":9},
     },
     {
       id: 'dsh-plugin-shop#shop/setEnabled',
@@ -196,7 +229,33 @@ export const TYPERT = {
         typeSymbol: 'dsh-plugin-shop/types#ShopSetEnabledResult',
         schema: dsh_plugin_shop_shop_setEnabled_result$schema,
       },
-      sourceLocation: {"file":"packages/dsh-plugin-shop/src/host/index.ts","line":149,"column":3},
+      sourceLocation: {"file":"packages/dsh-plugin-shop/src/host/index.ts","line":187,"column":3},
+    },
+    {
+      id: 'dsh-plugin-shop#shop/uninstallStart',
+      service: 'shop',
+      namespace: 'shop',
+      method: 'uninstallStart',
+      implementation: 'uninstall',
+      invocation: { kind: 'direct' },
+      parameters: [
+        {
+          name: 'args',
+          wire: 'args',
+          source: 'json',
+          codec: {
+            mode: 'strict',
+            typeSymbol: 'dsh-plugin-shop#shop/uninstallStart:args',
+            schema: dsh_plugin_shop_shop_uninstallStart_parameter_0$schema,
+          },
+        },
+      ],
+      result: {
+        mode: 'strict',
+        typeSymbol: 'dsh-plugin-shop/types#ShopUninstallResult',
+        schema: dsh_plugin_shop_shop_uninstallStart_result$schema,
+      },
+      sourceLocation: {"file":"packages/dsh-plugin-shop/src/host/index.ts","line":333,"column":9},
     },
   ],
   model: {
@@ -245,10 +304,24 @@ export const TYPERT = {
           },
           {
             "kind": "method",
-            "name": "outdated",
-            "signature": "@Remote('outdated') async outdated(): Promise<ShopOutdatedEntry[]>",
-            "summary": "Installed plugins whose installed version is older than the catalog's (§7.3).",
-            "jsDoc": "/** Installed plugins whose installed version is older than the catalog's (§7.3). */"
+            "name": "installed",
+            "signature": "@Remote('installed') async installed(): Promise<ShopInstalledEntry[]>",
+            "summary": "Installed catalog plugins (§7.3): every entry of the snapshot the profile manifest declares as a dependency, with the Host's `outdated` verdict attached.",
+            "jsDoc": "/** Installed catalog plugins (§7.3): every entry of the snapshot the profile\n * manifest declares as a dependency, with the Host's `outdated` verdict\n * attached. The tab's shelf cards and its installed section both derive\n * from this one list. */"
+          },
+          {
+            "kind": "method",
+            "name": "uninstall",
+            "signature": "@Remote('uninstallStart') async uninstall(args: { name: string }): Promise<ShopUninstallResult>",
+            "summary": "Uninstall one installed catalog plugin from the profile (§7.3 follow-up amendment).",
+            "jsDoc": "/** Uninstall one installed catalog plugin from the profile (§7.3 follow-up\n * amendment). Removing revokes privilege rather than granting it, so there\n * is no acknowledgement gate. The name must be a catalog entry the profile\n * manifest declares as a dependency — the RPC cannot remove profile\n * dependencies the shop does not manage (the base bundle, the shop\n * itself). The same install records/polling serve the client. */"
+          },
+          {
+            "kind": "method",
+            "name": "restart",
+            "signature": "@Remote('restart') async restart(): Promise<ShopRestartResult>",
+            "summary": "Restart the dsh process the shop runs in (§8 amendment, 2026-08-27): re-spawn this process's own command line, return the new server's URL once it announces itself, and only then exit.",
+            "jsDoc": "/** Restart the dsh process the shop runs in (§8 amendment, 2026-08-27):\n * re-spawn this process's own command line, return the new server's URL\n * once it announces itself, and only then exit. A failed restart returns a\n * typed failure and the old process keeps serving — the restart is\n * all-or-nothing. The response must reach the browser before the exit, so\n * the exit is delayed past the RPC round-trip. */"
           }
         ],
         "types": [
@@ -284,10 +357,18 @@ export const TYPERT = {
             "name": "InstallStatus",
             "declaration": "export interface InstallStatus {\n    state: InstallState;\n    log: string[];\n    needsRestart?: boolean;\n    detail?: string;\n}"
           },
+          {
+            "name": "RestartOutcome",
+            "declaration": "export type RestartOutcome = { ok: true; url: string; } | { ok: false; detail: string; };"
+          },
           {
             "name": "ShopCatalogResult",
             "declaration": "export interface ShopCatalogResult {\n    schemaVersion: number;\n    builtAt: string;\n    stale: boolean;\n    plugins: CatalogEntry[];\n    denied: DeniedEntry[];\n    stars: Record<string, number>;\n}"
           },
+          {
+            "name": "ShopInstalledEntry",
+            "declaration": "export interface ShopInstalledEntry {\n    name: string;\n    installed: string;\n    latest: string;\n    outdated: boolean;\n}"
+          },
           {
             "name": "ShopInstallResult",
             "declaration": "export type ShopInstallResult = { ok: true; installId: string; } | { ok: false; code: InstallRejectionCode; detail: string; };"
@@ -297,12 +378,16 @@ export const TYPERT = {
             "declaration": "export interface ShopInstallStatusResult extends InstallStatus {\n    found: boolean;\n}"
           },
           {
-            "name": "ShopOutdatedEntry",
-            "declaration": "export interface ShopOutdatedEntry {\n    name: string;\n    installed: string;\n    latest: string;\n}"
+            "name": "ShopRestartResult",
+            "declaration": "export type ShopRestartResult = RestartOutcome;"
           },
           {
             "name": "ShopSetEnabledResult",
             "declaration": "export interface ShopSetEnabledResult {\n    ok: boolean;\n    detail?: string;\n}"
+          },
+          {
+            "name": "ShopUninstallResult",
+            "declaration": "export type ShopUninstallResult = { ok: true; installId: string; } | { ok: false; detail: string; };"
           }
         ]
       }

package/lib/typert.remote-client.d.ts

@@ -3,22 +3,26 @@ import type {
   RemoteResult,
   TypertRemoteContribution,
 } from '@deepseek-ai/dsh-typert-protocol'
-import type { InstallArgs, ShopCatalogResult, ShopInstallResult, ShopInstallStatusResult, ShopOutdatedEntry, ShopSetEnabledResult } from 'dsh-plugin-shop/types'
+import type { InstallArgs, ShopCatalogResult, ShopInstalledEntry, ShopInstallResult, ShopInstallStatusResult, ShopRestartResult, ShopSetEnabledResult, ShopUninstallResult } from 'dsh-plugin-shop/types'
 
 declare module '@deepseek-ai/dsh-typert-protocol' {
   interface TypertRemoteNamespace$73686f70 {
     catalog: (args?: { refresh?: boolean; }) => Promise<RemoteResult<ShopCatalogResult>>
+    installed: () => Promise<RemoteResult<ShopInstalledEntry[]>>
     installStart: (args: InstallArgs) => Promise<RemoteResult<ShopInstallResult>>
     installStatus: (args: { installId: string; }) => Promise<RemoteResult<ShopInstallStatusResult>>
-    outdated: () => Promise<RemoteResult<ShopOutdatedEntry[]>>
+    restart: () => Promise<RemoteResult<ShopRestartResult>>
     setEnabled: (args: { name: string; enabled: boolean; }) => Promise<RemoteResult<ShopSetEnabledResult>>
+    uninstallStart: (args: { name: string; }) => Promise<RemoteResult<ShopUninstallResult>>
   }
   interface TypertRemoteMap {
     'shop/catalog': (args?: { refresh?: boolean; }) => Promise<RemoteResult<ShopCatalogResult>>
+    'shop/installed': () => Promise<RemoteResult<ShopInstalledEntry[]>>
     'shop/installStart': (args: InstallArgs) => Promise<RemoteResult<ShopInstallResult>>
     'shop/installStatus': (args: { installId: string; }) => Promise<RemoteResult<ShopInstallStatusResult>>
-    'shop/outdated': () => Promise<RemoteResult<ShopOutdatedEntry[]>>
+    'shop/restart': () => Promise<RemoteResult<ShopRestartResult>>
     'shop/setEnabled': (args: { name: string; enabled: boolean; }) => Promise<RemoteResult<ShopSetEnabledResult>>
+    'shop/uninstallStart': (args: { name: string; }) => Promise<RemoteResult<ShopUninstallResult>>
   }
   interface TypertRemoteNamespaceMap {
     'shop': TypertRemoteNamespace$73686f70