@duke-dsh-plugins/dsh-archive-manager 1.3.4 → 1.3.5

package/typert.host.js

@@ -1,224 +1,224 @@
-/**
- * dsh-archive-manager — Typert Host manifest.
- *
- * Hand-written TYPERT manifest (the format the DSH typert-loader consumes from
- * the package's `./typert` export). It describes the `archiveManager` Remote
- * service the Host half publishes so the browser Client half can call it
- * through `ctx.remote.archiveManager.{restore,delete,state}`.
- *
- * Keep the invocation ids, service/namespace names and method names in sync
- * with `index.js` (ArchiveManagerService) and `client.js`.
- */
-
-import { z } from "zod";
-
-// ---- shared shapes ---------------------------------------------------------
-
-const sessionIdSchema = z.intersection(z.string(), z.unknown()).readonly();
-
-const restoreResultSchema = z.union([
-  z.object({
-    ok: z.literal(true).readonly(),
-    value: z.object({
-      restored: z.literal(true).readonly(),
-    }).readonly(),
-  }).readonly(),
-  z.object({
-    ok: z.literal(false).readonly(),
-    error: z.object({
-      code: z.string().readonly(),
-      message: z.string().readonly().optional(),
-    }).readonly(),
-  }).readonly(),
-]);
-
-const deleteResultSchema = z.union([
-  z.object({
-    ok: z.literal(true).readonly(),
-    value: z.object({
-      fileRemoved: z.boolean().readonly(),
-      live: z.boolean().readonly(),
-    }).readonly(),
-  }).readonly(),
-  z.object({
-    ok: z.literal(false).readonly(),
-    error: z.object({
-      code: z.string().readonly(),
-      message: z.string().readonly().optional(),
-    }).readonly(),
-  }).readonly(),
-]);
-
-const stateResultSchema = z.union([
-  z.object({
-    ok: z.literal(true).readonly(),
-    value: z.object({
-      ghostIds: z.array(sessionIdSchema).readonly(),
-    }).readonly(),
-  }).readonly(),
-  z.object({
-    ok: z.literal(false).readonly(),
-    error: z.object({
-      code: z.string().readonly(),
-      message: z.string().readonly().optional(),
-    }).readonly(),
-  }).readonly(),
-]);
-
-// ---- per-invocation parameter/result schemas -------------------------------
-
-const _archiveManager_restore_parameter_0$schema = z.object({
-  sessionId: sessionIdSchema,
-});
-
-const _archiveManager_delete_parameter_0$schema = z.object({
-  sessionId: sessionIdSchema,
-});
-
-export const TYPERT = {
-  package: "@duke-dsh-plugins/dsh-archive-manager",
-  face: "host",
-  schemas: [],
-  invocations: [
-    {
-      id: "dsh-archive-manager#archiveManager/restore",
-      service: "archiveManager",
-      namespace: "archiveManager",
-      method: "restore",
-      invocation: { kind: "direct" },
-      parameters: [
-        {
-          name: "request",
-          wire: "request",
-          source: "json",
-          codec: {
-            mode: "strict",
-            typeSymbol: "dsh-archive-manager#ArchiveManagerRestoreRequest",
-            schema: _archiveManager_restore_parameter_0$schema,
-          },
-        },
-      ],
-      result: {
-        mode: "strict",
-        typeSymbol: "dsh-archive-manager#ArchiveManagerRestoreResult",
-        schema: restoreResultSchema,
-      },
-      sourceLocation: { file: "index.js", line: 1, column: 1 },
-    },
-    {
-      id: "dsh-archive-manager#archiveManager/delete",
-      service: "archiveManager",
-      namespace: "archiveManager",
-      method: "delete",
-      invocation: { kind: "direct" },
-      parameters: [
-        {
-          name: "request",
-          wire: "request",
-          source: "json",
-          codec: {
-            mode: "strict",
-            typeSymbol: "dsh-archive-manager#ArchiveManagerDeleteRequest",
-            schema: _archiveManager_delete_parameter_0$schema,
-          },
-        },
-      ],
-      result: {
-        mode: "strict",
-        typeSymbol: "dsh-archive-manager#ArchiveManagerDeleteResult",
-        schema: deleteResultSchema,
-      },
-      sourceLocation: { file: "index.js", line: 1, column: 1 },
-    },
-    {
-      id: "dsh-archive-manager#archiveManager/state",
-      service: "archiveManager",
-      namespace: "archiveManager",
-      method: "state",
-      invocation: { kind: "direct" },
-      parameters: [],
-      result: {
-        mode: "strict",
-        typeSymbol: "dsh-archive-manager#ArchiveManagerStateResult",
-        schema: stateResultSchema,
-      },
-      sourceLocation: { file: "index.js", line: 1, column: 1 },
-    },
-  ],
-  model: {
-    services: [
-      {
-        description:
-          "Archive manager service: restore, delete and inspect archived sessions for the DeepSeek Harness web UI.",
-        summary: "Archive manager service.",
-        tags: [],
-        jsDoc:
-          "/**\n * Archive manager service: restore, delete and inspect archived sessions.\n */",
-        key: "archiveManager",
-        exportName: "ArchiveManagerService",
-        members: [
-          {
-            kind: "method",
-            name: "restore",
-            signature:
-              "@Remote('restore') async restore(request: ArchiveManagerRestoreRequest): Promise<ArchiveManagerRestoreResult>",
-            summary: "Remove one session from the archive set so it returns to its project slot.",
-            jsDoc:
-              "/**\n * Remove one session from the archive set so it returns to its project slot.\n * @param request - target session id.\n * @returns success or a business failure.\n */",
-          },
-          {
-            kind: "method",
-            name: "delete",
-            signature:
-              "@Remote('delete') async delete(request: ArchiveManagerDeleteRequest): Promise<ArchiveManagerDeleteResult>",
-            summary: "Permanently delete one archived session's log directory and clear its archive entry.",
-            jsDoc:
-              "/**\n * Permanently delete one archived session's log directory and clear its archive\n * entry. Refuses sessions whose agent is running; live-but-idle sessions keep\n * their entry (ghost) until restart.\n * @param request - target session id.\n * @returns success or a business failure.\n */",
-          },
-          {
-            kind: "method",
-            name: "state",
-            signature:
-              "@Remote('state') async state(): Promise<ArchiveManagerStateResult>",
-            summary: "Report archived sessions that are live in memory but whose logs are gone.",
-            jsDoc:
-              "/**\n * Report archived sessions that are still live in memory while their log files\n * no longer exist (ghost records the client hides).\n * @returns the ghost session ids.\n */",
-          },
-        ],
-        types: [
-          {
-            name: "ArchiveManagerRestoreRequest",
-            declaration:
-              "export interface ArchiveManagerRestoreRequest {\n    readonly sessionId: SessionId;\n}",
-          },
-          {
-            name: "ArchiveManagerRestoreResult",
-            declaration:
-              "export type ArchiveManagerRestoreResult = { ok: true; value: { restored: true } } | { ok: false; error: { code: string; message?: string } };",
-          },
-          {
-            name: "ArchiveManagerDeleteRequest",
-            declaration:
-              "export interface ArchiveManagerDeleteRequest {\n    readonly sessionId: SessionId;\n}",
-          },
-          {
-            name: "ArchiveManagerDeleteResult",
-            declaration:
-              "export type ArchiveManagerDeleteResult = { ok: true; value: { fileRemoved: boolean; live: boolean } } | { ok: false; error: { code: string; message?: string } };",
-          },
-          {
-            name: "ArchiveManagerStateResult",
-            declaration:
-              "export type ArchiveManagerStateResult = { ok: true; value: { ghostIds: readonly SessionId[] } } | { ok: false; error: { code: string; message?: string } };",
-          },
-          {
-            name: "SessionId",
-            declaration: "export type SessionId = Branded<'SessionId'>;",
-          },
-        ],
-      },
-    ],
-    events: [],
-    objects: [],
-  },
-};
+/**
+ * dsh-archive-manager — Typert Host manifest.
+ *
+ * Hand-written TYPERT manifest (the format the DSH typert-loader consumes from
+ * the package's `./typert` export). It describes the `archiveManager` Remote
+ * service the Host half publishes so the browser Client half can call it
+ * through `ctx.remote.archiveManager.{restore,delete,state}`.
+ *
+ * Keep the invocation ids, service/namespace names and method names in sync
+ * with `index.js` (ArchiveManagerService) and `client.js`.
+ */
+
+import { z } from "zod";
+
+// ---- shared shapes ---------------------------------------------------------
+
+const sessionIdSchema = z.intersection(z.string(), z.unknown()).readonly();
+
+const restoreResultSchema = z.union([
+  z.object({
+    ok: z.literal(true).readonly(),
+    value: z.object({
+      restored: z.literal(true).readonly(),
+    }).readonly(),
+  }).readonly(),
+  z.object({
+    ok: z.literal(false).readonly(),
+    error: z.object({
+      code: z.string().readonly(),
+      message: z.string().readonly().optional(),
+    }).readonly(),
+  }).readonly(),
+]);
+
+const deleteResultSchema = z.union([
+  z.object({
+    ok: z.literal(true).readonly(),
+    value: z.object({
+      fileRemoved: z.boolean().readonly(),
+      live: z.boolean().readonly(),
+    }).readonly(),
+  }).readonly(),
+  z.object({
+    ok: z.literal(false).readonly(),
+    error: z.object({
+      code: z.string().readonly(),
+      message: z.string().readonly().optional(),
+    }).readonly(),
+  }).readonly(),
+]);
+
+const stateResultSchema = z.union([
+  z.object({
+    ok: z.literal(true).readonly(),
+    value: z.object({
+      ghostIds: z.array(sessionIdSchema).readonly(),
+    }).readonly(),
+  }).readonly(),
+  z.object({
+    ok: z.literal(false).readonly(),
+    error: z.object({
+      code: z.string().readonly(),
+      message: z.string().readonly().optional(),
+    }).readonly(),
+  }).readonly(),
+]);
+
+// ---- per-invocation parameter/result schemas -------------------------------
+
+const _archiveManager_restore_parameter_0$schema = z.object({
+  sessionId: sessionIdSchema,
+});
+
+const _archiveManager_delete_parameter_0$schema = z.object({
+  sessionId: sessionIdSchema,
+});
+
+export const TYPERT = {
+  package: "@duke-dsh-plugins/dsh-archive-manager",
+  face: "host",
+  schemas: [],
+  invocations: [
+    {
+      id: "dsh-archive-manager#archiveManager/restore",
+      service: "archiveManager",
+      namespace: "archiveManager",
+      method: "restore",
+      invocation: { kind: "direct" },
+      parameters: [
+        {
+          name: "request",
+          wire: "request",
+          source: "json",
+          codec: {
+            mode: "strict",
+            typeSymbol: "dsh-archive-manager#ArchiveManagerRestoreRequest",
+            schema: _archiveManager_restore_parameter_0$schema,
+          },
+        },
+      ],
+      result: {
+        mode: "strict",
+        typeSymbol: "dsh-archive-manager#ArchiveManagerRestoreResult",
+        schema: restoreResultSchema,
+      },
+      sourceLocation: { file: "index.js", line: 1, column: 1 },
+    },
+    {
+      id: "dsh-archive-manager#archiveManager/delete",
+      service: "archiveManager",
+      namespace: "archiveManager",
+      method: "delete",
+      invocation: { kind: "direct" },
+      parameters: [
+        {
+          name: "request",
+          wire: "request",
+          source: "json",
+          codec: {
+            mode: "strict",
+            typeSymbol: "dsh-archive-manager#ArchiveManagerDeleteRequest",
+            schema: _archiveManager_delete_parameter_0$schema,
+          },
+        },
+      ],
+      result: {
+        mode: "strict",
+        typeSymbol: "dsh-archive-manager#ArchiveManagerDeleteResult",
+        schema: deleteResultSchema,
+      },
+      sourceLocation: { file: "index.js", line: 1, column: 1 },
+    },
+    {
+      id: "dsh-archive-manager#archiveManager/state",
+      service: "archiveManager",
+      namespace: "archiveManager",
+      method: "state",
+      invocation: { kind: "direct" },
+      parameters: [],
+      result: {
+        mode: "strict",
+        typeSymbol: "dsh-archive-manager#ArchiveManagerStateResult",
+        schema: stateResultSchema,
+      },
+      sourceLocation: { file: "index.js", line: 1, column: 1 },
+    },
+  ],
+  model: {
+    services: [
+      {
+        description:
+          "Archive manager service: restore, delete and inspect archived sessions for the DeepSeek Harness web UI.",
+        summary: "Archive manager service.",
+        tags: [],
+        jsDoc:
+          "/**\n * Archive manager service: restore, delete and inspect archived sessions.\n */",
+        key: "archiveManager",
+        exportName: "ArchiveManagerService",
+        members: [
+          {
+            kind: "method",
+            name: "restore",
+            signature:
+              "@Remote('restore') async restore(request: ArchiveManagerRestoreRequest): Promise<ArchiveManagerRestoreResult>",
+            summary: "Remove one session from the archive set so it returns to its project slot.",
+            jsDoc:
+              "/**\n * Remove one session from the archive set so it returns to its project slot.\n * @param request - target session id.\n * @returns success or a business failure.\n */",
+          },
+          {
+            kind: "method",
+            name: "delete",
+            signature:
+              "@Remote('delete') async delete(request: ArchiveManagerDeleteRequest): Promise<ArchiveManagerDeleteResult>",
+            summary: "Permanently delete one archived session's log directory and clear its archive entry.",
+            jsDoc:
+              "/**\n * Permanently delete one archived session's log directory and clear its archive\n * entry. Refuses sessions whose agent is running; live-but-idle sessions keep\n * their entry (ghost) until restart.\n * @param request - target session id.\n * @returns success or a business failure.\n */",
+          },
+          {
+            kind: "method",
+            name: "state",
+            signature:
+              "@Remote('state') async state(): Promise<ArchiveManagerStateResult>",
+            summary: "Report archived sessions that are live in memory but whose logs are gone.",
+            jsDoc:
+              "/**\n * Report archived sessions that are still live in memory while their log files\n * no longer exist (ghost records the client hides).\n * @returns the ghost session ids.\n */",
+          },
+        ],
+        types: [
+          {
+            name: "ArchiveManagerRestoreRequest",
+            declaration:
+              "export interface ArchiveManagerRestoreRequest {\n    readonly sessionId: SessionId;\n}",
+          },
+          {
+            name: "ArchiveManagerRestoreResult",
+            declaration:
+              "export type ArchiveManagerRestoreResult = { ok: true; value: { restored: true } } | { ok: false; error: { code: string; message?: string } };",
+          },
+          {
+            name: "ArchiveManagerDeleteRequest",
+            declaration:
+              "export interface ArchiveManagerDeleteRequest {\n    readonly sessionId: SessionId;\n}",
+          },
+          {
+            name: "ArchiveManagerDeleteResult",
+            declaration:
+              "export type ArchiveManagerDeleteResult = { ok: true; value: { fileRemoved: boolean; live: boolean } } | { ok: false; error: { code: string; message?: string } };",
+          },
+          {
+            name: "ArchiveManagerStateResult",
+            declaration:
+              "export type ArchiveManagerStateResult = { ok: true; value: { ghostIds: readonly SessionId[] } } | { ok: false; error: { code: string; message?: string } };",
+          },
+          {
+            name: "SessionId",
+            declaration: "export type SessionId = Branded<'SessionId'>;",
+          },
+        ],
+      },
+    ],
+    events: [],
+    objects: [],
+  },
+};