carrick 0.3.97 → 0.3.99

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

@@ -1201,6 +1201,238 @@ export declare const RetypeCheckRequestSchema: z.ZodObject<{
     }[];
     budget_ms?: number | undefined;
 }>;
+export declare const VerifyClientSemanticsRequestSchema: z.ZodObject<{
+    request_id: z.ZodString;
+} & {
+    action: z.ZodLiteral<"verify_client_semantics">;
+    from_dir: z.ZodString;
+    checks: z.ZodArray<z.ZodObject<{
+        claim_id: z.ZodString;
+        package: z.ZodString;
+        export: z.ZodString;
+        receiver: z.ZodString;
+        claim: z.ZodDiscriminatedUnion<"kind", [z.ZodObject<{
+            kind: z.ZodLiteral<"factory">;
+            member: z.ZodString;
+            base_url_key: z.ZodString;
+        }, "strip", z.ZodTypeAny, {
+            kind: "factory";
+            member: string;
+            base_url_key: string;
+        }, {
+            kind: "factory";
+            member: string;
+            base_url_key: string;
+        }>, z.ZodObject<{
+            kind: z.ZodLiteral<"verb">;
+            member: z.ZodString;
+            method: z.ZodString;
+        }, "strip", z.ZodTypeAny, {
+            kind: "verb";
+            member: string;
+            method: string;
+        }, {
+            kind: "verb";
+            member: string;
+            method: string;
+        }>, z.ZodObject<{
+            kind: z.ZodLiteral<"verb_body">;
+            member: z.ZodString;
+            args: z.ZodEnum<["path_body", "path_options"]>;
+            body_key: z.ZodOptional<z.ZodString>;
+        }, "strip", z.ZodTypeAny, {
+            kind: "verb_body";
+            member: string;
+            args: "path_body" | "path_options";
+            body_key?: string | undefined;
+        }, {
+            kind: "verb_body";
+            member: string;
+            args: "path_body" | "path_options";
+            body_key?: string | undefined;
+        }>, z.ZodObject<{
+            kind: z.ZodLiteral<"request">;
+            member: z.ZodNullable<z.ZodString>;
+            args: z.ZodEnum<["config", "path_options"]>;
+            url_key: z.ZodOptional<z.ZodString>;
+            method_key: z.ZodString;
+        }, "strip", z.ZodTypeAny, {
+            kind: "request";
+            member: string | null;
+            args: "path_options" | "config";
+            method_key: string;
+            url_key?: string | undefined;
+        }, {
+            kind: "request";
+            member: string | null;
+            args: "path_options" | "config";
+            method_key: string;
+            url_key?: string | undefined;
+        }>, z.ZodObject<{
+            kind: z.ZodLiteral<"request_body">;
+            member: z.ZodNullable<z.ZodString>;
+            args: z.ZodEnum<["config", "path_options"]>;
+            url_key: z.ZodOptional<z.ZodString>;
+            method_key: z.ZodString;
+            body_key: z.ZodString;
+        }, "strip", z.ZodTypeAny, {
+            kind: "request_body";
+            member: string | null;
+            args: "path_options" | "config";
+            body_key: string;
+            method_key: string;
+            url_key?: string | undefined;
+        }, {
+            kind: "request_body";
+            member: string | null;
+            args: "path_options" | "config";
+            body_key: string;
+            method_key: string;
+            url_key?: string | undefined;
+        }>]>;
+    }, "strip", z.ZodTypeAny, {
+        export: string;
+        claim: {
+            kind: "factory";
+            member: string;
+            base_url_key: string;
+        } | {
+            kind: "verb";
+            member: string;
+            method: string;
+        } | {
+            kind: "verb_body";
+            member: string;
+            args: "path_body" | "path_options";
+            body_key?: string | undefined;
+        } | {
+            kind: "request";
+            member: string | null;
+            args: "path_options" | "config";
+            method_key: string;
+            url_key?: string | undefined;
+        } | {
+            kind: "request_body";
+            member: string | null;
+            args: "path_options" | "config";
+            body_key: string;
+            method_key: string;
+            url_key?: string | undefined;
+        };
+        claim_id: string;
+        package: string;
+        receiver: string;
+    }, {
+        export: string;
+        claim: {
+            kind: "factory";
+            member: string;
+            base_url_key: string;
+        } | {
+            kind: "verb";
+            member: string;
+            method: string;
+        } | {
+            kind: "verb_body";
+            member: string;
+            args: "path_body" | "path_options";
+            body_key?: string | undefined;
+        } | {
+            kind: "request";
+            member: string | null;
+            args: "path_options" | "config";
+            method_key: string;
+            url_key?: string | undefined;
+        } | {
+            kind: "request_body";
+            member: string | null;
+            args: "path_options" | "config";
+            body_key: string;
+            method_key: string;
+            url_key?: string | undefined;
+        };
+        claim_id: string;
+        package: string;
+        receiver: string;
+    }>, "many">;
+    budget_ms: z.ZodOptional<z.ZodNumber>;
+}, "strip", z.ZodTypeAny, {
+    request_id: string;
+    action: "verify_client_semantics";
+    checks: {
+        export: string;
+        claim: {
+            kind: "factory";
+            member: string;
+            base_url_key: string;
+        } | {
+            kind: "verb";
+            member: string;
+            method: string;
+        } | {
+            kind: "verb_body";
+            member: string;
+            args: "path_body" | "path_options";
+            body_key?: string | undefined;
+        } | {
+            kind: "request";
+            member: string | null;
+            args: "path_options" | "config";
+            method_key: string;
+            url_key?: string | undefined;
+        } | {
+            kind: "request_body";
+            member: string | null;
+            args: "path_options" | "config";
+            body_key: string;
+            method_key: string;
+            url_key?: string | undefined;
+        };
+        claim_id: string;
+        package: string;
+        receiver: string;
+    }[];
+    from_dir: string;
+    budget_ms?: number | undefined;
+}, {
+    request_id: string;
+    action: "verify_client_semantics";
+    checks: {
+        export: string;
+        claim: {
+            kind: "factory";
+            member: string;
+            base_url_key: string;
+        } | {
+            kind: "verb";
+            member: string;
+            method: string;
+        } | {
+            kind: "verb_body";
+            member: string;
+            args: "path_body" | "path_options";
+            body_key?: string | undefined;
+        } | {
+            kind: "request";
+            member: string | null;
+            args: "path_options" | "config";
+            method_key: string;
+            url_key?: string | undefined;
+        } | {
+            kind: "request_body";
+            member: string | null;
+            args: "path_options" | "config";
+            body_key: string;
+            method_key: string;
+            url_key?: string | undefined;
+        };
+        claim_id: string;
+        package: string;
+        receiver: string;
+    }[];
+    from_dir: string;
+    budget_ms?: number | undefined;
+}>;
 /**
  * The main sidecar request schema - a discriminated union on the 'action' field
  */
@@ -2312,6 +2544,237 @@ export declare const SidecarRequestSchema: z.ZodDiscriminatedUnion<"action", [z.
     budget_ms?: number | undefined;
 }>, z.ZodObject<{
     request_id: z.ZodString;
+} & {
+    action: z.ZodLiteral<"verify_client_semantics">;
+    from_dir: z.ZodString;
+    checks: z.ZodArray<z.ZodObject<{
+        claim_id: z.ZodString;
+        package: z.ZodString;
+        export: z.ZodString;
+        receiver: z.ZodString;
+        claim: z.ZodDiscriminatedUnion<"kind", [z.ZodObject<{
+            kind: z.ZodLiteral<"factory">;
+            member: z.ZodString;
+            base_url_key: z.ZodString;
+        }, "strip", z.ZodTypeAny, {
+            kind: "factory";
+            member: string;
+            base_url_key: string;
+        }, {
+            kind: "factory";
+            member: string;
+            base_url_key: string;
+        }>, z.ZodObject<{
+            kind: z.ZodLiteral<"verb">;
+            member: z.ZodString;
+            method: z.ZodString;
+        }, "strip", z.ZodTypeAny, {
+            kind: "verb";
+            member: string;
+            method: string;
+        }, {
+            kind: "verb";
+            member: string;
+            method: string;
+        }>, z.ZodObject<{
+            kind: z.ZodLiteral<"verb_body">;
+            member: z.ZodString;
+            args: z.ZodEnum<["path_body", "path_options"]>;
+            body_key: z.ZodOptional<z.ZodString>;
+        }, "strip", z.ZodTypeAny, {
+            kind: "verb_body";
+            member: string;
+            args: "path_body" | "path_options";
+            body_key?: string | undefined;
+        }, {
+            kind: "verb_body";
+            member: string;
+            args: "path_body" | "path_options";
+            body_key?: string | undefined;
+        }>, z.ZodObject<{
+            kind: z.ZodLiteral<"request">;
+            member: z.ZodNullable<z.ZodString>;
+            args: z.ZodEnum<["config", "path_options"]>;
+            url_key: z.ZodOptional<z.ZodString>;
+            method_key: z.ZodString;
+        }, "strip", z.ZodTypeAny, {
+            kind: "request";
+            member: string | null;
+            args: "path_options" | "config";
+            method_key: string;
+            url_key?: string | undefined;
+        }, {
+            kind: "request";
+            member: string | null;
+            args: "path_options" | "config";
+            method_key: string;
+            url_key?: string | undefined;
+        }>, z.ZodObject<{
+            kind: z.ZodLiteral<"request_body">;
+            member: z.ZodNullable<z.ZodString>;
+            args: z.ZodEnum<["config", "path_options"]>;
+            url_key: z.ZodOptional<z.ZodString>;
+            method_key: z.ZodString;
+            body_key: z.ZodString;
+        }, "strip", z.ZodTypeAny, {
+            kind: "request_body";
+            member: string | null;
+            args: "path_options" | "config";
+            body_key: string;
+            method_key: string;
+            url_key?: string | undefined;
+        }, {
+            kind: "request_body";
+            member: string | null;
+            args: "path_options" | "config";
+            body_key: string;
+            method_key: string;
+            url_key?: string | undefined;
+        }>]>;
+    }, "strip", z.ZodTypeAny, {
+        export: string;
+        claim: {
+            kind: "factory";
+            member: string;
+            base_url_key: string;
+        } | {
+            kind: "verb";
+            member: string;
+            method: string;
+        } | {
+            kind: "verb_body";
+            member: string;
+            args: "path_body" | "path_options";
+            body_key?: string | undefined;
+        } | {
+            kind: "request";
+            member: string | null;
+            args: "path_options" | "config";
+            method_key: string;
+            url_key?: string | undefined;
+        } | {
+            kind: "request_body";
+            member: string | null;
+            args: "path_options" | "config";
+            body_key: string;
+            method_key: string;
+            url_key?: string | undefined;
+        };
+        claim_id: string;
+        package: string;
+        receiver: string;
+    }, {
+        export: string;
+        claim: {
+            kind: "factory";
+            member: string;
+            base_url_key: string;
+        } | {
+            kind: "verb";
+            member: string;
+            method: string;
+        } | {
+            kind: "verb_body";
+            member: string;
+            args: "path_body" | "path_options";
+            body_key?: string | undefined;
+        } | {
+            kind: "request";
+            member: string | null;
+            args: "path_options" | "config";
+            method_key: string;
+            url_key?: string | undefined;
+        } | {
+            kind: "request_body";
+            member: string | null;
+            args: "path_options" | "config";
+            body_key: string;
+            method_key: string;
+            url_key?: string | undefined;
+        };
+        claim_id: string;
+        package: string;
+        receiver: string;
+    }>, "many">;
+    budget_ms: z.ZodOptional<z.ZodNumber>;
+}, "strip", z.ZodTypeAny, {
+    request_id: string;
+    action: "verify_client_semantics";
+    checks: {
+        export: string;
+        claim: {
+            kind: "factory";
+            member: string;
+            base_url_key: string;
+        } | {
+            kind: "verb";
+            member: string;
+            method: string;
+        } | {
+            kind: "verb_body";
+            member: string;
+            args: "path_body" | "path_options";
+            body_key?: string | undefined;
+        } | {
+            kind: "request";
+            member: string | null;
+            args: "path_options" | "config";
+            method_key: string;
+            url_key?: string | undefined;
+        } | {
+            kind: "request_body";
+            member: string | null;
+            args: "path_options" | "config";
+            body_key: string;
+            method_key: string;
+            url_key?: string | undefined;
+        };
+        claim_id: string;
+        package: string;
+        receiver: string;
+    }[];
+    from_dir: string;
+    budget_ms?: number | undefined;
+}, {
+    request_id: string;
+    action: "verify_client_semantics";
+    checks: {
+        export: string;
+        claim: {
+            kind: "factory";
+            member: string;
+            base_url_key: string;
+        } | {
+            kind: "verb";
+            member: string;
+            method: string;
+        } | {
+            kind: "verb_body";
+            member: string;
+            args: "path_body" | "path_options";
+            body_key?: string | undefined;
+        } | {
+            kind: "request";
+            member: string | null;
+            args: "path_options" | "config";
+            method_key: string;
+            url_key?: string | undefined;
+        } | {
+            kind: "request_body";
+            member: string | null;
+            args: "path_options" | "config";
+            body_key: string;
+            method_key: string;
+            url_key?: string | undefined;
+        };
+        claim_id: string;
+        package: string;
+        receiver: string;
+    }[];
+    from_dir: string;
+    budget_ms?: number | undefined;
+}>, z.ZodObject<{
+    request_id: z.ZodString;
 } & {
     action: z.ZodLiteral<"health">;
 }, "strip", z.ZodTypeAny, {

package/sidecar/dist/src/validators.js

@@ -300,6 +300,55 @@ export const RetypeCheckRequestSchema = BaseRequestSchema.extend({
     items: z.array(RetypeItemSchema).min(1, 'At least one item is required'),
     budget_ms: z.number().int().nonnegative().optional(),
 });
+/** One library-semantics claim, as the scanner derives it (carrick#1564). */
+const SemanticsClaimSchema = z.discriminatedUnion('kind', [
+    z.object({
+        kind: z.literal('factory'),
+        member: z.string().min(1),
+        base_url_key: z.string().min(1),
+    }),
+    z.object({
+        kind: z.literal('verb'),
+        member: z.string().min(1),
+        method: z.string().min(1),
+    }),
+    z.object({
+        kind: z.literal('verb_body'),
+        member: z.string().min(1),
+        args: z.enum(['path_body', 'path_options']),
+        body_key: z.string().min(1).optional(),
+    }),
+    z.object({
+        kind: z.literal('request'),
+        member: z.string().min(1).nullable(),
+        args: z.enum(['config', 'path_options']),
+        url_key: z.string().min(1).optional(),
+        method_key: z.string().min(1),
+    }),
+    z.object({
+        kind: z.literal('request_body'),
+        member: z.string().min(1).nullable(),
+        args: z.enum(['config', 'path_options']),
+        url_key: z.string().min(1).optional(),
+        method_key: z.string().min(1),
+        body_key: z.string().min(1),
+    }),
+]);
+const SemanticsCheckSchema = z.object({
+    claim_id: z.string().min(1),
+    package: z.string().min(1),
+    export: z.string().min(1),
+    // Any other receiver answers `unchecked` (`receiver_invalid`) on its own
+    // rather than failing the batch.
+    receiver: z.string().min(1),
+    claim: SemanticsClaimSchema,
+});
+export const VerifyClientSemanticsRequestSchema = BaseRequestSchema.extend({
+    action: z.literal('verify_client_semantics'),
+    from_dir: z.string().min(1),
+    checks: z.array(SemanticsCheckSchema),
+    budget_ms: z.number().int().nonnegative().optional(),
+});
 // ============================================================================
 // Discriminated Union Schema
 // ============================================================================
@@ -317,6 +366,7 @@ export const SidecarRequestSchema = z.discriminatedUnion('action', [
     CheckCompatibilityRequestSchema,
     ResolveDefinitionsRequestSchema,
     RetypeCheckRequestSchema,
+    VerifyClientSemanticsRequestSchema,
     HealthRequestSchema,
     ShutdownRequestSchema,
 ]);