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

package/dist/src/type-inference-verification/schema-test.d.ts

@@ -0,0 +1,470 @@
+/**
+ * Schema Test File
+ *
+ * This file contains minimal test cases to verify that type checking
+ * is working correctly for the allow() and deny() methods with various
+ * schema configurations.
+ */
+import type { ZodUndefined } from 'zod';
+import { z } from 'zod';
+import type { PolicyContext } from '../lib/policyCore/policyConfig/context/types';
+/**
+ * Test 1: With Schema
+ *
+ * This test verifies that TypeScript properly enforces schema constraints
+ * when schemas are provided.
+ */
+declare const objSchema: z.ZodObject<{
+    id: z.ZodString;
+}, "strip", z.ZodTypeAny, {
+    id: string;
+}, {
+    id: string;
+}>;
+export declare function testContextSignature(context: PolicyContext<typeof objSchema, ZodUndefined>): import("../lib/policyCore/policyConfig/context/types").ContextAllowResponse<{
+    id: string;
+}>;
+export declare const testRealPolicy: {
+    vincentPolicy: import("../internal").VincentPolicy<"@lit-protocol/schema-test-policy@1.0.0", z.ZodObject<{
+        actionType: z.ZodString;
+    }, "strip", z.ZodTypeAny, {
+        actionType: string;
+    }, {
+        actionType: string;
+    }>, ZodUndefined, ZodUndefined, ZodUndefined, z.ZodObject<{
+        id: z.ZodString;
+    }, "strip", z.ZodTypeAny, {
+        id: string;
+    }, {
+        id: string;
+    }>, ZodUndefined, ZodUndefined, ZodUndefined, ZodUndefined, import("../lib/types").PolicyLifecycleFunction<z.ZodObject<{
+        actionType: z.ZodString;
+    }, "strip", z.ZodTypeAny, {
+        actionType: string;
+    }, {
+        actionType: string;
+    }>, ZodUndefined, z.ZodObject<{
+        id: z.ZodString;
+    }, "strip", z.ZodTypeAny, {
+        id: string;
+    }, {
+        id: string;
+    }>, ZodUndefined>, import("../lib/types").PolicyLifecycleFunction<z.ZodObject<{
+        actionType: z.ZodString;
+    }, "strip", z.ZodTypeAny, {
+        actionType: string;
+    }, {
+        actionType: string;
+    }>, ZodUndefined, ZodUndefined, ZodUndefined>, import("../lib/types").CommitLifecycleFunction<ZodUndefined, ZodUndefined, ZodUndefined>>;
+    ipfsCid: "1091jkfn2039j802jf";
+    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: ZodUndefined;
+        evalAllowResultSchema: z.ZodObject<{
+            id: z.ZodString;
+        }, "strip", z.ZodTypeAny, {
+            id: string;
+        }, {
+            id: string;
+        }>;
+        evalDenyResultSchema: ZodUndefined;
+        precheckAllowResultSchema: ZodUndefined;
+        precheckDenyResultSchema: ZodUndefined;
+        commitParamsSchema: ZodUndefined;
+        commitAllowResultSchema: ZodUndefined;
+        commitDenyResultSchema: ZodUndefined;
+        evaluate: import("../lib/types").PolicyLifecycleFunction<z.ZodObject<{
+            actionType: z.ZodString;
+        }, "strip", z.ZodTypeAny, {
+            actionType: string;
+        }, {
+            actionType: string;
+        }>, ZodUndefined, z.ZodObject<{
+            id: z.ZodString;
+        }, "strip", z.ZodTypeAny, {
+            id: string;
+        }, {
+            id: string;
+        }>, ZodUndefined>;
+        precheck: import("../lib/types").PolicyLifecycleFunction<z.ZodObject<{
+            actionType: z.ZodString;
+        }, "strip", z.ZodTypeAny, {
+            actionType: string;
+        }, {
+            actionType: string;
+        }>, ZodUndefined, ZodUndefined, ZodUndefined> | undefined;
+        commit: import("../lib/types").CommitLifecycleFunction<ZodUndefined, ZodUndefined, ZodUndefined> | undefined;
+    };
+};
+/**
+ * Test 2: Without Schema
+ *
+ * This test verifies that TypeScript properly enforces constraints
+ * when no schemas are provided (no args for allow, string or no args for deny).
+ */
+export declare function testWithoutSchema(): {
+    vincentPolicy: import("../internal").VincentPolicy<"@lit-protocol/schema-test-policy@1.0.0", z.ZodObject<{
+        actionType: z.ZodString;
+    }, "strip", z.ZodTypeAny, {
+        actionType: string;
+    }, {
+        actionType: string;
+    }>, ZodUndefined, ZodUndefined, ZodUndefined, ZodUndefined, ZodUndefined, ZodUndefined, ZodUndefined, ZodUndefined, import("../lib/types").PolicyLifecycleFunction<z.ZodObject<{
+        actionType: z.ZodString;
+    }, "strip", z.ZodTypeAny, {
+        actionType: string;
+    }, {
+        actionType: string;
+    }>, ZodUndefined, ZodUndefined, ZodUndefined>, import("../lib/types").PolicyLifecycleFunction<z.ZodObject<{
+        actionType: z.ZodString;
+    }, "strip", z.ZodTypeAny, {
+        actionType: string;
+    }, {
+        actionType: string;
+    }>, ZodUndefined, ZodUndefined, ZodUndefined>, import("../lib/types").CommitLifecycleFunction<ZodUndefined, ZodUndefined, ZodUndefined>>;
+    ipfsCid: "1091jkfn2039j802jf";
+    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: ZodUndefined;
+        evalAllowResultSchema: ZodUndefined;
+        evalDenyResultSchema: ZodUndefined;
+        precheckAllowResultSchema: ZodUndefined;
+        precheckDenyResultSchema: ZodUndefined;
+        commitParamsSchema: ZodUndefined;
+        commitAllowResultSchema: ZodUndefined;
+        commitDenyResultSchema: ZodUndefined;
+        evaluate: import("../lib/types").PolicyLifecycleFunction<z.ZodObject<{
+            actionType: z.ZodString;
+        }, "strip", z.ZodTypeAny, {
+            actionType: string;
+        }, {
+            actionType: string;
+        }>, ZodUndefined, ZodUndefined, ZodUndefined>;
+        precheck: import("../lib/types").PolicyLifecycleFunction<z.ZodObject<{
+            actionType: z.ZodString;
+        }, "strip", z.ZodTypeAny, {
+            actionType: string;
+        }, {
+            actionType: string;
+        }>, ZodUndefined, ZodUndefined, ZodUndefined> | undefined;
+        commit: import("../lib/types").CommitLifecycleFunction<ZodUndefined, ZodUndefined, ZodUndefined> | undefined;
+    };
+};
+/**
+ * Test 3: String Schema
+ *
+ * This test verifies handling of string schemas, which are a special case.
+ */
+export declare function testStringSchema(): {
+    vincentPolicy: import("../internal").VincentPolicy<"@lit-protocol/schema-test-policy@1.0.0", z.ZodObject<{
+        actionType: z.ZodString;
+    }, "strip", z.ZodTypeAny, {
+        actionType: string;
+    }, {
+        actionType: string;
+    }>, ZodUndefined, ZodUndefined, ZodUndefined, z.ZodString, z.ZodString, ZodUndefined, ZodUndefined, ZodUndefined, import("../lib/types").PolicyLifecycleFunction<z.ZodObject<{
+        actionType: z.ZodString;
+    }, "strip", z.ZodTypeAny, {
+        actionType: string;
+    }, {
+        actionType: string;
+    }>, ZodUndefined, z.ZodString, z.ZodString>, import("../lib/types").PolicyLifecycleFunction<z.ZodObject<{
+        actionType: z.ZodString;
+    }, "strip", z.ZodTypeAny, {
+        actionType: string;
+    }, {
+        actionType: string;
+    }>, ZodUndefined, ZodUndefined, ZodUndefined>, import("../lib/types").CommitLifecycleFunction<ZodUndefined, ZodUndefined, ZodUndefined>>;
+    ipfsCid: "1091jkfn2039j802jf";
+    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: ZodUndefined;
+        evalAllowResultSchema: z.ZodString;
+        evalDenyResultSchema: z.ZodString;
+        precheckAllowResultSchema: ZodUndefined;
+        precheckDenyResultSchema: ZodUndefined;
+        commitParamsSchema: ZodUndefined;
+        commitAllowResultSchema: ZodUndefined;
+        commitDenyResultSchema: ZodUndefined;
+        evaluate: import("../lib/types").PolicyLifecycleFunction<z.ZodObject<{
+            actionType: z.ZodString;
+        }, "strip", z.ZodTypeAny, {
+            actionType: string;
+        }, {
+            actionType: string;
+        }>, ZodUndefined, z.ZodString, z.ZodString>;
+        precheck: import("../lib/types").PolicyLifecycleFunction<z.ZodObject<{
+            actionType: z.ZodString;
+        }, "strip", z.ZodTypeAny, {
+            actionType: string;
+        }, {
+            actionType: string;
+        }>, ZodUndefined, ZodUndefined, ZodUndefined> | undefined;
+        commit: import("../lib/types").CommitLifecycleFunction<ZodUndefined, ZodUndefined, ZodUndefined> | undefined;
+    };
+};
+/**
+ * Test 4: Different Contexts
+ *
+ * This test verifies that different schemas are enforced correctly
+ * in different contexts (precheck, evaluate, commit).
+ */
+export declare function testDifferentContexts(): {
+    vincentPolicy: import("../internal").VincentPolicy<"@lit-protocol/schema-test-policy@1.0.0", z.ZodObject<{
+        actionType: z.ZodString;
+    }, "strip", z.ZodTypeAny, {
+        actionType: string;
+    }, {
+        actionType: string;
+    }>, ZodUndefined, z.ZodObject<{
+        validCheck: z.ZodBoolean;
+    }, "strip", z.ZodTypeAny, {
+        validCheck: boolean;
+    }, {
+        validCheck: boolean;
+    }>, ZodUndefined, z.ZodObject<{
+        status: z.ZodString;
+    }, "strip", z.ZodTypeAny, {
+        status: string;
+    }, {
+        status: string;
+    }>, ZodUndefined, z.ZodObject<{
+        confirmation: z.ZodString;
+    }, "strip", z.ZodTypeAny, {
+        confirmation: string;
+    }, {
+        confirmation: string;
+    }>, z.ZodObject<{
+        txId: z.ZodString;
+    }, "strip", z.ZodTypeAny, {
+        txId: string;
+    }, {
+        txId: string;
+    }>, ZodUndefined, import("../lib/types").PolicyLifecycleFunction<z.ZodObject<{
+        actionType: z.ZodString;
+    }, "strip", z.ZodTypeAny, {
+        actionType: string;
+    }, {
+        actionType: string;
+    }>, ZodUndefined, z.ZodObject<{
+        status: z.ZodString;
+    }, "strip", z.ZodTypeAny, {
+        status: string;
+    }, {
+        status: string;
+    }>, ZodUndefined>, import("../lib/types").PolicyLifecycleFunction<z.ZodObject<{
+        actionType: z.ZodString;
+    }, "strip", z.ZodTypeAny, {
+        actionType: string;
+    }, {
+        actionType: string;
+    }>, ZodUndefined, z.ZodObject<{
+        validCheck: z.ZodBoolean;
+    }, "strip", z.ZodTypeAny, {
+        validCheck: boolean;
+    }, {
+        validCheck: boolean;
+    }>, ZodUndefined>, import("../lib/types").CommitLifecycleFunction<z.ZodObject<{
+        confirmation: z.ZodString;
+    }, "strip", z.ZodTypeAny, {
+        confirmation: string;
+    }, {
+        confirmation: string;
+    }>, z.ZodObject<{
+        txId: z.ZodString;
+    }, "strip", z.ZodTypeAny, {
+        txId: string;
+    }, {
+        txId: string;
+    }>, ZodUndefined>>;
+    ipfsCid: "1091jkfn2039j802jf";
+    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: ZodUndefined;
+        evalAllowResultSchema: z.ZodObject<{
+            status: z.ZodString;
+        }, "strip", z.ZodTypeAny, {
+            status: string;
+        }, {
+            status: string;
+        }>;
+        evalDenyResultSchema: ZodUndefined;
+        precheckAllowResultSchema: z.ZodObject<{
+            validCheck: z.ZodBoolean;
+        }, "strip", z.ZodTypeAny, {
+            validCheck: boolean;
+        }, {
+            validCheck: boolean;
+        }>;
+        precheckDenyResultSchema: ZodUndefined;
+        commitParamsSchema: z.ZodObject<{
+            confirmation: z.ZodString;
+        }, "strip", z.ZodTypeAny, {
+            confirmation: string;
+        }, {
+            confirmation: string;
+        }>;
+        commitAllowResultSchema: z.ZodObject<{
+            txId: z.ZodString;
+        }, "strip", z.ZodTypeAny, {
+            txId: string;
+        }, {
+            txId: string;
+        }>;
+        commitDenyResultSchema: ZodUndefined;
+        evaluate: import("../lib/types").PolicyLifecycleFunction<z.ZodObject<{
+            actionType: z.ZodString;
+        }, "strip", z.ZodTypeAny, {
+            actionType: string;
+        }, {
+            actionType: string;
+        }>, ZodUndefined, z.ZodObject<{
+            status: z.ZodString;
+        }, "strip", z.ZodTypeAny, {
+            status: string;
+        }, {
+            status: string;
+        }>, ZodUndefined>;
+        precheck: import("../lib/types").PolicyLifecycleFunction<z.ZodObject<{
+            actionType: z.ZodString;
+        }, "strip", z.ZodTypeAny, {
+            actionType: string;
+        }, {
+            actionType: string;
+        }>, ZodUndefined, z.ZodObject<{
+            validCheck: z.ZodBoolean;
+        }, "strip", z.ZodTypeAny, {
+            validCheck: boolean;
+        }, {
+            validCheck: boolean;
+        }>, ZodUndefined> | undefined;
+        commit: import("../lib/types").CommitLifecycleFunction<z.ZodObject<{
+            confirmation: z.ZodString;
+        }, "strip", z.ZodTypeAny, {
+            confirmation: string;
+        }, {
+            confirmation: string;
+        }>, z.ZodObject<{
+            txId: z.ZodString;
+        }, "strip", z.ZodTypeAny, {
+            txId: string;
+        }, {
+            txId: string;
+        }>, ZodUndefined> | undefined;
+    };
+};
+/**
+ * Test 5: Number and Boolean Schemas
+ *
+ * This test verifies that number and boolean schemas work correctly.
+ */
+export declare function testPrimitiveSchemas(): {
+    vincentPolicy: import("../internal").VincentPolicy<"@lit-protocol/schema-test-policy@1.0.0", z.ZodObject<{
+        actionType: z.ZodString;
+    }, "strip", z.ZodTypeAny, {
+        actionType: string;
+    }, {
+        actionType: string;
+    }>, ZodUndefined, ZodUndefined, ZodUndefined, z.ZodNumber, z.ZodBoolean, ZodUndefined, ZodUndefined, ZodUndefined, import("../lib/types").PolicyLifecycleFunction<z.ZodObject<{
+        actionType: z.ZodString;
+    }, "strip", z.ZodTypeAny, {
+        actionType: string;
+    }, {
+        actionType: string;
+    }>, ZodUndefined, z.ZodNumber, z.ZodBoolean>, import("../lib/types").PolicyLifecycleFunction<z.ZodObject<{
+        actionType: z.ZodString;
+    }, "strip", z.ZodTypeAny, {
+        actionType: string;
+    }, {
+        actionType: string;
+    }>, ZodUndefined, ZodUndefined, ZodUndefined>, import("../lib/types").CommitLifecycleFunction<ZodUndefined, ZodUndefined, ZodUndefined>>;
+    ipfsCid: "1091jkfn2039j802jf";
+    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: ZodUndefined;
+        evalAllowResultSchema: z.ZodNumber;
+        evalDenyResultSchema: z.ZodBoolean;
+        precheckAllowResultSchema: ZodUndefined;
+        precheckDenyResultSchema: ZodUndefined;
+        commitParamsSchema: ZodUndefined;
+        commitAllowResultSchema: ZodUndefined;
+        commitDenyResultSchema: ZodUndefined;
+        evaluate: import("../lib/types").PolicyLifecycleFunction<z.ZodObject<{
+            actionType: z.ZodString;
+        }, "strip", z.ZodTypeAny, {
+            actionType: string;
+        }, {
+            actionType: string;
+        }>, ZodUndefined, z.ZodNumber, z.ZodBoolean>;
+        precheck: import("../lib/types").PolicyLifecycleFunction<z.ZodObject<{
+            actionType: z.ZodString;
+        }, "strip", z.ZodTypeAny, {
+            actionType: string;
+        }, {
+            actionType: string;
+        }>, ZodUndefined, ZodUndefined, ZodUndefined> | undefined;
+        commit: import("../lib/types").CommitLifecycleFunction<ZodUndefined, ZodUndefined, ZodUndefined> | undefined;
+    };
+};
+export {};
+//# sourceMappingURL=schema-test.d.ts.map

package/dist/src/type-inference-verification/schema-test.d.ts.map

@@ -0,0 +1 @@
+{"version":3,"file":"schema-test.d.ts","sourceRoot":"","sources":["../../../src/type-inference-verification/schema-test.ts"],"names":[],"mappings":"AAEA;;;;;;GAMG;AACH,OAAO,KAAK,EAAE,YAAY,EAAE,MAAM,KAAK,CAAC;AAExC,OAAO,EAAE,CAAC,EAAE,MAAM,KAAK,CAAC;AAExB,OAAO,KAAK,EAAE,aAAa,EAAE,MAAM,8CAA8C,CAAC;AAYlF;;;;;GAKG;AACH,QAAA,MAAM,SAAS;;;;;;EAA+B,CAAC;AAG/C,wBAAgB,oBAAoB,CAAC,OAAO,EAAE,aAAa,CAAC,OAAO,SAAS,EAAE,YAAY,CAAC;;GAY1F;AAuBD,eAAO,MAAM,cAAc;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;CAMzB,CAAC;AAEH;;;;;GAKG;AACH,wBAAgB,iBAAiB;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;EAsDhC;AAED;;;;GAIG;AACH,wBAAgB,gBAAgB;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;EAwC/B;AAED;;;;;GAKG;AACH,wBAAgB,qBAAqB;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;EAmEpC;AAED;;;;GAIG;AACH,wBAAgB,oBAAoB;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;EAwCnC"}