@lit-protocol/vincent-ability-sdk 0.0.1-ea

package/dist/src/type-inference-verification/parameter-inference-tests.d.ts

@@ -0,0 +1,456 @@
+/**
+ * Parameter Inference Tests
+ *
+ * Tests to verify TypeScript correctly enforces type constraints
+ * on parameters passed to allow() and deny() methods.
+ */
+import { z } from 'zod';
+/**
+ * Test 1: Basic schema validation for allow/deny
+ */
+declare function testBasicSchemaValidation(): {
+    vincentPolicy: import("../internal").VincentPolicy<"@lit-protocol/test-policy@1.34.2", z.ZodObject<{
+        actionType: z.ZodString;
+    }, "strip", z.ZodTypeAny, {
+        actionType: string;
+    }, {
+        actionType: string;
+    }>, z.ZodUndefined, z.ZodUndefined, z.ZodUndefined, z.ZodObject<{
+        success: z.ZodBoolean;
+    }, "strip", z.ZodTypeAny, {
+        success: boolean;
+    }, {
+        success: boolean;
+    }>, z.ZodObject<{
+        errorCode: z.ZodNumber;
+    }, "strip", z.ZodTypeAny, {
+        errorCode: number;
+    }, {
+        errorCode: number;
+    }>, z.ZodUndefined, z.ZodUndefined, z.ZodUndefined, import("../lib/types").PolicyLifecycleFunction<z.ZodObject<{
+        actionType: z.ZodString;
+    }, "strip", z.ZodTypeAny, {
+        actionType: string;
+    }, {
+        actionType: string;
+    }>, z.ZodUndefined, z.ZodObject<{
+        success: z.ZodBoolean;
+    }, "strip", z.ZodTypeAny, {
+        success: boolean;
+    }, {
+        success: boolean;
+    }>, z.ZodObject<{
+        errorCode: z.ZodNumber;
+    }, "strip", z.ZodTypeAny, {
+        errorCode: number;
+    }, {
+        errorCode: number;
+    }>>, import("../lib/types").PolicyLifecycleFunction<z.ZodObject<{
+        actionType: z.ZodString;
+    }, "strip", z.ZodTypeAny, {
+        actionType: string;
+    }, {
+        actionType: string;
+    }>, z.ZodUndefined, z.ZodUndefined, z.ZodUndefined>, import("../lib/types").CommitLifecycleFunction<z.ZodUndefined, z.ZodUndefined, z.ZodUndefined>>;
+    ipfsCid: "oi3wjfn9048w2j";
+    abilityParameterMappings: Partial<{
+        action: "actionType";
+        target: "actionType";
+        amount: "actionType";
+    }>;
+    vincentAbilityApiVersion: string;
+    __schemaTypes: {
+        policyAbilityParamsSchema: z.ZodObject<{
+            actionType: z.ZodString;
+        }, "strip", z.ZodTypeAny, {
+            actionType: string;
+        }, {
+            actionType: string;
+        }>;
+        userParamsSchema: z.ZodUndefined;
+        evalAllowResultSchema: z.ZodObject<{
+            success: z.ZodBoolean;
+        }, "strip", z.ZodTypeAny, {
+            success: boolean;
+        }, {
+            success: boolean;
+        }>;
+        evalDenyResultSchema: z.ZodObject<{
+            errorCode: z.ZodNumber;
+        }, "strip", z.ZodTypeAny, {
+            errorCode: number;
+        }, {
+            errorCode: number;
+        }>;
+        precheckAllowResultSchema: z.ZodUndefined;
+        precheckDenyResultSchema: z.ZodUndefined;
+        commitParamsSchema: z.ZodUndefined;
+        commitAllowResultSchema: z.ZodUndefined;
+        commitDenyResultSchema: z.ZodUndefined;
+        evaluate: import("../lib/types").PolicyLifecycleFunction<z.ZodObject<{
+            actionType: z.ZodString;
+        }, "strip", z.ZodTypeAny, {
+            actionType: string;
+        }, {
+            actionType: string;
+        }>, z.ZodUndefined, z.ZodObject<{
+            success: z.ZodBoolean;
+        }, "strip", z.ZodTypeAny, {
+            success: boolean;
+        }, {
+            success: boolean;
+        }>, z.ZodObject<{
+            errorCode: z.ZodNumber;
+        }, "strip", z.ZodTypeAny, {
+            errorCode: number;
+        }, {
+            errorCode: number;
+        }>>;
+        precheck: import("../lib/types").PolicyLifecycleFunction<z.ZodObject<{
+            actionType: z.ZodString;
+        }, "strip", z.ZodTypeAny, {
+            actionType: string;
+        }, {
+            actionType: string;
+        }>, z.ZodUndefined, z.ZodUndefined, z.ZodUndefined> | undefined;
+        commit: import("../lib/types").CommitLifecycleFunction<z.ZodUndefined, z.ZodUndefined, z.ZodUndefined> | undefined;
+    };
+};
+/**
+ * Test 2: No schema case validation
+ */
+declare function testNoSchemaValidation(): {
+    vincentPolicy: import("../internal").VincentPolicy<"@lit-protocol/test-policy@1.34.2", z.ZodObject<{
+        actionType: z.ZodString;
+    }, "strip", z.ZodTypeAny, {
+        actionType: string;
+    }, {
+        actionType: string;
+    }>, z.ZodUndefined, z.ZodUndefined, z.ZodUndefined, z.ZodUndefined, z.ZodUndefined, z.ZodUndefined, z.ZodUndefined, z.ZodUndefined, import("../lib/types").PolicyLifecycleFunction<z.ZodObject<{
+        actionType: z.ZodString;
+    }, "strip", z.ZodTypeAny, {
+        actionType: string;
+    }, {
+        actionType: string;
+    }>, z.ZodUndefined, z.ZodUndefined, z.ZodUndefined>, import("../lib/types").PolicyLifecycleFunction<z.ZodObject<{
+        actionType: z.ZodString;
+    }, "strip", z.ZodTypeAny, {
+        actionType: string;
+    }, {
+        actionType: string;
+    }>, z.ZodUndefined, z.ZodUndefined, z.ZodUndefined>, import("../lib/types").CommitLifecycleFunction<z.ZodUndefined, z.ZodUndefined, z.ZodUndefined>>;
+    ipfsCid: "1098jwsdoifosdji";
+    abilityParameterMappings: Partial<{
+        action: "actionType";
+        target: "actionType";
+        amount: "actionType";
+    }>;
+    vincentAbilityApiVersion: string;
+    __schemaTypes: {
+        policyAbilityParamsSchema: z.ZodObject<{
+            actionType: z.ZodString;
+        }, "strip", z.ZodTypeAny, {
+            actionType: string;
+        }, {
+            actionType: string;
+        }>;
+        userParamsSchema: z.ZodUndefined;
+        evalAllowResultSchema: z.ZodUndefined;
+        evalDenyResultSchema: z.ZodUndefined;
+        precheckAllowResultSchema: z.ZodUndefined;
+        precheckDenyResultSchema: z.ZodUndefined;
+        commitParamsSchema: z.ZodUndefined;
+        commitAllowResultSchema: z.ZodUndefined;
+        commitDenyResultSchema: z.ZodUndefined;
+        evaluate: import("../lib/types").PolicyLifecycleFunction<z.ZodObject<{
+            actionType: z.ZodString;
+        }, "strip", z.ZodTypeAny, {
+            actionType: string;
+        }, {
+            actionType: string;
+        }>, z.ZodUndefined, z.ZodUndefined, z.ZodUndefined>;
+        precheck: import("../lib/types").PolicyLifecycleFunction<z.ZodObject<{
+            actionType: z.ZodString;
+        }, "strip", z.ZodTypeAny, {
+            actionType: string;
+        }, {
+            actionType: string;
+        }>, z.ZodUndefined, z.ZodUndefined, z.ZodUndefined> | undefined;
+        commit: import("../lib/types").CommitLifecycleFunction<z.ZodUndefined, z.ZodUndefined, z.ZodUndefined> | undefined;
+    };
+};
+/**
+ * Test 3: String schema validation
+ */
+declare function testStringSchemaValidation(): {
+    vincentPolicy: import("../internal").VincentPolicy<"@lit-protocol/test-policy@1.34.2", z.ZodObject<{
+        actionType: z.ZodString;
+    }, "strip", z.ZodTypeAny, {
+        actionType: string;
+    }, {
+        actionType: string;
+    }>, z.ZodUndefined, z.ZodUndefined, z.ZodUndefined, z.ZodString, z.ZodUndefined, z.ZodUndefined, z.ZodUndefined, z.ZodUndefined, import("../lib/types").PolicyLifecycleFunction<z.ZodObject<{
+        actionType: z.ZodString;
+    }, "strip", z.ZodTypeAny, {
+        actionType: string;
+    }, {
+        actionType: string;
+    }>, z.ZodUndefined, z.ZodString, z.ZodUndefined>, import("../lib/types").PolicyLifecycleFunction<z.ZodObject<{
+        actionType: z.ZodString;
+    }, "strip", z.ZodTypeAny, {
+        actionType: string;
+    }, {
+        actionType: string;
+    }>, z.ZodUndefined, z.ZodUndefined, z.ZodUndefined>, import("../lib/types").CommitLifecycleFunction<z.ZodUndefined, z.ZodUndefined, z.ZodUndefined>>;
+    ipfsCid: "082u0fij0w9jf0sjdf";
+    abilityParameterMappings: Partial<{
+        action: "actionType";
+        target: "actionType";
+        amount: "actionType";
+    }>;
+    vincentAbilityApiVersion: string;
+    __schemaTypes: {
+        policyAbilityParamsSchema: z.ZodObject<{
+            actionType: z.ZodString;
+        }, "strip", z.ZodTypeAny, {
+            actionType: string;
+        }, {
+            actionType: string;
+        }>;
+        userParamsSchema: z.ZodUndefined;
+        evalAllowResultSchema: z.ZodString;
+        evalDenyResultSchema: z.ZodUndefined;
+        precheckAllowResultSchema: z.ZodUndefined;
+        precheckDenyResultSchema: z.ZodUndefined;
+        commitParamsSchema: z.ZodUndefined;
+        commitAllowResultSchema: z.ZodUndefined;
+        commitDenyResultSchema: z.ZodUndefined;
+        evaluate: import("../lib/types").PolicyLifecycleFunction<z.ZodObject<{
+            actionType: z.ZodString;
+        }, "strip", z.ZodTypeAny, {
+            actionType: string;
+        }, {
+            actionType: string;
+        }>, z.ZodUndefined, z.ZodString, z.ZodUndefined>;
+        precheck: import("../lib/types").PolicyLifecycleFunction<z.ZodObject<{
+            actionType: z.ZodString;
+        }, "strip", z.ZodTypeAny, {
+            actionType: string;
+        }, {
+            actionType: string;
+        }>, z.ZodUndefined, z.ZodUndefined, z.ZodUndefined> | undefined;
+        commit: import("../lib/types").CommitLifecycleFunction<z.ZodUndefined, z.ZodUndefined, z.ZodUndefined> | undefined;
+    };
+};
+/**
+ * Test 4: Deny parameter validation
+ */
+declare function testDenyValidation(): {
+    vincentPolicy: import("../internal").VincentPolicy<"@lit-protocol/test-policy@1.34.2", z.ZodObject<{
+        actionType: z.ZodString;
+    }, "strip", z.ZodTypeAny, {
+        actionType: string;
+    }, {
+        actionType: string;
+    }>, z.ZodUndefined, z.ZodUndefined, z.ZodUndefined, z.ZodUndefined, z.ZodObject<{
+        code: z.ZodNumber;
+        message: z.ZodString;
+    }, "strip", z.ZodTypeAny, {
+        code: number;
+        message: string;
+    }, {
+        code: number;
+        message: string;
+    }>, z.ZodUndefined, z.ZodUndefined, z.ZodUndefined, import("../lib/types").PolicyLifecycleFunction<z.ZodObject<{
+        actionType: z.ZodString;
+    }, "strip", z.ZodTypeAny, {
+        actionType: string;
+    }, {
+        actionType: string;
+    }>, z.ZodUndefined, z.ZodUndefined, z.ZodObject<{
+        code: z.ZodNumber;
+        message: z.ZodString;
+    }, "strip", z.ZodTypeAny, {
+        code: number;
+        message: string;
+    }, {
+        code: number;
+        message: string;
+    }>>, import("../lib/types").PolicyLifecycleFunction<z.ZodObject<{
+        actionType: z.ZodString;
+    }, "strip", z.ZodTypeAny, {
+        actionType: string;
+    }, {
+        actionType: string;
+    }>, z.ZodUndefined, z.ZodUndefined, z.ZodUndefined>, import("../lib/types").CommitLifecycleFunction<z.ZodUndefined, z.ZodUndefined, z.ZodUndefined>>;
+    ipfsCid: "198hf0298w3hfo9idfjh";
+    abilityParameterMappings: Partial<{
+        action: "actionType";
+        target: "actionType";
+        amount: "actionType";
+    }>;
+    vincentAbilityApiVersion: string;
+    __schemaTypes: {
+        policyAbilityParamsSchema: z.ZodObject<{
+            actionType: z.ZodString;
+        }, "strip", z.ZodTypeAny, {
+            actionType: string;
+        }, {
+            actionType: string;
+        }>;
+        userParamsSchema: z.ZodUndefined;
+        evalAllowResultSchema: z.ZodUndefined;
+        evalDenyResultSchema: z.ZodObject<{
+            code: z.ZodNumber;
+            message: z.ZodString;
+        }, "strip", z.ZodTypeAny, {
+            code: number;
+            message: string;
+        }, {
+            code: number;
+            message: string;
+        }>;
+        precheckAllowResultSchema: z.ZodUndefined;
+        precheckDenyResultSchema: z.ZodUndefined;
+        commitParamsSchema: z.ZodUndefined;
+        commitAllowResultSchema: z.ZodUndefined;
+        commitDenyResultSchema: z.ZodUndefined;
+        evaluate: import("../lib/types").PolicyLifecycleFunction<z.ZodObject<{
+            actionType: z.ZodString;
+        }, "strip", z.ZodTypeAny, {
+            actionType: string;
+        }, {
+            actionType: string;
+        }>, z.ZodUndefined, z.ZodUndefined, z.ZodObject<{
+            code: z.ZodNumber;
+            message: z.ZodString;
+        }, "strip", z.ZodTypeAny, {
+            code: number;
+            message: string;
+        }, {
+            code: number;
+            message: string;
+        }>>;
+        precheck: import("../lib/types").PolicyLifecycleFunction<z.ZodObject<{
+            actionType: z.ZodString;
+        }, "strip", z.ZodTypeAny, {
+            actionType: string;
+        }, {
+            actionType: string;
+        }>, z.ZodUndefined, z.ZodUndefined, z.ZodUndefined> | undefined;
+        commit: import("../lib/types").CommitLifecycleFunction<z.ZodUndefined, z.ZodUndefined, z.ZodUndefined> | undefined;
+    };
+};
+/**
+ * Test 5: Different schemas for different contexts
+ */
+declare function testContextSchemas(): {
+    vincentPolicy: import("../internal").VincentPolicy<"@lit-protocol/test-policy@1.34.2", z.ZodObject<{
+        actionType: z.ZodString;
+    }, "strip", z.ZodTypeAny, {
+        actionType: string;
+    }, {
+        actionType: string;
+    }>, z.ZodUndefined, z.ZodObject<{
+        valid: z.ZodBoolean;
+    }, "strip", z.ZodTypeAny, {
+        valid: boolean;
+    }, {
+        valid: boolean;
+    }>, z.ZodUndefined, z.ZodObject<{
+        approved: z.ZodBoolean;
+    }, "strip", z.ZodTypeAny, {
+        approved: boolean;
+    }, {
+        approved: boolean;
+    }>, z.ZodUndefined, z.ZodUndefined, z.ZodUndefined, z.ZodUndefined, import("../lib/types").PolicyLifecycleFunction<z.ZodObject<{
+        actionType: z.ZodString;
+    }, "strip", z.ZodTypeAny, {
+        actionType: string;
+    }, {
+        actionType: string;
+    }>, z.ZodUndefined, z.ZodObject<{
+        approved: z.ZodBoolean;
+    }, "strip", z.ZodTypeAny, {
+        approved: boolean;
+    }, {
+        approved: boolean;
+    }>, z.ZodUndefined>, import("../lib/types").PolicyLifecycleFunction<z.ZodObject<{
+        actionType: z.ZodString;
+    }, "strip", z.ZodTypeAny, {
+        actionType: string;
+    }, {
+        actionType: string;
+    }>, z.ZodUndefined, z.ZodObject<{
+        valid: z.ZodBoolean;
+    }, "strip", z.ZodTypeAny, {
+        valid: boolean;
+    }, {
+        valid: boolean;
+    }>, z.ZodUndefined>, import("../lib/types").CommitLifecycleFunction<z.ZodUndefined, z.ZodUndefined, z.ZodUndefined>>;
+    ipfsCid: "swmfd08238rhjdskjfn";
+    abilityParameterMappings: Partial<{
+        action: "actionType";
+        target: "actionType";
+        amount: "actionType";
+    }>;
+    vincentAbilityApiVersion: string;
+    __schemaTypes: {
+        policyAbilityParamsSchema: z.ZodObject<{
+            actionType: z.ZodString;
+        }, "strip", z.ZodTypeAny, {
+            actionType: string;
+        }, {
+            actionType: string;
+        }>;
+        userParamsSchema: z.ZodUndefined;
+        evalAllowResultSchema: z.ZodObject<{
+            approved: z.ZodBoolean;
+        }, "strip", z.ZodTypeAny, {
+            approved: boolean;
+        }, {
+            approved: boolean;
+        }>;
+        evalDenyResultSchema: z.ZodUndefined;
+        precheckAllowResultSchema: z.ZodObject<{
+            valid: z.ZodBoolean;
+        }, "strip", z.ZodTypeAny, {
+            valid: boolean;
+        }, {
+            valid: boolean;
+        }>;
+        precheckDenyResultSchema: z.ZodUndefined;
+        commitParamsSchema: z.ZodUndefined;
+        commitAllowResultSchema: z.ZodUndefined;
+        commitDenyResultSchema: z.ZodUndefined;
+        evaluate: import("../lib/types").PolicyLifecycleFunction<z.ZodObject<{
+            actionType: z.ZodString;
+        }, "strip", z.ZodTypeAny, {
+            actionType: string;
+        }, {
+            actionType: string;
+        }>, z.ZodUndefined, z.ZodObject<{
+            approved: z.ZodBoolean;
+        }, "strip", z.ZodTypeAny, {
+            approved: boolean;
+        }, {
+            approved: boolean;
+        }>, z.ZodUndefined>;
+        precheck: import("../lib/types").PolicyLifecycleFunction<z.ZodObject<{
+            actionType: z.ZodString;
+        }, "strip", z.ZodTypeAny, {
+            actionType: string;
+        }, {
+            actionType: string;
+        }>, z.ZodUndefined, z.ZodObject<{
+            valid: z.ZodBoolean;
+        }, "strip", z.ZodTypeAny, {
+            valid: boolean;
+        }, {
+            valid: boolean;
+        }>, z.ZodUndefined> | undefined;
+        commit: import("../lib/types").CommitLifecycleFunction<z.ZodUndefined, z.ZodUndefined, z.ZodUndefined> | undefined;
+    };
+};
+export { testBasicSchemaValidation, testNoSchemaValidation, testStringSchemaValidation, testDenyValidation, testContextSchemas, };
+//# sourceMappingURL=parameter-inference-tests.d.ts.map

package/dist/src/type-inference-verification/parameter-inference-tests.d.ts.map

@@ -0,0 +1 @@
+{"version":3,"file":"parameter-inference-tests.d.ts","sourceRoot":"","sources":["../../../src/type-inference-verification/parameter-inference-tests.ts"],"names":[],"mappings":"AAEA;;;;;GAKG;AACH,OAAO,EAAE,CAAC,EAAE,MAAM,KAAK,CAAC;AAYxB;;GAEG;AACH,iBAAS,yBAAyB;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;EAgCjC;AAED;;GAEG;AACH,iBAAS,sBAAsB;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;EA+B9B;AAED;;GAEG;AACH,iBAAS,0BAA0B;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;EA8BlC;AAED;;GAEG;AACH,iBAAS,kBAAkB;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;EAiC1B;AAED;;GAEG;AACH,iBAAS,kBAAkB;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;EAqC1B;AAGD,OAAO,EACL,yBAAyB,EACzB,sBAAsB,EACtB,0BAA0B,EAC1B,kBAAkB,EAClB,kBAAkB,GACnB,CAAC"}

package/dist/src/type-inference-verification/parameter-inference-tests.js

@@ -0,0 +1,179 @@
+"use strict";
+// src/type-inference-verification/parameter-inference-tests.ts
+Object.defineProperty(exports, "__esModule", { value: true });
+exports.testBasicSchemaValidation = testBasicSchemaValidation;
+exports.testNoSchemaValidation = testNoSchemaValidation;
+exports.testStringSchemaValidation = testStringSchemaValidation;
+exports.testDenyValidation = testDenyValidation;
+exports.testContextSchemas = testContextSchemas;
+/**
+ * Parameter Inference Tests
+ *
+ * Tests to verify TypeScript correctly enforces type constraints
+ * on parameters passed to allow() and deny() methods.
+ */
+const zod_1 = require("zod");
+const bundledPolicy_1 = require("../lib/policyCore/bundledPolicy/bundledPolicy");
+const vincentPolicy_1 = require("../lib/policyCore/vincentPolicy");
+// Base ability schema for all tests
+const baseAbilitySchema = zod_1.z.object({
+    action: zod_1.z.string(),
+    target: zod_1.z.string(),
+    amount: zod_1.z.number(),
+});
+/**
+ * Test 1: Basic schema validation for allow/deny
+ */
+function testBasicSchemaValidation() {
+    const basicSchemaPolicyValid = (0, vincentPolicy_1.createVincentPolicy)({
+        packageName: '@lit-protocol/test-policy@1.34.2',
+        abilityParamsSchema: zod_1.z.object({ actionType: zod_1.z.string() }),
+        // Define schemas
+        evalAllowResultSchema: zod_1.z.object({ success: zod_1.z.boolean() }),
+        evalDenyResultSchema: zod_1.z.object({ errorCode: zod_1.z.number() }),
+        evaluate: async (params, context) => {
+            // Test TypeScript errors first
+            // @ts-expect-error - No arguments when schema exists
+            context.allow();
+            // @ts-expect-error - Wrong type (string not matching schema)
+            context.allow('not an object');
+            // @ts-expect-error - Wrong shape (missing required field)
+            context.allow({});
+            // Valid call - matches schema
+            return context.allow({ success: true });
+        },
+    });
+    const basicSchemaPolicy = (0, vincentPolicy_1.createVincentAbilityPolicy)({
+        abilityParamsSchema: baseAbilitySchema,
+        bundledVincentPolicy: (0, bundledPolicy_1.asBundledVincentPolicy)(basicSchemaPolicyValid, 'oi3wjfn9048w2j'),
+        abilityParameterMappings: {
+            action: 'actionType',
+        },
+    });
+    return basicSchemaPolicy;
+}
+/**
+ * Test 2: No schema case validation
+ */
+function testNoSchemaValidation() {
+    const noSchemaPolicy = (0, vincentPolicy_1.createVincentPolicy)({
+        packageName: '@lit-protocol/test-policy@1.34.2',
+        abilityParamsSchema: zod_1.z.object({ actionType: zod_1.z.string() }),
+        // No schemas defined
+        evaluate: async (params, context) => {
+            // Test TypeScript errors first
+            // @ts-expect-error - No schema means no args allowed
+            context.allow('should error');
+            // @ts-expect-error - No schema means no object allowed
+            context.allow({ shouldError: true });
+            // Valid calls - no args for allow with no schema
+            // And string error for deny with no schema
+            if (Math.random() > 0.5) {
+                return context.allow();
+            }
+            else {
+                // @ts-expect-error Can't return a string when no schema defined
+                return context.deny('Error message');
+            }
+        },
+    });
+    return (0, vincentPolicy_1.createVincentAbilityPolicy)({
+        abilityParamsSchema: baseAbilitySchema,
+        bundledVincentPolicy: (0, bundledPolicy_1.asBundledVincentPolicy)(noSchemaPolicy, '1098jwsdoifosdji'),
+        abilityParameterMappings: {
+            action: 'actionType',
+        },
+    });
+}
+/**
+ * Test 3: String schema validation
+ */
+function testStringSchemaValidation() {
+    const stringSchemaPolicy = (0, vincentPolicy_1.createVincentPolicy)({
+        packageName: '@lit-protocol/test-policy@1.34.2',
+        abilityParamsSchema: zod_1.z.object({ actionType: zod_1.z.string() }),
+        // String schema
+        evalAllowResultSchema: zod_1.z.string(),
+        evaluate: async (params, context) => {
+            // Test TypeScript errors first
+            // @ts-expect-error - No arguments when schema exists
+            context.allow();
+            // @ts-expect-error - Wrong type (number not matching string schema)
+            context.allow(123);
+            // @ts-expect-error - Wrong type (object not matching string schema)
+            context.allow({ notAString: true });
+            // Valid - matches string schema
+            return context.allow('Success message');
+        },
+    });
+    return (0, vincentPolicy_1.createVincentAbilityPolicy)({
+        abilityParamsSchema: baseAbilitySchema,
+        bundledVincentPolicy: (0, bundledPolicy_1.asBundledVincentPolicy)(stringSchemaPolicy, '082u0fij0w9jf0sjdf'),
+        abilityParameterMappings: {
+            action: 'actionType',
+        },
+    });
+}
+/**
+ * Test 4: Deny parameter validation
+ */
+function testDenyValidation() {
+    const denyValidationPolicy = (0, vincentPolicy_1.createVincentPolicy)({
+        packageName: '@lit-protocol/test-policy@1.34.2',
+        abilityParamsSchema: zod_1.z.object({ actionType: zod_1.z.string() }),
+        // Define deny schema
+        evalDenyResultSchema: zod_1.z.object({ code: zod_1.z.number(), message: zod_1.z.string() }),
+        evaluate: async (params, context) => {
+            // Test TypeScript errors first
+            // @ts-expect-error - String only when schema exists
+            context.deny('string only error');
+            // @ts-expect-error - Wrong shape (missing required field)
+            context.deny({ code: 400 });
+            // @ts-expect-error - Wrong shape (missing required field)
+            context.deny({ message: 'Error message' });
+            // Valid - matches schema
+            return context.deny({ code: 403, message: 'Forbidden' });
+        },
+    });
+    return (0, vincentPolicy_1.createVincentAbilityPolicy)({
+        abilityParamsSchema: baseAbilitySchema,
+        bundledVincentPolicy: (0, bundledPolicy_1.asBundledVincentPolicy)(denyValidationPolicy, '198hf0298w3hfo9idfjh'),
+        abilityParameterMappings: {
+            action: 'actionType',
+        },
+    });
+}
+/**
+ * Test 5: Different schemas for different contexts
+ */
+function testContextSchemas() {
+    const contextSchemasPolicy = (0, vincentPolicy_1.createVincentPolicy)({
+        packageName: '@lit-protocol/test-policy@1.34.2',
+        abilityParamsSchema: zod_1.z.object({ actionType: zod_1.z.string() }),
+        // Different schemas for precheck and evaluate
+        precheckAllowResultSchema: zod_1.z.object({ valid: zod_1.z.boolean() }),
+        evalAllowResultSchema: zod_1.z.object({ approved: zod_1.z.boolean() }),
+        precheck: async (params, context) => {
+            // TypeScript error test
+            // @ts-expect-error - Using eval schema in precheck
+            context.allow({ approved: true });
+            // Valid for precheck
+            return context.allow({ valid: true });
+        },
+        evaluate: async (params, context) => {
+            // TypeScript error test
+            // @ts-expect-error - Using precheck schema in eval
+            context.allow({ valid: true });
+            // Valid for evaluate
+            return context.allow({ approved: true });
+        },
+    });
+    return (0, vincentPolicy_1.createVincentAbilityPolicy)({
+        abilityParamsSchema: baseAbilitySchema,
+        bundledVincentPolicy: (0, bundledPolicy_1.asBundledVincentPolicy)(contextSchemasPolicy, 'swmfd08238rhjdskjfn'),
+        abilityParameterMappings: {
+            action: 'actionType',
+        },
+    });
+}
+//# sourceMappingURL=parameter-inference-tests.js.map

package/dist/src/type-inference-verification/parameter-inference-tests.js.map

@@ -0,0 +1 @@
+{"version":3,"file":"parameter-inference-tests.js","sourceRoot":"","sources":["../../../src/type-inference-verification/parameter-inference-tests.ts"],"names":[],"mappings":";AAAA,+DAA+D;;AAkN7D,8DAAyB;AACzB,wDAAsB;AACtB,gEAA0B;AAC1B,gDAAkB;AAClB,gDAAkB;AApNpB;;;;;GAKG;AACH,6BAAwB;AAExB,iFAAuF;AACvF,mEAAkG;AAElG,oCAAoC;AACpC,MAAM,iBAAiB,GAAG,OAAC,CAAC,MAAM,CAAC;IACjC,MAAM,EAAE,OAAC,CAAC,MAAM,EAAE;IAClB,MAAM,EAAE,OAAC,CAAC,MAAM,EAAE;IAClB,MAAM,EAAE,OAAC,CAAC,MAAM,EAAE;CACnB,CAAC,CAAC;AAEH;;GAEG;AACH,SAAS,yBAAyB;IAChC,MAAM,sBAAsB,GAAG,IAAA,mCAAmB,EAAC;QACjD,WAAW,EAAE,kCAAkC;QAC/C,mBAAmB,EAAE,OAAC,CAAC,MAAM,CAAC,EAAE,UAAU,EAAE,OAAC,CAAC,MAAM,EAAE,EAAE,CAAC;QAEzD,iBAAiB;QACjB,qBAAqB,EAAE,OAAC,CAAC,MAAM,CAAC,EAAE,OAAO,EAAE,OAAC,CAAC,OAAO,EAAE,EAAE,CAAC;QACzD,oBAAoB,EAAE,OAAC,CAAC,MAAM,CAAC,EAAE,SAAS,EAAE,OAAC,CAAC,MAAM,EAAE,EAAE,CAAC;QAEzD,QAAQ,EAAE,KAAK,EAAE,MAAM,EAAE,OAAO,EAAE,EAAE;YAClC,+BAA+B;YAC/B,qDAAqD;YACrD,OAAO,CAAC,KAAK,EAAE,CAAC;YAEhB,6DAA6D;YAC7D,OAAO,CAAC,KAAK,CAAC,eAAe,CAAC,CAAC;YAE/B,0DAA0D;YAC1D,OAAO,CAAC,KAAK,CAAC,EAAE,CAAC,CAAC;YAElB,8BAA8B;YAC9B,OAAO,OAAO,CAAC,KAAK,CAAC,EAAE,OAAO,EAAE,IAAI,EAAE,CAAC,CAAC;QAC1C,CAAC;KACF,CAAC,CAAC;IACH,MAAM,iBAAiB,GAAG,IAAA,0CAA0B,EAAC;QACnD,mBAAmB,EAAE,iBAAiB;QACtC,oBAAoB,EAAE,IAAA,sCAAsB,EAAC,sBAAsB,EAAE,gBAAyB,CAAC;QAC/F,wBAAwB,EAAE;YACxB,MAAM,EAAE,YAAY;SACrB;KACF,CAAC,CAAC;IACH,OAAO,iBAAiB,CAAC;AAC3B,CAAC;AAED;;GAEG;AACH,SAAS,sBAAsB;IAC7B,MAAM,cAAc,GAAG,IAAA,mCAAmB,EAAC;QACzC,WAAW,EAAE,kCAAkC;QAC/C,mBAAmB,EAAE,OAAC,CAAC,MAAM,CAAC,EAAE,UAAU,EAAE,OAAC,CAAC,MAAM,EAAE,EAAE,CAAC;QAEzD,qBAAqB;QACrB,QAAQ,EAAE,KAAK,EAAE,MAAM,EAAE,OAAO,EAAE,EAAE;YAClC,+BAA+B;YAC/B,qDAAqD;YACrD,OAAO,CAAC,KAAK,CAAC,cAAc,CAAC,CAAC;YAE9B,uDAAuD;YACvD,OAAO,CAAC,KAAK,CAAC,EAAE,WAAW,EAAE,IAAI,EAAE,CAAC,CAAC;YAErC,iDAAiD;YACjD,2CAA2C;YAC3C,IAAI,IAAI,CAAC,MAAM,EAAE,GAAG,GAAG,EAAE,CAAC;gBACxB,OAAO,OAAO,CAAC,KAAK,EAAE,CAAC;YACzB,CAAC;iBAAM,CAAC;gBACN,gEAAgE;gBAChE,OAAO,OAAO,CAAC,IAAI,CAAC,eAAe,CAAC,CAAC;YACvC,CAAC;QACH,CAAC;KACF,CAAC,CAAC;IACH,OAAO,IAAA,0CAA0B,EAAC;QAChC,mBAAmB,EAAE,iBAAiB;QACtC,oBAAoB,EAAE,IAAA,sCAAsB,EAAC,cAAc,EAAE,kBAA2B,CAAC;QACzF,wBAAwB,EAAE;YACxB,MAAM,EAAE,YAAY;SACrB;KACF,CAAC,CAAC;AACL,CAAC;AAED;;GAEG;AACH,SAAS,0BAA0B;IACjC,MAAM,kBAAkB,GAAG,IAAA,mCAAmB,EAAC;QAC7C,WAAW,EAAE,kCAAkC;QAC/C,mBAAmB,EAAE,OAAC,CAAC,MAAM,CAAC,EAAE,UAAU,EAAE,OAAC,CAAC,MAAM,EAAE,EAAE,CAAC;QAEzD,gBAAgB;QAChB,qBAAqB,EAAE,OAAC,CAAC,MAAM,EAAE;QAEjC,QAAQ,EAAE,KAAK,EAAE,MAAM,EAAE,OAAO,EAAE,EAAE;YAClC,+BAA+B;YAC/B,qDAAqD;YACrD,OAAO,CAAC,KAAK,EAAE,CAAC;YAEhB,oEAAoE;YACpE,OAAO,CAAC,KAAK,CAAC,GAAG,CAAC,CAAC;YAEnB,oEAAoE;YACpE,OAAO,CAAC,KAAK,CAAC,EAAE,UAAU,EAAE,IAAI,EAAE,CAAC,CAAC;YAEpC,gCAAgC;YAChC,OAAO,OAAO,CAAC,KAAK,CAAC,iBAAiB,CAAC,CAAC;QAC1C,CAAC;KACF,CAAC,CAAC;IACH,OAAO,IAAA,0CAA0B,EAAC;QAChC,mBAAmB,EAAE,iBAAiB;QACtC,oBAAoB,EAAE,IAAA,sCAAsB,EAAC,kBAAkB,EAAE,oBAA6B,CAAC;QAC/F,wBAAwB,EAAE;YACxB,MAAM,EAAE,YAAY;SACrB;KACF,CAAC,CAAC;AACL,CAAC;AAED;;GAEG;AACH,SAAS,kBAAkB;IACzB,MAAM,oBAAoB,GAAG,IAAA,mCAAmB,EAAC;QAC/C,WAAW,EAAE,kCAAkC;QAC/C,mBAAmB,EAAE,OAAC,CAAC,MAAM,CAAC,EAAE,UAAU,EAAE,OAAC,CAAC,MAAM,EAAE,EAAE,CAAC;QAEzD,qBAAqB;QACrB,oBAAoB,EAAE,OAAC,CAAC,MAAM,CAAC,EAAE,IAAI,EAAE,OAAC,CAAC,MAAM,EAAE,EAAE,OAAO,EAAE,OAAC,CAAC,MAAM,EAAE,EAAE,CAAC;QAEzE,QAAQ,EAAE,KAAK,EAAE,MAAM,EAAE,OAAO,EAAE,EAAE;YAClC,+BAA+B;YAC/B,oDAAoD;YACpD,OAAO,CAAC,IAAI,CAAC,mBAAmB,CAAC,CAAC;YAElC,0DAA0D;YAC1D,OAAO,CAAC,IAAI,CAAC,EAAE,IAAI,EAAE,GAAG,EAAE,CAAC,CAAC;YAE5B,0DAA0D;YAC1D,OAAO,CAAC,IAAI,CAAC,EAAE,OAAO,EAAE,eAAe,EAAE,CAAC,CAAC;YAE3C,yBAAyB;YACzB,OAAO,OAAO,CAAC,IAAI,CAAC,EAAE,IAAI,EAAE,GAAG,EAAE,OAAO,EAAE,WAAW,EAAE,CAAC,CAAC;QAC3D,CAAC;KACF,CAAC,CAAC;IACH,OAAO,IAAA,0CAA0B,EAAC;QAChC,mBAAmB,EAAE,iBAAiB;QACtC,oBAAoB,EAAE,IAAA,sCAAsB,EAC1C,oBAAoB,EACpB,sBAA+B,CAChC;QACD,wBAAwB,EAAE;YACxB,MAAM,EAAE,YAAY;SACrB;KACF,CAAC,CAAC;AACL,CAAC;AAED;;GAEG;AACH,SAAS,kBAAkB;IACzB,MAAM,oBAAoB,GAAG,IAAA,mCAAmB,EAAC;QAC/C,WAAW,EAAE,kCAAkC;QAC/C,mBAAmB,EAAE,OAAC,CAAC,MAAM,CAAC,EAAE,UAAU,EAAE,OAAC,CAAC,MAAM,EAAE,EAAE,CAAC;QAEzD,8CAA8C;QAC9C,yBAAyB,EAAE,OAAC,CAAC,MAAM,CAAC,EAAE,KAAK,EAAE,OAAC,CAAC,OAAO,EAAE,EAAE,CAAC;QAC3D,qBAAqB,EAAE,OAAC,CAAC,MAAM,CAAC,EAAE,QAAQ,EAAE,OAAC,CAAC,OAAO,EAAE,EAAE,CAAC;QAE1D,QAAQ,EAAE,KAAK,EAAE,MAAM,EAAE,OAAO,EAAE,EAAE;YAClC,wBAAwB;YACxB,mDAAmD;YACnD,OAAO,CAAC,KAAK,CAAC,EAAE,QAAQ,EAAE,IAAI,EAAE,CAAC,CAAC;YAElC,qBAAqB;YACrB,OAAO,OAAO,CAAC,KAAK,CAAC,EAAE,KAAK,EAAE,IAAI,EAAE,CAAC,CAAC;QACxC,CAAC;QAED,QAAQ,EAAE,KAAK,EAAE,MAAM,EAAE,OAAO,EAAE,EAAE;YAClC,wBAAwB;YACxB,mDAAmD;YACnD,OAAO,CAAC,KAAK,CAAC,EAAE,KAAK,EAAE,IAAI,EAAE,CAAC,CAAC;YAE/B,qBAAqB;YACrB,OAAO,OAAO,CAAC,KAAK,CAAC,EAAE,QAAQ,EAAE,IAAI,EAAE,CAAC,CAAC;QAC3C,CAAC;KACF,CAAC,CAAC;IACH,OAAO,IAAA,0CAA0B,EAAC;QAChC,mBAAmB,EAAE,iBAAiB;QACtC,oBAAoB,EAAE,IAAA,sCAAsB,EAC1C,oBAAoB,EACpB,qBAA8B,CAC/B;QACD,wBAAwB,EAAE;YACxB,MAAM,EAAE,YAAY;SACrB;KACF,CAAC,CAAC;AACL,CAAC"}