carrick 0.3.107 → 0.3.109

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

@@ -35,22 +35,22 @@ export declare const InferRequestItemSchema: z.ZodObject<{
     file_path: string;
     line_number: number;
     infer_kind: "function_return" | "expression" | "call_result" | "variable" | "response_body" | "request_body" | "signature_return" | "function_param" | "receiver_type";
+    param_name?: string | undefined;
     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";
+    param_name?: string | undefined;
     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.
@@ -266,16 +266,16 @@ export declare const CaptureV2RequestSchema: z.ZodObject<{
         array_depth: z.ZodOptional<z.ZodNumber>;
     }, "strip", z.ZodTypeAny, {
         kind: "symbol";
+        alias: string;
         symbol_name: string;
         source_file: string;
-        alias: string;
         anchor_origin: "llm-symbol" | "deterministic-infer" | "anchor-backfill" | "manifest-placeholder";
         array_depth?: number | undefined;
     }, {
         kind: "symbol";
+        alias: string;
         symbol_name: string;
         source_file: string;
-        alias: string;
         anchor_origin: "llm-symbol" | "deterministic-infer" | "anchor-backfill" | "manifest-placeholder";
         array_depth?: number | undefined;
     }>, z.ZodObject<{
@@ -286,15 +286,15 @@ export declare const CaptureV2RequestSchema: z.ZodObject<{
         anchor_origin: z.ZodEnum<["llm-symbol", "deterministic-infer", "anchor-backfill", "manifest-placeholder"]>;
     }, "strip", z.ZodTypeAny, {
         kind: "handler_return";
+        alias: string;
         symbol_name: string;
         source_file: string;
-        alias: string;
         anchor_origin: "llm-symbol" | "deterministic-infer" | "anchor-backfill" | "manifest-placeholder";
     }, {
         kind: "handler_return";
+        alias: string;
         symbol_name: string;
         source_file: string;
-        alias: string;
         anchor_origin: "llm-symbol" | "deterministic-infer" | "anchor-backfill" | "manifest-placeholder";
     }>, z.ZodObject<{
         kind: z.ZodLiteral<"infer">;
@@ -305,12 +305,14 @@ export declare const CaptureV2RequestSchema: z.ZodObject<{
         span_end: z.ZodOptional<z.ZodNumber>;
         line_number: z.ZodOptional<z.ZodNumber>;
         expression_text: z.ZodOptional<z.ZodString>;
+        param_name: z.ZodOptional<z.ZodString>;
         unwrap: z.ZodOptional<z.ZodEnum<["awaited", "none"]>>;
     }, "strip", z.ZodTypeAny, {
         kind: "infer";
-        source_file: string;
         alias: string;
+        source_file: string;
         anchor_origin: "llm-symbol" | "deterministic-infer" | "anchor-backfill" | "manifest-placeholder";
+        param_name?: string | undefined;
         line_number?: number | undefined;
         span_start?: number | undefined;
         span_end?: number | undefined;
@@ -318,9 +320,10 @@ export declare const CaptureV2RequestSchema: z.ZodObject<{
         unwrap?: "awaited" | "none" | undefined;
     }, {
         kind: "infer";
-        source_file: string;
         alias: string;
+        source_file: string;
         anchor_origin: "llm-symbol" | "deterministic-infer" | "anchor-backfill" | "manifest-placeholder";
+        param_name?: string | undefined;
         line_number?: number | undefined;
         span_start?: number | undefined;
         span_end?: number | undefined;
@@ -351,52 +354,49 @@ export declare const CaptureV2RequestSchema: z.ZodObject<{
         alias: string;
         anchor_origin: "llm-symbol" | "deterministic-infer" | "anchor-backfill" | "manifest-placeholder";
         type_text: string;
+        raw_text_read?: true | undefined;
         source_file?: string | undefined;
         printed_names?: {
             name: string;
             file: string;
             export_path: string[];
         }[] | undefined;
-        raw_text_read?: true | undefined;
     }, {
         kind: "literal";
         alias: string;
         anchor_origin: "llm-symbol" | "deterministic-infer" | "anchor-backfill" | "manifest-placeholder";
         type_text: string;
+        raw_text_read?: true | undefined;
         source_file?: string | undefined;
         printed_names?: {
             name: string;
             file: string;
             export_path: string[];
         }[] | undefined;
-        raw_text_read?: true | undefined;
     }>]>, "many">;
     out_dir: z.ZodString;
     tsconfig_path: z.ZodOptional<z.ZodString>;
     scan_root: z.ZodOptional<z.ZodString>;
 }, "strip", z.ZodTypeAny, {
-    request_id: string;
-    action: "capture_v2";
-    repo_root: string;
-    service_name: string;
     anchors: ({
         kind: "symbol";
+        alias: string;
         symbol_name: string;
         source_file: string;
-        alias: string;
         anchor_origin: "llm-symbol" | "deterministic-infer" | "anchor-backfill" | "manifest-placeholder";
         array_depth?: number | undefined;
     } | {
         kind: "handler_return";
+        alias: string;
         symbol_name: string;
         source_file: string;
-        alias: string;
         anchor_origin: "llm-symbol" | "deterministic-infer" | "anchor-backfill" | "manifest-placeholder";
     } | {
         kind: "infer";
-        source_file: string;
         alias: string;
+        source_file: string;
         anchor_origin: "llm-symbol" | "deterministic-infer" | "anchor-backfill" | "manifest-placeholder";
+        param_name?: string | undefined;
         line_number?: number | undefined;
         span_start?: number | undefined;
         span_end?: number | undefined;
@@ -407,40 +407,41 @@ export declare const CaptureV2RequestSchema: z.ZodObject<{
         alias: string;
         anchor_origin: "llm-symbol" | "deterministic-infer" | "anchor-backfill" | "manifest-placeholder";
         type_text: string;
+        raw_text_read?: true | undefined;
         source_file?: string | undefined;
         printed_names?: {
             name: string;
             file: string;
             export_path: string[];
         }[] | undefined;
-        raw_text_read?: true | undefined;
     })[];
-    out_dir: string;
-    tsconfig_path?: string | undefined;
-    scan_root?: string | undefined;
-}, {
     request_id: string;
     action: "capture_v2";
     repo_root: string;
     service_name: string;
+    out_dir: string;
+    tsconfig_path?: string | undefined;
+    scan_root?: string | undefined;
+}, {
     anchors: ({
         kind: "symbol";
+        alias: string;
         symbol_name: string;
         source_file: string;
-        alias: string;
         anchor_origin: "llm-symbol" | "deterministic-infer" | "anchor-backfill" | "manifest-placeholder";
         array_depth?: number | undefined;
     } | {
         kind: "handler_return";
+        alias: string;
         symbol_name: string;
         source_file: string;
-        alias: string;
         anchor_origin: "llm-symbol" | "deterministic-infer" | "anchor-backfill" | "manifest-placeholder";
     } | {
         kind: "infer";
-        source_file: string;
         alias: string;
+        source_file: string;
         anchor_origin: "llm-symbol" | "deterministic-infer" | "anchor-backfill" | "manifest-placeholder";
+        param_name?: string | undefined;
         line_number?: number | undefined;
         span_start?: number | undefined;
         span_end?: number | undefined;
@@ -451,14 +452,18 @@ export declare const CaptureV2RequestSchema: z.ZodObject<{
         alias: string;
         anchor_origin: "llm-symbol" | "deterministic-infer" | "anchor-backfill" | "manifest-placeholder";
         type_text: string;
+        raw_text_read?: true | undefined;
         source_file?: string | undefined;
         printed_names?: {
             name: string;
             file: string;
             export_path: string[];
         }[] | undefined;
-        raw_text_read?: true | undefined;
     })[];
+    request_id: string;
+    action: "capture_v2";
+    repo_root: string;
+    service_name: string;
     out_dir: string;
     tsconfig_path?: string | undefined;
     scan_root?: string | undefined;
@@ -529,12 +534,6 @@ export declare const CheckV2RequestSchema: z.ZodObject<{
     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: {
         producer: {
             alias: string;
@@ -548,15 +547,15 @@ export declare const CheckV2RequestSchema: z.ZodObject<{
         protocol: "http" | "graphql" | "socket" | "pubsub";
         type_kind: "request" | "response" | "both";
     }[];
-    workspace_root?: string | undefined;
-    keep_workspace?: boolean | undefined;
-}, {
     request_id: string;
     action: "check_v2";
     stubs: {
         service_name: string;
         stub_dir: string;
     }[];
+    workspace_root?: string | undefined;
+    keep_workspace?: boolean | undefined;
+}, {
     pairs: {
         producer: {
             alias: string;
@@ -570,6 +569,12 @@ export declare const CheckV2RequestSchema: z.ZodObject<{
         protocol: "http" | "graphql" | "socket" | "pubsub";
         type_kind: "request" | "response" | "both";
     }[];
+    request_id: string;
+    action: "check_v2";
+    stubs: {
+        service_name: string;
+        stub_dir: string;
+    }[];
     workspace_root?: string | undefined;
     keep_workspace?: boolean | undefined;
 }>;
@@ -591,22 +596,22 @@ export declare const InferRequestSchema: z.ZodObject<{
         file_path: string;
         line_number: number;
         infer_kind: "function_return" | "expression" | "call_result" | "variable" | "response_body" | "request_body" | "signature_return" | "function_param" | "receiver_type";
+        param_name?: string | undefined;
         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";
+        param_name?: string | undefined;
         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<{
@@ -662,12 +667,12 @@ export declare const InferRequestSchema: z.ZodObject<{
         file_path: string;
         line_number: number;
         infer_kind: "function_return" | "expression" | "call_result" | "variable" | "response_body" | "request_body" | "signature_return" | "function_param" | "receiver_type";
+        param_name?: string | undefined;
         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: {
@@ -687,12 +692,12 @@ export declare const InferRequestSchema: z.ZodObject<{
         file_path: string;
         line_number: number;
         infer_kind: "function_return" | "expression" | "call_result" | "variable" | "response_body" | "request_body" | "signature_return" | "function_param" | "receiver_type";
+        param_name?: string | undefined;
         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: {
@@ -728,6 +733,31 @@ export declare const ShutdownRequestSchema: z.ZodObject<{
     request_id: string;
     action: "shutdown";
 }>;
+export declare const ListProgramFilesRequestSchema: z.ZodObject<{
+    request_id: z.ZodString;
+} & {
+    action: z.ZodLiteral<"list_program_files">;
+}, "strip", z.ZodTypeAny, {
+    request_id: string;
+    action: "list_program_files";
+}, {
+    request_id: string;
+    action: "list_program_files";
+}>;
+export declare const AddProgramFilesRequestSchema: z.ZodObject<{
+    request_id: z.ZodString;
+} & {
+    action: z.ZodLiteral<"add_program_files">;
+    files: z.ZodArray<z.ZodString, "many">;
+}, "strip", z.ZodTypeAny, {
+    files: string[];
+    request_id: string;
+    action: "add_program_files";
+}, {
+    files: string[];
+    request_id: string;
+    action: "add_program_files";
+}>;
 export declare const ResolveDefinitionsRequestSchema: z.ZodObject<{
     request_id: z.ZodString;
 } & {
@@ -1831,17 +1861,17 @@ export declare const ListLibrarySurfaceRequestSchema: z.ZodObject<{
     max_entries: z.ZodOptional<z.ZodNumber>;
     exports: z.ZodOptional<z.ZodRecord<z.ZodString, z.ZodArray<z.ZodString, "many">>>;
 }, "strip", z.ZodTypeAny, {
+    packages: string[];
     request_id: string;
     action: "list_library_surface";
     from_dir: string;
-    packages: string[];
     max_entries?: number | undefined;
     exports?: Record<string, string[]> | undefined;
 }, {
+    packages: string[];
     request_id: string;
     action: "list_library_surface";
     from_dir: string;
-    packages: string[];
     max_entries?: number | undefined;
     exports?: Record<string, string[]> | undefined;
 }>;
@@ -2049,16 +2079,16 @@ export declare const SidecarRequestSchema: z.ZodDiscriminatedUnion<"action", [z.
         array_depth: z.ZodOptional<z.ZodNumber>;
     }, "strip", z.ZodTypeAny, {
         kind: "symbol";
+        alias: string;
         symbol_name: string;
         source_file: string;
-        alias: string;
         anchor_origin: "llm-symbol" | "deterministic-infer" | "anchor-backfill" | "manifest-placeholder";
         array_depth?: number | undefined;
     }, {
         kind: "symbol";
+        alias: string;
         symbol_name: string;
         source_file: string;
-        alias: string;
         anchor_origin: "llm-symbol" | "deterministic-infer" | "anchor-backfill" | "manifest-placeholder";
         array_depth?: number | undefined;
     }>, z.ZodObject<{
@@ -2069,15 +2099,15 @@ export declare const SidecarRequestSchema: z.ZodDiscriminatedUnion<"action", [z.
         anchor_origin: z.ZodEnum<["llm-symbol", "deterministic-infer", "anchor-backfill", "manifest-placeholder"]>;
     }, "strip", z.ZodTypeAny, {
         kind: "handler_return";
+        alias: string;
         symbol_name: string;
         source_file: string;
-        alias: string;
         anchor_origin: "llm-symbol" | "deterministic-infer" | "anchor-backfill" | "manifest-placeholder";
     }, {
         kind: "handler_return";
+        alias: string;
         symbol_name: string;
         source_file: string;
-        alias: string;
         anchor_origin: "llm-symbol" | "deterministic-infer" | "anchor-backfill" | "manifest-placeholder";
     }>, z.ZodObject<{
         kind: z.ZodLiteral<"infer">;
@@ -2088,12 +2118,14 @@ export declare const SidecarRequestSchema: z.ZodDiscriminatedUnion<"action", [z.
         span_end: z.ZodOptional<z.ZodNumber>;
         line_number: z.ZodOptional<z.ZodNumber>;
         expression_text: z.ZodOptional<z.ZodString>;
+        param_name: z.ZodOptional<z.ZodString>;
         unwrap: z.ZodOptional<z.ZodEnum<["awaited", "none"]>>;
     }, "strip", z.ZodTypeAny, {
         kind: "infer";
-        source_file: string;
         alias: string;
+        source_file: string;
         anchor_origin: "llm-symbol" | "deterministic-infer" | "anchor-backfill" | "manifest-placeholder";
+        param_name?: string | undefined;
         line_number?: number | undefined;
         span_start?: number | undefined;
         span_end?: number | undefined;
@@ -2101,9 +2133,10 @@ export declare const SidecarRequestSchema: z.ZodDiscriminatedUnion<"action", [z.
         unwrap?: "awaited" | "none" | undefined;
     }, {
         kind: "infer";
-        source_file: string;
         alias: string;
+        source_file: string;
         anchor_origin: "llm-symbol" | "deterministic-infer" | "anchor-backfill" | "manifest-placeholder";
+        param_name?: string | undefined;
         line_number?: number | undefined;
         span_start?: number | undefined;
         span_end?: number | undefined;
@@ -2134,52 +2167,49 @@ export declare const SidecarRequestSchema: z.ZodDiscriminatedUnion<"action", [z.
         alias: string;
         anchor_origin: "llm-symbol" | "deterministic-infer" | "anchor-backfill" | "manifest-placeholder";
         type_text: string;
+        raw_text_read?: true | undefined;
         source_file?: string | undefined;
         printed_names?: {
             name: string;
             file: string;
             export_path: string[];
         }[] | undefined;
-        raw_text_read?: true | undefined;
     }, {
         kind: "literal";
         alias: string;
         anchor_origin: "llm-symbol" | "deterministic-infer" | "anchor-backfill" | "manifest-placeholder";
         type_text: string;
+        raw_text_read?: true | undefined;
         source_file?: string | undefined;
         printed_names?: {
             name: string;
             file: string;
             export_path: string[];
         }[] | undefined;
-        raw_text_read?: true | undefined;
     }>]>, "many">;
     out_dir: z.ZodString;
     tsconfig_path: z.ZodOptional<z.ZodString>;
     scan_root: z.ZodOptional<z.ZodString>;
 }, "strip", z.ZodTypeAny, {
-    request_id: string;
-    action: "capture_v2";
-    repo_root: string;
-    service_name: string;
     anchors: ({
         kind: "symbol";
+        alias: string;
         symbol_name: string;
         source_file: string;
-        alias: string;
         anchor_origin: "llm-symbol" | "deterministic-infer" | "anchor-backfill" | "manifest-placeholder";
         array_depth?: number | undefined;
     } | {
         kind: "handler_return";
+        alias: string;
         symbol_name: string;
         source_file: string;
-        alias: string;
         anchor_origin: "llm-symbol" | "deterministic-infer" | "anchor-backfill" | "manifest-placeholder";
     } | {
         kind: "infer";
-        source_file: string;
         alias: string;
+        source_file: string;
         anchor_origin: "llm-symbol" | "deterministic-infer" | "anchor-backfill" | "manifest-placeholder";
+        param_name?: string | undefined;
         line_number?: number | undefined;
         span_start?: number | undefined;
         span_end?: number | undefined;
@@ -2190,40 +2220,41 @@ export declare const SidecarRequestSchema: z.ZodDiscriminatedUnion<"action", [z.
         alias: string;
         anchor_origin: "llm-symbol" | "deterministic-infer" | "anchor-backfill" | "manifest-placeholder";
         type_text: string;
+        raw_text_read?: true | undefined;
         source_file?: string | undefined;
         printed_names?: {
             name: string;
             file: string;
             export_path: string[];
         }[] | undefined;
-        raw_text_read?: true | undefined;
     })[];
-    out_dir: string;
-    tsconfig_path?: string | undefined;
-    scan_root?: string | undefined;
-}, {
     request_id: string;
     action: "capture_v2";
     repo_root: string;
     service_name: string;
+    out_dir: string;
+    tsconfig_path?: string | undefined;
+    scan_root?: string | undefined;
+}, {
     anchors: ({
         kind: "symbol";
+        alias: string;
         symbol_name: string;
         source_file: string;
-        alias: string;
         anchor_origin: "llm-symbol" | "deterministic-infer" | "anchor-backfill" | "manifest-placeholder";
         array_depth?: number | undefined;
     } | {
         kind: "handler_return";
+        alias: string;
         symbol_name: string;
         source_file: string;
-        alias: string;
         anchor_origin: "llm-symbol" | "deterministic-infer" | "anchor-backfill" | "manifest-placeholder";
     } | {
         kind: "infer";
-        source_file: string;
         alias: string;
+        source_file: string;
         anchor_origin: "llm-symbol" | "deterministic-infer" | "anchor-backfill" | "manifest-placeholder";
+        param_name?: string | undefined;
         line_number?: number | undefined;
         span_start?: number | undefined;
         span_end?: number | undefined;
@@ -2234,14 +2265,18 @@ export declare const SidecarRequestSchema: z.ZodDiscriminatedUnion<"action", [z.
         alias: string;
         anchor_origin: "llm-symbol" | "deterministic-infer" | "anchor-backfill" | "manifest-placeholder";
         type_text: string;
+        raw_text_read?: true | undefined;
         source_file?: string | undefined;
         printed_names?: {
             name: string;
             file: string;
             export_path: string[];
         }[] | undefined;
-        raw_text_read?: true | undefined;
     })[];
+    request_id: string;
+    action: "capture_v2";
+    repo_root: string;
+    service_name: string;
     out_dir: string;
     tsconfig_path?: string | undefined;
     scan_root?: string | undefined;
@@ -2311,12 +2346,6 @@ export declare const SidecarRequestSchema: z.ZodDiscriminatedUnion<"action", [z.
     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: {
         producer: {
             alias: string;
@@ -2330,15 +2359,15 @@ export declare const SidecarRequestSchema: z.ZodDiscriminatedUnion<"action", [z.
         protocol: "http" | "graphql" | "socket" | "pubsub";
         type_kind: "request" | "response" | "both";
     }[];
-    workspace_root?: string | undefined;
-    keep_workspace?: boolean | undefined;
-}, {
     request_id: string;
     action: "check_v2";
     stubs: {
         service_name: string;
         stub_dir: string;
     }[];
+    workspace_root?: string | undefined;
+    keep_workspace?: boolean | undefined;
+}, {
     pairs: {
         producer: {
             alias: string;
@@ -2352,6 +2381,12 @@ export declare const SidecarRequestSchema: z.ZodDiscriminatedUnion<"action", [z.
         protocol: "http" | "graphql" | "socket" | "pubsub";
         type_kind: "request" | "response" | "both";
     }[];
+    request_id: string;
+    action: "check_v2";
+    stubs: {
+        service_name: string;
+        stub_dir: string;
+    }[];
     workspace_root?: string | undefined;
     keep_workspace?: boolean | undefined;
 }>, z.ZodObject<{
@@ -2372,22 +2407,22 @@ export declare const SidecarRequestSchema: z.ZodDiscriminatedUnion<"action", [z.
         file_path: string;
         line_number: number;
         infer_kind: "function_return" | "expression" | "call_result" | "variable" | "response_body" | "request_body" | "signature_return" | "function_param" | "receiver_type";
+        param_name?: string | undefined;
         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";
+        param_name?: string | undefined;
         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<{
@@ -2443,12 +2478,12 @@ export declare const SidecarRequestSchema: z.ZodDiscriminatedUnion<"action", [z.
         file_path: string;
         line_number: number;
         infer_kind: "function_return" | "expression" | "call_result" | "variable" | "response_body" | "request_body" | "signature_return" | "function_param" | "receiver_type";
+        param_name?: string | undefined;
         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: {
@@ -2468,12 +2503,12 @@ export declare const SidecarRequestSchema: z.ZodDiscriminatedUnion<"action", [z.
         file_path: string;
         line_number: number;
         infer_kind: "function_return" | "expression" | "call_result" | "variable" | "response_body" | "request_body" | "signature_return" | "function_param" | "receiver_type";
+        param_name?: string | undefined;
         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: {
@@ -3585,17 +3620,17 @@ export declare const SidecarRequestSchema: z.ZodDiscriminatedUnion<"action", [z.
     max_entries: z.ZodOptional<z.ZodNumber>;
     exports: z.ZodOptional<z.ZodRecord<z.ZodString, z.ZodArray<z.ZodString, "many">>>;
 }, "strip", z.ZodTypeAny, {
+    packages: string[];
     request_id: string;
     action: "list_library_surface";
     from_dir: string;
-    packages: string[];
     max_entries?: number | undefined;
     exports?: Record<string, string[]> | undefined;
 }, {
+    packages: string[];
     request_id: string;
     action: "list_library_surface";
     from_dir: string;
-    packages: string[];
     max_entries?: number | undefined;
     exports?: Record<string, string[]> | undefined;
 }>, z.ZodObject<{
@@ -3618,6 +3653,29 @@ export declare const SidecarRequestSchema: z.ZodDiscriminatedUnion<"action", [z.
 }, {
     request_id: string;
     action: "shutdown";
+}>, z.ZodObject<{
+    request_id: z.ZodString;
+} & {
+    action: z.ZodLiteral<"list_program_files">;
+}, "strip", z.ZodTypeAny, {
+    request_id: string;
+    action: "list_program_files";
+}, {
+    request_id: string;
+    action: "list_program_files";
+}>, z.ZodObject<{
+    request_id: z.ZodString;
+} & {
+    action: z.ZodLiteral<"add_program_files">;
+    files: z.ZodArray<z.ZodString, "many">;
+}, "strip", z.ZodTypeAny, {
+    files: string[];
+    request_id: string;
+    action: "add_program_files";
+}, {
+    files: string[];
+    request_id: string;
+    action: "add_program_files";
 }>]>;
 /**
  * Result type for parseRequest
@@ -3650,3 +3708,31 @@ export type ValidatedInferRequest = z.infer<typeof InferRequestSchema>;
 export type ValidatedHealthRequest = z.infer<typeof HealthRequestSchema>;
 export type ValidatedShutdownRequest = z.infer<typeof ShutdownRequestSchema>;
 export type ValidatedSidecarRequest = z.infer<typeof SidecarRequestSchema>;
+/** Every key any member of a union declares. */
+type KeysOfAny<Union> = Union extends unknown ? keyof Union : never;
+/** What `Key` holds, across the members of a union that declare it. */
+type ValueAt<Union, Key extends PropertyKey> = Union extends unknown ? Key extends keyof Union ? Union[Key] : never : never;
+/** The members of `Other` with the tag `One` has, when `One` has one. */
+type SameVariant<One, Other> = One extends {
+    action: infer Tag;
+} ? Extract<Other, {
+    action: Tag;
+}> : One extends {
+    kind: infer Tag;
+} ? Extract<Other, {
+    kind: Tag;
+}> : Other;
+/**
+ * The keys of `One` that `Other` does not declare, each as the path that
+ * reaches it; `never` when there are none.
+ */
+type UndeclaredKeys<One, Other, At extends string = ''> = One extends readonly (infer Item)[] ? UndeclaredKeys<Item, Other extends readonly (infer Element)[] ? Element : never, `${At}[]`> : One extends object ? {
+    [Key in keyof One & string]-?: Key extends KeysOfAny<SameVariant<One, Other>> ? UndeclaredKeys<One[Key], ValueAt<SameVariant<One, Other>, Key>, `${At}.${Key}`> : `${At}.${Key}`;
+}[keyof One & string] : never;
+/** Compiles for `never` alone. */
+type None<Paths extends never> = Paths;
+/** A key a handler may read that the schema would drop. */
+export type KeysTheSchemaDrops = None<UndeclaredKeys<SidecarRequest, ValidatedSidecarRequest>>;
+/** A key the schema lets through that no handler's type knows. */
+export type KeysNoHandlerKnows = None<UndeclaredKeys<ValidatedSidecarRequest, SidecarRequest>>;
+export {};