@procedures/client 0.0.0-stage → 0.2.0

package/src/procedures/core/results.ts

@@ -0,0 +1,296 @@
+/**
+ * Aggregation Result Types
+ *
+ * Standardized, consistent result types for all aggregation primitives.
+ * These provide a uniform interface for handling aggregation outcomes.
+ */
+
+// =============================================================================
+// Base Result Type
+// =============================================================================
+
+/**
+ * Base result from a single aggregation step or procedure call.
+ *
+ * @example
+ * ```typescript
+ * // Success case
+ * { success: true, value: { id: 1, name: "user" }, duration: 42 }
+ *
+ * // Error case
+ * { success: false, error: "Connection timeout", duration: 5000 }
+ * ```
+ */
+export type StepResult<T> =
+  | { success: true; value: T; duration: number }
+  | { success: false; error: string; duration: number };
+
+/**
+ * Create a successful step result.
+ */
+export function successResult<T>(value: T, duration: number): StepResult<T> {
+  return { success: true, value, duration };
+}
+
+/**
+ * Create a failed step result.
+ */
+export function errorResult<T>(error: string | Error, duration: number): StepResult<T> {
+  const message = error instanceof Error ? error.message : error;
+  return { success: false, error: message, duration };
+}
+
+// =============================================================================
+// Chain Result
+// =============================================================================
+
+/**
+ * Result from a chain (sequential) aggregation.
+ *
+ * @example
+ * ```typescript
+ * {
+ *   results: [
+ *     { success: true, value: { created: true }, duration: 100 },
+ *     { success: true, value: { committed: true }, duration: 50 },
+ *   ],
+ *   final: { committed: true },
+ *   success: true,
+ *   duration: 150
+ * }
+ * ```
+ */
+export interface ChainResult<T = unknown> {
+  /** Results from each step in order */
+  results: StepResult<unknown>[];
+  /** The final step's value (or undefined if chain is empty) */
+  final: T | undefined;
+  /** Whether all steps succeeded */
+  success: boolean;
+  /** Total duration of all steps */
+  duration: number;
+}
+
+/**
+ * Create a chain result from step results.
+ */
+export function createChainResult<T>(results: StepResult<unknown>[]): ChainResult<T> {
+  const success = results.every(r => r.success);
+  const duration = results.reduce((sum, r) => sum + r.duration, 0);
+  const lastResult = results[results.length - 1];
+  const final = lastResult?.success ? (lastResult.value as T) : undefined;
+
+  return { results, final, success, duration };
+}
+
+// =============================================================================
+// Parallel Result
+// =============================================================================
+
+/**
+ * Result from a parallel aggregation.
+ *
+ * @example
+ * ```typescript
+ * {
+ *   results: [
+ *     { success: true, value: "pkg1-built", duration: 1000 },
+ *     { success: false, error: "Build failed", duration: 500 },
+ *   ],
+ *   allSucceeded: false,
+ *   errors: [{ index: 1, error: "Build failed" }],
+ *   duration: 1000  // max duration (parallel)
+ * }
+ * ```
+ */
+export interface ParallelResult<T = unknown> {
+  /** Results from each task in order */
+  results: StepResult<T>[];
+  /** Whether all tasks succeeded */
+  allSucceeded: boolean;
+  /** Error details for failed tasks */
+  errors: Array<{ index: number; error: string }>;
+  /** Duration of the longest task (wall-clock time) */
+  duration: number;
+}
+
+/**
+ * Create a parallel result from task results.
+ */
+export function createParallelResult<T>(results: StepResult<T>[]): ParallelResult<T> {
+  const errors: Array<{ index: number; error: string }> = [];
+
+  results.forEach((result, index) => {
+    if (!result.success) {
+      errors.push({ index, error: result.error });
+    }
+  });
+
+  return {
+    results,
+    allSucceeded: errors.length === 0,
+    errors,
+    duration: Math.max(...results.map(r => r.duration), 0),
+  };
+}
+
+// =============================================================================
+// Conditional Result
+// =============================================================================
+
+/**
+ * Result from a conditional aggregation.
+ *
+ * @example
+ * ```typescript
+ * {
+ *   condition: true,
+ *   branch: 'then',
+ *   value: { committed: true },
+ *   success: true,
+ *   duration: 50
+ * }
+ * ```
+ */
+export interface ConditionalResult<T = unknown> {
+  /** The evaluated condition value */
+  condition: boolean;
+  /** Which branch was taken */
+  branch: 'then' | 'else' | 'none';
+  /** The result value from the branch (undefined if no branch taken) */
+  value: T | undefined;
+  /** Whether the branch execution succeeded */
+  success: boolean;
+  /** Duration of the branch execution */
+  duration: number;
+}
+
+// =============================================================================
+// Reduce Result
+// =============================================================================
+
+/**
+ * Result from a reduce aggregation.
+ *
+ * @example
+ * ```typescript
+ * {
+ *   accumulator: 150,
+ *   iterations: 3,
+ *   success: true,
+ *   duration: 45
+ * }
+ * ```
+ */
+export interface ReduceResult<T = unknown> {
+  /** The final accumulated value */
+  accumulator: T;
+  /** Number of iterations performed */
+  iterations: number;
+  /** Whether all iterations succeeded */
+  success: boolean;
+  /** Total duration */
+  duration: number;
+}
+
+// =============================================================================
+// Map Result
+// =============================================================================
+
+/**
+ * Result from a map aggregation.
+ *
+ * @example
+ * ```typescript
+ * {
+ *   items: [
+ *     { success: true, value: "processed-1", duration: 10 },
+ *     { success: true, value: "processed-2", duration: 12 },
+ *   ],
+ *   values: ["processed-1", "processed-2"],
+ *   allSucceeded: true,
+ *   duration: 22
+ * }
+ * ```
+ */
+export interface MapResult<T = unknown> {
+  /** Result for each item */
+  items: StepResult<T>[];
+  /** Just the values (for successful items) */
+  values: T[];
+  /** Whether all items succeeded */
+  allSucceeded: boolean;
+  /** Total duration */
+  duration: number;
+}
+
+/**
+ * Create a map result from item results.
+ */
+export function createMapResult<T>(items: StepResult<T>[]): MapResult<T> {
+  const values = items
+    .filter((item): item is StepResult<T> & { success: true } => item.success)
+    .map(item => item.value);
+
+  return {
+    items,
+    values,
+    allSucceeded: items.every(item => item.success),
+    duration: items.reduce((sum, item) => sum + item.duration, 0),
+  };
+}
+
+// =============================================================================
+// Type Guards
+// =============================================================================
+
+/**
+ * Check if a step result is successful.
+ */
+export function isSuccess<T>(result: StepResult<T>): result is StepResult<T> & { success: true } {
+  return result.success;
+}
+
+/**
+ * Check if a step result is an error.
+ */
+export function isError<T>(result: StepResult<T>): result is StepResult<T> & { success: false } {
+  return !result.success;
+}
+
+// =============================================================================
+// Result Utilities
+// =============================================================================
+
+/**
+ * Extract the value from a successful result, or throw on error.
+ */
+export function unwrap<T>(result: StepResult<T>): T {
+  if (result.success) {
+    return result.value;
+  }
+  throw new Error(result.error);
+}
+
+/**
+ * Extract the value from a successful result, or return a default.
+ */
+export function unwrapOr<T>(result: StepResult<T>, defaultValue: T): T {
+  if (result.success) {
+    return result.value;
+  }
+  return defaultValue;
+}
+
+/**
+ * Map a successful result's value, passing through errors.
+ */
+export function mapResult<T, U>(
+  result: StepResult<T>,
+  fn: (value: T) => U
+): StepResult<U> {
+  if (result.success) {
+    return { success: true, value: fn(result.value), duration: result.duration };
+  }
+  return result;
+}

package/src/procedures/core/schemas.ts

@@ -0,0 +1,123 @@
+/**
+ * Common Schemas
+ *
+ * Shared schema definitions for procedures that accept any input/output, and the adapter of
+ * zod schemas. Every schema here is a Standard Schema v1 (`~standard`), so the core validates
+ * them all through `validateSchema()`.
+ */
+
+import type { ZodLike, ZodErrorLike } from "../../client/validation/types.js";
+import { isStandardSchema, type JsonSchema, type StandardSchemaV1 } from "../schema.js";
+
+// =============================================================================
+// Types (re-export for convenience)
+// =============================================================================
+
+export type { ZodLike, ZodErrorLike };
+
+/**
+ * A `ZodLike` schema with the `_output` phantom field, for type inference. A zod 4 schema is one.
+ */
+export interface ZodLikeSchema<T> extends ZodLike<T> {
+  _output: T;
+}
+
+/** The Standard Schema properties of a schema that accepts every value unchanged. */
+function passThrough<T>(): StandardSchemaV1.Props<unknown, T> {
+  return {
+    version: 1,
+    vendor: "@procedures/client",
+    validate: (value: unknown) => ({ value: value as T }),
+  };
+}
+
+// =============================================================================
+// Any Schema - Pass-through validation
+// =============================================================================
+
+/**
+ * A schema that accepts any value and passes it through. Its JSON Schema is `{}` (any value).
+ * Used for procedures with dynamic or unknown input/output types.
+ */
+export const anySchema: ZodLike<any> & StandardSchemaV1<unknown, any> & { readonly "~jsonSchema": JsonSchema } = {
+  parse: (value: unknown) => value,
+  safeParse: (value: unknown) => ({ success: true, data: value }),
+  "~standard": passThrough<any>(),
+  "~jsonSchema": {},
+};
+
+/**
+ * Typed version of anySchema for specific type annotations.
+ * Useful when you want to assert a specific type at compile time.
+ */
+export function typedAnySchema<T>(): ZodLike<T> & StandardSchemaV1<unknown, T> {
+  return {
+    parse: (value: unknown) => value as T,
+    safeParse: (value: unknown) => ({ success: true, data: value as T }),
+    "~standard": passThrough<T>(),
+  };
+}
+
+// =============================================================================
+// Zod Adapter - Wraps a Zod schema for the procedure system
+// =============================================================================
+
+/**
+ * Gives a zod schema the type of a procedure schema (`ZodLikeSchema<T>`). A zod 4 schema is a
+ * Standard Schema already, so the function returns it unchanged: the validation and the JSON
+ * Schema come from zod itself.
+ *
+ * An object with only a `parse` method gets `safeParse` and `~standard` around that method.
+ */
+export function zodAdapter<T>(schema: { parse: (data: unknown) => T }): ZodLikeSchema<T> {
+  if (isStandardSchema(schema) && typeof (schema as { safeParse?: unknown }).safeParse === "function") {
+    return schema as unknown as ZodLikeSchema<T>;
+  }
+  const safeParse = (data: unknown): { success: true; data: T } | { success: false; error: ZodErrorLike } => {
+    try {
+      return { success: true, data: schema.parse(data) };
+    } catch (error) {
+      const err = error as { message?: string; issues?: ZodErrorLike["issues"]; errors?: ZodErrorLike["errors"] };
+      const message = err.message ?? "Validation failed";
+      // A plain Error has no issues: its message is the one issue
+      const issues = err.issues ?? err.errors;
+      return { success: false, error: { message, issues: issues && issues.length > 0 ? issues : [{ message }] } };
+    }
+  };
+  return {
+    parse: (data: unknown) => schema.parse(data),
+    safeParse,
+    _output: undefined as unknown as T,
+    "~standard": {
+      version: 1,
+      vendor: "@procedures/client",
+      validate: (value: unknown) => {
+        const result = safeParse(value);
+        return result.success
+          ? { value: result.data }
+          : { issues: (result.error.issues ?? []).map((issue) => ({ message: issue.message, path: issue.path })) };
+      },
+    },
+  } as ZodLikeSchema<T>;
+}
+
+// =============================================================================
+// Output Schema - Pass-through schema for output types
+// =============================================================================
+
+/**
+ * A pass-through schema: it validates nothing and has no JSON Schema. The type parameter only
+ * gives the TypeScript type.
+ *
+ * Use it for internal procedures where a real schema adds nothing. A procedure that an MCP
+ * server exposes, or that a user calls from the CLI, takes a real schema (zod), so its input
+ * is validated and its tools and help describe the fields (roadmap 2.1).
+ */
+export function outputSchema<T>(): ZodLikeSchema<T> & StandardSchemaV1<unknown, T> {
+  return {
+    parse: (data: unknown) => data as T,
+    safeParse: (data: unknown) => ({ success: true as const, data: data as T }),
+    _output: undefined as unknown as T,
+    "~standard": passThrough<T>(),
+  };
+}