@procedures/client 0.0.0-stage → 0.2.0

package/dist/client/route-resolver.d.ts

@@ -0,0 +1,181 @@
+/**
+ * Route Resolver
+ *
+ * Resolves nested route structures to procedure definitions.
+ * Validates routes against the procedure registry.
+ */
+import type { AnyProcedure, ProcedurePath } from "../procedures/types.js";
+import type { ProcedureRegistry } from "../procedures/registry.js";
+import type { Route } from "./call-types.js";
+import type { OutputConfig } from "./consumption.js";
+/**
+ * Resolved route entry with procedure and input.
+ */
+export interface ResolvedRoute {
+    /** Path to the procedure */
+    path: ProcedurePath;
+    /** The procedure definition */
+    procedure: AnyProcedure;
+    /** Input payload for the procedure handler (validated, with schema defaults) */
+    input: unknown;
+    /** How the caller reads the output: sponge (the default), stream or handlers (the `out` of the leaf) */
+    outputConfig: OutputConfig;
+    /**
+     * True when the resolver validated the input. A schema that validates asynchronously cannot
+     * be checked by the synchronous resolver: the invocation validates that input.
+     */
+    inputValidated?: boolean;
+}
+/**
+ * Resolution error for a specific path.
+ */
+export interface RouteResolutionError {
+    /** Path that failed to resolve */
+    path: ProcedurePath;
+    /** Error type */
+    type: "not_found" | "invalid_input" | "validation_error";
+    /** Error message */
+    message: string;
+}
+/**
+ * Result of route resolution.
+ */
+export interface RouteResolutionResult {
+    /** Successfully resolved routes */
+    resolved: ResolvedRoute[];
+    /** Errors encountered during resolution */
+    errors: RouteResolutionError[];
+    /**
+     * The routes that the resolver did not examine: it stopped at the first error. A caller
+     * reports each of them, so no leaf of the route is missing from the response (deep dive CORE-14).
+     */
+    skipped: ProcedurePath[];
+    /** Whether all routes resolved successfully */
+    success: boolean;
+}
+/**
+ * Resolves nested route structures to procedures.
+ *
+ * Features:
+ * - Path-based procedure lookup
+ * - Input validation against schemas
+ * - Batch resolution for multi-route calls
+ * - Detailed error reporting
+ *
+ * @example
+ * ```typescript
+ * const resolver = new RouteResolver(registry);
+ *
+ * const result = resolver.resolve({
+ *   collections: {
+ *     users: {
+ *       get: { id: '123' }
+ *     }
+ *   }
+ * });
+ *
+ * if (result.success) {
+ *   for (const { path, procedure, input } of result.resolved) {
+ *     // Execute procedure with input
+ *   }
+ * }
+ * ```
+ */
+export declare class RouteResolver {
+    private readonly registry;
+    constructor(registry: ProcedureRegistry);
+    /**
+     * Resolve a route structure to procedures.
+     *
+     * @param route - Nested route object
+     * @param options - Resolution options
+     * @returns Resolution result with procedures or errors
+     */
+    resolve(route: Route, options?: RouteResolverOptions): RouteResolutionResult;
+    /**
+     * Resolve a single path to a procedure.
+     *
+     * @param path - Procedure path
+     * @returns Procedure or undefined if not found
+     */
+    getProcedure(path: ProcedurePath): AnyProcedure | undefined;
+    /**
+     * Check if a path resolves to a valid procedure.
+     *
+     * @param path - Procedure path
+     * @returns true if procedure exists at path
+     */
+    hasProcedure(path: ProcedurePath): boolean;
+    /**
+     * Validate route structure without resolving.
+     * Useful for compile-time or early validation.
+     *
+     * @param route - Route to validate
+     * @returns Validation errors or empty array if valid
+     */
+    validate(route: Route): RouteResolutionError[];
+    /**
+     * Get all procedures that would be invoked by a route.
+     * Does not validate inputs.
+     *
+     * @param route - Route structure
+     * @returns Array of [path, procedure] tuples for found procedures
+     */
+    getProceduresForRoute(route: Route): Array<[ProcedurePath, AnyProcedure]>;
+}
+/**
+ * Options for route resolution.
+ */
+export interface RouteResolverOptions {
+    /** Whether to validate input against schemas (default: true) */
+    validateInput?: boolean;
+    /** Continue resolving even if some routes fail (default: false) */
+    continueOnError?: boolean;
+}
+/**
+ * Create a route resolver for a registry.
+ *
+ * @param registry - Procedure registry
+ * @returns Route resolver instance
+ */
+export declare function createRouteResolver(registry: ProcedureRegistry): RouteResolver;
+/**
+ * Quickly validate a route against a registry.
+ *
+ * @param route - Route to validate
+ * @param registry - Procedure registry
+ * @returns true if all paths in route are valid procedures
+ */
+export declare function isValidRoute(route: Route, registry: ProcedureRegistry): boolean;
+/**
+ * Get missing paths from a route.
+ *
+ * @param route - Route to check
+ * @param registry - Procedure registry
+ * @returns Array of paths not found in registry
+ */
+export declare function getMissingPaths(route: Route, registry: ProcedureRegistry): ProcedurePath[];
+/**
+ * Check if a path matches a pattern with wildcards.
+ * Supports '*' for single segment and '**' for multiple segments.
+ *
+ * @param path - Path to check
+ * @param pattern - Pattern to match against
+ * @returns true if path matches pattern
+ *
+ * @example
+ * ```typescript
+ * matchPath(['users', 'get'], ['users', '*']);     // true
+ * matchPath(['users', 'orders', 'list'], ['users', '**']); // true
+ * ```
+ */
+export declare function matchPath(path: ProcedurePath, pattern: ProcedurePath): boolean;
+/**
+ * Filter routes by path pattern.
+ *
+ * @param route - Route to filter
+ * @param pattern - Pattern to match
+ * @returns Route with only matching paths
+ */
+export declare function filterRouteByPattern(route: Route, pattern: ProcedurePath): Route;
+//# sourceMappingURL=route-resolver.d.ts.map

package/dist/client/route-resolver.d.ts.map

@@ -0,0 +1 @@
+{"version":3,"file":"route-resolver.d.ts","sourceRoot":"","sources":["../../src/client/route-resolver.ts"],"names":[],"mappings":"AAAA;;;;;GAKG;AAEH,OAAO,KAAK,EAAE,YAAY,EAAE,aAAa,EAAE,MAAM,wBAAwB,CAAC;AAC1E,OAAO,KAAK,EAAE,iBAAiB,EAAE,MAAM,2BAA2B,CAAC;AACnE,OAAO,KAAK,EAAE,KAAK,EAAa,MAAM,iBAAiB,CAAC;AACxD,OAAO,KAAK,EAAE,YAAY,EAAE,MAAM,kBAAkB,CAAC;AAQrD;;GAEG;AACH,MAAM,WAAW,aAAa;IAC5B,4BAA4B;IAC5B,IAAI,EAAE,aAAa,CAAC;IACpB,+BAA+B;IAC/B,SAAS,EAAE,YAAY,CAAC;IACxB,gFAAgF;IAChF,KAAK,EAAE,OAAO,CAAC;IAEf,wGAAwG;IACxG,YAAY,EAAE,YAAY,CAAC;IAE3B;;;OAGG;IACH,cAAc,CAAC,EAAE,OAAO,CAAC;CAC1B;AAED;;GAEG;AACH,MAAM,WAAW,oBAAoB;IACnC,kCAAkC;IAClC,IAAI,EAAE,aAAa,CAAC;IACpB,iBAAiB;IACjB,IAAI,EAAE,WAAW,GAAG,eAAe,GAAG,kBAAkB,CAAC;IACzD,oBAAoB;IACpB,OAAO,EAAE,MAAM,CAAC;CACjB;AAED;;GAEG;AACH,MAAM,WAAW,qBAAqB;IACpC,mCAAmC;IACnC,QAAQ,EAAE,aAAa,EAAE,CAAC;IAC1B,2CAA2C;IAC3C,MAAM,EAAE,oBAAoB,EAAE,CAAC;IAC/B;;;OAGG;IACH,OAAO,EAAE,aAAa,EAAE,CAAC;IACzB,+CAA+C;IAC/C,OAAO,EAAE,OAAO,CAAC;CAClB;AAMD;;;;;;;;;;;;;;;;;;;;;;;;;;;GA2BG;AACH,qBAAa,aAAa;IACZ,OAAO,CAAC,QAAQ,CAAC,QAAQ;IAArC,YAA6B,QAAQ,EAAE,iBAAiB,EAAI;IAE5D;;;;;;OAMG;IACH,OAAO,CACL,KAAK,EAAE,KAAK,EACZ,OAAO,GAAE,oBAAyB,GACjC,qBAAqB,CA0DvB;IAED;;;;;OAKG;IACH,YAAY,CAAC,IAAI,EAAE,aAAa,GAAG,YAAY,GAAG,SAAS,CAE1D;IAED;;;;;OAKG;IACH,YAAY,CAAC,IAAI,EAAE,aAAa,GAAG,OAAO,CAEzC;IAED;;;;;;OAMG;IACH,QAAQ,CAAC,KAAK,EAAE,KAAK,GAAG,oBAAoB,EAAE,CA6B7C;IAED;;;;;;OAMG;IACH,qBAAqB,CAAC,KAAK,EAAE,KAAK,GAAG,KAAK,CAAC,CAAC,aAAa,EAAE,YAAY,CAAC,CAAC,CAYxE;CACF;AAED;;GAEG;AACH,MAAM,WAAW,oBAAoB;IACnC,gEAAgE;IAChE,aAAa,CAAC,EAAE,OAAO,CAAC;IACxB,mEAAmE;IACnE,eAAe,CAAC,EAAE,OAAO,CAAC;CAC3B;AAMD;;;;;GAKG;AACH,wBAAgB,mBAAmB,CAAC,QAAQ,EAAE,iBAAiB,GAAG,aAAa,CAE9E;AAED;;;;;;GAMG;AACH,wBAAgB,YAAY,CAAC,KAAK,EAAE,KAAK,EAAE,QAAQ,EAAE,iBAAiB,GAAG,OAAO,CAU/E;AAED;;;;;;GAMG;AACH,wBAAgB,eAAe,CAC7B,KAAK,EAAE,KAAK,EACZ,QAAQ,EAAE,iBAAiB,GAC1B,aAAa,EAAE,CAWjB;AAMD;;;;;;;;;;;;;GAaG;AACH,wBAAgB,SAAS,CAAC,IAAI,EAAE,aAAa,EAAE,OAAO,EAAE,aAAa,GAAG,OAAO,CAkC9E;AAED;;;;;;GAMG;AACH,wBAAgB,oBAAoB,CAAC,KAAK,EAAE,KAAK,EAAE,OAAO,EAAE,aAAa,GAAG,KAAK,CA0BhF"}

package/dist/client/route-resolver.js

@@ -0,0 +1,300 @@
+/**
+ * Route Resolver
+ *
+ * Resolves nested route structures to procedure definitions.
+ * Validates routes against the procedure registry.
+ */
+import { flattenRoute } from "./call-types.js";
+import { validateSchema } from "../procedures/schema.js";
+// =============================================================================
+// Route Resolver Class
+// =============================================================================
+/**
+ * Resolves nested route structures to procedures.
+ *
+ * Features:
+ * - Path-based procedure lookup
+ * - Input validation against schemas
+ * - Batch resolution for multi-route calls
+ * - Detailed error reporting
+ *
+ * @example
+ * ```typescript
+ * const resolver = new RouteResolver(registry);
+ *
+ * const result = resolver.resolve({
+ *   collections: {
+ *     users: {
+ *       get: { id: '123' }
+ *     }
+ *   }
+ * });
+ *
+ * if (result.success) {
+ *   for (const { path, procedure, input } of result.resolved) {
+ *     // Execute procedure with input
+ *   }
+ * }
+ * ```
+ */
+export class RouteResolver {
+    registry;
+    constructor(registry) {
+        this.registry = registry;
+    }
+    /**
+     * Resolve a route structure to procedures.
+     *
+     * @param route - Nested route object
+     * @param options - Resolution options
+     * @returns Resolution result with procedures or errors
+     */
+    resolve(route, options = {}) {
+        const flattened = flattenRoute(route);
+        const resolved = [];
+        const errors = [];
+        const skipped = [];
+        for (const [index, entry] of flattened.entries()) {
+            const { path, input, outputConfig } = entry;
+            const procedure = this.registry.get(path);
+            if (!procedure) {
+                errors.push({
+                    path,
+                    type: "not_found",
+                    message: `No procedure registered at path: ${path.join(".")}`,
+                });
+                continue;
+            }
+            // Validate input if schema validation is enabled. The handler gets the validated data
+            // (with schema defaults), as in exec() and on the server - not the raw leaf, which for
+            // an { in, out } leaf is the whole wrapper (BUGS-2026-07 H31).
+            let handlerInput = input;
+            let inputValidated = false;
+            const validationResult = options.validateInput !== false ? validateSchema(procedure.input, input) : undefined;
+            if (validationResult && !(validationResult instanceof Promise)) {
+                if (!validationResult.ok) {
+                    errors.push({
+                        path,
+                        type: "validation_error",
+                        message: `Input validation failed: ${validationResult.message}`,
+                    });
+                    if (!options.continueOnError) {
+                        skipped.push(...flattened.slice(index + 1).map((rest) => rest.path));
+                        break;
+                    }
+                    continue;
+                }
+                handlerInput = validationResult.value;
+                inputValidated = true;
+            }
+            resolved.push({
+                path,
+                procedure,
+                input: handlerInput,
+                outputConfig,
+                inputValidated,
+            });
+        }
+        return {
+            resolved,
+            errors,
+            skipped,
+            success: errors.length === 0,
+        };
+    }
+    /**
+     * Resolve a single path to a procedure.
+     *
+     * @param path - Procedure path
+     * @returns Procedure or undefined if not found
+     */
+    getProcedure(path) {
+        return this.registry.get(path);
+    }
+    /**
+     * Check if a path resolves to a valid procedure.
+     *
+     * @param path - Procedure path
+     * @returns true if procedure exists at path
+     */
+    hasProcedure(path) {
+        return this.registry.has(path);
+    }
+    /**
+     * Validate route structure without resolving.
+     * Useful for compile-time or early validation.
+     *
+     * @param route - Route to validate
+     * @returns Validation errors or empty array if valid
+     */
+    validate(route) {
+        const flattened = flattenRoute(route);
+        const errors = [];
+        for (const entry of flattened) {
+            const { path, input } = entry;
+            const procedure = this.registry.get(path);
+            if (!procedure) {
+                errors.push({
+                    path,
+                    type: "not_found",
+                    message: `No procedure registered at path: ${path.join(".")}`,
+                });
+                continue;
+            }
+            const validationResult = validateSchema(procedure.input, input);
+            // An asynchronous schema is checked when the procedure runs
+            if (!(validationResult instanceof Promise) && !validationResult.ok) {
+                errors.push({
+                    path,
+                    type: "validation_error",
+                    message: `Input validation failed: ${validationResult.message}`,
+                });
+            }
+        }
+        return errors;
+    }
+    /**
+     * Get all procedures that would be invoked by a route.
+     * Does not validate inputs.
+     *
+     * @param route - Route structure
+     * @returns Array of [path, procedure] tuples for found procedures
+     */
+    getProceduresForRoute(route) {
+        const flattened = flattenRoute(route);
+        const results = [];
+        for (const entry of flattened) {
+            const procedure = this.registry.get(entry.path);
+            if (procedure) {
+                results.push([entry.path, procedure]);
+            }
+        }
+        return results;
+    }
+}
+// =============================================================================
+// Helper Functions
+// =============================================================================
+/**
+ * Create a route resolver for a registry.
+ *
+ * @param registry - Procedure registry
+ * @returns Route resolver instance
+ */
+export function createRouteResolver(registry) {
+    return new RouteResolver(registry);
+}
+/**
+ * Quickly validate a route against a registry.
+ *
+ * @param route - Route to validate
+ * @param registry - Procedure registry
+ * @returns true if all paths in route are valid procedures
+ */
+export function isValidRoute(route, registry) {
+    const flattened = flattenRoute(route);
+    for (const entry of flattened) {
+        if (!registry.has(entry.path)) {
+            return false;
+        }
+    }
+    return true;
+}
+/**
+ * Get missing paths from a route.
+ *
+ * @param route - Route to check
+ * @param registry - Procedure registry
+ * @returns Array of paths not found in registry
+ */
+export function getMissingPaths(route, registry) {
+    const flattened = flattenRoute(route);
+    const missing = [];
+    for (const entry of flattened) {
+        if (!registry.has(entry.path)) {
+            missing.push(entry.path);
+        }
+    }
+    return missing;
+}
+// =============================================================================
+// Path Matching Utilities
+// =============================================================================
+/**
+ * Check if a path matches a pattern with wildcards.
+ * Supports '*' for single segment and '**' for multiple segments.
+ *
+ * @param path - Path to check
+ * @param pattern - Pattern to match against
+ * @returns true if path matches pattern
+ *
+ * @example
+ * ```typescript
+ * matchPath(['users', 'get'], ['users', '*']);     // true
+ * matchPath(['users', 'orders', 'list'], ['users', '**']); // true
+ * ```
+ */
+export function matchPath(path, pattern) {
+    let pathIndex = 0;
+    let patternIndex = 0;
+    while (patternIndex < pattern.length) {
+        const segment = pattern[patternIndex];
+        if (segment === "**") {
+            // Match rest of path
+            if (patternIndex === pattern.length - 1) {
+                return true;
+            }
+            // Try to match remaining pattern at each position
+            for (let i = pathIndex; i <= path.length; i++) {
+                if (matchPath(path.slice(i), pattern.slice(patternIndex + 1))) {
+                    return true;
+                }
+            }
+            return false;
+        }
+        if (pathIndex >= path.length) {
+            return false;
+        }
+        if (segment === "*" || segment === path[pathIndex]) {
+            pathIndex++;
+            patternIndex++;
+        }
+        else {
+            return false;
+        }
+    }
+    return pathIndex === path.length;
+}
+/**
+ * Filter routes by path pattern.
+ *
+ * @param route - Route to filter
+ * @param pattern - Pattern to match
+ * @returns Route with only matching paths
+ */
+export function filterRouteByPattern(route, pattern) {
+    const flattened = flattenRoute(route);
+    const filtered = {};
+    for (const entry of flattened) {
+        if (matchPath(entry.path, pattern)) {
+            // Rebuild nested structure for this path
+            let current = filtered;
+            for (let i = 0; i < entry.path.length; i++) {
+                const segment = entry.path[i];
+                const isLast = i === entry.path.length - 1;
+                if (isLast) {
+                    current[segment] = entry.leaf;
+                }
+                else {
+                    // An own key only (deep dive CORE-6). flattenRoute rejected the prototype keys.
+                    if (!Object.hasOwn(current, segment)) {
+                        current[segment] = {};
+                    }
+                    current = current[segment];
+                }
+            }
+        }
+    }
+    return filtered;
+}
+//# sourceMappingURL=route-resolver.js.map

package/dist/client/route-resolver.js.map

@@ -0,0 +1 @@
+{"version":3,"file":"route-resolver.js","sourceRoot":"","sources":["../../src/client/route-resolver.ts"],"names":[],"mappings":"AAAA;;;;;GAKG;AAMH,OAAO,EAAE,YAAY,EAAE,MAAM,iBAAiB,CAAC;AAC/C,OAAO,EAAE,cAAc,EAAE,MAAM,yBAAyB,CAAC;AAwDzD,gFAAgF;AAChF,uBAAuB;AACvB,gFAAgF;AAEhF;;;;;;;;;;;;;;;;;;;;;;;;;;;GA2BG;AACH,MAAM,OAAO,aAAa;IACK,QAAQ;IAArC,YAA6B,QAA2B;wBAA3B,QAAQ;IAAsB,CAAC;IAE5D;;;;;;OAMG;IACH,OAAO,CACL,KAAY,EACZ,OAAO,GAAyB,EAAE;QAElC,MAAM,SAAS,GAAG,YAAY,CAAC,KAAK,CAAC,CAAC;QACtC,MAAM,QAAQ,GAAoB,EAAE,CAAC;QACrC,MAAM,MAAM,GAA2B,EAAE,CAAC;QAC1C,MAAM,OAAO,GAAoB,EAAE,CAAC;QAEpC,KAAK,MAAM,CAAC,KAAK,EAAE,KAAK,CAAC,IAAI,SAAS,CAAC,OAAO,EAAE,EAAE,CAAC;YACjD,MAAM,EAAE,IAAI,EAAE,KAAK,EAAE,YAAY,EAAE,GAAG,KAAK,CAAC;YAC5C,MAAM,SAAS,GAAG,IAAI,CAAC,QAAQ,CAAC,GAAG,CAAC,IAAI,CAAC,CAAC;YAE1C,IAAI,CAAC,SAAS,EAAE,CAAC;gBACf,MAAM,CAAC,IAAI,CAAC;oBACV,IAAI;oBACJ,IAAI,EAAE,WAAW;oBACjB,OAAO,EAAE,oCAAoC,IAAI,CAAC,IAAI,CAAC,GAAG,CAAC,EAAE;iBAC9D,CAAC,CAAC;gBACH,SAAS;YACX,CAAC;YAED,sFAAsF;YACtF,uFAAuF;YACvF,+DAA+D;YAC/D,IAAI,YAAY,GAAY,KAAK,CAAC;YAClC,IAAI,cAAc,GAAG,KAAK,CAAC;YAC3B,MAAM,gBAAgB,GAAG,OAAO,CAAC,aAAa,KAAK,KAAK,CAAC,CAAC,CAAC,cAAc,CAAC,SAAS,CAAC,KAAK,EAAE,KAAK,CAAC,CAAC,CAAC,CAAC,SAAS,CAAC;YAC9G,IAAI,gBAAgB,IAAI,CAAC,CAAC,gBAAgB,YAAY,OAAO,CAAC,EAAE,CAAC;gBAC/D,IAAI,CAAC,gBAAgB,CAAC,EAAE,EAAE,CAAC;oBACzB,MAAM,CAAC,IAAI,CAAC;wBACV,IAAI;wBACJ,IAAI,EAAE,kBAAkB;wBACxB,OAAO,EAAE,4BAA4B,gBAAgB,CAAC,OAAO,EAAE;qBAChE,CAAC,CAAC;oBAEH,IAAI,CAAC,OAAO,CAAC,eAAe,EAAE,CAAC;wBAC7B,OAAO,CAAC,IAAI,CAAC,GAAG,SAAS,CAAC,KAAK,CAAC,KAAK,GAAG,CAAC,CAAC,CAAC,GAAG,CAAC,CAAC,IAAI,EAAE,EAAE,CAAC,IAAI,CAAC,IAAI,CAAC,CAAC,CAAC;wBACrE,MAAM;oBACR,CAAC;oBACD,SAAS;gBACX,CAAC;gBACD,YAAY,GAAG,gBAAgB,CAAC,KAAK,CAAC;gBACtC,cAAc,GAAG,IAAI,CAAC;YACxB,CAAC;YAED,QAAQ,CAAC,IAAI,CAAC;gBACZ,IAAI;gBACJ,SAAS;gBACT,KAAK,EAAE,YAAY;gBACnB,YAAY;gBACZ,cAAc;aACf,CAAC,CAAC;QACL,CAAC;QAED,OAAO;YACL,QAAQ;YACR,MAAM;YACN,OAAO;YACP,OAAO,EAAE,MAAM,CAAC,MAAM,KAAK,CAAC;SAC7B,CAAC;IACJ,CAAC;IAED;;;;;OAKG;IACH,YAAY,CAAC,IAAmB;QAC9B,OAAO,IAAI,CAAC,QAAQ,CAAC,GAAG,CAAC,IAAI,CAAC,CAAC;IACjC,CAAC;IAED;;;;;OAKG;IACH,YAAY,CAAC,IAAmB;QAC9B,OAAO,IAAI,CAAC,QAAQ,CAAC,GAAG,CAAC,IAAI,CAAC,CAAC;IACjC,CAAC;IAED;;;;;;OAMG;IACH,QAAQ,CAAC,KAAY;QACnB,MAAM,SAAS,GAAG,YAAY,CAAC,KAAK,CAAC,CAAC;QACtC,MAAM,MAAM,GAA2B,EAAE,CAAC;QAE1C,KAAK,MAAM,KAAK,IAAI,SAAS,EAAE,CAAC;YAC9B,MAAM,EAAE,IAAI,EAAE,KAAK,EAAE,GAAG,KAAK,CAAC;YAC9B,MAAM,SAAS,GAAG,IAAI,CAAC,QAAQ,CAAC,GAAG,CAAC,IAAI,CAAC,CAAC;YAE1C,IAAI,CAAC,SAAS,EAAE,CAAC;gBACf,MAAM,CAAC,IAAI,CAAC;oBACV,IAAI;oBACJ,IAAI,EAAE,WAAW;oBACjB,OAAO,EAAE,oCAAoC,IAAI,CAAC,IAAI,CAAC,GAAG,CAAC,EAAE;iBAC9D,CAAC,CAAC;gBACH,SAAS;YACX,CAAC;YAED,MAAM,gBAAgB,GAAG,cAAc,CAAC,SAAS,CAAC,KAAK,EAAE,KAAK,CAAC,CAAC;YAChE,4DAA4D;YAC5D,IAAI,CAAC,CAAC,gBAAgB,YAAY,OAAO,CAAC,IAAI,CAAC,gBAAgB,CAAC,EAAE,EAAE,CAAC;gBACnE,MAAM,CAAC,IAAI,CAAC;oBACV,IAAI;oBACJ,IAAI,EAAE,kBAAkB;oBACxB,OAAO,EAAE,4BAA4B,gBAAgB,CAAC,OAAO,EAAE;iBAChE,CAAC,CAAC;YACL,CAAC;QACH,CAAC;QAED,OAAO,MAAM,CAAC;IAChB,CAAC;IAED;;;;;;OAMG;IACH,qBAAqB,CAAC,KAAY;QAChC,MAAM,SAAS,GAAG,YAAY,CAAC,KAAK,CAAC,CAAC;QACtC,MAAM,OAAO,GAAyC,EAAE,CAAC;QAEzD,KAAK,MAAM,KAAK,IAAI,SAAS,EAAE,CAAC;YAC9B,MAAM,SAAS,GAAG,IAAI,CAAC,QAAQ,CAAC,GAAG,CAAC,KAAK,CAAC,IAAI,CAAC,CAAC;YAChD,IAAI,SAAS,EAAE,CAAC;gBACd,OAAO,CAAC,IAAI,CAAC,CAAC,KAAK,CAAC,IAAI,EAAE,SAAS,CAAC,CAAC,CAAC;YACxC,CAAC;QACH,CAAC;QAED,OAAO,OAAO,CAAC;IACjB,CAAC;CACF;AAYD,gFAAgF;AAChF,mBAAmB;AACnB,gFAAgF;AAEhF;;;;;GAKG;AACH,MAAM,UAAU,mBAAmB,CAAC,QAA2B;IAC7D,OAAO,IAAI,aAAa,CAAC,QAAQ,CAAC,CAAC;AACrC,CAAC;AAED;;;;;;GAMG;AACH,MAAM,UAAU,YAAY,CAAC,KAAY,EAAE,QAA2B;IACpE,MAAM,SAAS,GAAG,YAAY,CAAC,KAAK,CAAC,CAAC;IAEtC,KAAK,MAAM,KAAK,IAAI,SAAS,EAAE,CAAC;QAC9B,IAAI,CAAC,QAAQ,CAAC,GAAG,CAAC,KAAK,CAAC,IAAI,CAAC,EAAE,CAAC;YAC9B,OAAO,KAAK,CAAC;QACf,CAAC;IACH,CAAC;IAED,OAAO,IAAI,CAAC;AACd,CAAC;AAED;;;;;;GAMG;AACH,MAAM,UAAU,eAAe,CAC7B,KAAY,EACZ,QAA2B;IAE3B,MAAM,SAAS,GAAG,YAAY,CAAC,KAAK,CAAC,CAAC;IACtC,MAAM,OAAO,GAAoB,EAAE,CAAC;IAEpC,KAAK,MAAM,KAAK,IAAI,SAAS,EAAE,CAAC;QAC9B,IAAI,CAAC,QAAQ,CAAC,GAAG,CAAC,KAAK,CAAC,IAAI,CAAC,EAAE,CAAC;YAC9B,OAAO,CAAC,IAAI,CAAC,KAAK,CAAC,IAAI,CAAC,CAAC;QAC3B,CAAC;IACH,CAAC;IAED,OAAO,OAAO,CAAC;AACjB,CAAC;AAED,gFAAgF;AAChF,0BAA0B;AAC1B,gFAAgF;AAEhF;;;;;;;;;;;;;GAaG;AACH,MAAM,UAAU,SAAS,CAAC,IAAmB,EAAE,OAAsB;IACnE,IAAI,SAAS,GAAG,CAAC,CAAC;IAClB,IAAI,YAAY,GAAG,CAAC,CAAC;IAErB,OAAO,YAAY,GAAG,OAAO,CAAC,MAAM,EAAE,CAAC;QACrC,MAAM,OAAO,GAAG,OAAO,CAAC,YAAY,CAAC,CAAC;QAEtC,IAAI,OAAO,KAAK,IAAI,EAAE,CAAC;YACrB,qBAAqB;YACrB,IAAI,YAAY,KAAK,OAAO,CAAC,MAAM,GAAG,CAAC,EAAE,CAAC;gBACxC,OAAO,IAAI,CAAC;YACd,CAAC;YACD,kDAAkD;YAClD,KAAK,IAAI,CAAC,GAAG,SAAS,EAAE,CAAC,IAAI,IAAI,CAAC,MAAM,EAAE,CAAC,EAAE,EAAE,CAAC;gBAC9C,IAAI,SAAS,CAAC,IAAI,CAAC,KAAK,CAAC,CAAC,CAAC,EAAE,OAAO,CAAC,KAAK,CAAC,YAAY,GAAG,CAAC,CAAC,CAAC,EAAE,CAAC;oBAC9D,OAAO,IAAI,CAAC;gBACd,CAAC;YACH,CAAC;YACD,OAAO,KAAK,CAAC;QACf,CAAC;QAED,IAAI,SAAS,IAAI,IAAI,CAAC,MAAM,EAAE,CAAC;YAC7B,OAAO,KAAK,CAAC;QACf,CAAC;QAED,IAAI,OAAO,KAAK,GAAG,IAAI,OAAO,KAAK,IAAI,CAAC,SAAS,CAAC,EAAE,CAAC;YACnD,SAAS,EAAE,CAAC;YACZ,YAAY,EAAE,CAAC;QACjB,CAAC;aAAM,CAAC;YACN,OAAO,KAAK,CAAC;QACf,CAAC;IACH,CAAC;IAED,OAAO,SAAS,KAAK,IAAI,CAAC,MAAM,CAAC;AACnC,CAAC;AAED;;;;;;GAMG;AACH,MAAM,UAAU,oBAAoB,CAAC,KAAY,EAAE,OAAsB;IACvE,MAAM,SAAS,GAAG,YAAY,CAAC,KAAK,CAAC,CAAC;IACtC,MAAM,QAAQ,GAAU,EAAE,CAAC;IAE3B,KAAK,MAAM,KAAK,IAAI,SAAS,EAAE,CAAC;QAC9B,IAAI,SAAS,CAAC,KAAK,CAAC,IAAI,EAAE,OAAO,CAAC,EAAE,CAAC;YACnC,yCAAyC;YACzC,IAAI,OAAO,GAAc,QAAQ,CAAC;YAClC,KAAK,IAAI,CAAC,GAAG,CAAC,EAAE,CAAC,GAAG,KAAK,CAAC,IAAI,CAAC,MAAM,EAAE,CAAC,EAAE,EAAE,CAAC;gBAC3C,MAAM,OAAO,GAAG,KAAK,CAAC,IAAI,CAAC,CAAC,CAAE,CAAC;gBAC/B,MAAM,MAAM,GAAG,CAAC,KAAK,KAAK,CAAC,IAAI,CAAC,MAAM,GAAG,CAAC,CAAC;gBAE3C,IAAI,MAAM,EAAE,CAAC;oBACX,OAAO,CAAC,OAAO,CAAC,GAAG,KAAK,CAAC,IAAI,CAAC;gBAChC,CAAC;qBAAM,CAAC;oBACN,gFAAgF;oBAChF,IAAI,CAAC,MAAM,CAAC,MAAM,CAAC,OAAO,EAAE,OAAO,CAAC,EAAE,CAAC;wBACrC,OAAO,CAAC,OAAO,CAAC,GAAG,EAAE,CAAC;oBACxB,CAAC;oBACD,OAAO,GAAG,OAAO,CAAC,OAAO,CAAc,CAAC;gBAC1C,CAAC;YACH,CAAC;QACH,CAAC;IACH,CAAC;IAED,OAAO,QAAQ,CAAC;AAClB,CAAC"}

package/dist/client/typed-method.d.ts

@@ -0,0 +1,29 @@
+/**
+ * Type-safe Method construction from procedure registry
+ *
+ * This ensures that Method objects can only be created with valid
+ * service/operation combinations that exist in the registry.
+ */
+import type { Method } from './types.js';
+/**
+ * Generic typed method that constrains service and operation
+ * to values that exist in a procedure registry
+ */
+export interface TypedMethod<TRegistry extends Record<string, Record<string, any>>, TService extends keyof TRegistry & string = keyof TRegistry & string, TOperation extends keyof TRegistry[TService] & string = keyof TRegistry[TService] & string> extends Method {
+    service: TService;
+    operation: TOperation;
+}
+/**
+ * Create a type-safe method object
+ *
+ * Usage:
+ * const method = createMethod<ProcedureRegistry>('collections', 'getDocuments');
+ * // Autocomplete for both service and operation!
+ * // Compile error if service or operation doesn't exist
+ */
+export declare function createMethod<TRegistry extends Record<string, Record<string, any>>, TService extends keyof TRegistry & string, TOperation extends keyof TRegistry[TService] & string>(service: TService, operation: TOperation, version?: string): TypedMethod<TRegistry, TService, TOperation>;
+/**
+ * Type guard to check if a Method matches the registry
+ */
+export declare function isValidMethod<TRegistry extends Record<string, Record<string, any>>>(method: Method, registry: TRegistry): method is TypedMethod<TRegistry>;
+//# sourceMappingURL=typed-method.d.ts.map

package/dist/client/typed-method.d.ts.map

@@ -0,0 +1 @@
+{"version":3,"file":"typed-method.d.ts","sourceRoot":"","sources":["../../src/client/typed-method.ts"],"names":[],"mappings":"AAAA;;;;;GAKG;AAEH,OAAO,KAAK,EAAE,MAAM,EAAE,MAAM,YAAY,CAAC;AAEzC;;;GAGG;AACH,MAAM,WAAW,WAAW,CAC1B,SAAS,SAAS,MAAM,CAAC,MAAM,EAAE,MAAM,CAAC,MAAM,EAAE,GAAG,CAAC,CAAC,EACrD,QAAQ,SAAS,MAAM,SAAS,GAAG,MAAM,GAAG,MAAM,SAAS,GAAG,MAAM,EACpE,UAAU,SAAS,MAAM,SAAS,CAAC,QAAQ,CAAC,GAAG,MAAM,GAAG,MAAM,SAAS,CAAC,QAAQ,CAAC,GAAG,MAAM,CAC1F,SAAQ,MAAM;IACd,OAAO,EAAE,QAAQ,CAAC;IAClB,SAAS,EAAE,UAAU,CAAC;CACvB;AAED;;;;;;;GAOG;AACH,wBAAgB,YAAY,CAC1B,SAAS,SAAS,MAAM,CAAC,MAAM,EAAE,MAAM,CAAC,MAAM,EAAE,GAAG,CAAC,CAAC,EACrD,QAAQ,SAAS,MAAM,SAAS,GAAG,MAAM,EACzC,UAAU,SAAS,MAAM,SAAS,CAAC,QAAQ,CAAC,GAAG,MAAM,EAErD,OAAO,EAAE,QAAQ,EACjB,SAAS,EAAE,UAAU,EACrB,OAAO,CAAC,EAAE,MAAM,GACf,WAAW,CAAC,SAAS,EAAE,QAAQ,EAAE,UAAU,CAAC,CAS9C;AAED;;GAEG;AACH,wBAAgB,aAAa,CAAC,SAAS,SAAS,MAAM,CAAC,MAAM,EAAE,MAAM,CAAC,MAAM,EAAE,GAAG,CAAC,CAAC,EACjF,MAAM,EAAE,MAAM,EACd,QAAQ,EAAE,SAAS,GAClB,MAAM,IAAI,WAAW,CAAC,SAAS,CAAC,CASlC"}

package/dist/client/typed-method.js

@@ -0,0 +1,36 @@
+/**
+ * Type-safe Method construction from procedure registry
+ *
+ * This ensures that Method objects can only be created with valid
+ * service/operation combinations that exist in the registry.
+ */
+/**
+ * Create a type-safe method object
+ *
+ * Usage:
+ * const method = createMethod<ProcedureRegistry>('collections', 'getDocuments');
+ * // Autocomplete for both service and operation!
+ * // Compile error if service or operation doesn't exist
+ */
+export function createMethod(service, operation, version) {
+    const method = {
+        service,
+        operation,
+    };
+    if (version !== undefined) {
+        method.version = version;
+    }
+    return method;
+}
+/**
+ * Type guard to check if a Method matches the registry
+ */
+export function isValidMethod(method, registry) {
+    const service = registry[method.service];
+    return (typeof method.service === 'string' &&
+        method.service in registry &&
+        typeof method.operation === 'string' &&
+        service !== undefined &&
+        method.operation in service);
+}
+//# sourceMappingURL=typed-method.js.map

package/dist/client/typed-method.js.map

@@ -0,0 +1 @@
+{"version":3,"file":"typed-method.js","sourceRoot":"","sources":["../../src/client/typed-method.ts"],"names":[],"mappings":"AAAA;;;;;GAKG;AAiBH;;;;;;;GAOG;AACH,MAAM,UAAU,YAAY,CAK1B,OAAiB,EACjB,SAAqB,EACrB,OAAgB;IAEhB,MAAM,MAAM,GAAiD;QAC3D,OAAO;QACP,SAAS;KACV,CAAC;IACF,IAAI,OAAO,KAAK,SAAS,EAAE,CAAC;QAC1B,MAAM,CAAC,OAAO,GAAG,OAAO,CAAC;IAC3B,CAAC;IACD,OAAO,MAAM,CAAC;AAChB,CAAC;AAED;;GAEG;AACH,MAAM,UAAU,aAAa,CAC3B,MAAc,EACd,QAAmB;IAEnB,MAAM,OAAO,GAAG,QAAQ,CAAC,MAAM,CAAC,OAAO,CAAC,CAAC;IACzC,OAAO,CACL,OAAO,MAAM,CAAC,OAAO,KAAK,QAAQ;QAClC,MAAM,CAAC,OAAO,IAAI,QAAQ;QAC1B,OAAO,MAAM,CAAC,SAAS,KAAK,QAAQ;QACpC,OAAO,KAAK,SAAS;QACrB,MAAM,CAAC,SAAS,IAAI,OAAO,CAC5B,CAAC;AACJ,CAAC"}

package/dist/client/typed.d.ts

@@ -0,0 +1,102 @@
+/**
+ * Typed Procedure Caller
+ *
+ * Creates a typed wrapper around a procedure caller function.
+ * Provides compile-time autocomplete for procedure paths, inputs, and outputs.
+ *
+ * @example
+ * ```typescript
+ * import { createTypedCaller } from "@procedures/client";
+ * import type { MongoProcedures, ProcedureInput, ProcedureOutput } from "@procedures/mongo";
+ *
+ * // Create typed caller
+ * const call = createTypedCaller<MongoProcedures>(client.call.bind(client));
+ *
+ * // Full autocomplete on path and input!
+ * const result = await call(
+ *   ["mongo", "documents", "find"],
+ *   { query: { status: "active" } },
+ *   { metadata: { collection: "users" } }
+ * );
+ * // result is typed as FindOutput
+ * ```
+ */
+import type { CallOptions } from "./context.js";
+/**
+ * Procedure definition with input and output types
+ */
+export interface ProcedureDef {
+    input: unknown;
+    output: unknown;
+}
+/**
+ * Nested procedure namespace
+ */
+export type ProcedureNamespace = {
+    [key: string]: ProcedureDef | ProcedureNamespace;
+};
+/**
+ * Extract all valid paths from a procedures interface
+ */
+export type ProcedurePaths<T, Prefix extends string[] = []> = T extends ProcedureDef ? Prefix : T extends ProcedureNamespace ? {
+    [K in keyof T]: T[K] extends ProcedureDef ? [...Prefix, K & string] : T[K] extends ProcedureNamespace ? ProcedurePaths<T[K], [...Prefix, K & string]> : never;
+}[keyof T] : never;
+/**
+ * Get procedure definition at a path
+ */
+export type GetProcedure<T, P extends string[]> = P extends [infer K extends keyof T] ? T[K] : P extends [infer K extends keyof T, ...infer Rest extends string[]] ? GetProcedure<T[K], Rest> : never;
+/**
+ * Extract input type for a path
+ */
+export type PathInput<T, P extends string[]> = GetProcedure<T, P> extends ProcedureDef ? GetProcedure<T, P>["input"] : never;
+/**
+ * Extract output type for a path
+ */
+export type PathOutput<T, P extends string[]> = GetProcedure<T, P> extends ProcedureDef ? GetProcedure<T, P>["output"] : never;
+/**
+ * Base caller function type
+ */
+export type BaseCaller = <TOutput>(path: string[], input: unknown, options?: CallOptions) => Promise<TOutput>;
+/**
+ * Typed caller function
+ */
+export interface TypedCaller<T extends ProcedureNamespace> {
+    <P extends ProcedurePaths<T> & string[]>(path: P, input: PathInput<T, P>, options?: CallOptions): Promise<PathOutput<T, P>>;
+}
+/**
+ * Create a typed procedure caller
+ *
+ * Wraps a base caller function to provide compile-time type safety
+ * for procedure paths, inputs, and outputs.
+ *
+ * @param caller - Base caller function (e.g., client.call.bind(client))
+ * @returns Typed caller with autocomplete
+ *
+ * @example
+ * ```typescript
+ * import type { MongoProcedures } from "@procedures/mongo";
+ *
+ * const typedCall = createTypedCaller<MongoProcedures>(client.call.bind(client));
+ *
+ * // TypeScript knows:
+ * // - path must be a valid procedure path
+ * // - input must match the procedure's input type
+ * // - result is the procedure's output type
+ * const result = await typedCall(
+ *   ["mongo", "documents", "find"],
+ *   { query: {}, page: 1 }
+ * );
+ * ```
+ */
+export declare function createTypedCaller<T extends ProcedureNamespace>(caller: BaseCaller): TypedCaller<T>;
+/**
+ * Type helper to merge multiple procedure interfaces
+ *
+ * @example
+ * ```typescript
+ * type AllProcedures = MergeProcedures<MongoProcedures & UIProcedures>;
+ * const call = createTypedCaller<AllProcedures>(client.call);
+ * ```
+ */
+export type MergeProcedures<T extends ProcedureNamespace> = T;
+//# sourceMappingURL=typed.d.ts.map

package/dist/client/typed.d.ts.map

@@ -0,0 +1 @@
+{"version":3,"file":"typed.d.ts","sourceRoot":"","sources":["../../src/client/typed.ts"],"names":[],"mappings":"AAAA;;;;;;;;;;;;;;;;;;;;;;GAsBG;AAEH,OAAO,KAAK,EAAE,WAAW,EAAE,MAAM,cAAc,CAAC;AAEhD;;GAEG;AACH,MAAM,WAAW,YAAY;IAC3B,KAAK,EAAE,OAAO,CAAC;IACf,MAAM,EAAE,OAAO,CAAC;CACjB;AAED;;GAEG;AACH,MAAM,MAAM,kBAAkB,GAAG;IAC/B,CAAC,GAAG,EAAE,MAAM,GAAG,YAAY,GAAG,kBAAkB,CAAC;CAClD,CAAC;AAEF;;GAEG;AACH,MAAM,MAAM,cAAc,CAAC,CAAC,EAAE,MAAM,SAAS,MAAM,EAAE,GAAG,EAAE,IAAI,CAAC,SAAS,YAAY,GAChF,MAAM,GACN,CAAC,SAAS,kBAAkB,GAC5B;KACG,CAAC,IAAI,MAAM,CAAC,GAAG,CAAC,CAAC,CAAC,CAAC,SAAS,YAAY,GACrC,CAAC,GAAG,MAAM,EAAE,CAAC,GAAG,MAAM,CAAC,GACvB,CAAC,CAAC,CAAC,CAAC,SAAS,kBAAkB,GAC/B,cAAc,CAAC,CAAC,CAAC,CAAC,CAAC,EAAE,CAAC,GAAG,MAAM,EAAE,CAAC,GAAG,MAAM,CAAC,CAAC,GAC7C,KAAK;CACV,CAAC,MAAM,CAAC,CAAC,GACV,KAAK,CAAC;AAEV;;GAEG;AACH,MAAM,MAAM,YAAY,CAAC,CAAC,EAAE,CAAC,SAAS,MAAM,EAAE,IAAI,CAAC,SAAS,CAAC,MAAM,CAAC,SAAS,MAAM,CAAC,CAAC,GACjF,CAAC,CAAC,CAAC,CAAC,GACJ,CAAC,SAAS,CAAC,MAAM,CAAC,SAAS,MAAM,CAAC,EAAE,GAAG,MAAM,IAAI,SAAS,MAAM,EAAE,CAAC,GACnE,YAAY,CAAC,CAAC,CAAC,CAAC,CAAC,EAAE,IAAI,CAAC,GACxB,KAAK,CAAC;AAEV;;GAEG;AACH,MAAM,MAAM,SAAS,CAAC,CAAC,EAAE,CAAC,SAAS,MAAM,EAAE,IAAI,YAAY,CAAC,CAAC,EAAE,CAAC,CAAC,SAAS,YAAY,GAClF,YAAY,CAAC,CAAC,EAAE,CAAC,CAAC,CAAC,OAAO,CAAC,GAC3B,KAAK,CAAC;AAEV;;GAEG;AACH,MAAM,MAAM,UAAU,CAAC,CAAC,EAAE,CAAC,SAAS,MAAM,EAAE,IAAI,YAAY,CAAC,CAAC,EAAE,CAAC,CAAC,SAAS,YAAY,GACnF,YAAY,CAAC,CAAC,EAAE,CAAC,CAAC,CAAC,QAAQ,CAAC,GAC5B,KAAK,CAAC;AAEV;;GAEG;AACH,MAAM,MAAM,UAAU,GAAG,CAAC,OAAO,EAC/B,IAAI,EAAE,MAAM,EAAE,EACd,KAAK,EAAE,OAAO,EACd,OAAO,CAAC,EAAE,WAAW,KAClB,OAAO,CAAC,OAAO,CAAC,CAAC;AAEtB;;GAEG;AACH,MAAM,WAAW,WAAW,CAAC,CAAC,SAAS,kBAAkB;IACvD,CAAC,CAAC,SAAS,cAAc,CAAC,CAAC,CAAC,GAAG,MAAM,EAAE,EACrC,IAAI,EAAE,CAAC,EACP,KAAK,EAAE,SAAS,CAAC,CAAC,EAAE,CAAC,CAAC,EACtB,OAAO,CAAC,EAAE,WAAW,GACpB,OAAO,CAAC,UAAU,CAAC,CAAC,EAAE,CAAC,CAAC,CAAC,CAAC;CAC9B;AAED;;;;;;;;;;;;;;;;;;;;;;;;GAwBG;AACH,wBAAgB,iBAAiB,CAAC,CAAC,SAAS,kBAAkB,EAC5D,MAAM,EAAE,UAAU,GACjB,WAAW,CAAC,CAAC,CAAC,CAEhB;AAED;;;;;;;;GAQG;AACH,MAAM,MAAM,eAAe,CAAC,CAAC,SAAS,kBAAkB,IAAI,CAAC,CAAC"}