@company-semantics/contracts 13.6.0 → 13.7.0

package/package.json

@@ -1,6 +1,6 @@
 {
   "name": "@company-semantics/contracts",
-  "version": "13.6.0",
+  "version": "13.7.0",
   "private": false,
   "repository": {
     "type": "git",

package/src/execution/index.ts

@@ -162,6 +162,10 @@ export {
   ConfirmExecutionResponseSchema,
   RejectExecutionResponseSchema,
   StartExecutionResponseSchema,
+  ExecutionResultDataSchema,
+  ExecutionResultResponseSchema,
+  ExecutionSummaryProjectionSchema,
+  GetExecutionSummaryResponseSchema,
 } from "./schemas";
 
 export type {
@@ -172,4 +176,6 @@ export type {
   ConfirmExecutionResponse,
   RejectExecutionResponse,
   StartExecutionResponse,
+  ExecutionResultResponse,
+  GetExecutionSummaryResponse,
 } from "./schemas";

package/src/execution/schemas.ts

@@ -9,6 +9,11 @@
 
 import { z } from "zod";
 
+import type { ExecutionResultData } from "../message-parts/execution";
+import type { ExecutionKind } from "./kinds";
+import type { ExecutionSummary } from "./summary";
+import { EXECUTION_KINDS } from "./registry";
+
 // =============================================================================
 // Execution Summary
 // =============================================================================
@@ -108,3 +113,103 @@ export const StartExecutionResponseSchema = z.object({
 export type StartExecutionResponse = z.infer<
   typeof StartExecutionResponseSchema
 >;
+
+// =============================================================================
+// Execution Result (GET /api/executions/{executionId}/result)
+// =============================================================================
+
+/**
+ * Zod mirror of the canonical ExecutionResultData contract
+ * (message-parts/execution.ts), authored so GET /result can declare a typed
+ * 200 body instead of forcing the client to cast. The
+ * `satisfies z.ZodType<ExecutionResultData>` guard fails compilation if the
+ * schema drifts from the interface (a wrong/missing field or a loosened enum).
+ *
+ * @see ADR-CONT-067 for the response-typing decision
+ */
+export const ExecutionResultDataSchema = z.object({
+  actionId: z.string(),
+  executionId: z.string(),
+  state: z.enum(["completed", "failed"]),
+  artifacts: z.array(
+    z.object({
+      // Mirrors PreviewArtifactKind (message-parts/preview.ts).
+      kind: z.enum([
+        "message",
+        "api_call",
+        "diff",
+        "notification",
+        "task",
+        "calendar",
+        "integration",
+      ]),
+      label: z.string(),
+      status: z.enum(["success", "failed", "skipped"]),
+      error: z.string().optional(),
+      resultLabel: z.string().optional(),
+    }),
+  ),
+  summary: z.object({
+    title: z.string(),
+    description: z.string().optional(),
+  }),
+  undo: z
+    .object({
+      availableUntil: z.string(),
+      kind: z.string(),
+    })
+    .optional(),
+}) satisfies z.ZodType<ExecutionResultData>;
+
+export const ExecutionResultResponseSchema = z.object({
+  result: ExecutionResultDataSchema,
+});
+
+export type ExecutionResultResponse = z.infer<
+  typeof ExecutionResultResponseSchema
+>;
+
+// =============================================================================
+// Execution Summary Projection (GET /api/executions/{executionId}/summary)
+// =============================================================================
+
+/**
+ * Full ExecutionSummary projection (summary.ts). DISTINCT from the narrow
+ * ExecutionSummarySchema above, which the list endpoint uses and which omits
+ * initiatedBy / visibility / explanationAvailable. GET /summary returns the
+ * full projection at runtime, so it gets its own schema. ExecutionKind is
+ * derived from the EXECUTION_KINDS registry so the enum can never drift.
+ *
+ * @see ADR-CONT-067
+ */
+const EXECUTION_KIND_VALUES = Object.keys(EXECUTION_KINDS) as [
+  ExecutionKind,
+  ...ExecutionKind[],
+];
+
+export const ExecutionSummaryProjectionSchema = z.object({
+  executionId: z.string(),
+  kind: z.enum(EXECUTION_KIND_VALUES),
+  target: z.object({
+    type: z.literal("slack"),
+    workspaceId: z.string().optional(),
+  }),
+  status: z.enum(["pending", "succeeded", "failed"]),
+  initiatedBy: z.object({
+    actorType: z.enum(["user", "system"]),
+    actorId: z.string(),
+    displayName: z.string(),
+  }),
+  decidedAt: z.string(),
+  completedAt: z.string().optional(),
+  visibility: z.enum(["admin", "user"]),
+  explanationAvailable: z.boolean(),
+}) satisfies z.ZodType<ExecutionSummary>;
+
+export const GetExecutionSummaryResponseSchema = z.object({
+  summary: ExecutionSummaryProjectionSchema,
+});
+
+export type GetExecutionSummaryResponse = z.infer<
+  typeof GetExecutionSummaryResponseSchema
+>;

package/src/generated/openapi-routes.ts

@@ -47,6 +47,7 @@ export const openApiRoutes = {
   '/api/executions/{executionId}/confirm': ['POST'],
   '/api/executions/{executionId}/explanation': ['GET'],
   '/api/executions/{executionId}/reject': ['POST'],
+  '/api/executions/{executionId}/result': ['GET'],
   '/api/executions/{executionId}/stream': ['GET'],
   '/api/executions/{executionId}/summary': ['GET'],
   '/api/executions/{executionId}/timeline': ['GET'],