carrick 0.3.53

package/sidecar/dist/src/validators.d.ts

@@ -0,0 +1,2214 @@
+/**
+ * Zod validators for the sidecar message protocol
+ * These validators ensure incoming JSON messages are correctly typed
+ */
+import { z } from 'zod';
+import type { SidecarRequest, InferRequestItem } from './types.js';
+export declare const InferKindSchema: z.ZodEnum<["function_return", "expression", "call_result", "variable", "response_body", "request_body", "signature_return", "function_param", "receiver_type"]>;
+export declare const SymbolRequestSchema: z.ZodObject<{
+    symbol_name: z.ZodString;
+    source_file: z.ZodString;
+    alias: z.ZodOptional<z.ZodString>;
+    array_depth: z.ZodOptional<z.ZodNumber>;
+}, "strip", z.ZodTypeAny, {
+    source_file: string;
+    symbol_name: string;
+    alias?: string | undefined;
+    array_depth?: number | undefined;
+}, {
+    source_file: string;
+    symbol_name: string;
+    alias?: string | undefined;
+    array_depth?: number | undefined;
+}>;
+export declare const InferRequestItemSchema: z.ZodObject<{
+    file_path: z.ZodString;
+    line_number: z.ZodNumber;
+    span_start: z.ZodOptional<z.ZodNumber>;
+    span_end: z.ZodOptional<z.ZodNumber>;
+    expression_text: z.ZodOptional<z.ZodString>;
+    expression_line: z.ZodOptional<z.ZodNumber>;
+    infer_kind: z.ZodEnum<["function_return", "expression", "call_result", "variable", "response_body", "request_body", "signature_return", "function_param", "receiver_type"]>;
+    alias: z.ZodOptional<z.ZodString>;
+    param_name: z.ZodOptional<z.ZodString>;
+}, "strip", z.ZodTypeAny, {
+    file_path: string;
+    line_number: number;
+    infer_kind: "function_return" | "expression" | "call_result" | "variable" | "response_body" | "request_body" | "signature_return" | "function_param" | "receiver_type";
+    alias?: string | undefined;
+    span_start?: number | undefined;
+    span_end?: number | undefined;
+    expression_text?: string | undefined;
+    expression_line?: number | undefined;
+    param_name?: string | undefined;
+}, {
+    file_path: string;
+    line_number: number;
+    infer_kind: "function_return" | "expression" | "call_result" | "variable" | "response_body" | "request_body" | "signature_return" | "function_param" | "receiver_type";
+    alias?: string | undefined;
+    span_start?: number | undefined;
+    span_end?: number | undefined;
+    expression_text?: string | undefined;
+    expression_line?: number | undefined;
+    param_name?: string | undefined;
+}>;
+/**
+ * Per-item locator validation for infer requests.
+ *
+ * This is deliberately NOT part of the envelope schema: real runs batch
+ * every alias of a repo into one infer request, and a single bad item
+ * must produce a per-item error (the alias then pads to `unknown`
+ * downstream), not reject the whole batch.
+ *
+ * Returns an error message, or null when the item is valid.
+ */
+export declare function validateInferRequestItem(item: InferRequestItem): string | null;
+export declare const InitRequestSchema: z.ZodObject<{
+    request_id: z.ZodString;
+} & {
+    action: z.ZodLiteral<"init">;
+    repo_root: z.ZodString;
+    tsconfig_path: z.ZodOptional<z.ZodString>;
+    tsconfig_snapshot: z.ZodOptional<z.ZodObject<{
+        compilerOptions: z.ZodObject<{
+            module: z.ZodOptional<z.ZodString>;
+            moduleResolution: z.ZodOptional<z.ZodString>;
+            target: z.ZodOptional<z.ZodString>;
+            lib: z.ZodOptional<z.ZodArray<z.ZodString, "many">>;
+            types: z.ZodOptional<z.ZodArray<z.ZodString, "many">>;
+            typeRoots: z.ZodOptional<z.ZodArray<z.ZodString, "many">>;
+            jsx: z.ZodOptional<z.ZodString>;
+            strict: z.ZodOptional<z.ZodBoolean>;
+            esModuleInterop: z.ZodOptional<z.ZodBoolean>;
+            skipLibCheck: z.ZodOptional<z.ZodBoolean>;
+            declaration: z.ZodOptional<z.ZodBoolean>;
+            declarationMap: z.ZodOptional<z.ZodBoolean>;
+            paths: z.ZodOptional<z.ZodRecord<z.ZodString, z.ZodArray<z.ZodString, "many">>>;
+            baseUrl: z.ZodOptional<z.ZodString>;
+        }, "passthrough", z.ZodTypeAny, z.objectOutputType<{
+            module: z.ZodOptional<z.ZodString>;
+            moduleResolution: z.ZodOptional<z.ZodString>;
+            target: z.ZodOptional<z.ZodString>;
+            lib: z.ZodOptional<z.ZodArray<z.ZodString, "many">>;
+            types: z.ZodOptional<z.ZodArray<z.ZodString, "many">>;
+            typeRoots: z.ZodOptional<z.ZodArray<z.ZodString, "many">>;
+            jsx: z.ZodOptional<z.ZodString>;
+            strict: z.ZodOptional<z.ZodBoolean>;
+            esModuleInterop: z.ZodOptional<z.ZodBoolean>;
+            skipLibCheck: z.ZodOptional<z.ZodBoolean>;
+            declaration: z.ZodOptional<z.ZodBoolean>;
+            declarationMap: z.ZodOptional<z.ZodBoolean>;
+            paths: z.ZodOptional<z.ZodRecord<z.ZodString, z.ZodArray<z.ZodString, "many">>>;
+            baseUrl: z.ZodOptional<z.ZodString>;
+        }, z.ZodTypeAny, "passthrough">, z.objectInputType<{
+            module: z.ZodOptional<z.ZodString>;
+            moduleResolution: z.ZodOptional<z.ZodString>;
+            target: z.ZodOptional<z.ZodString>;
+            lib: z.ZodOptional<z.ZodArray<z.ZodString, "many">>;
+            types: z.ZodOptional<z.ZodArray<z.ZodString, "many">>;
+            typeRoots: z.ZodOptional<z.ZodArray<z.ZodString, "many">>;
+            jsx: z.ZodOptional<z.ZodString>;
+            strict: z.ZodOptional<z.ZodBoolean>;
+            esModuleInterop: z.ZodOptional<z.ZodBoolean>;
+            skipLibCheck: z.ZodOptional<z.ZodBoolean>;
+            declaration: z.ZodOptional<z.ZodBoolean>;
+            declarationMap: z.ZodOptional<z.ZodBoolean>;
+            paths: z.ZodOptional<z.ZodRecord<z.ZodString, z.ZodArray<z.ZodString, "many">>>;
+            baseUrl: z.ZodOptional<z.ZodString>;
+        }, z.ZodTypeAny, "passthrough">>;
+    }, "strip", z.ZodTypeAny, {
+        compilerOptions: {
+            module?: string | undefined;
+            moduleResolution?: string | undefined;
+            target?: string | undefined;
+            lib?: string[] | undefined;
+            types?: string[] | undefined;
+            typeRoots?: string[] | undefined;
+            jsx?: string | undefined;
+            strict?: boolean | undefined;
+            esModuleInterop?: boolean | undefined;
+            skipLibCheck?: boolean | undefined;
+            declaration?: boolean | undefined;
+            declarationMap?: boolean | undefined;
+            paths?: Record<string, string[]> | undefined;
+            baseUrl?: string | undefined;
+        } & {
+            [k: string]: unknown;
+        };
+    }, {
+        compilerOptions: {
+            module?: string | undefined;
+            moduleResolution?: string | undefined;
+            target?: string | undefined;
+            lib?: string[] | undefined;
+            types?: string[] | undefined;
+            typeRoots?: string[] | undefined;
+            jsx?: string | undefined;
+            strict?: boolean | undefined;
+            esModuleInterop?: boolean | undefined;
+            skipLibCheck?: boolean | undefined;
+            declaration?: boolean | undefined;
+            declarationMap?: boolean | undefined;
+            paths?: Record<string, string[]> | undefined;
+            baseUrl?: string | undefined;
+        } & {
+            [k: string]: unknown;
+        };
+    }>>;
+    pinned_dependencies: z.ZodOptional<z.ZodRecord<z.ZodString, z.ZodString>>;
+}, "strip", z.ZodTypeAny, {
+    request_id: string;
+    action: "init";
+    repo_root: string;
+    tsconfig_path?: string | undefined;
+    tsconfig_snapshot?: {
+        compilerOptions: {
+            module?: string | undefined;
+            moduleResolution?: string | undefined;
+            target?: string | undefined;
+            lib?: string[] | undefined;
+            types?: string[] | undefined;
+            typeRoots?: string[] | undefined;
+            jsx?: string | undefined;
+            strict?: boolean | undefined;
+            esModuleInterop?: boolean | undefined;
+            skipLibCheck?: boolean | undefined;
+            declaration?: boolean | undefined;
+            declarationMap?: boolean | undefined;
+            paths?: Record<string, string[]> | undefined;
+            baseUrl?: string | undefined;
+        } & {
+            [k: string]: unknown;
+        };
+    } | undefined;
+    pinned_dependencies?: Record<string, string> | undefined;
+}, {
+    request_id: string;
+    action: "init";
+    repo_root: string;
+    tsconfig_path?: string | undefined;
+    tsconfig_snapshot?: {
+        compilerOptions: {
+            module?: string | undefined;
+            moduleResolution?: string | undefined;
+            target?: string | undefined;
+            lib?: string[] | undefined;
+            types?: string[] | undefined;
+            typeRoots?: string[] | undefined;
+            jsx?: string | undefined;
+            strict?: boolean | undefined;
+            esModuleInterop?: boolean | undefined;
+            skipLibCheck?: boolean | undefined;
+            declaration?: boolean | undefined;
+            declarationMap?: boolean | undefined;
+            paths?: Record<string, string[]> | undefined;
+            baseUrl?: string | undefined;
+        } & {
+            [k: string]: unknown;
+        };
+    } | undefined;
+    pinned_dependencies?: Record<string, string> | undefined;
+}>;
+export declare const BundleRequestSchema: z.ZodObject<{
+    request_id: z.ZodString;
+} & {
+    action: z.ZodLiteral<"bundle">;
+    symbols: z.ZodArray<z.ZodObject<{
+        symbol_name: z.ZodString;
+        source_file: z.ZodString;
+        alias: z.ZodOptional<z.ZodString>;
+        array_depth: z.ZodOptional<z.ZodNumber>;
+    }, "strip", z.ZodTypeAny, {
+        source_file: string;
+        symbol_name: string;
+        alias?: string | undefined;
+        array_depth?: number | undefined;
+    }, {
+        source_file: string;
+        symbol_name: string;
+        alias?: string | undefined;
+        array_depth?: number | undefined;
+    }>, "many">;
+}, "strip", z.ZodTypeAny, {
+    request_id: string;
+    action: "bundle";
+    symbols: {
+        source_file: string;
+        symbol_name: string;
+        alias?: string | undefined;
+        array_depth?: number | undefined;
+    }[];
+}, {
+    request_id: string;
+    action: "bundle";
+    symbols: {
+        source_file: string;
+        symbol_name: string;
+        alias?: string | undefined;
+        array_depth?: number | undefined;
+    }[];
+}>;
+export declare const EmitSurfaceRequestSchema: z.ZodObject<{
+    request_id: z.ZodString;
+} & {
+    action: z.ZodLiteral<"emit_surface">;
+    repo_name: z.ZodString;
+    payloads: z.ZodArray<z.ZodObject<{
+        alias: z.ZodString;
+        type_string: z.ZodString;
+        source_file: z.ZodOptional<z.ZodString>;
+        source_location: z.ZodOptional<z.ZodObject<{
+            file_path: z.ZodString;
+            start_line: z.ZodNumber;
+            end_line: z.ZodNumber;
+            start_column: z.ZodOptional<z.ZodNumber>;
+            end_column: z.ZodOptional<z.ZodNumber>;
+        }, "strip", z.ZodTypeAny, {
+            file_path: string;
+            start_line: number;
+            end_line: number;
+            start_column?: number | undefined;
+            end_column?: number | undefined;
+        }, {
+            file_path: string;
+            start_line: number;
+            end_line: number;
+            start_column?: number | undefined;
+            end_column?: number | undefined;
+        }>>;
+    }, "strip", z.ZodTypeAny, {
+        alias: string;
+        type_string: string;
+        source_file?: string | undefined;
+        source_location?: {
+            file_path: string;
+            start_line: number;
+            end_line: number;
+            start_column?: number | undefined;
+            end_column?: number | undefined;
+        } | undefined;
+    }, {
+        alias: string;
+        type_string: string;
+        source_file?: string | undefined;
+        source_location?: {
+            file_path: string;
+            start_line: number;
+            end_line: number;
+            start_column?: number | undefined;
+            end_column?: number | undefined;
+        } | undefined;
+    }>, "many">;
+    output_path: z.ZodString;
+}, "strip", z.ZodTypeAny, {
+    request_id: string;
+    action: "emit_surface";
+    repo_name: string;
+    payloads: {
+        alias: string;
+        type_string: string;
+        source_file?: string | undefined;
+        source_location?: {
+            file_path: string;
+            start_line: number;
+            end_line: number;
+            start_column?: number | undefined;
+            end_column?: number | undefined;
+        } | undefined;
+    }[];
+    output_path: string;
+}, {
+    request_id: string;
+    action: "emit_surface";
+    repo_name: string;
+    payloads: {
+        alias: string;
+        type_string: string;
+        source_file?: string | undefined;
+        source_location?: {
+            file_path: string;
+            start_line: number;
+            end_line: number;
+            start_column?: number | undefined;
+            end_column?: number | undefined;
+        } | undefined;
+    }[];
+    output_path: string;
+}>;
+export declare const CaptureV2RequestSchema: z.ZodObject<{
+    request_id: z.ZodString;
+} & {
+    action: z.ZodLiteral<"capture_v2">;
+    repo_root: z.ZodString;
+    service_name: z.ZodString;
+    anchors: z.ZodArray<z.ZodDiscriminatedUnion<"kind", [z.ZodObject<{
+        kind: z.ZodLiteral<"symbol">;
+        alias: z.ZodString;
+        symbol_name: z.ZodString;
+        source_file: z.ZodString;
+        anchor_origin: z.ZodEnum<["llm-symbol", "deterministic-infer", "anchor-backfill"]>;
+        array_depth: z.ZodOptional<z.ZodNumber>;
+    }, "strip", z.ZodTypeAny, {
+        kind: "symbol";
+        alias: string;
+        source_file: string;
+        symbol_name: string;
+        anchor_origin: "llm-symbol" | "deterministic-infer" | "anchor-backfill";
+        array_depth?: number | undefined;
+    }, {
+        kind: "symbol";
+        alias: string;
+        source_file: string;
+        symbol_name: string;
+        anchor_origin: "llm-symbol" | "deterministic-infer" | "anchor-backfill";
+        array_depth?: number | undefined;
+    }>, z.ZodObject<{
+        kind: z.ZodLiteral<"handler_return">;
+        alias: z.ZodString;
+        symbol_name: z.ZodString;
+        source_file: z.ZodString;
+        anchor_origin: z.ZodEnum<["llm-symbol", "deterministic-infer", "anchor-backfill"]>;
+    }, "strip", z.ZodTypeAny, {
+        kind: "handler_return";
+        alias: string;
+        source_file: string;
+        symbol_name: string;
+        anchor_origin: "llm-symbol" | "deterministic-infer" | "anchor-backfill";
+    }, {
+        kind: "handler_return";
+        alias: string;
+        source_file: string;
+        symbol_name: string;
+        anchor_origin: "llm-symbol" | "deterministic-infer" | "anchor-backfill";
+    }>, z.ZodObject<{
+        kind: z.ZodLiteral<"infer">;
+        alias: z.ZodString;
+        source_file: z.ZodString;
+        anchor_origin: z.ZodEnum<["llm-symbol", "deterministic-infer", "anchor-backfill"]>;
+        span_start: z.ZodOptional<z.ZodNumber>;
+        span_end: z.ZodOptional<z.ZodNumber>;
+        line_number: z.ZodOptional<z.ZodNumber>;
+        expression_text: z.ZodOptional<z.ZodString>;
+        unwrap: z.ZodOptional<z.ZodEnum<["awaited", "none"]>>;
+    }, "strip", z.ZodTypeAny, {
+        kind: "infer";
+        alias: string;
+        source_file: string;
+        anchor_origin: "llm-symbol" | "deterministic-infer" | "anchor-backfill";
+        line_number?: number | undefined;
+        span_start?: number | undefined;
+        span_end?: number | undefined;
+        expression_text?: string | undefined;
+        unwrap?: "awaited" | "none" | undefined;
+    }, {
+        kind: "infer";
+        alias: string;
+        source_file: string;
+        anchor_origin: "llm-symbol" | "deterministic-infer" | "anchor-backfill";
+        line_number?: number | undefined;
+        span_start?: number | undefined;
+        span_end?: number | undefined;
+        expression_text?: string | undefined;
+        unwrap?: "awaited" | "none" | undefined;
+    }>, z.ZodObject<{
+        kind: z.ZodLiteral<"literal">;
+        alias: z.ZodString;
+        type_text: z.ZodString;
+        anchor_origin: z.ZodEnum<["llm-symbol", "deterministic-infer", "anchor-backfill"]>;
+    }, "strip", z.ZodTypeAny, {
+        kind: "literal";
+        alias: string;
+        anchor_origin: "llm-symbol" | "deterministic-infer" | "anchor-backfill";
+        type_text: string;
+    }, {
+        kind: "literal";
+        alias: string;
+        anchor_origin: "llm-symbol" | "deterministic-infer" | "anchor-backfill";
+        type_text: string;
+    }>]>, "many">;
+    out_dir: z.ZodString;
+    tsconfig_path: z.ZodOptional<z.ZodString>;
+}, "strip", z.ZodTypeAny, {
+    request_id: string;
+    action: "capture_v2";
+    repo_root: string;
+    service_name: string;
+    anchors: ({
+        kind: "symbol";
+        alias: string;
+        source_file: string;
+        symbol_name: string;
+        anchor_origin: "llm-symbol" | "deterministic-infer" | "anchor-backfill";
+        array_depth?: number | undefined;
+    } | {
+        kind: "handler_return";
+        alias: string;
+        source_file: string;
+        symbol_name: string;
+        anchor_origin: "llm-symbol" | "deterministic-infer" | "anchor-backfill";
+    } | {
+        kind: "infer";
+        alias: string;
+        source_file: string;
+        anchor_origin: "llm-symbol" | "deterministic-infer" | "anchor-backfill";
+        line_number?: number | undefined;
+        span_start?: number | undefined;
+        span_end?: number | undefined;
+        expression_text?: string | undefined;
+        unwrap?: "awaited" | "none" | undefined;
+    } | {
+        kind: "literal";
+        alias: string;
+        anchor_origin: "llm-symbol" | "deterministic-infer" | "anchor-backfill";
+        type_text: string;
+    })[];
+    out_dir: string;
+    tsconfig_path?: string | undefined;
+}, {
+    request_id: string;
+    action: "capture_v2";
+    repo_root: string;
+    service_name: string;
+    anchors: ({
+        kind: "symbol";
+        alias: string;
+        source_file: string;
+        symbol_name: string;
+        anchor_origin: "llm-symbol" | "deterministic-infer" | "anchor-backfill";
+        array_depth?: number | undefined;
+    } | {
+        kind: "handler_return";
+        alias: string;
+        source_file: string;
+        symbol_name: string;
+        anchor_origin: "llm-symbol" | "deterministic-infer" | "anchor-backfill";
+    } | {
+        kind: "infer";
+        alias: string;
+        source_file: string;
+        anchor_origin: "llm-symbol" | "deterministic-infer" | "anchor-backfill";
+        line_number?: number | undefined;
+        span_start?: number | undefined;
+        span_end?: number | undefined;
+        expression_text?: string | undefined;
+        unwrap?: "awaited" | "none" | undefined;
+    } | {
+        kind: "literal";
+        alias: string;
+        anchor_origin: "llm-symbol" | "deterministic-infer" | "anchor-backfill";
+        type_text: string;
+    })[];
+    out_dir: string;
+    tsconfig_path?: string | undefined;
+}>;
+export declare const CheckV2RequestSchema: z.ZodObject<{
+    request_id: z.ZodString;
+} & {
+    action: z.ZodLiteral<"check_v2">;
+    stubs: z.ZodArray<z.ZodObject<{
+        service_name: z.ZodString;
+        stub_dir: z.ZodString;
+    }, "strip", z.ZodTypeAny, {
+        service_name: string;
+        stub_dir: string;
+    }, {
+        service_name: string;
+        stub_dir: string;
+    }>, "many">;
+    pairs: z.ZodArray<z.ZodObject<{
+        pair_key: z.ZodString;
+        protocol: z.ZodEnum<["http", "graphql", "socket", "pubsub"]>;
+        type_kind: z.ZodEnum<["request", "response", "both"]>;
+        producer: z.ZodObject<{
+            service_name: z.ZodString;
+            alias: z.ZodString;
+        }, "strip", z.ZodTypeAny, {
+            alias: string;
+            service_name: string;
+        }, {
+            alias: string;
+            service_name: string;
+        }>;
+        consumer: z.ZodObject<{
+            service_name: z.ZodString;
+            alias: z.ZodString;
+        }, "strip", z.ZodTypeAny, {
+            alias: string;
+            service_name: string;
+        }, {
+            alias: string;
+            service_name: string;
+        }>;
+    }, "strip", z.ZodTypeAny, {
+        pair_key: string;
+        protocol: "http" | "graphql" | "socket" | "pubsub";
+        type_kind: "request" | "response" | "both";
+        producer: {
+            alias: string;
+            service_name: string;
+        };
+        consumer: {
+            alias: string;
+            service_name: string;
+        };
+    }, {
+        pair_key: string;
+        protocol: "http" | "graphql" | "socket" | "pubsub";
+        type_kind: "request" | "response" | "both";
+        producer: {
+            alias: string;
+            service_name: string;
+        };
+        consumer: {
+            alias: string;
+            service_name: string;
+        };
+    }>, "many">;
+    workspace_root: z.ZodOptional<z.ZodString>;
+    keep_workspace: z.ZodOptional<z.ZodBoolean>;
+}, "strip", z.ZodTypeAny, {
+    request_id: string;
+    action: "check_v2";
+    stubs: {
+        service_name: string;
+        stub_dir: string;
+    }[];
+    pairs: {
+        pair_key: string;
+        protocol: "http" | "graphql" | "socket" | "pubsub";
+        type_kind: "request" | "response" | "both";
+        producer: {
+            alias: string;
+            service_name: string;
+        };
+        consumer: {
+            alias: string;
+            service_name: string;
+        };
+    }[];
+    workspace_root?: string | undefined;
+    keep_workspace?: boolean | undefined;
+}, {
+    request_id: string;
+    action: "check_v2";
+    stubs: {
+        service_name: string;
+        stub_dir: string;
+    }[];
+    pairs: {
+        pair_key: string;
+        protocol: "http" | "graphql" | "socket" | "pubsub";
+        type_kind: "request" | "response" | "both";
+        producer: {
+            alias: string;
+            service_name: string;
+        };
+        consumer: {
+            alias: string;
+            service_name: string;
+        };
+    }[];
+    workspace_root?: string | undefined;
+    keep_workspace?: boolean | undefined;
+}>;
+export declare const InferRequestSchema: z.ZodObject<{
+    request_id: z.ZodString;
+} & {
+    action: z.ZodLiteral<"infer">;
+    requests: z.ZodArray<z.ZodObject<{
+        file_path: z.ZodString;
+        line_number: z.ZodNumber;
+        span_start: z.ZodOptional<z.ZodNumber>;
+        span_end: z.ZodOptional<z.ZodNumber>;
+        expression_text: z.ZodOptional<z.ZodString>;
+        expression_line: z.ZodOptional<z.ZodNumber>;
+        infer_kind: z.ZodEnum<["function_return", "expression", "call_result", "variable", "response_body", "request_body", "signature_return", "function_param", "receiver_type"]>;
+        alias: z.ZodOptional<z.ZodString>;
+        param_name: z.ZodOptional<z.ZodString>;
+    }, "strip", z.ZodTypeAny, {
+        file_path: string;
+        line_number: number;
+        infer_kind: "function_return" | "expression" | "call_result" | "variable" | "response_body" | "request_body" | "signature_return" | "function_param" | "receiver_type";
+        alias?: string | undefined;
+        span_start?: number | undefined;
+        span_end?: number | undefined;
+        expression_text?: string | undefined;
+        expression_line?: number | undefined;
+        param_name?: string | undefined;
+    }, {
+        file_path: string;
+        line_number: number;
+        infer_kind: "function_return" | "expression" | "call_result" | "variable" | "response_body" | "request_body" | "signature_return" | "function_param" | "receiver_type";
+        alias?: string | undefined;
+        span_start?: number | undefined;
+        span_end?: number | undefined;
+        expression_text?: string | undefined;
+        expression_line?: number | undefined;
+        param_name?: string | undefined;
+    }>, "many">;
+    extraction_config: z.ZodOptional<z.ZodObject<{
+        rules: z.ZodArray<z.ZodObject<{
+            wrapperSymbols: z.ZodOptional<z.ZodArray<z.ZodString, "many">>;
+            machineryIndicators: z.ZodOptional<z.ZodArray<z.ZodString, "many">>;
+            originModuleGlobs: z.ZodOptional<z.ZodArray<z.ZodString, "many">>;
+            payloadGenericIndex: z.ZodOptional<z.ZodNumber>;
+            payloadPropertyPath: z.ZodOptional<z.ZodArray<z.ZodString, "many">>;
+            unwrapRecursively: z.ZodOptional<z.ZodBoolean>;
+            maxDepth: z.ZodOptional<z.ZodNumber>;
+        }, "strip", z.ZodTypeAny, {
+            wrapperSymbols?: string[] | undefined;
+            machineryIndicators?: string[] | undefined;
+            originModuleGlobs?: string[] | undefined;
+            payloadGenericIndex?: number | undefined;
+            payloadPropertyPath?: string[] | undefined;
+            unwrapRecursively?: boolean | undefined;
+            maxDepth?: number | undefined;
+        }, {
+            wrapperSymbols?: string[] | undefined;
+            machineryIndicators?: string[] | undefined;
+            originModuleGlobs?: string[] | undefined;
+            payloadGenericIndex?: number | undefined;
+            payloadPropertyPath?: string[] | undefined;
+            unwrapRecursively?: boolean | undefined;
+            maxDepth?: number | undefined;
+        }>, "many">;
+    }, "strip", z.ZodTypeAny, {
+        rules: {
+            wrapperSymbols?: string[] | undefined;
+            machineryIndicators?: string[] | undefined;
+            originModuleGlobs?: string[] | undefined;
+            payloadGenericIndex?: number | undefined;
+            payloadPropertyPath?: string[] | undefined;
+            unwrapRecursively?: boolean | undefined;
+            maxDepth?: number | undefined;
+        }[];
+    }, {
+        rules: {
+            wrapperSymbols?: string[] | undefined;
+            machineryIndicators?: string[] | undefined;
+            originModuleGlobs?: string[] | undefined;
+            payloadGenericIndex?: number | undefined;
+            payloadPropertyPath?: string[] | undefined;
+            unwrapRecursively?: boolean | undefined;
+            maxDepth?: number | undefined;
+        }[];
+    }>>;
+}, "strip", z.ZodTypeAny, {
+    request_id: string;
+    action: "infer";
+    requests: {
+        file_path: string;
+        line_number: number;
+        infer_kind: "function_return" | "expression" | "call_result" | "variable" | "response_body" | "request_body" | "signature_return" | "function_param" | "receiver_type";
+        alias?: string | undefined;
+        span_start?: number | undefined;
+        span_end?: number | undefined;
+        expression_text?: string | undefined;
+        expression_line?: number | undefined;
+        param_name?: string | undefined;
+    }[];
+    extraction_config?: {
+        rules: {
+            wrapperSymbols?: string[] | undefined;
+            machineryIndicators?: string[] | undefined;
+            originModuleGlobs?: string[] | undefined;
+            payloadGenericIndex?: number | undefined;
+            payloadPropertyPath?: string[] | undefined;
+            unwrapRecursively?: boolean | undefined;
+            maxDepth?: number | undefined;
+        }[];
+    } | undefined;
+}, {
+    request_id: string;
+    action: "infer";
+    requests: {
+        file_path: string;
+        line_number: number;
+        infer_kind: "function_return" | "expression" | "call_result" | "variable" | "response_body" | "request_body" | "signature_return" | "function_param" | "receiver_type";
+        alias?: string | undefined;
+        span_start?: number | undefined;
+        span_end?: number | undefined;
+        expression_text?: string | undefined;
+        expression_line?: number | undefined;
+        param_name?: string | undefined;
+    }[];
+    extraction_config?: {
+        rules: {
+            wrapperSymbols?: string[] | undefined;
+            machineryIndicators?: string[] | undefined;
+            originModuleGlobs?: string[] | undefined;
+            payloadGenericIndex?: number | undefined;
+            payloadPropertyPath?: string[] | undefined;
+            unwrapRecursively?: boolean | undefined;
+            maxDepth?: number | undefined;
+        }[];
+    } | undefined;
+}>;
+export declare const BuildWorkspaceRequestSchema: z.ZodObject<{
+    request_id: z.ZodString;
+} & {
+    action: z.ZodLiteral<"build_workspace">;
+    repos: z.ZodArray<z.ZodObject<{
+        repoName: z.ZodString;
+        dependencies: z.ZodRecord<z.ZodString, z.ZodString>;
+        tsconfig: z.ZodObject<{
+            compilerOptions: z.ZodObject<{
+                module: z.ZodOptional<z.ZodString>;
+                moduleResolution: z.ZodOptional<z.ZodString>;
+                target: z.ZodOptional<z.ZodString>;
+                lib: z.ZodOptional<z.ZodArray<z.ZodString, "many">>;
+                types: z.ZodOptional<z.ZodArray<z.ZodString, "many">>;
+                typeRoots: z.ZodOptional<z.ZodArray<z.ZodString, "many">>;
+                jsx: z.ZodOptional<z.ZodString>;
+                strict: z.ZodOptional<z.ZodBoolean>;
+                esModuleInterop: z.ZodOptional<z.ZodBoolean>;
+                skipLibCheck: z.ZodOptional<z.ZodBoolean>;
+                declaration: z.ZodOptional<z.ZodBoolean>;
+                declarationMap: z.ZodOptional<z.ZodBoolean>;
+                paths: z.ZodOptional<z.ZodRecord<z.ZodString, z.ZodArray<z.ZodString, "many">>>;
+                baseUrl: z.ZodOptional<z.ZodString>;
+            }, "passthrough", z.ZodTypeAny, z.objectOutputType<{
+                module: z.ZodOptional<z.ZodString>;
+                moduleResolution: z.ZodOptional<z.ZodString>;
+                target: z.ZodOptional<z.ZodString>;
+                lib: z.ZodOptional<z.ZodArray<z.ZodString, "many">>;
+                types: z.ZodOptional<z.ZodArray<z.ZodString, "many">>;
+                typeRoots: z.ZodOptional<z.ZodArray<z.ZodString, "many">>;
+                jsx: z.ZodOptional<z.ZodString>;
+                strict: z.ZodOptional<z.ZodBoolean>;
+                esModuleInterop: z.ZodOptional<z.ZodBoolean>;
+                skipLibCheck: z.ZodOptional<z.ZodBoolean>;
+                declaration: z.ZodOptional<z.ZodBoolean>;
+                declarationMap: z.ZodOptional<z.ZodBoolean>;
+                paths: z.ZodOptional<z.ZodRecord<z.ZodString, z.ZodArray<z.ZodString, "many">>>;
+                baseUrl: z.ZodOptional<z.ZodString>;
+            }, z.ZodTypeAny, "passthrough">, z.objectInputType<{
+                module: z.ZodOptional<z.ZodString>;
+                moduleResolution: z.ZodOptional<z.ZodString>;
+                target: z.ZodOptional<z.ZodString>;
+                lib: z.ZodOptional<z.ZodArray<z.ZodString, "many">>;
+                types: z.ZodOptional<z.ZodArray<z.ZodString, "many">>;
+                typeRoots: z.ZodOptional<z.ZodArray<z.ZodString, "many">>;
+                jsx: z.ZodOptional<z.ZodString>;
+                strict: z.ZodOptional<z.ZodBoolean>;
+                esModuleInterop: z.ZodOptional<z.ZodBoolean>;
+                skipLibCheck: z.ZodOptional<z.ZodBoolean>;
+                declaration: z.ZodOptional<z.ZodBoolean>;
+                declarationMap: z.ZodOptional<z.ZodBoolean>;
+                paths: z.ZodOptional<z.ZodRecord<z.ZodString, z.ZodArray<z.ZodString, "many">>>;
+                baseUrl: z.ZodOptional<z.ZodString>;
+            }, z.ZodTypeAny, "passthrough">>;
+        }, "strip", z.ZodTypeAny, {
+            compilerOptions: {
+                module?: string | undefined;
+                moduleResolution?: string | undefined;
+                target?: string | undefined;
+                lib?: string[] | undefined;
+                types?: string[] | undefined;
+                typeRoots?: string[] | undefined;
+                jsx?: string | undefined;
+                strict?: boolean | undefined;
+                esModuleInterop?: boolean | undefined;
+                skipLibCheck?: boolean | undefined;
+                declaration?: boolean | undefined;
+                declarationMap?: boolean | undefined;
+                paths?: Record<string, string[]> | undefined;
+                baseUrl?: string | undefined;
+            } & {
+                [k: string]: unknown;
+            };
+        }, {
+            compilerOptions: {
+                module?: string | undefined;
+                moduleResolution?: string | undefined;
+                target?: string | undefined;
+                lib?: string[] | undefined;
+                types?: string[] | undefined;
+                typeRoots?: string[] | undefined;
+                jsx?: string | undefined;
+                strict?: boolean | undefined;
+                esModuleInterop?: boolean | undefined;
+                skipLibCheck?: boolean | undefined;
+                declaration?: boolean | undefined;
+                declarationMap?: boolean | undefined;
+                paths?: Record<string, string[]> | undefined;
+                baseUrl?: string | undefined;
+            } & {
+                [k: string]: unknown;
+            };
+        }>;
+        extractionConfig: z.ZodOptional<z.ZodObject<{
+            rules: z.ZodArray<z.ZodObject<{
+                wrapperSymbols: z.ZodOptional<z.ZodArray<z.ZodString, "many">>;
+                machineryIndicators: z.ZodOptional<z.ZodArray<z.ZodString, "many">>;
+                originModuleGlobs: z.ZodOptional<z.ZodArray<z.ZodString, "many">>;
+                payloadGenericIndex: z.ZodOptional<z.ZodNumber>;
+                payloadPropertyPath: z.ZodOptional<z.ZodArray<z.ZodString, "many">>;
+                unwrapRecursively: z.ZodOptional<z.ZodBoolean>;
+                maxDepth: z.ZodOptional<z.ZodNumber>;
+            }, "strip", z.ZodTypeAny, {
+                wrapperSymbols?: string[] | undefined;
+                machineryIndicators?: string[] | undefined;
+                originModuleGlobs?: string[] | undefined;
+                payloadGenericIndex?: number | undefined;
+                payloadPropertyPath?: string[] | undefined;
+                unwrapRecursively?: boolean | undefined;
+                maxDepth?: number | undefined;
+            }, {
+                wrapperSymbols?: string[] | undefined;
+                machineryIndicators?: string[] | undefined;
+                originModuleGlobs?: string[] | undefined;
+                payloadGenericIndex?: number | undefined;
+                payloadPropertyPath?: string[] | undefined;
+                unwrapRecursively?: boolean | undefined;
+                maxDepth?: number | undefined;
+            }>, "many">;
+        }, "strip", z.ZodTypeAny, {
+            rules: {
+                wrapperSymbols?: string[] | undefined;
+                machineryIndicators?: string[] | undefined;
+                originModuleGlobs?: string[] | undefined;
+                payloadGenericIndex?: number | undefined;
+                payloadPropertyPath?: string[] | undefined;
+                unwrapRecursively?: boolean | undefined;
+                maxDepth?: number | undefined;
+            }[];
+        }, {
+            rules: {
+                wrapperSymbols?: string[] | undefined;
+                machineryIndicators?: string[] | undefined;
+                originModuleGlobs?: string[] | undefined;
+                payloadGenericIndex?: number | undefined;
+                payloadPropertyPath?: string[] | undefined;
+                unwrapRecursively?: boolean | undefined;
+                maxDepth?: number | undefined;
+            }[];
+        }>>;
+        surfaceContent: z.ZodOptional<z.ZodString>;
+    }, "strip", z.ZodTypeAny, {
+        repoName: string;
+        dependencies: Record<string, string>;
+        tsconfig: {
+            compilerOptions: {
+                module?: string | undefined;
+                moduleResolution?: string | undefined;
+                target?: string | undefined;
+                lib?: string[] | undefined;
+                types?: string[] | undefined;
+                typeRoots?: string[] | undefined;
+                jsx?: string | undefined;
+                strict?: boolean | undefined;
+                esModuleInterop?: boolean | undefined;
+                skipLibCheck?: boolean | undefined;
+                declaration?: boolean | undefined;
+                declarationMap?: boolean | undefined;
+                paths?: Record<string, string[]> | undefined;
+                baseUrl?: string | undefined;
+            } & {
+                [k: string]: unknown;
+            };
+        };
+        extractionConfig?: {
+            rules: {
+                wrapperSymbols?: string[] | undefined;
+                machineryIndicators?: string[] | undefined;
+                originModuleGlobs?: string[] | undefined;
+                payloadGenericIndex?: number | undefined;
+                payloadPropertyPath?: string[] | undefined;
+                unwrapRecursively?: boolean | undefined;
+                maxDepth?: number | undefined;
+            }[];
+        } | undefined;
+        surfaceContent?: string | undefined;
+    }, {
+        repoName: string;
+        dependencies: Record<string, string>;
+        tsconfig: {
+            compilerOptions: {
+                module?: string | undefined;
+                moduleResolution?: string | undefined;
+                target?: string | undefined;
+                lib?: string[] | undefined;
+                types?: string[] | undefined;
+                typeRoots?: string[] | undefined;
+                jsx?: string | undefined;
+                strict?: boolean | undefined;
+                esModuleInterop?: boolean | undefined;
+                skipLibCheck?: boolean | undefined;
+                declaration?: boolean | undefined;
+                declarationMap?: boolean | undefined;
+                paths?: Record<string, string[]> | undefined;
+                baseUrl?: string | undefined;
+            } & {
+                [k: string]: unknown;
+            };
+        };
+        extractionConfig?: {
+            rules: {
+                wrapperSymbols?: string[] | undefined;
+                machineryIndicators?: string[] | undefined;
+                originModuleGlobs?: string[] | undefined;
+                payloadGenericIndex?: number | undefined;
+                payloadPropertyPath?: string[] | undefined;
+                unwrapRecursively?: boolean | undefined;
+                maxDepth?: number | undefined;
+            }[];
+        } | undefined;
+        surfaceContent?: string | undefined;
+    }>, "many">;
+    workspace_root: z.ZodOptional<z.ZodString>;
+}, "strip", z.ZodTypeAny, {
+    request_id: string;
+    action: "build_workspace";
+    repos: {
+        repoName: string;
+        dependencies: Record<string, string>;
+        tsconfig: {
+            compilerOptions: {
+                module?: string | undefined;
+                moduleResolution?: string | undefined;
+                target?: string | undefined;
+                lib?: string[] | undefined;
+                types?: string[] | undefined;
+                typeRoots?: string[] | undefined;
+                jsx?: string | undefined;
+                strict?: boolean | undefined;
+                esModuleInterop?: boolean | undefined;
+                skipLibCheck?: boolean | undefined;
+                declaration?: boolean | undefined;
+                declarationMap?: boolean | undefined;
+                paths?: Record<string, string[]> | undefined;
+                baseUrl?: string | undefined;
+            } & {
+                [k: string]: unknown;
+            };
+        };
+        extractionConfig?: {
+            rules: {
+                wrapperSymbols?: string[] | undefined;
+                machineryIndicators?: string[] | undefined;
+                originModuleGlobs?: string[] | undefined;
+                payloadGenericIndex?: number | undefined;
+                payloadPropertyPath?: string[] | undefined;
+                unwrapRecursively?: boolean | undefined;
+                maxDepth?: number | undefined;
+            }[];
+        } | undefined;
+        surfaceContent?: string | undefined;
+    }[];
+    workspace_root?: string | undefined;
+}, {
+    request_id: string;
+    action: "build_workspace";
+    repos: {
+        repoName: string;
+        dependencies: Record<string, string>;
+        tsconfig: {
+            compilerOptions: {
+                module?: string | undefined;
+                moduleResolution?: string | undefined;
+                target?: string | undefined;
+                lib?: string[] | undefined;
+                types?: string[] | undefined;
+                typeRoots?: string[] | undefined;
+                jsx?: string | undefined;
+                strict?: boolean | undefined;
+                esModuleInterop?: boolean | undefined;
+                skipLibCheck?: boolean | undefined;
+                declaration?: boolean | undefined;
+                declarationMap?: boolean | undefined;
+                paths?: Record<string, string[]> | undefined;
+                baseUrl?: string | undefined;
+            } & {
+                [k: string]: unknown;
+            };
+        };
+        extractionConfig?: {
+            rules: {
+                wrapperSymbols?: string[] | undefined;
+                machineryIndicators?: string[] | undefined;
+                originModuleGlobs?: string[] | undefined;
+                payloadGenericIndex?: number | undefined;
+                payloadPropertyPath?: string[] | undefined;
+                unwrapRecursively?: boolean | undefined;
+                maxDepth?: number | undefined;
+            }[];
+        } | undefined;
+        surfaceContent?: string | undefined;
+    }[];
+    workspace_root?: string | undefined;
+}>;
+export declare const CheckCompatibilityRequestSchema: z.ZodObject<{
+    request_id: z.ZodString;
+} & {
+    action: z.ZodLiteral<"check_compatibility">;
+    workspace_root: z.ZodString;
+    checks: z.ZodArray<z.ZodObject<{
+        source_repo: z.ZodString;
+        source_alias: z.ZodString;
+        target_repo: z.ZodString;
+        target_alias: z.ZodString;
+        direction: z.ZodEnum<["source_extends_target", "target_extends_source", "bidirectional"]>;
+    }, "strip", z.ZodTypeAny, {
+        source_repo: string;
+        source_alias: string;
+        target_repo: string;
+        target_alias: string;
+        direction: "source_extends_target" | "target_extends_source" | "bidirectional";
+    }, {
+        source_repo: string;
+        source_alias: string;
+        target_repo: string;
+        target_alias: string;
+        direction: "source_extends_target" | "target_extends_source" | "bidirectional";
+    }>, "many">;
+}, "strip", z.ZodTypeAny, {
+    request_id: string;
+    action: "check_compatibility";
+    workspace_root: string;
+    checks: {
+        source_repo: string;
+        source_alias: string;
+        target_repo: string;
+        target_alias: string;
+        direction: "source_extends_target" | "target_extends_source" | "bidirectional";
+    }[];
+}, {
+    request_id: string;
+    action: "check_compatibility";
+    workspace_root: string;
+    checks: {
+        source_repo: string;
+        source_alias: string;
+        target_repo: string;
+        target_alias: string;
+        direction: "source_extends_target" | "target_extends_source" | "bidirectional";
+    }[];
+}>;
+export declare const HealthRequestSchema: z.ZodObject<{
+    request_id: z.ZodString;
+} & {
+    action: z.ZodLiteral<"health">;
+}, "strip", z.ZodTypeAny, {
+    request_id: string;
+    action: "health";
+}, {
+    request_id: string;
+    action: "health";
+}>;
+export declare const ShutdownRequestSchema: z.ZodObject<{
+    request_id: z.ZodString;
+} & {
+    action: z.ZodLiteral<"shutdown">;
+}, "strip", z.ZodTypeAny, {
+    request_id: string;
+    action: "shutdown";
+}, {
+    request_id: string;
+    action: "shutdown";
+}>;
+export declare const ResolveDefinitionsRequestSchema: z.ZodObject<{
+    request_id: z.ZodString;
+} & {
+    action: z.ZodLiteral<"resolve_definitions">;
+    stub_dir: z.ZodString;
+    aliases: z.ZodArray<z.ZodString, "many">;
+}, "strip", z.ZodTypeAny, {
+    request_id: string;
+    action: "resolve_definitions";
+    stub_dir: string;
+    aliases: string[];
+}, {
+    request_id: string;
+    action: "resolve_definitions";
+    stub_dir: string;
+    aliases: string[];
+}>;
+/**
+ * The main sidecar request schema - a discriminated union on the 'action' field
+ */
+export declare const SidecarRequestSchema: z.ZodDiscriminatedUnion<"action", [z.ZodObject<{
+    request_id: z.ZodString;
+} & {
+    action: z.ZodLiteral<"init">;
+    repo_root: z.ZodString;
+    tsconfig_path: z.ZodOptional<z.ZodString>;
+    tsconfig_snapshot: z.ZodOptional<z.ZodObject<{
+        compilerOptions: z.ZodObject<{
+            module: z.ZodOptional<z.ZodString>;
+            moduleResolution: z.ZodOptional<z.ZodString>;
+            target: z.ZodOptional<z.ZodString>;
+            lib: z.ZodOptional<z.ZodArray<z.ZodString, "many">>;
+            types: z.ZodOptional<z.ZodArray<z.ZodString, "many">>;
+            typeRoots: z.ZodOptional<z.ZodArray<z.ZodString, "many">>;
+            jsx: z.ZodOptional<z.ZodString>;
+            strict: z.ZodOptional<z.ZodBoolean>;
+            esModuleInterop: z.ZodOptional<z.ZodBoolean>;
+            skipLibCheck: z.ZodOptional<z.ZodBoolean>;
+            declaration: z.ZodOptional<z.ZodBoolean>;
+            declarationMap: z.ZodOptional<z.ZodBoolean>;
+            paths: z.ZodOptional<z.ZodRecord<z.ZodString, z.ZodArray<z.ZodString, "many">>>;
+            baseUrl: z.ZodOptional<z.ZodString>;
+        }, "passthrough", z.ZodTypeAny, z.objectOutputType<{
+            module: z.ZodOptional<z.ZodString>;
+            moduleResolution: z.ZodOptional<z.ZodString>;
+            target: z.ZodOptional<z.ZodString>;
+            lib: z.ZodOptional<z.ZodArray<z.ZodString, "many">>;
+            types: z.ZodOptional<z.ZodArray<z.ZodString, "many">>;
+            typeRoots: z.ZodOptional<z.ZodArray<z.ZodString, "many">>;
+            jsx: z.ZodOptional<z.ZodString>;
+            strict: z.ZodOptional<z.ZodBoolean>;
+            esModuleInterop: z.ZodOptional<z.ZodBoolean>;
+            skipLibCheck: z.ZodOptional<z.ZodBoolean>;
+            declaration: z.ZodOptional<z.ZodBoolean>;
+            declarationMap: z.ZodOptional<z.ZodBoolean>;
+            paths: z.ZodOptional<z.ZodRecord<z.ZodString, z.ZodArray<z.ZodString, "many">>>;
+            baseUrl: z.ZodOptional<z.ZodString>;
+        }, z.ZodTypeAny, "passthrough">, z.objectInputType<{
+            module: z.ZodOptional<z.ZodString>;
+            moduleResolution: z.ZodOptional<z.ZodString>;
+            target: z.ZodOptional<z.ZodString>;
+            lib: z.ZodOptional<z.ZodArray<z.ZodString, "many">>;
+            types: z.ZodOptional<z.ZodArray<z.ZodString, "many">>;
+            typeRoots: z.ZodOptional<z.ZodArray<z.ZodString, "many">>;
+            jsx: z.ZodOptional<z.ZodString>;
+            strict: z.ZodOptional<z.ZodBoolean>;
+            esModuleInterop: z.ZodOptional<z.ZodBoolean>;
+            skipLibCheck: z.ZodOptional<z.ZodBoolean>;
+            declaration: z.ZodOptional<z.ZodBoolean>;
+            declarationMap: z.ZodOptional<z.ZodBoolean>;
+            paths: z.ZodOptional<z.ZodRecord<z.ZodString, z.ZodArray<z.ZodString, "many">>>;
+            baseUrl: z.ZodOptional<z.ZodString>;
+        }, z.ZodTypeAny, "passthrough">>;
+    }, "strip", z.ZodTypeAny, {
+        compilerOptions: {
+            module?: string | undefined;
+            moduleResolution?: string | undefined;
+            target?: string | undefined;
+            lib?: string[] | undefined;
+            types?: string[] | undefined;
+            typeRoots?: string[] | undefined;
+            jsx?: string | undefined;
+            strict?: boolean | undefined;
+            esModuleInterop?: boolean | undefined;
+            skipLibCheck?: boolean | undefined;
+            declaration?: boolean | undefined;
+            declarationMap?: boolean | undefined;
+            paths?: Record<string, string[]> | undefined;
+            baseUrl?: string | undefined;
+        } & {
+            [k: string]: unknown;
+        };
+    }, {
+        compilerOptions: {
+            module?: string | undefined;
+            moduleResolution?: string | undefined;
+            target?: string | undefined;
+            lib?: string[] | undefined;
+            types?: string[] | undefined;
+            typeRoots?: string[] | undefined;
+            jsx?: string | undefined;
+            strict?: boolean | undefined;
+            esModuleInterop?: boolean | undefined;
+            skipLibCheck?: boolean | undefined;
+            declaration?: boolean | undefined;
+            declarationMap?: boolean | undefined;
+            paths?: Record<string, string[]> | undefined;
+            baseUrl?: string | undefined;
+        } & {
+            [k: string]: unknown;
+        };
+    }>>;
+    pinned_dependencies: z.ZodOptional<z.ZodRecord<z.ZodString, z.ZodString>>;
+}, "strip", z.ZodTypeAny, {
+    request_id: string;
+    action: "init";
+    repo_root: string;
+    tsconfig_path?: string | undefined;
+    tsconfig_snapshot?: {
+        compilerOptions: {
+            module?: string | undefined;
+            moduleResolution?: string | undefined;
+            target?: string | undefined;
+            lib?: string[] | undefined;
+            types?: string[] | undefined;
+            typeRoots?: string[] | undefined;
+            jsx?: string | undefined;
+            strict?: boolean | undefined;
+            esModuleInterop?: boolean | undefined;
+            skipLibCheck?: boolean | undefined;
+            declaration?: boolean | undefined;
+            declarationMap?: boolean | undefined;
+            paths?: Record<string, string[]> | undefined;
+            baseUrl?: string | undefined;
+        } & {
+            [k: string]: unknown;
+        };
+    } | undefined;
+    pinned_dependencies?: Record<string, string> | undefined;
+}, {
+    request_id: string;
+    action: "init";
+    repo_root: string;
+    tsconfig_path?: string | undefined;
+    tsconfig_snapshot?: {
+        compilerOptions: {
+            module?: string | undefined;
+            moduleResolution?: string | undefined;
+            target?: string | undefined;
+            lib?: string[] | undefined;
+            types?: string[] | undefined;
+            typeRoots?: string[] | undefined;
+            jsx?: string | undefined;
+            strict?: boolean | undefined;
+            esModuleInterop?: boolean | undefined;
+            skipLibCheck?: boolean | undefined;
+            declaration?: boolean | undefined;
+            declarationMap?: boolean | undefined;
+            paths?: Record<string, string[]> | undefined;
+            baseUrl?: string | undefined;
+        } & {
+            [k: string]: unknown;
+        };
+    } | undefined;
+    pinned_dependencies?: Record<string, string> | undefined;
+}>, z.ZodObject<{
+    request_id: z.ZodString;
+} & {
+    action: z.ZodLiteral<"bundle">;
+    symbols: z.ZodArray<z.ZodObject<{
+        symbol_name: z.ZodString;
+        source_file: z.ZodString;
+        alias: z.ZodOptional<z.ZodString>;
+        array_depth: z.ZodOptional<z.ZodNumber>;
+    }, "strip", z.ZodTypeAny, {
+        source_file: string;
+        symbol_name: string;
+        alias?: string | undefined;
+        array_depth?: number | undefined;
+    }, {
+        source_file: string;
+        symbol_name: string;
+        alias?: string | undefined;
+        array_depth?: number | undefined;
+    }>, "many">;
+}, "strip", z.ZodTypeAny, {
+    request_id: string;
+    action: "bundle";
+    symbols: {
+        source_file: string;
+        symbol_name: string;
+        alias?: string | undefined;
+        array_depth?: number | undefined;
+    }[];
+}, {
+    request_id: string;
+    action: "bundle";
+    symbols: {
+        source_file: string;
+        symbol_name: string;
+        alias?: string | undefined;
+        array_depth?: number | undefined;
+    }[];
+}>, z.ZodObject<{
+    request_id: z.ZodString;
+} & {
+    action: z.ZodLiteral<"emit_surface">;
+    repo_name: z.ZodString;
+    payloads: z.ZodArray<z.ZodObject<{
+        alias: z.ZodString;
+        type_string: z.ZodString;
+        source_file: z.ZodOptional<z.ZodString>;
+        source_location: z.ZodOptional<z.ZodObject<{
+            file_path: z.ZodString;
+            start_line: z.ZodNumber;
+            end_line: z.ZodNumber;
+            start_column: z.ZodOptional<z.ZodNumber>;
+            end_column: z.ZodOptional<z.ZodNumber>;
+        }, "strip", z.ZodTypeAny, {
+            file_path: string;
+            start_line: number;
+            end_line: number;
+            start_column?: number | undefined;
+            end_column?: number | undefined;
+        }, {
+            file_path: string;
+            start_line: number;
+            end_line: number;
+            start_column?: number | undefined;
+            end_column?: number | undefined;
+        }>>;
+    }, "strip", z.ZodTypeAny, {
+        alias: string;
+        type_string: string;
+        source_file?: string | undefined;
+        source_location?: {
+            file_path: string;
+            start_line: number;
+            end_line: number;
+            start_column?: number | undefined;
+            end_column?: number | undefined;
+        } | undefined;
+    }, {
+        alias: string;
+        type_string: string;
+        source_file?: string | undefined;
+        source_location?: {
+            file_path: string;
+            start_line: number;
+            end_line: number;
+            start_column?: number | undefined;
+            end_column?: number | undefined;
+        } | undefined;
+    }>, "many">;
+    output_path: z.ZodString;
+}, "strip", z.ZodTypeAny, {
+    request_id: string;
+    action: "emit_surface";
+    repo_name: string;
+    payloads: {
+        alias: string;
+        type_string: string;
+        source_file?: string | undefined;
+        source_location?: {
+            file_path: string;
+            start_line: number;
+            end_line: number;
+            start_column?: number | undefined;
+            end_column?: number | undefined;
+        } | undefined;
+    }[];
+    output_path: string;
+}, {
+    request_id: string;
+    action: "emit_surface";
+    repo_name: string;
+    payloads: {
+        alias: string;
+        type_string: string;
+        source_file?: string | undefined;
+        source_location?: {
+            file_path: string;
+            start_line: number;
+            end_line: number;
+            start_column?: number | undefined;
+            end_column?: number | undefined;
+        } | undefined;
+    }[];
+    output_path: string;
+}>, z.ZodObject<{
+    request_id: z.ZodString;
+} & {
+    action: z.ZodLiteral<"capture_v2">;
+    repo_root: z.ZodString;
+    service_name: z.ZodString;
+    anchors: z.ZodArray<z.ZodDiscriminatedUnion<"kind", [z.ZodObject<{
+        kind: z.ZodLiteral<"symbol">;
+        alias: z.ZodString;
+        symbol_name: z.ZodString;
+        source_file: z.ZodString;
+        anchor_origin: z.ZodEnum<["llm-symbol", "deterministic-infer", "anchor-backfill"]>;
+        array_depth: z.ZodOptional<z.ZodNumber>;
+    }, "strip", z.ZodTypeAny, {
+        kind: "symbol";
+        alias: string;
+        source_file: string;
+        symbol_name: string;
+        anchor_origin: "llm-symbol" | "deterministic-infer" | "anchor-backfill";
+        array_depth?: number | undefined;
+    }, {
+        kind: "symbol";
+        alias: string;
+        source_file: string;
+        symbol_name: string;
+        anchor_origin: "llm-symbol" | "deterministic-infer" | "anchor-backfill";
+        array_depth?: number | undefined;
+    }>, z.ZodObject<{
+        kind: z.ZodLiteral<"handler_return">;
+        alias: z.ZodString;
+        symbol_name: z.ZodString;
+        source_file: z.ZodString;
+        anchor_origin: z.ZodEnum<["llm-symbol", "deterministic-infer", "anchor-backfill"]>;
+    }, "strip", z.ZodTypeAny, {
+        kind: "handler_return";
+        alias: string;
+        source_file: string;
+        symbol_name: string;
+        anchor_origin: "llm-symbol" | "deterministic-infer" | "anchor-backfill";
+    }, {
+        kind: "handler_return";
+        alias: string;
+        source_file: string;
+        symbol_name: string;
+        anchor_origin: "llm-symbol" | "deterministic-infer" | "anchor-backfill";
+    }>, z.ZodObject<{
+        kind: z.ZodLiteral<"infer">;
+        alias: z.ZodString;
+        source_file: z.ZodString;
+        anchor_origin: z.ZodEnum<["llm-symbol", "deterministic-infer", "anchor-backfill"]>;
+        span_start: z.ZodOptional<z.ZodNumber>;
+        span_end: z.ZodOptional<z.ZodNumber>;
+        line_number: z.ZodOptional<z.ZodNumber>;
+        expression_text: z.ZodOptional<z.ZodString>;
+        unwrap: z.ZodOptional<z.ZodEnum<["awaited", "none"]>>;
+    }, "strip", z.ZodTypeAny, {
+        kind: "infer";
+        alias: string;
+        source_file: string;
+        anchor_origin: "llm-symbol" | "deterministic-infer" | "anchor-backfill";
+        line_number?: number | undefined;
+        span_start?: number | undefined;
+        span_end?: number | undefined;
+        expression_text?: string | undefined;
+        unwrap?: "awaited" | "none" | undefined;
+    }, {
+        kind: "infer";
+        alias: string;
+        source_file: string;
+        anchor_origin: "llm-symbol" | "deterministic-infer" | "anchor-backfill";
+        line_number?: number | undefined;
+        span_start?: number | undefined;
+        span_end?: number | undefined;
+        expression_text?: string | undefined;
+        unwrap?: "awaited" | "none" | undefined;
+    }>, z.ZodObject<{
+        kind: z.ZodLiteral<"literal">;
+        alias: z.ZodString;
+        type_text: z.ZodString;
+        anchor_origin: z.ZodEnum<["llm-symbol", "deterministic-infer", "anchor-backfill"]>;
+    }, "strip", z.ZodTypeAny, {
+        kind: "literal";
+        alias: string;
+        anchor_origin: "llm-symbol" | "deterministic-infer" | "anchor-backfill";
+        type_text: string;
+    }, {
+        kind: "literal";
+        alias: string;
+        anchor_origin: "llm-symbol" | "deterministic-infer" | "anchor-backfill";
+        type_text: string;
+    }>]>, "many">;
+    out_dir: z.ZodString;
+    tsconfig_path: z.ZodOptional<z.ZodString>;
+}, "strip", z.ZodTypeAny, {
+    request_id: string;
+    action: "capture_v2";
+    repo_root: string;
+    service_name: string;
+    anchors: ({
+        kind: "symbol";
+        alias: string;
+        source_file: string;
+        symbol_name: string;
+        anchor_origin: "llm-symbol" | "deterministic-infer" | "anchor-backfill";
+        array_depth?: number | undefined;
+    } | {
+        kind: "handler_return";
+        alias: string;
+        source_file: string;
+        symbol_name: string;
+        anchor_origin: "llm-symbol" | "deterministic-infer" | "anchor-backfill";
+    } | {
+        kind: "infer";
+        alias: string;
+        source_file: string;
+        anchor_origin: "llm-symbol" | "deterministic-infer" | "anchor-backfill";
+        line_number?: number | undefined;
+        span_start?: number | undefined;
+        span_end?: number | undefined;
+        expression_text?: string | undefined;
+        unwrap?: "awaited" | "none" | undefined;
+    } | {
+        kind: "literal";
+        alias: string;
+        anchor_origin: "llm-symbol" | "deterministic-infer" | "anchor-backfill";
+        type_text: string;
+    })[];
+    out_dir: string;
+    tsconfig_path?: string | undefined;
+}, {
+    request_id: string;
+    action: "capture_v2";
+    repo_root: string;
+    service_name: string;
+    anchors: ({
+        kind: "symbol";
+        alias: string;
+        source_file: string;
+        symbol_name: string;
+        anchor_origin: "llm-symbol" | "deterministic-infer" | "anchor-backfill";
+        array_depth?: number | undefined;
+    } | {
+        kind: "handler_return";
+        alias: string;
+        source_file: string;
+        symbol_name: string;
+        anchor_origin: "llm-symbol" | "deterministic-infer" | "anchor-backfill";
+    } | {
+        kind: "infer";
+        alias: string;
+        source_file: string;
+        anchor_origin: "llm-symbol" | "deterministic-infer" | "anchor-backfill";
+        line_number?: number | undefined;
+        span_start?: number | undefined;
+        span_end?: number | undefined;
+        expression_text?: string | undefined;
+        unwrap?: "awaited" | "none" | undefined;
+    } | {
+        kind: "literal";
+        alias: string;
+        anchor_origin: "llm-symbol" | "deterministic-infer" | "anchor-backfill";
+        type_text: string;
+    })[];
+    out_dir: string;
+    tsconfig_path?: string | undefined;
+}>, z.ZodObject<{
+    request_id: z.ZodString;
+} & {
+    action: z.ZodLiteral<"check_v2">;
+    stubs: z.ZodArray<z.ZodObject<{
+        service_name: z.ZodString;
+        stub_dir: z.ZodString;
+    }, "strip", z.ZodTypeAny, {
+        service_name: string;
+        stub_dir: string;
+    }, {
+        service_name: string;
+        stub_dir: string;
+    }>, "many">;
+    pairs: z.ZodArray<z.ZodObject<{
+        pair_key: z.ZodString;
+        protocol: z.ZodEnum<["http", "graphql", "socket", "pubsub"]>;
+        type_kind: z.ZodEnum<["request", "response", "both"]>;
+        producer: z.ZodObject<{
+            service_name: z.ZodString;
+            alias: z.ZodString;
+        }, "strip", z.ZodTypeAny, {
+            alias: string;
+            service_name: string;
+        }, {
+            alias: string;
+            service_name: string;
+        }>;
+        consumer: z.ZodObject<{
+            service_name: z.ZodString;
+            alias: z.ZodString;
+        }, "strip", z.ZodTypeAny, {
+            alias: string;
+            service_name: string;
+        }, {
+            alias: string;
+            service_name: string;
+        }>;
+    }, "strip", z.ZodTypeAny, {
+        pair_key: string;
+        protocol: "http" | "graphql" | "socket" | "pubsub";
+        type_kind: "request" | "response" | "both";
+        producer: {
+            alias: string;
+            service_name: string;
+        };
+        consumer: {
+            alias: string;
+            service_name: string;
+        };
+    }, {
+        pair_key: string;
+        protocol: "http" | "graphql" | "socket" | "pubsub";
+        type_kind: "request" | "response" | "both";
+        producer: {
+            alias: string;
+            service_name: string;
+        };
+        consumer: {
+            alias: string;
+            service_name: string;
+        };
+    }>, "many">;
+    workspace_root: z.ZodOptional<z.ZodString>;
+    keep_workspace: z.ZodOptional<z.ZodBoolean>;
+}, "strip", z.ZodTypeAny, {
+    request_id: string;
+    action: "check_v2";
+    stubs: {
+        service_name: string;
+        stub_dir: string;
+    }[];
+    pairs: {
+        pair_key: string;
+        protocol: "http" | "graphql" | "socket" | "pubsub";
+        type_kind: "request" | "response" | "both";
+        producer: {
+            alias: string;
+            service_name: string;
+        };
+        consumer: {
+            alias: string;
+            service_name: string;
+        };
+    }[];
+    workspace_root?: string | undefined;
+    keep_workspace?: boolean | undefined;
+}, {
+    request_id: string;
+    action: "check_v2";
+    stubs: {
+        service_name: string;
+        stub_dir: string;
+    }[];
+    pairs: {
+        pair_key: string;
+        protocol: "http" | "graphql" | "socket" | "pubsub";
+        type_kind: "request" | "response" | "both";
+        producer: {
+            alias: string;
+            service_name: string;
+        };
+        consumer: {
+            alias: string;
+            service_name: string;
+        };
+    }[];
+    workspace_root?: string | undefined;
+    keep_workspace?: boolean | undefined;
+}>, z.ZodObject<{
+    request_id: z.ZodString;
+} & {
+    action: z.ZodLiteral<"infer">;
+    requests: z.ZodArray<z.ZodObject<{
+        file_path: z.ZodString;
+        line_number: z.ZodNumber;
+        span_start: z.ZodOptional<z.ZodNumber>;
+        span_end: z.ZodOptional<z.ZodNumber>;
+        expression_text: z.ZodOptional<z.ZodString>;
+        expression_line: z.ZodOptional<z.ZodNumber>;
+        infer_kind: z.ZodEnum<["function_return", "expression", "call_result", "variable", "response_body", "request_body", "signature_return", "function_param", "receiver_type"]>;
+        alias: z.ZodOptional<z.ZodString>;
+        param_name: z.ZodOptional<z.ZodString>;
+    }, "strip", z.ZodTypeAny, {
+        file_path: string;
+        line_number: number;
+        infer_kind: "function_return" | "expression" | "call_result" | "variable" | "response_body" | "request_body" | "signature_return" | "function_param" | "receiver_type";
+        alias?: string | undefined;
+        span_start?: number | undefined;
+        span_end?: number | undefined;
+        expression_text?: string | undefined;
+        expression_line?: number | undefined;
+        param_name?: string | undefined;
+    }, {
+        file_path: string;
+        line_number: number;
+        infer_kind: "function_return" | "expression" | "call_result" | "variable" | "response_body" | "request_body" | "signature_return" | "function_param" | "receiver_type";
+        alias?: string | undefined;
+        span_start?: number | undefined;
+        span_end?: number | undefined;
+        expression_text?: string | undefined;
+        expression_line?: number | undefined;
+        param_name?: string | undefined;
+    }>, "many">;
+    extraction_config: z.ZodOptional<z.ZodObject<{
+        rules: z.ZodArray<z.ZodObject<{
+            wrapperSymbols: z.ZodOptional<z.ZodArray<z.ZodString, "many">>;
+            machineryIndicators: z.ZodOptional<z.ZodArray<z.ZodString, "many">>;
+            originModuleGlobs: z.ZodOptional<z.ZodArray<z.ZodString, "many">>;
+            payloadGenericIndex: z.ZodOptional<z.ZodNumber>;
+            payloadPropertyPath: z.ZodOptional<z.ZodArray<z.ZodString, "many">>;
+            unwrapRecursively: z.ZodOptional<z.ZodBoolean>;
+            maxDepth: z.ZodOptional<z.ZodNumber>;
+        }, "strip", z.ZodTypeAny, {
+            wrapperSymbols?: string[] | undefined;
+            machineryIndicators?: string[] | undefined;
+            originModuleGlobs?: string[] | undefined;
+            payloadGenericIndex?: number | undefined;
+            payloadPropertyPath?: string[] | undefined;
+            unwrapRecursively?: boolean | undefined;
+            maxDepth?: number | undefined;
+        }, {
+            wrapperSymbols?: string[] | undefined;
+            machineryIndicators?: string[] | undefined;
+            originModuleGlobs?: string[] | undefined;
+            payloadGenericIndex?: number | undefined;
+            payloadPropertyPath?: string[] | undefined;
+            unwrapRecursively?: boolean | undefined;
+            maxDepth?: number | undefined;
+        }>, "many">;
+    }, "strip", z.ZodTypeAny, {
+        rules: {
+            wrapperSymbols?: string[] | undefined;
+            machineryIndicators?: string[] | undefined;
+            originModuleGlobs?: string[] | undefined;
+            payloadGenericIndex?: number | undefined;
+            payloadPropertyPath?: string[] | undefined;
+            unwrapRecursively?: boolean | undefined;
+            maxDepth?: number | undefined;
+        }[];
+    }, {
+        rules: {
+            wrapperSymbols?: string[] | undefined;
+            machineryIndicators?: string[] | undefined;
+            originModuleGlobs?: string[] | undefined;
+            payloadGenericIndex?: number | undefined;
+            payloadPropertyPath?: string[] | undefined;
+            unwrapRecursively?: boolean | undefined;
+            maxDepth?: number | undefined;
+        }[];
+    }>>;
+}, "strip", z.ZodTypeAny, {
+    request_id: string;
+    action: "infer";
+    requests: {
+        file_path: string;
+        line_number: number;
+        infer_kind: "function_return" | "expression" | "call_result" | "variable" | "response_body" | "request_body" | "signature_return" | "function_param" | "receiver_type";
+        alias?: string | undefined;
+        span_start?: number | undefined;
+        span_end?: number | undefined;
+        expression_text?: string | undefined;
+        expression_line?: number | undefined;
+        param_name?: string | undefined;
+    }[];
+    extraction_config?: {
+        rules: {
+            wrapperSymbols?: string[] | undefined;
+            machineryIndicators?: string[] | undefined;
+            originModuleGlobs?: string[] | undefined;
+            payloadGenericIndex?: number | undefined;
+            payloadPropertyPath?: string[] | undefined;
+            unwrapRecursively?: boolean | undefined;
+            maxDepth?: number | undefined;
+        }[];
+    } | undefined;
+}, {
+    request_id: string;
+    action: "infer";
+    requests: {
+        file_path: string;
+        line_number: number;
+        infer_kind: "function_return" | "expression" | "call_result" | "variable" | "response_body" | "request_body" | "signature_return" | "function_param" | "receiver_type";
+        alias?: string | undefined;
+        span_start?: number | undefined;
+        span_end?: number | undefined;
+        expression_text?: string | undefined;
+        expression_line?: number | undefined;
+        param_name?: string | undefined;
+    }[];
+    extraction_config?: {
+        rules: {
+            wrapperSymbols?: string[] | undefined;
+            machineryIndicators?: string[] | undefined;
+            originModuleGlobs?: string[] | undefined;
+            payloadGenericIndex?: number | undefined;
+            payloadPropertyPath?: string[] | undefined;
+            unwrapRecursively?: boolean | undefined;
+            maxDepth?: number | undefined;
+        }[];
+    } | undefined;
+}>, z.ZodObject<{
+    request_id: z.ZodString;
+} & {
+    action: z.ZodLiteral<"build_workspace">;
+    repos: z.ZodArray<z.ZodObject<{
+        repoName: z.ZodString;
+        dependencies: z.ZodRecord<z.ZodString, z.ZodString>;
+        tsconfig: z.ZodObject<{
+            compilerOptions: z.ZodObject<{
+                module: z.ZodOptional<z.ZodString>;
+                moduleResolution: z.ZodOptional<z.ZodString>;
+                target: z.ZodOptional<z.ZodString>;
+                lib: z.ZodOptional<z.ZodArray<z.ZodString, "many">>;
+                types: z.ZodOptional<z.ZodArray<z.ZodString, "many">>;
+                typeRoots: z.ZodOptional<z.ZodArray<z.ZodString, "many">>;
+                jsx: z.ZodOptional<z.ZodString>;
+                strict: z.ZodOptional<z.ZodBoolean>;
+                esModuleInterop: z.ZodOptional<z.ZodBoolean>;
+                skipLibCheck: z.ZodOptional<z.ZodBoolean>;
+                declaration: z.ZodOptional<z.ZodBoolean>;
+                declarationMap: z.ZodOptional<z.ZodBoolean>;
+                paths: z.ZodOptional<z.ZodRecord<z.ZodString, z.ZodArray<z.ZodString, "many">>>;
+                baseUrl: z.ZodOptional<z.ZodString>;
+            }, "passthrough", z.ZodTypeAny, z.objectOutputType<{
+                module: z.ZodOptional<z.ZodString>;
+                moduleResolution: z.ZodOptional<z.ZodString>;
+                target: z.ZodOptional<z.ZodString>;
+                lib: z.ZodOptional<z.ZodArray<z.ZodString, "many">>;
+                types: z.ZodOptional<z.ZodArray<z.ZodString, "many">>;
+                typeRoots: z.ZodOptional<z.ZodArray<z.ZodString, "many">>;
+                jsx: z.ZodOptional<z.ZodString>;
+                strict: z.ZodOptional<z.ZodBoolean>;
+                esModuleInterop: z.ZodOptional<z.ZodBoolean>;
+                skipLibCheck: z.ZodOptional<z.ZodBoolean>;
+                declaration: z.ZodOptional<z.ZodBoolean>;
+                declarationMap: z.ZodOptional<z.ZodBoolean>;
+                paths: z.ZodOptional<z.ZodRecord<z.ZodString, z.ZodArray<z.ZodString, "many">>>;
+                baseUrl: z.ZodOptional<z.ZodString>;
+            }, z.ZodTypeAny, "passthrough">, z.objectInputType<{
+                module: z.ZodOptional<z.ZodString>;
+                moduleResolution: z.ZodOptional<z.ZodString>;
+                target: z.ZodOptional<z.ZodString>;
+                lib: z.ZodOptional<z.ZodArray<z.ZodString, "many">>;
+                types: z.ZodOptional<z.ZodArray<z.ZodString, "many">>;
+                typeRoots: z.ZodOptional<z.ZodArray<z.ZodString, "many">>;
+                jsx: z.ZodOptional<z.ZodString>;
+                strict: z.ZodOptional<z.ZodBoolean>;
+                esModuleInterop: z.ZodOptional<z.ZodBoolean>;
+                skipLibCheck: z.ZodOptional<z.ZodBoolean>;
+                declaration: z.ZodOptional<z.ZodBoolean>;
+                declarationMap: z.ZodOptional<z.ZodBoolean>;
+                paths: z.ZodOptional<z.ZodRecord<z.ZodString, z.ZodArray<z.ZodString, "many">>>;
+                baseUrl: z.ZodOptional<z.ZodString>;
+            }, z.ZodTypeAny, "passthrough">>;
+        }, "strip", z.ZodTypeAny, {
+            compilerOptions: {
+                module?: string | undefined;
+                moduleResolution?: string | undefined;
+                target?: string | undefined;
+                lib?: string[] | undefined;
+                types?: string[] | undefined;
+                typeRoots?: string[] | undefined;
+                jsx?: string | undefined;
+                strict?: boolean | undefined;
+                esModuleInterop?: boolean | undefined;
+                skipLibCheck?: boolean | undefined;
+                declaration?: boolean | undefined;
+                declarationMap?: boolean | undefined;
+                paths?: Record<string, string[]> | undefined;
+                baseUrl?: string | undefined;
+            } & {
+                [k: string]: unknown;
+            };
+        }, {
+            compilerOptions: {
+                module?: string | undefined;
+                moduleResolution?: string | undefined;
+                target?: string | undefined;
+                lib?: string[] | undefined;
+                types?: string[] | undefined;
+                typeRoots?: string[] | undefined;
+                jsx?: string | undefined;
+                strict?: boolean | undefined;
+                esModuleInterop?: boolean | undefined;
+                skipLibCheck?: boolean | undefined;
+                declaration?: boolean | undefined;
+                declarationMap?: boolean | undefined;
+                paths?: Record<string, string[]> | undefined;
+                baseUrl?: string | undefined;
+            } & {
+                [k: string]: unknown;
+            };
+        }>;
+        extractionConfig: z.ZodOptional<z.ZodObject<{
+            rules: z.ZodArray<z.ZodObject<{
+                wrapperSymbols: z.ZodOptional<z.ZodArray<z.ZodString, "many">>;
+                machineryIndicators: z.ZodOptional<z.ZodArray<z.ZodString, "many">>;
+                originModuleGlobs: z.ZodOptional<z.ZodArray<z.ZodString, "many">>;
+                payloadGenericIndex: z.ZodOptional<z.ZodNumber>;
+                payloadPropertyPath: z.ZodOptional<z.ZodArray<z.ZodString, "many">>;
+                unwrapRecursively: z.ZodOptional<z.ZodBoolean>;
+                maxDepth: z.ZodOptional<z.ZodNumber>;
+            }, "strip", z.ZodTypeAny, {
+                wrapperSymbols?: string[] | undefined;
+                machineryIndicators?: string[] | undefined;
+                originModuleGlobs?: string[] | undefined;
+                payloadGenericIndex?: number | undefined;
+                payloadPropertyPath?: string[] | undefined;
+                unwrapRecursively?: boolean | undefined;
+                maxDepth?: number | undefined;
+            }, {
+                wrapperSymbols?: string[] | undefined;
+                machineryIndicators?: string[] | undefined;
+                originModuleGlobs?: string[] | undefined;
+                payloadGenericIndex?: number | undefined;
+                payloadPropertyPath?: string[] | undefined;
+                unwrapRecursively?: boolean | undefined;
+                maxDepth?: number | undefined;
+            }>, "many">;
+        }, "strip", z.ZodTypeAny, {
+            rules: {
+                wrapperSymbols?: string[] | undefined;
+                machineryIndicators?: string[] | undefined;
+                originModuleGlobs?: string[] | undefined;
+                payloadGenericIndex?: number | undefined;
+                payloadPropertyPath?: string[] | undefined;
+                unwrapRecursively?: boolean | undefined;
+                maxDepth?: number | undefined;
+            }[];
+        }, {
+            rules: {
+                wrapperSymbols?: string[] | undefined;
+                machineryIndicators?: string[] | undefined;
+                originModuleGlobs?: string[] | undefined;
+                payloadGenericIndex?: number | undefined;
+                payloadPropertyPath?: string[] | undefined;
+                unwrapRecursively?: boolean | undefined;
+                maxDepth?: number | undefined;
+            }[];
+        }>>;
+        surfaceContent: z.ZodOptional<z.ZodString>;
+    }, "strip", z.ZodTypeAny, {
+        repoName: string;
+        dependencies: Record<string, string>;
+        tsconfig: {
+            compilerOptions: {
+                module?: string | undefined;
+                moduleResolution?: string | undefined;
+                target?: string | undefined;
+                lib?: string[] | undefined;
+                types?: string[] | undefined;
+                typeRoots?: string[] | undefined;
+                jsx?: string | undefined;
+                strict?: boolean | undefined;
+                esModuleInterop?: boolean | undefined;
+                skipLibCheck?: boolean | undefined;
+                declaration?: boolean | undefined;
+                declarationMap?: boolean | undefined;
+                paths?: Record<string, string[]> | undefined;
+                baseUrl?: string | undefined;
+            } & {
+                [k: string]: unknown;
+            };
+        };
+        extractionConfig?: {
+            rules: {
+                wrapperSymbols?: string[] | undefined;
+                machineryIndicators?: string[] | undefined;
+                originModuleGlobs?: string[] | undefined;
+                payloadGenericIndex?: number | undefined;
+                payloadPropertyPath?: string[] | undefined;
+                unwrapRecursively?: boolean | undefined;
+                maxDepth?: number | undefined;
+            }[];
+        } | undefined;
+        surfaceContent?: string | undefined;
+    }, {
+        repoName: string;
+        dependencies: Record<string, string>;
+        tsconfig: {
+            compilerOptions: {
+                module?: string | undefined;
+                moduleResolution?: string | undefined;
+                target?: string | undefined;
+                lib?: string[] | undefined;
+                types?: string[] | undefined;
+                typeRoots?: string[] | undefined;
+                jsx?: string | undefined;
+                strict?: boolean | undefined;
+                esModuleInterop?: boolean | undefined;
+                skipLibCheck?: boolean | undefined;
+                declaration?: boolean | undefined;
+                declarationMap?: boolean | undefined;
+                paths?: Record<string, string[]> | undefined;
+                baseUrl?: string | undefined;
+            } & {
+                [k: string]: unknown;
+            };
+        };
+        extractionConfig?: {
+            rules: {
+                wrapperSymbols?: string[] | undefined;
+                machineryIndicators?: string[] | undefined;
+                originModuleGlobs?: string[] | undefined;
+                payloadGenericIndex?: number | undefined;
+                payloadPropertyPath?: string[] | undefined;
+                unwrapRecursively?: boolean | undefined;
+                maxDepth?: number | undefined;
+            }[];
+        } | undefined;
+        surfaceContent?: string | undefined;
+    }>, "many">;
+    workspace_root: z.ZodOptional<z.ZodString>;
+}, "strip", z.ZodTypeAny, {
+    request_id: string;
+    action: "build_workspace";
+    repos: {
+        repoName: string;
+        dependencies: Record<string, string>;
+        tsconfig: {
+            compilerOptions: {
+                module?: string | undefined;
+                moduleResolution?: string | undefined;
+                target?: string | undefined;
+                lib?: string[] | undefined;
+                types?: string[] | undefined;
+                typeRoots?: string[] | undefined;
+                jsx?: string | undefined;
+                strict?: boolean | undefined;
+                esModuleInterop?: boolean | undefined;
+                skipLibCheck?: boolean | undefined;
+                declaration?: boolean | undefined;
+                declarationMap?: boolean | undefined;
+                paths?: Record<string, string[]> | undefined;
+                baseUrl?: string | undefined;
+            } & {
+                [k: string]: unknown;
+            };
+        };
+        extractionConfig?: {
+            rules: {
+                wrapperSymbols?: string[] | undefined;
+                machineryIndicators?: string[] | undefined;
+                originModuleGlobs?: string[] | undefined;
+                payloadGenericIndex?: number | undefined;
+                payloadPropertyPath?: string[] | undefined;
+                unwrapRecursively?: boolean | undefined;
+                maxDepth?: number | undefined;
+            }[];
+        } | undefined;
+        surfaceContent?: string | undefined;
+    }[];
+    workspace_root?: string | undefined;
+}, {
+    request_id: string;
+    action: "build_workspace";
+    repos: {
+        repoName: string;
+        dependencies: Record<string, string>;
+        tsconfig: {
+            compilerOptions: {
+                module?: string | undefined;
+                moduleResolution?: string | undefined;
+                target?: string | undefined;
+                lib?: string[] | undefined;
+                types?: string[] | undefined;
+                typeRoots?: string[] | undefined;
+                jsx?: string | undefined;
+                strict?: boolean | undefined;
+                esModuleInterop?: boolean | undefined;
+                skipLibCheck?: boolean | undefined;
+                declaration?: boolean | undefined;
+                declarationMap?: boolean | undefined;
+                paths?: Record<string, string[]> | undefined;
+                baseUrl?: string | undefined;
+            } & {
+                [k: string]: unknown;
+            };
+        };
+        extractionConfig?: {
+            rules: {
+                wrapperSymbols?: string[] | undefined;
+                machineryIndicators?: string[] | undefined;
+                originModuleGlobs?: string[] | undefined;
+                payloadGenericIndex?: number | undefined;
+                payloadPropertyPath?: string[] | undefined;
+                unwrapRecursively?: boolean | undefined;
+                maxDepth?: number | undefined;
+            }[];
+        } | undefined;
+        surfaceContent?: string | undefined;
+    }[];
+    workspace_root?: string | undefined;
+}>, z.ZodObject<{
+    request_id: z.ZodString;
+} & {
+    action: z.ZodLiteral<"check_compatibility">;
+    workspace_root: z.ZodString;
+    checks: z.ZodArray<z.ZodObject<{
+        source_repo: z.ZodString;
+        source_alias: z.ZodString;
+        target_repo: z.ZodString;
+        target_alias: z.ZodString;
+        direction: z.ZodEnum<["source_extends_target", "target_extends_source", "bidirectional"]>;
+    }, "strip", z.ZodTypeAny, {
+        source_repo: string;
+        source_alias: string;
+        target_repo: string;
+        target_alias: string;
+        direction: "source_extends_target" | "target_extends_source" | "bidirectional";
+    }, {
+        source_repo: string;
+        source_alias: string;
+        target_repo: string;
+        target_alias: string;
+        direction: "source_extends_target" | "target_extends_source" | "bidirectional";
+    }>, "many">;
+}, "strip", z.ZodTypeAny, {
+    request_id: string;
+    action: "check_compatibility";
+    workspace_root: string;
+    checks: {
+        source_repo: string;
+        source_alias: string;
+        target_repo: string;
+        target_alias: string;
+        direction: "source_extends_target" | "target_extends_source" | "bidirectional";
+    }[];
+}, {
+    request_id: string;
+    action: "check_compatibility";
+    workspace_root: string;
+    checks: {
+        source_repo: string;
+        source_alias: string;
+        target_repo: string;
+        target_alias: string;
+        direction: "source_extends_target" | "target_extends_source" | "bidirectional";
+    }[];
+}>, z.ZodObject<{
+    request_id: z.ZodString;
+} & {
+    action: z.ZodLiteral<"resolve_definitions">;
+    stub_dir: z.ZodString;
+    aliases: z.ZodArray<z.ZodString, "many">;
+}, "strip", z.ZodTypeAny, {
+    request_id: string;
+    action: "resolve_definitions";
+    stub_dir: string;
+    aliases: string[];
+}, {
+    request_id: string;
+    action: "resolve_definitions";
+    stub_dir: string;
+    aliases: string[];
+}>, z.ZodObject<{
+    request_id: z.ZodString;
+} & {
+    action: z.ZodLiteral<"health">;
+}, "strip", z.ZodTypeAny, {
+    request_id: string;
+    action: "health";
+}, {
+    request_id: string;
+    action: "health";
+}>, z.ZodObject<{
+    request_id: z.ZodString;
+} & {
+    action: z.ZodLiteral<"shutdown">;
+}, "strip", z.ZodTypeAny, {
+    request_id: string;
+    action: "shutdown";
+}, {
+    request_id: string;
+    action: "shutdown";
+}>]>;
+/**
+ * Result type for parseRequest
+ */
+export type ParseResult = {
+    success: true;
+    request: SidecarRequest;
+} | {
+    success: false;
+    error: string;
+};
+/**
+ * Validates and parses incoming JSON into a typed SidecarRequest
+ *
+ * @param json - The raw JSON value to parse
+ * @returns ParseResult with either the typed request or an error message
+ */
+export declare function parseRequest(json: unknown): ParseResult;
+/**
+ * Validates and parses incoming JSON, throwing on error
+ *
+ * @param json - The raw JSON value to parse
+ * @returns The typed SidecarRequest
+ * @throws Error if validation fails
+ */
+export declare function parseRequestOrThrow(json: unknown): SidecarRequest;
+export type ValidatedInitRequest = z.infer<typeof InitRequestSchema>;
+export type ValidatedBundleRequest = z.infer<typeof BundleRequestSchema>;
+export type ValidatedEmitSurfaceRequest = z.infer<typeof EmitSurfaceRequestSchema>;
+export type ValidatedInferRequest = z.infer<typeof InferRequestSchema>;
+export type ValidatedBuildWorkspaceRequest = z.infer<typeof BuildWorkspaceRequestSchema>;
+export type ValidatedCheckCompatibilityRequest = z.infer<typeof CheckCompatibilityRequestSchema>;
+export type ValidatedHealthRequest = z.infer<typeof HealthRequestSchema>;
+export type ValidatedShutdownRequest = z.infer<typeof ShutdownRequestSchema>;
+export type ValidatedSidecarRequest = z.infer<typeof SidecarRequestSchema>;