npm - carrick - Versions diffs - 0.3.100 → 0.3.101 - Mend

carrick 0.3.100 → 0.3.101

This diff represents the content of publicly available package versions that have been released to one of the supported registries. The information contained in this diff is provided for informational purposes only and reflects changes between package versions as they appear in their respective public registries.

Files changed (13) hide show

package/dist/scan.d.ts +11 -0
package/dist/scan.js +15 -0
package/dist/scan.js.map +1 -1
package/package.json +6 -6
package/plugin/.claude-plugin/plugin.json +1 -1
package/sidecar/dist/src/index.js +64 -10
package/sidecar/dist/src/library-claims.d.ts +105 -0
package/sidecar/dist/src/library-claims.js +2840 -0
package/sidecar/dist/src/types.d.ts +224 -2
package/sidecar/dist/src/validators.d.ts +1608 -18
package/sidecar/dist/src/validators.js +116 -0
package/sidecar/dist/src/client-semantics.d.ts +0 -36
package/sidecar/dist/src/client-semantics.js +0 -1008

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

@@ -1292,6 +1292,9 @@ export declare const VerifyClientSemanticsRequestSchema: z.ZodObject<{
         }>]>;
     }, "strip", z.ZodTypeAny, {
         export: string;
+        claim_id: string;
+        package: string;
+        receiver: string;
         claim: {
             kind: "factory";
             member: string;
@@ -1319,11 +1322,11 @@ export declare const VerifyClientSemanticsRequestSchema: z.ZodObject<{
             method_key: string;
             url_key?: string | undefined;
         };
+    }, {
+        export: string;
         claim_id: string;
         package: string;
         receiver: string;
-    }, {
-        export: string;
         claim: {
             kind: "factory";
             member: string;
@@ -1351,9 +1354,6 @@ export declare const VerifyClientSemanticsRequestSchema: z.ZodObject<{
             method_key: string;
             url_key?: string | undefined;
         };
-        claim_id: string;
-        package: string;
-        receiver: string;
     }>, "many">;
     budget_ms: z.ZodOptional<z.ZodNumber>;
 }, "strip", z.ZodTypeAny, {
@@ -1361,6 +1361,9 @@ export declare const VerifyClientSemanticsRequestSchema: z.ZodObject<{
     action: "verify_client_semantics";
     checks: {
         export: string;
+        claim_id: string;
+        package: string;
+        receiver: string;
         claim: {
             kind: "factory";
             member: string;
@@ -1388,9 +1391,6 @@ export declare const VerifyClientSemanticsRequestSchema: z.ZodObject<{
             method_key: string;
             url_key?: string | undefined;
         };
-        claim_id: string;
-        package: string;
-        receiver: string;
     }[];
     from_dir: string;
     budget_ms?: number | undefined;
@@ -1399,6 +1399,9 @@ export declare const VerifyClientSemanticsRequestSchema: z.ZodObject<{
     action: "verify_client_semantics";
     checks: {
         export: string;
+        claim_id: string;
+        package: string;
+        receiver: string;
         claim: {
             kind: "factory";
             member: string;
@@ -1426,12 +1429,805 @@ export declare const VerifyClientSemanticsRequestSchema: z.ZodObject<{
             method_key: string;
             url_key?: string | undefined;
         };
+    }[];
+    from_dir: string;
+    budget_ms?: number | undefined;
+}>;
+export declare const VerifyLibraryClaimsRequestSchema: z.ZodObject<{
+    request_id: z.ZodString;
+} & {
+    action: z.ZodLiteral<"verify_library_claims">;
+    from_dir: z.ZodString;
+    checks: z.ZodArray<z.ZodObject<{
+        claim_id: z.ZodString;
+        package: z.ZodString;
+        export: z.ZodString;
+        role: z.ZodEnum<["http_client", "graphql_client", "broker", "in_process_bus", "socket", "server_framework", "none"]>;
+        receiver: z.ZodString;
+        claim: z.ZodDiscriminatedUnion<"kind", [z.ZodObject<{
+            kind: z.ZodLiteral<"make">;
+            form: z.ZodEnum<["call", "new"]>;
+            member: z.ZodNullable<z.ZodString>;
+            base: z.ZodOptional<z.ZodObject<{
+                arg: z.ZodNumber;
+                key: z.ZodOptional<z.ZodString>;
+            }, "strict", z.ZodTypeAny, {
+                arg: number;
+                key?: string | undefined;
+            }, {
+                arg: number;
+                key?: string | undefined;
+            }>>;
+            prefix: z.ZodOptional<z.ZodObject<{
+                arg: z.ZodNumber;
+                key: z.ZodOptional<z.ZodString>;
+            }, "strict", z.ZodTypeAny, {
+                arg: number;
+                key?: string | undefined;
+            }, {
+                arg: number;
+                key?: string | undefined;
+            }>>;
+            name: z.ZodOptional<z.ZodObject<{
+                arg: z.ZodNumber;
+                key: z.ZodOptional<z.ZodString>;
+            }, "strict", z.ZodTypeAny, {
+                arg: number;
+                key?: string | undefined;
+            }, {
+                arg: number;
+                key?: string | undefined;
+            }>>;
+            handler: z.ZodOptional<z.ZodObject<{
+                arg: z.ZodNumber;
+                key: z.ZodOptional<z.ZodString>;
+            }, "strict", z.ZodTypeAny, {
+                arg: number;
+                key?: string | undefined;
+            }, {
+                arg: number;
+                key?: string | undefined;
+            }>>;
+            key_labels: z.ZodOptional<z.ZodRecord<z.ZodString, z.ZodEnum<["name", "not_name"]>>>;
+            name_scope: z.ZodOptional<z.ZodObject<{
+                scope: z.ZodEnum<["global", "service"]>;
+                namespace: z.ZodNullable<z.ZodString>;
+            }, "strict", z.ZodTypeAny, {
+                scope: "global" | "service";
+                namespace: string | null;
+            }, {
+                scope: "global" | "service";
+                namespace: string | null;
+            }>>;
+            picker: z.ZodOptional<z.ZodString>;
+        }, "strict", z.ZodTypeAny, {
+            kind: "make";
+            member: string | null;
+            form: "call" | "new";
+            name?: {
+                arg: number;
+                key?: string | undefined;
+            } | undefined;
+            base?: {
+                arg: number;
+                key?: string | undefined;
+            } | undefined;
+            prefix?: {
+                arg: number;
+                key?: string | undefined;
+            } | undefined;
+            handler?: {
+                arg: number;
+                key?: string | undefined;
+            } | undefined;
+            key_labels?: Record<string, "name" | "not_name"> | undefined;
+            name_scope?: {
+                scope: "global" | "service";
+                namespace: string | null;
+            } | undefined;
+            picker?: string | undefined;
+        }, {
+            kind: "make";
+            member: string | null;
+            form: "call" | "new";
+            name?: {
+                arg: number;
+                key?: string | undefined;
+            } | undefined;
+            base?: {
+                arg: number;
+                key?: string | undefined;
+            } | undefined;
+            prefix?: {
+                arg: number;
+                key?: string | undefined;
+            } | undefined;
+            handler?: {
+                arg: number;
+                key?: string | undefined;
+            } | undefined;
+            key_labels?: Record<string, "name" | "not_name"> | undefined;
+            name_scope?: {
+                scope: "global" | "service";
+                namespace: string | null;
+            } | undefined;
+            picker?: string | undefined;
+        }>, z.ZodObject<{
+            kind: z.ZodLiteral<"scope">;
+            member: z.ZodString;
+            name: z.ZodObject<{
+                arg: z.ZodNumber;
+                key: z.ZodOptional<z.ZodString>;
+            }, "strict", z.ZodTypeAny, {
+                arg: number;
+                key?: string | undefined;
+            }, {
+                arg: number;
+                key?: string | undefined;
+            }>;
+            path: z.ZodOptional<z.ZodArray<z.ZodString, "many">>;
+            on: z.ZodOptional<z.ZodEnum<["export", "instance", "both"]>>;
+            of: z.ZodOptional<z.ZodString>;
+            key_labels: z.ZodOptional<z.ZodRecord<z.ZodString, z.ZodEnum<["name", "not_name"]>>>;
+            name_scope: z.ZodOptional<z.ZodObject<{
+                scope: z.ZodEnum<["global", "service"]>;
+                namespace: z.ZodNullable<z.ZodString>;
+            }, "strict", z.ZodTypeAny, {
+                scope: "global" | "service";
+                namespace: string | null;
+            }, {
+                scope: "global" | "service";
+                namespace: string | null;
+            }>>;
+            picker: z.ZodOptional<z.ZodString>;
+        }, "strict", z.ZodTypeAny, {
+            kind: "scope";
+            name: {
+                arg: number;
+                key?: string | undefined;
+            };
+            member: string;
+            path?: string[] | undefined;
+            key_labels?: Record<string, "name" | "not_name"> | undefined;
+            name_scope?: {
+                scope: "global" | "service";
+                namespace: string | null;
+            } | undefined;
+            picker?: string | undefined;
+            on?: "both" | "export" | "instance" | undefined;
+            of?: string | undefined;
+        }, {
+            kind: "scope";
+            name: {
+                arg: number;
+                key?: string | undefined;
+            };
+            member: string;
+            path?: string[] | undefined;
+            key_labels?: Record<string, "name" | "not_name"> | undefined;
+            name_scope?: {
+                scope: "global" | "service";
+                namespace: string | null;
+            } | undefined;
+            picker?: string | undefined;
+            on?: "both" | "export" | "instance" | undefined;
+            of?: string | undefined;
+        }>, z.ZodObject<{
+            kind: z.ZodLiteral<"op">;
+            op: z.ZodEnum<["request", "send", "receive", "execute"]>;
+            member: z.ZodNullable<z.ZodString>;
+            path: z.ZodOptional<z.ZodArray<z.ZodString, "many">>;
+            on: z.ZodOptional<z.ZodEnum<["export", "instance", "both"]>>;
+            of: z.ZodOptional<z.ZodString>;
+            name: z.ZodOptional<z.ZodUnion<[z.ZodObject<{
+                bound: z.ZodEnum<["maker", "scope"]>;
+            }, "strict", z.ZodTypeAny, {
+                bound: "maker" | "scope";
+            }, {
+                bound: "maker" | "scope";
+            }>, z.ZodObject<{
+                arg: z.ZodNumber;
+                key: z.ZodOptional<z.ZodString>;
+            }, "strict", z.ZodTypeAny, {
+                arg: number;
+                key?: string | undefined;
+            }, {
+                arg: number;
+                key?: string | undefined;
+            }>]>>;
+            payload: z.ZodOptional<z.ZodObject<{
+                arg: z.ZodNumber;
+                key: z.ZodOptional<z.ZodString>;
+            }, "strict", z.ZodTypeAny, {
+                arg: number;
+                key?: string | undefined;
+            }, {
+                arg: number;
+                key?: string | undefined;
+            }>>;
+            handler: z.ZodOptional<z.ZodObject<{
+                arg: z.ZodNumber;
+                key: z.ZodOptional<z.ZodString>;
+            }, "strict", z.ZodTypeAny, {
+                arg: number;
+                key?: string | undefined;
+            }, {
+                arg: number;
+                key?: string | undefined;
+            }>>;
+            ack: z.ZodOptional<z.ZodObject<{
+                arg: z.ZodNumber;
+                key: z.ZodOptional<z.ZodString>;
+            }, "strict", z.ZodTypeAny, {
+                arg: number;
+                key?: string | undefined;
+            }, {
+                arg: number;
+                key?: string | undefined;
+            }>>;
+            key_labels: z.ZodOptional<z.ZodRecord<z.ZodString, z.ZodEnum<["name", "not_name"]>>>;
+            name_scope: z.ZodOptional<z.ZodObject<{
+                scope: z.ZodEnum<["global", "service"]>;
+                namespace: z.ZodNullable<z.ZodString>;
+            }, "strict", z.ZodTypeAny, {
+                scope: "global" | "service";
+                namespace: string | null;
+            }, {
+                scope: "global" | "service";
+                namespace: string | null;
+            }>>;
+            picker: z.ZodOptional<z.ZodString>;
+            options: z.ZodOptional<z.ZodObject<{
+                arg: z.ZodNumber;
+                key: z.ZodOptional<z.ZodString>;
+            }, "strict", z.ZodTypeAny, {
+                arg: number;
+                key?: string | undefined;
+            }, {
+                arg: number;
+                key?: string | undefined;
+            }>>;
+            method: z.ZodOptional<z.ZodString>;
+            method_key: z.ZodOptional<z.ZodObject<{
+                arg: z.ZodNumber;
+                key: z.ZodOptional<z.ZodString>;
+            }, "strict", z.ZodTypeAny, {
+                arg: number;
+                key?: string | undefined;
+            }, {
+                arg: number;
+                key?: string | undefined;
+            }>>;
+        }, "strict", z.ZodTypeAny, {
+            kind: "op";
+            op: "request" | "send" | "receive" | "execute";
+            member: string | null;
+            name?: {
+                arg: number;
+                key?: string | undefined;
+            } | {
+                bound: "maker" | "scope";
+            } | undefined;
+            path?: string[] | undefined;
+            options?: {
+                arg: number;
+                key?: string | undefined;
+            } | undefined;
+            method?: string | undefined;
+            method_key?: {
+                arg: number;
+                key?: string | undefined;
+            } | undefined;
+            handler?: {
+                arg: number;
+                key?: string | undefined;
+            } | undefined;
+            key_labels?: Record<string, "name" | "not_name"> | undefined;
+            name_scope?: {
+                scope: "global" | "service";
+                namespace: string | null;
+            } | undefined;
+            picker?: string | undefined;
+            on?: "both" | "export" | "instance" | undefined;
+            of?: string | undefined;
+            payload?: {
+                arg: number;
+                key?: string | undefined;
+            } | undefined;
+            ack?: {
+                arg: number;
+                key?: string | undefined;
+            } | undefined;
+        }, {
+            kind: "op";
+            op: "request" | "send" | "receive" | "execute";
+            member: string | null;
+            name?: {
+                arg: number;
+                key?: string | undefined;
+            } | {
+                bound: "maker" | "scope";
+            } | undefined;
+            path?: string[] | undefined;
+            options?: {
+                arg: number;
+                key?: string | undefined;
+            } | undefined;
+            method?: string | undefined;
+            method_key?: {
+                arg: number;
+                key?: string | undefined;
+            } | undefined;
+            handler?: {
+                arg: number;
+                key?: string | undefined;
+            } | undefined;
+            key_labels?: Record<string, "name" | "not_name"> | undefined;
+            name_scope?: {
+                scope: "global" | "service";
+                namespace: string | null;
+            } | undefined;
+            picker?: string | undefined;
+            on?: "both" | "export" | "instance" | undefined;
+            of?: string | undefined;
+            payload?: {
+                arg: number;
+                key?: string | undefined;
+            } | undefined;
+            ack?: {
+                arg: number;
+                key?: string | undefined;
+            } | undefined;
+        }>, z.ZodObject<{
+            kind: z.ZodLiteral<"reserved">;
+            member: z.ZodString;
+            name: z.ZodString;
+            path: z.ZodOptional<z.ZodArray<z.ZodString, "many">>;
+            on: z.ZodOptional<z.ZodEnum<["export", "instance", "both"]>>;
+            of: z.ZodOptional<z.ZodString>;
+            picker: z.ZodOptional<z.ZodString>;
+        }, "strict", z.ZodTypeAny, {
+            kind: "reserved";
+            name: string;
+            member: string;
+            path?: string[] | undefined;
+            picker?: string | undefined;
+            on?: "both" | "export" | "instance" | undefined;
+            of?: string | undefined;
+        }, {
+            kind: "reserved";
+            name: string;
+            member: string;
+            path?: string[] | undefined;
+            picker?: string | undefined;
+            on?: "both" | "export" | "instance" | undefined;
+            of?: string | undefined;
+        }>]>;
+    }, "strict", z.ZodTypeAny, {
+        export: string;
         claim_id: string;
         package: string;
         receiver: string;
+        claim: {
+            kind: "make";
+            member: string | null;
+            form: "call" | "new";
+            name?: {
+                arg: number;
+                key?: string | undefined;
+            } | undefined;
+            base?: {
+                arg: number;
+                key?: string | undefined;
+            } | undefined;
+            prefix?: {
+                arg: number;
+                key?: string | undefined;
+            } | undefined;
+            handler?: {
+                arg: number;
+                key?: string | undefined;
+            } | undefined;
+            key_labels?: Record<string, "name" | "not_name"> | undefined;
+            name_scope?: {
+                scope: "global" | "service";
+                namespace: string | null;
+            } | undefined;
+            picker?: string | undefined;
+        } | {
+            kind: "scope";
+            name: {
+                arg: number;
+                key?: string | undefined;
+            };
+            member: string;
+            path?: string[] | undefined;
+            key_labels?: Record<string, "name" | "not_name"> | undefined;
+            name_scope?: {
+                scope: "global" | "service";
+                namespace: string | null;
+            } | undefined;
+            picker?: string | undefined;
+            on?: "both" | "export" | "instance" | undefined;
+            of?: string | undefined;
+        } | {
+            kind: "op";
+            op: "request" | "send" | "receive" | "execute";
+            member: string | null;
+            name?: {
+                arg: number;
+                key?: string | undefined;
+            } | {
+                bound: "maker" | "scope";
+            } | undefined;
+            path?: string[] | undefined;
+            options?: {
+                arg: number;
+                key?: string | undefined;
+            } | undefined;
+            method?: string | undefined;
+            method_key?: {
+                arg: number;
+                key?: string | undefined;
+            } | undefined;
+            handler?: {
+                arg: number;
+                key?: string | undefined;
+            } | undefined;
+            key_labels?: Record<string, "name" | "not_name"> | undefined;
+            name_scope?: {
+                scope: "global" | "service";
+                namespace: string | null;
+            } | undefined;
+            picker?: string | undefined;
+            on?: "both" | "export" | "instance" | undefined;
+            of?: string | undefined;
+            payload?: {
+                arg: number;
+                key?: string | undefined;
+            } | undefined;
+            ack?: {
+                arg: number;
+                key?: string | undefined;
+            } | undefined;
+        } | {
+            kind: "reserved";
+            name: string;
+            member: string;
+            path?: string[] | undefined;
+            picker?: string | undefined;
+            on?: "both" | "export" | "instance" | undefined;
+            of?: string | undefined;
+        };
+        role: "none" | "socket" | "http_client" | "graphql_client" | "broker" | "in_process_bus" | "server_framework";
+    }, {
+        export: string;
+        claim_id: string;
+        package: string;
+        receiver: string;
+        claim: {
+            kind: "make";
+            member: string | null;
+            form: "call" | "new";
+            name?: {
+                arg: number;
+                key?: string | undefined;
+            } | undefined;
+            base?: {
+                arg: number;
+                key?: string | undefined;
+            } | undefined;
+            prefix?: {
+                arg: number;
+                key?: string | undefined;
+            } | undefined;
+            handler?: {
+                arg: number;
+                key?: string | undefined;
+            } | undefined;
+            key_labels?: Record<string, "name" | "not_name"> | undefined;
+            name_scope?: {
+                scope: "global" | "service";
+                namespace: string | null;
+            } | undefined;
+            picker?: string | undefined;
+        } | {
+            kind: "scope";
+            name: {
+                arg: number;
+                key?: string | undefined;
+            };
+            member: string;
+            path?: string[] | undefined;
+            key_labels?: Record<string, "name" | "not_name"> | undefined;
+            name_scope?: {
+                scope: "global" | "service";
+                namespace: string | null;
+            } | undefined;
+            picker?: string | undefined;
+            on?: "both" | "export" | "instance" | undefined;
+            of?: string | undefined;
+        } | {
+            kind: "op";
+            op: "request" | "send" | "receive" | "execute";
+            member: string | null;
+            name?: {
+                arg: number;
+                key?: string | undefined;
+            } | {
+                bound: "maker" | "scope";
+            } | undefined;
+            path?: string[] | undefined;
+            options?: {
+                arg: number;
+                key?: string | undefined;
+            } | undefined;
+            method?: string | undefined;
+            method_key?: {
+                arg: number;
+                key?: string | undefined;
+            } | undefined;
+            handler?: {
+                arg: number;
+                key?: string | undefined;
+            } | undefined;
+            key_labels?: Record<string, "name" | "not_name"> | undefined;
+            name_scope?: {
+                scope: "global" | "service";
+                namespace: string | null;
+            } | undefined;
+            picker?: string | undefined;
+            on?: "both" | "export" | "instance" | undefined;
+            of?: string | undefined;
+            payload?: {
+                arg: number;
+                key?: string | undefined;
+            } | undefined;
+            ack?: {
+                arg: number;
+                key?: string | undefined;
+            } | undefined;
+        } | {
+            kind: "reserved";
+            name: string;
+            member: string;
+            path?: string[] | undefined;
+            picker?: string | undefined;
+            on?: "both" | "export" | "instance" | undefined;
+            of?: string | undefined;
+        };
+        role: "none" | "socket" | "http_client" | "graphql_client" | "broker" | "in_process_bus" | "server_framework";
+    }>, "many">;
+    budget_ms: z.ZodOptional<z.ZodNullable<z.ZodNumber>>;
+}, "strip", z.ZodTypeAny, {
+    request_id: string;
+    action: "verify_library_claims";
+    checks: {
+        export: string;
+        claim_id: string;
+        package: string;
+        receiver: string;
+        claim: {
+            kind: "make";
+            member: string | null;
+            form: "call" | "new";
+            name?: {
+                arg: number;
+                key?: string | undefined;
+            } | undefined;
+            base?: {
+                arg: number;
+                key?: string | undefined;
+            } | undefined;
+            prefix?: {
+                arg: number;
+                key?: string | undefined;
+            } | undefined;
+            handler?: {
+                arg: number;
+                key?: string | undefined;
+            } | undefined;
+            key_labels?: Record<string, "name" | "not_name"> | undefined;
+            name_scope?: {
+                scope: "global" | "service";
+                namespace: string | null;
+            } | undefined;
+            picker?: string | undefined;
+        } | {
+            kind: "scope";
+            name: {
+                arg: number;
+                key?: string | undefined;
+            };
+            member: string;
+            path?: string[] | undefined;
+            key_labels?: Record<string, "name" | "not_name"> | undefined;
+            name_scope?: {
+                scope: "global" | "service";
+                namespace: string | null;
+            } | undefined;
+            picker?: string | undefined;
+            on?: "both" | "export" | "instance" | undefined;
+            of?: string | undefined;
+        } | {
+            kind: "op";
+            op: "request" | "send" | "receive" | "execute";
+            member: string | null;
+            name?: {
+                arg: number;
+                key?: string | undefined;
+            } | {
+                bound: "maker" | "scope";
+            } | undefined;
+            path?: string[] | undefined;
+            options?: {
+                arg: number;
+                key?: string | undefined;
+            } | undefined;
+            method?: string | undefined;
+            method_key?: {
+                arg: number;
+                key?: string | undefined;
+            } | undefined;
+            handler?: {
+                arg: number;
+                key?: string | undefined;
+            } | undefined;
+            key_labels?: Record<string, "name" | "not_name"> | undefined;
+            name_scope?: {
+                scope: "global" | "service";
+                namespace: string | null;
+            } | undefined;
+            picker?: string | undefined;
+            on?: "both" | "export" | "instance" | undefined;
+            of?: string | undefined;
+            payload?: {
+                arg: number;
+                key?: string | undefined;
+            } | undefined;
+            ack?: {
+                arg: number;
+                key?: string | undefined;
+            } | undefined;
+        } | {
+            kind: "reserved";
+            name: string;
+            member: string;
+            path?: string[] | undefined;
+            picker?: string | undefined;
+            on?: "both" | "export" | "instance" | undefined;
+            of?: string | undefined;
+        };
+        role: "none" | "socket" | "http_client" | "graphql_client" | "broker" | "in_process_bus" | "server_framework";
     }[];
     from_dir: string;
-    budget_ms?: number | undefined;
+    budget_ms?: number | null | undefined;
+}, {
+    request_id: string;
+    action: "verify_library_claims";
+    checks: {
+        export: string;
+        claim_id: string;
+        package: string;
+        receiver: string;
+        claim: {
+            kind: "make";
+            member: string | null;
+            form: "call" | "new";
+            name?: {
+                arg: number;
+                key?: string | undefined;
+            } | undefined;
+            base?: {
+                arg: number;
+                key?: string | undefined;
+            } | undefined;
+            prefix?: {
+                arg: number;
+                key?: string | undefined;
+            } | undefined;
+            handler?: {
+                arg: number;
+                key?: string | undefined;
+            } | undefined;
+            key_labels?: Record<string, "name" | "not_name"> | undefined;
+            name_scope?: {
+                scope: "global" | "service";
+                namespace: string | null;
+            } | undefined;
+            picker?: string | undefined;
+        } | {
+            kind: "scope";
+            name: {
+                arg: number;
+                key?: string | undefined;
+            };
+            member: string;
+            path?: string[] | undefined;
+            key_labels?: Record<string, "name" | "not_name"> | undefined;
+            name_scope?: {
+                scope: "global" | "service";
+                namespace: string | null;
+            } | undefined;
+            picker?: string | undefined;
+            on?: "both" | "export" | "instance" | undefined;
+            of?: string | undefined;
+        } | {
+            kind: "op";
+            op: "request" | "send" | "receive" | "execute";
+            member: string | null;
+            name?: {
+                arg: number;
+                key?: string | undefined;
+            } | {
+                bound: "maker" | "scope";
+            } | undefined;
+            path?: string[] | undefined;
+            options?: {
+                arg: number;
+                key?: string | undefined;
+            } | undefined;
+            method?: string | undefined;
+            method_key?: {
+                arg: number;
+                key?: string | undefined;
+            } | undefined;
+            handler?: {
+                arg: number;
+                key?: string | undefined;
+            } | undefined;
+            key_labels?: Record<string, "name" | "not_name"> | undefined;
+            name_scope?: {
+                scope: "global" | "service";
+                namespace: string | null;
+            } | undefined;
+            picker?: string | undefined;
+            on?: "both" | "export" | "instance" | undefined;
+            of?: string | undefined;
+            payload?: {
+                arg: number;
+                key?: string | undefined;
+            } | undefined;
+            ack?: {
+                arg: number;
+                key?: string | undefined;
+            } | undefined;
+        } | {
+            kind: "reserved";
+            name: string;
+            member: string;
+            path?: string[] | undefined;
+            picker?: string | undefined;
+            on?: "both" | "export" | "instance" | undefined;
+            of?: string | undefined;
+        };
+        role: "none" | "socket" | "http_client" | "graphql_client" | "broker" | "in_process_bus" | "server_framework";
+    }[];
+    from_dir: string;
+    budget_ms?: number | null | undefined;
+}>;
+export declare const ListLibrarySurfaceRequestSchema: z.ZodObject<{
+    request_id: z.ZodString;
+} & {
+    action: z.ZodLiteral<"list_library_surface">;
+    from_dir: z.ZodString;
+    packages: z.ZodArray<z.ZodString, "many">;
+    max_entries: z.ZodOptional<z.ZodNumber>;
+    exports: z.ZodOptional<z.ZodRecord<z.ZodString, z.ZodArray<z.ZodString, "many">>>;
+}, "strip", z.ZodTypeAny, {
+    request_id: string;
+    action: "list_library_surface";
+    from_dir: string;
+    packages: string[];
+    max_entries?: number | undefined;
+    exports?: Record<string, string[]> | undefined;
+}, {
+    request_id: string;
+    action: "list_library_surface";
+    from_dir: string;
+    packages: string[];
+    max_entries?: number | undefined;
+    exports?: Record<string, string[]> | undefined;
 }>;
 /**
  * The main sidecar request schema - a discriminated union on the 'action' field
@@ -2633,6 +3429,9 @@ export declare const SidecarRequestSchema: z.ZodDiscriminatedUnion<"action", [z.
         }>]>;
     }, "strip", z.ZodTypeAny, {
         export: string;
+        claim_id: string;
+        package: string;
+        receiver: string;
         claim: {
             kind: "factory";
             member: string;
@@ -2660,11 +3459,11 @@ export declare const SidecarRequestSchema: z.ZodDiscriminatedUnion<"action", [z.
             method_key: string;
             url_key?: string | undefined;
         };
+    }, {
+        export: string;
         claim_id: string;
         package: string;
         receiver: string;
-    }, {
-        export: string;
         claim: {
             kind: "factory";
             member: string;
@@ -2692,9 +3491,6 @@ export declare const SidecarRequestSchema: z.ZodDiscriminatedUnion<"action", [z.
             method_key: string;
             url_key?: string | undefined;
         };
-        claim_id: string;
-        package: string;
-        receiver: string;
     }>, "many">;
     budget_ms: z.ZodOptional<z.ZodNumber>;
 }, "strip", z.ZodTypeAny, {
@@ -2702,6 +3498,9 @@ export declare const SidecarRequestSchema: z.ZodDiscriminatedUnion<"action", [z.
     action: "verify_client_semantics";
     checks: {
         export: string;
+        claim_id: string;
+        package: string;
+        receiver: string;
         claim: {
             kind: "factory";
             member: string;
@@ -2729,9 +3528,6 @@ export declare const SidecarRequestSchema: z.ZodDiscriminatedUnion<"action", [z.
             method_key: string;
             url_key?: string | undefined;
         };
-        claim_id: string;
-        package: string;
-        receiver: string;
     }[];
     from_dir: string;
     budget_ms?: number | undefined;
@@ -2740,6 +3536,9 @@ export declare const SidecarRequestSchema: z.ZodDiscriminatedUnion<"action", [z.
     action: "verify_client_semantics";
     checks: {
         export: string;
+        claim_id: string;
+        package: string;
+        receiver: string;
         claim: {
             kind: "factory";
             member: string;
@@ -2767,12 +3566,803 @@ export declare const SidecarRequestSchema: z.ZodDiscriminatedUnion<"action", [z.
             method_key: string;
             url_key?: string | undefined;
         };
+    }[];
+    from_dir: string;
+    budget_ms?: number | undefined;
+}>, z.ZodObject<{
+    request_id: z.ZodString;
+} & {
+    action: z.ZodLiteral<"verify_library_claims">;
+    from_dir: z.ZodString;
+    checks: z.ZodArray<z.ZodObject<{
+        claim_id: z.ZodString;
+        package: z.ZodString;
+        export: z.ZodString;
+        role: z.ZodEnum<["http_client", "graphql_client", "broker", "in_process_bus", "socket", "server_framework", "none"]>;
+        receiver: z.ZodString;
+        claim: z.ZodDiscriminatedUnion<"kind", [z.ZodObject<{
+            kind: z.ZodLiteral<"make">;
+            form: z.ZodEnum<["call", "new"]>;
+            member: z.ZodNullable<z.ZodString>;
+            base: z.ZodOptional<z.ZodObject<{
+                arg: z.ZodNumber;
+                key: z.ZodOptional<z.ZodString>;
+            }, "strict", z.ZodTypeAny, {
+                arg: number;
+                key?: string | undefined;
+            }, {
+                arg: number;
+                key?: string | undefined;
+            }>>;
+            prefix: z.ZodOptional<z.ZodObject<{
+                arg: z.ZodNumber;
+                key: z.ZodOptional<z.ZodString>;
+            }, "strict", z.ZodTypeAny, {
+                arg: number;
+                key?: string | undefined;
+            }, {
+                arg: number;
+                key?: string | undefined;
+            }>>;
+            name: z.ZodOptional<z.ZodObject<{
+                arg: z.ZodNumber;
+                key: z.ZodOptional<z.ZodString>;
+            }, "strict", z.ZodTypeAny, {
+                arg: number;
+                key?: string | undefined;
+            }, {
+                arg: number;
+                key?: string | undefined;
+            }>>;
+            handler: z.ZodOptional<z.ZodObject<{
+                arg: z.ZodNumber;
+                key: z.ZodOptional<z.ZodString>;
+            }, "strict", z.ZodTypeAny, {
+                arg: number;
+                key?: string | undefined;
+            }, {
+                arg: number;
+                key?: string | undefined;
+            }>>;
+            key_labels: z.ZodOptional<z.ZodRecord<z.ZodString, z.ZodEnum<["name", "not_name"]>>>;
+            name_scope: z.ZodOptional<z.ZodObject<{
+                scope: z.ZodEnum<["global", "service"]>;
+                namespace: z.ZodNullable<z.ZodString>;
+            }, "strict", z.ZodTypeAny, {
+                scope: "global" | "service";
+                namespace: string | null;
+            }, {
+                scope: "global" | "service";
+                namespace: string | null;
+            }>>;
+            picker: z.ZodOptional<z.ZodString>;
+        }, "strict", z.ZodTypeAny, {
+            kind: "make";
+            member: string | null;
+            form: "call" | "new";
+            name?: {
+                arg: number;
+                key?: string | undefined;
+            } | undefined;
+            base?: {
+                arg: number;
+                key?: string | undefined;
+            } | undefined;
+            prefix?: {
+                arg: number;
+                key?: string | undefined;
+            } | undefined;
+            handler?: {
+                arg: number;
+                key?: string | undefined;
+            } | undefined;
+            key_labels?: Record<string, "name" | "not_name"> | undefined;
+            name_scope?: {
+                scope: "global" | "service";
+                namespace: string | null;
+            } | undefined;
+            picker?: string | undefined;
+        }, {
+            kind: "make";
+            member: string | null;
+            form: "call" | "new";
+            name?: {
+                arg: number;
+                key?: string | undefined;
+            } | undefined;
+            base?: {
+                arg: number;
+                key?: string | undefined;
+            } | undefined;
+            prefix?: {
+                arg: number;
+                key?: string | undefined;
+            } | undefined;
+            handler?: {
+                arg: number;
+                key?: string | undefined;
+            } | undefined;
+            key_labels?: Record<string, "name" | "not_name"> | undefined;
+            name_scope?: {
+                scope: "global" | "service";
+                namespace: string | null;
+            } | undefined;
+            picker?: string | undefined;
+        }>, z.ZodObject<{
+            kind: z.ZodLiteral<"scope">;
+            member: z.ZodString;
+            name: z.ZodObject<{
+                arg: z.ZodNumber;
+                key: z.ZodOptional<z.ZodString>;
+            }, "strict", z.ZodTypeAny, {
+                arg: number;
+                key?: string | undefined;
+            }, {
+                arg: number;
+                key?: string | undefined;
+            }>;
+            path: z.ZodOptional<z.ZodArray<z.ZodString, "many">>;
+            on: z.ZodOptional<z.ZodEnum<["export", "instance", "both"]>>;
+            of: z.ZodOptional<z.ZodString>;
+            key_labels: z.ZodOptional<z.ZodRecord<z.ZodString, z.ZodEnum<["name", "not_name"]>>>;
+            name_scope: z.ZodOptional<z.ZodObject<{
+                scope: z.ZodEnum<["global", "service"]>;
+                namespace: z.ZodNullable<z.ZodString>;
+            }, "strict", z.ZodTypeAny, {
+                scope: "global" | "service";
+                namespace: string | null;
+            }, {
+                scope: "global" | "service";
+                namespace: string | null;
+            }>>;
+            picker: z.ZodOptional<z.ZodString>;
+        }, "strict", z.ZodTypeAny, {
+            kind: "scope";
+            name: {
+                arg: number;
+                key?: string | undefined;
+            };
+            member: string;
+            path?: string[] | undefined;
+            key_labels?: Record<string, "name" | "not_name"> | undefined;
+            name_scope?: {
+                scope: "global" | "service";
+                namespace: string | null;
+            } | undefined;
+            picker?: string | undefined;
+            on?: "both" | "export" | "instance" | undefined;
+            of?: string | undefined;
+        }, {
+            kind: "scope";
+            name: {
+                arg: number;
+                key?: string | undefined;
+            };
+            member: string;
+            path?: string[] | undefined;
+            key_labels?: Record<string, "name" | "not_name"> | undefined;
+            name_scope?: {
+                scope: "global" | "service";
+                namespace: string | null;
+            } | undefined;
+            picker?: string | undefined;
+            on?: "both" | "export" | "instance" | undefined;
+            of?: string | undefined;
+        }>, z.ZodObject<{
+            kind: z.ZodLiteral<"op">;
+            op: z.ZodEnum<["request", "send", "receive", "execute"]>;
+            member: z.ZodNullable<z.ZodString>;
+            path: z.ZodOptional<z.ZodArray<z.ZodString, "many">>;
+            on: z.ZodOptional<z.ZodEnum<["export", "instance", "both"]>>;
+            of: z.ZodOptional<z.ZodString>;
+            name: z.ZodOptional<z.ZodUnion<[z.ZodObject<{
+                bound: z.ZodEnum<["maker", "scope"]>;
+            }, "strict", z.ZodTypeAny, {
+                bound: "maker" | "scope";
+            }, {
+                bound: "maker" | "scope";
+            }>, z.ZodObject<{
+                arg: z.ZodNumber;
+                key: z.ZodOptional<z.ZodString>;
+            }, "strict", z.ZodTypeAny, {
+                arg: number;
+                key?: string | undefined;
+            }, {
+                arg: number;
+                key?: string | undefined;
+            }>]>>;
+            payload: z.ZodOptional<z.ZodObject<{
+                arg: z.ZodNumber;
+                key: z.ZodOptional<z.ZodString>;
+            }, "strict", z.ZodTypeAny, {
+                arg: number;
+                key?: string | undefined;
+            }, {
+                arg: number;
+                key?: string | undefined;
+            }>>;
+            handler: z.ZodOptional<z.ZodObject<{
+                arg: z.ZodNumber;
+                key: z.ZodOptional<z.ZodString>;
+            }, "strict", z.ZodTypeAny, {
+                arg: number;
+                key?: string | undefined;
+            }, {
+                arg: number;
+                key?: string | undefined;
+            }>>;
+            ack: z.ZodOptional<z.ZodObject<{
+                arg: z.ZodNumber;
+                key: z.ZodOptional<z.ZodString>;
+            }, "strict", z.ZodTypeAny, {
+                arg: number;
+                key?: string | undefined;
+            }, {
+                arg: number;
+                key?: string | undefined;
+            }>>;
+            key_labels: z.ZodOptional<z.ZodRecord<z.ZodString, z.ZodEnum<["name", "not_name"]>>>;
+            name_scope: z.ZodOptional<z.ZodObject<{
+                scope: z.ZodEnum<["global", "service"]>;
+                namespace: z.ZodNullable<z.ZodString>;
+            }, "strict", z.ZodTypeAny, {
+                scope: "global" | "service";
+                namespace: string | null;
+            }, {
+                scope: "global" | "service";
+                namespace: string | null;
+            }>>;
+            picker: z.ZodOptional<z.ZodString>;
+            options: z.ZodOptional<z.ZodObject<{
+                arg: z.ZodNumber;
+                key: z.ZodOptional<z.ZodString>;
+            }, "strict", z.ZodTypeAny, {
+                arg: number;
+                key?: string | undefined;
+            }, {
+                arg: number;
+                key?: string | undefined;
+            }>>;
+            method: z.ZodOptional<z.ZodString>;
+            method_key: z.ZodOptional<z.ZodObject<{
+                arg: z.ZodNumber;
+                key: z.ZodOptional<z.ZodString>;
+            }, "strict", z.ZodTypeAny, {
+                arg: number;
+                key?: string | undefined;
+            }, {
+                arg: number;
+                key?: string | undefined;
+            }>>;
+        }, "strict", z.ZodTypeAny, {
+            kind: "op";
+            op: "request" | "send" | "receive" | "execute";
+            member: string | null;
+            name?: {
+                arg: number;
+                key?: string | undefined;
+            } | {
+                bound: "maker" | "scope";
+            } | undefined;
+            path?: string[] | undefined;
+            options?: {
+                arg: number;
+                key?: string | undefined;
+            } | undefined;
+            method?: string | undefined;
+            method_key?: {
+                arg: number;
+                key?: string | undefined;
+            } | undefined;
+            handler?: {
+                arg: number;
+                key?: string | undefined;
+            } | undefined;
+            key_labels?: Record<string, "name" | "not_name"> | undefined;
+            name_scope?: {
+                scope: "global" | "service";
+                namespace: string | null;
+            } | undefined;
+            picker?: string | undefined;
+            on?: "both" | "export" | "instance" | undefined;
+            of?: string | undefined;
+            payload?: {
+                arg: number;
+                key?: string | undefined;
+            } | undefined;
+            ack?: {
+                arg: number;
+                key?: string | undefined;
+            } | undefined;
+        }, {
+            kind: "op";
+            op: "request" | "send" | "receive" | "execute";
+            member: string | null;
+            name?: {
+                arg: number;
+                key?: string | undefined;
+            } | {
+                bound: "maker" | "scope";
+            } | undefined;
+            path?: string[] | undefined;
+            options?: {
+                arg: number;
+                key?: string | undefined;
+            } | undefined;
+            method?: string | undefined;
+            method_key?: {
+                arg: number;
+                key?: string | undefined;
+            } | undefined;
+            handler?: {
+                arg: number;
+                key?: string | undefined;
+            } | undefined;
+            key_labels?: Record<string, "name" | "not_name"> | undefined;
+            name_scope?: {
+                scope: "global" | "service";
+                namespace: string | null;
+            } | undefined;
+            picker?: string | undefined;
+            on?: "both" | "export" | "instance" | undefined;
+            of?: string | undefined;
+            payload?: {
+                arg: number;
+                key?: string | undefined;
+            } | undefined;
+            ack?: {
+                arg: number;
+                key?: string | undefined;
+            } | undefined;
+        }>, z.ZodObject<{
+            kind: z.ZodLiteral<"reserved">;
+            member: z.ZodString;
+            name: z.ZodString;
+            path: z.ZodOptional<z.ZodArray<z.ZodString, "many">>;
+            on: z.ZodOptional<z.ZodEnum<["export", "instance", "both"]>>;
+            of: z.ZodOptional<z.ZodString>;
+            picker: z.ZodOptional<z.ZodString>;
+        }, "strict", z.ZodTypeAny, {
+            kind: "reserved";
+            name: string;
+            member: string;
+            path?: string[] | undefined;
+            picker?: string | undefined;
+            on?: "both" | "export" | "instance" | undefined;
+            of?: string | undefined;
+        }, {
+            kind: "reserved";
+            name: string;
+            member: string;
+            path?: string[] | undefined;
+            picker?: string | undefined;
+            on?: "both" | "export" | "instance" | undefined;
+            of?: string | undefined;
+        }>]>;
+    }, "strict", z.ZodTypeAny, {
+        export: string;
         claim_id: string;
         package: string;
         receiver: string;
+        claim: {
+            kind: "make";
+            member: string | null;
+            form: "call" | "new";
+            name?: {
+                arg: number;
+                key?: string | undefined;
+            } | undefined;
+            base?: {
+                arg: number;
+                key?: string | undefined;
+            } | undefined;
+            prefix?: {
+                arg: number;
+                key?: string | undefined;
+            } | undefined;
+            handler?: {
+                arg: number;
+                key?: string | undefined;
+            } | undefined;
+            key_labels?: Record<string, "name" | "not_name"> | undefined;
+            name_scope?: {
+                scope: "global" | "service";
+                namespace: string | null;
+            } | undefined;
+            picker?: string | undefined;
+        } | {
+            kind: "scope";
+            name: {
+                arg: number;
+                key?: string | undefined;
+            };
+            member: string;
+            path?: string[] | undefined;
+            key_labels?: Record<string, "name" | "not_name"> | undefined;
+            name_scope?: {
+                scope: "global" | "service";
+                namespace: string | null;
+            } | undefined;
+            picker?: string | undefined;
+            on?: "both" | "export" | "instance" | undefined;
+            of?: string | undefined;
+        } | {
+            kind: "op";
+            op: "request" | "send" | "receive" | "execute";
+            member: string | null;
+            name?: {
+                arg: number;
+                key?: string | undefined;
+            } | {
+                bound: "maker" | "scope";
+            } | undefined;
+            path?: string[] | undefined;
+            options?: {
+                arg: number;
+                key?: string | undefined;
+            } | undefined;
+            method?: string | undefined;
+            method_key?: {
+                arg: number;
+                key?: string | undefined;
+            } | undefined;
+            handler?: {
+                arg: number;
+                key?: string | undefined;
+            } | undefined;
+            key_labels?: Record<string, "name" | "not_name"> | undefined;
+            name_scope?: {
+                scope: "global" | "service";
+                namespace: string | null;
+            } | undefined;
+            picker?: string | undefined;
+            on?: "both" | "export" | "instance" | undefined;
+            of?: string | undefined;
+            payload?: {
+                arg: number;
+                key?: string | undefined;
+            } | undefined;
+            ack?: {
+                arg: number;
+                key?: string | undefined;
+            } | undefined;
+        } | {
+            kind: "reserved";
+            name: string;
+            member: string;
+            path?: string[] | undefined;
+            picker?: string | undefined;
+            on?: "both" | "export" | "instance" | undefined;
+            of?: string | undefined;
+        };
+        role: "none" | "socket" | "http_client" | "graphql_client" | "broker" | "in_process_bus" | "server_framework";
+    }, {
+        export: string;
+        claim_id: string;
+        package: string;
+        receiver: string;
+        claim: {
+            kind: "make";
+            member: string | null;
+            form: "call" | "new";
+            name?: {
+                arg: number;
+                key?: string | undefined;
+            } | undefined;
+            base?: {
+                arg: number;
+                key?: string | undefined;
+            } | undefined;
+            prefix?: {
+                arg: number;
+                key?: string | undefined;
+            } | undefined;
+            handler?: {
+                arg: number;
+                key?: string | undefined;
+            } | undefined;
+            key_labels?: Record<string, "name" | "not_name"> | undefined;
+            name_scope?: {
+                scope: "global" | "service";
+                namespace: string | null;
+            } | undefined;
+            picker?: string | undefined;
+        } | {
+            kind: "scope";
+            name: {
+                arg: number;
+                key?: string | undefined;
+            };
+            member: string;
+            path?: string[] | undefined;
+            key_labels?: Record<string, "name" | "not_name"> | undefined;
+            name_scope?: {
+                scope: "global" | "service";
+                namespace: string | null;
+            } | undefined;
+            picker?: string | undefined;
+            on?: "both" | "export" | "instance" | undefined;
+            of?: string | undefined;
+        } | {
+            kind: "op";
+            op: "request" | "send" | "receive" | "execute";
+            member: string | null;
+            name?: {
+                arg: number;
+                key?: string | undefined;
+            } | {
+                bound: "maker" | "scope";
+            } | undefined;
+            path?: string[] | undefined;
+            options?: {
+                arg: number;
+                key?: string | undefined;
+            } | undefined;
+            method?: string | undefined;
+            method_key?: {
+                arg: number;
+                key?: string | undefined;
+            } | undefined;
+            handler?: {
+                arg: number;
+                key?: string | undefined;
+            } | undefined;
+            key_labels?: Record<string, "name" | "not_name"> | undefined;
+            name_scope?: {
+                scope: "global" | "service";
+                namespace: string | null;
+            } | undefined;
+            picker?: string | undefined;
+            on?: "both" | "export" | "instance" | undefined;
+            of?: string | undefined;
+            payload?: {
+                arg: number;
+                key?: string | undefined;
+            } | undefined;
+            ack?: {
+                arg: number;
+                key?: string | undefined;
+            } | undefined;
+        } | {
+            kind: "reserved";
+            name: string;
+            member: string;
+            path?: string[] | undefined;
+            picker?: string | undefined;
+            on?: "both" | "export" | "instance" | undefined;
+            of?: string | undefined;
+        };
+        role: "none" | "socket" | "http_client" | "graphql_client" | "broker" | "in_process_bus" | "server_framework";
+    }>, "many">;
+    budget_ms: z.ZodOptional<z.ZodNullable<z.ZodNumber>>;
+}, "strip", z.ZodTypeAny, {
+    request_id: string;
+    action: "verify_library_claims";
+    checks: {
+        export: string;
+        claim_id: string;
+        package: string;
+        receiver: string;
+        claim: {
+            kind: "make";
+            member: string | null;
+            form: "call" | "new";
+            name?: {
+                arg: number;
+                key?: string | undefined;
+            } | undefined;
+            base?: {
+                arg: number;
+                key?: string | undefined;
+            } | undefined;
+            prefix?: {
+                arg: number;
+                key?: string | undefined;
+            } | undefined;
+            handler?: {
+                arg: number;
+                key?: string | undefined;
+            } | undefined;
+            key_labels?: Record<string, "name" | "not_name"> | undefined;
+            name_scope?: {
+                scope: "global" | "service";
+                namespace: string | null;
+            } | undefined;
+            picker?: string | undefined;
+        } | {
+            kind: "scope";
+            name: {
+                arg: number;
+                key?: string | undefined;
+            };
+            member: string;
+            path?: string[] | undefined;
+            key_labels?: Record<string, "name" | "not_name"> | undefined;
+            name_scope?: {
+                scope: "global" | "service";
+                namespace: string | null;
+            } | undefined;
+            picker?: string | undefined;
+            on?: "both" | "export" | "instance" | undefined;
+            of?: string | undefined;
+        } | {
+            kind: "op";
+            op: "request" | "send" | "receive" | "execute";
+            member: string | null;
+            name?: {
+                arg: number;
+                key?: string | undefined;
+            } | {
+                bound: "maker" | "scope";
+            } | undefined;
+            path?: string[] | undefined;
+            options?: {
+                arg: number;
+                key?: string | undefined;
+            } | undefined;
+            method?: string | undefined;
+            method_key?: {
+                arg: number;
+                key?: string | undefined;
+            } | undefined;
+            handler?: {
+                arg: number;
+                key?: string | undefined;
+            } | undefined;
+            key_labels?: Record<string, "name" | "not_name"> | undefined;
+            name_scope?: {
+                scope: "global" | "service";
+                namespace: string | null;
+            } | undefined;
+            picker?: string | undefined;
+            on?: "both" | "export" | "instance" | undefined;
+            of?: string | undefined;
+            payload?: {
+                arg: number;
+                key?: string | undefined;
+            } | undefined;
+            ack?: {
+                arg: number;
+                key?: string | undefined;
+            } | undefined;
+        } | {
+            kind: "reserved";
+            name: string;
+            member: string;
+            path?: string[] | undefined;
+            picker?: string | undefined;
+            on?: "both" | "export" | "instance" | undefined;
+            of?: string | undefined;
+        };
+        role: "none" | "socket" | "http_client" | "graphql_client" | "broker" | "in_process_bus" | "server_framework";
     }[];
     from_dir: string;
-    budget_ms?: number | undefined;
+    budget_ms?: number | null | undefined;
+}, {
+    request_id: string;
+    action: "verify_library_claims";
+    checks: {
+        export: string;
+        claim_id: string;
+        package: string;
+        receiver: string;
+        claim: {
+            kind: "make";
+            member: string | null;
+            form: "call" | "new";
+            name?: {
+                arg: number;
+                key?: string | undefined;
+            } | undefined;
+            base?: {
+                arg: number;
+                key?: string | undefined;
+            } | undefined;
+            prefix?: {
+                arg: number;
+                key?: string | undefined;
+            } | undefined;
+            handler?: {
+                arg: number;
+                key?: string | undefined;
+            } | undefined;
+            key_labels?: Record<string, "name" | "not_name"> | undefined;
+            name_scope?: {
+                scope: "global" | "service";
+                namespace: string | null;
+            } | undefined;
+            picker?: string | undefined;
+        } | {
+            kind: "scope";
+            name: {
+                arg: number;
+                key?: string | undefined;
+            };
+            member: string;
+            path?: string[] | undefined;
+            key_labels?: Record<string, "name" | "not_name"> | undefined;
+            name_scope?: {
+                scope: "global" | "service";
+                namespace: string | null;
+            } | undefined;
+            picker?: string | undefined;
+            on?: "both" | "export" | "instance" | undefined;
+            of?: string | undefined;
+        } | {
+            kind: "op";
+            op: "request" | "send" | "receive" | "execute";
+            member: string | null;
+            name?: {
+                arg: number;
+                key?: string | undefined;
+            } | {
+                bound: "maker" | "scope";
+            } | undefined;
+            path?: string[] | undefined;
+            options?: {
+                arg: number;
+                key?: string | undefined;
+            } | undefined;
+            method?: string | undefined;
+            method_key?: {
+                arg: number;
+                key?: string | undefined;
+            } | undefined;
+            handler?: {
+                arg: number;
+                key?: string | undefined;
+            } | undefined;
+            key_labels?: Record<string, "name" | "not_name"> | undefined;
+            name_scope?: {
+                scope: "global" | "service";
+                namespace: string | null;
+            } | undefined;
+            picker?: string | undefined;
+            on?: "both" | "export" | "instance" | undefined;
+            of?: string | undefined;
+            payload?: {
+                arg: number;
+                key?: string | undefined;
+            } | undefined;
+            ack?: {
+                arg: number;
+                key?: string | undefined;
+            } | undefined;
+        } | {
+            kind: "reserved";
+            name: string;
+            member: string;
+            path?: string[] | undefined;
+            picker?: string | undefined;
+            on?: "both" | "export" | "instance" | undefined;
+            of?: string | undefined;
+        };
+        role: "none" | "socket" | "http_client" | "graphql_client" | "broker" | "in_process_bus" | "server_framework";
+    }[];
+    from_dir: string;
+    budget_ms?: number | null | undefined;
+}>, z.ZodObject<{
+    request_id: z.ZodString;
+} & {
+    action: z.ZodLiteral<"list_library_surface">;
+    from_dir: z.ZodString;
+    packages: z.ZodArray<z.ZodString, "many">;
+    max_entries: z.ZodOptional<z.ZodNumber>;
+    exports: z.ZodOptional<z.ZodRecord<z.ZodString, z.ZodArray<z.ZodString, "many">>>;
+}, "strip", z.ZodTypeAny, {
+    request_id: string;
+    action: "list_library_surface";
+    from_dir: string;
+    packages: string[];
+    max_entries?: number | undefined;
+    exports?: Record<string, string[]> | undefined;
+}, {
+    request_id: string;
+    action: "list_library_surface";
+    from_dir: string;
+    packages: string[];
+    max_entries?: number | undefined;
+    exports?: Record<string, string[]> | undefined;
 }>, z.ZodObject<{
     request_id: z.ZodString;
 } & {