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

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

@@ -0,0 +1,637 @@
+/**
+ * Context Switching Tests
+ *
+ * This file contains test cases for verifying that the type constraints are
+ * properly enforced when switching between different policy function contexts
+ * (precheck, evaluate, commit) which may have different schemas.
+ */
+import { z } from 'zod';
+/**
+ * Test Case 1: Verify different schemas between precheck and evaluate
+ */
+declare function testPrecheckEvaluateContextSwitching(): {
+    vincentPolicy: import("../internal").VincentPolicy<"@lit-protocol/test-policy@1.2.3", z.ZodObject<{
+        actionType: z.ZodString;
+    }, "strip", z.ZodTypeAny, {
+        actionType: string;
+    }, {
+        actionType: string;
+    }>, z.ZodUndefined, z.ZodObject<{
+        prelimStatus: z.ZodString;
+    }, "strip", z.ZodTypeAny, {
+        prelimStatus: string;
+    }, {
+        prelimStatus: string;
+    }>, z.ZodObject<{
+        prelimReason: z.ZodString;
+    }, "strip", z.ZodTypeAny, {
+        prelimReason: string;
+    }, {
+        prelimReason: string;
+    }>, z.ZodObject<{
+        finalStatus: z.ZodString;
+    }, "strip", z.ZodTypeAny, {
+        finalStatus: string;
+    }, {
+        finalStatus: string;
+    }>, z.ZodObject<{
+        finalReason: z.ZodString;
+    }, "strip", z.ZodTypeAny, {
+        finalReason: string;
+    }, {
+        finalReason: 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.ZodObject<{
+        finalStatus: z.ZodString;
+    }, "strip", z.ZodTypeAny, {
+        finalStatus: string;
+    }, {
+        finalStatus: string;
+    }>, z.ZodObject<{
+        finalReason: z.ZodString;
+    }, "strip", z.ZodTypeAny, {
+        finalReason: string;
+    }, {
+        finalReason: string;
+    }>>, import("../lib/types").PolicyLifecycleFunction<z.ZodObject<{
+        actionType: z.ZodString;
+    }, "strip", z.ZodTypeAny, {
+        actionType: string;
+    }, {
+        actionType: string;
+    }>, z.ZodUndefined, z.ZodObject<{
+        prelimStatus: z.ZodString;
+    }, "strip", z.ZodTypeAny, {
+        prelimStatus: string;
+    }, {
+        prelimStatus: string;
+    }>, z.ZodObject<{
+        prelimReason: z.ZodString;
+    }, "strip", z.ZodTypeAny, {
+        prelimReason: string;
+    }, {
+        prelimReason: string;
+    }>>, import("../lib/types").CommitLifecycleFunction<z.ZodUndefined, z.ZodUndefined, z.ZodUndefined>>;
+    ipfsCid: "02u3kjwdsnfs2890hf";
+    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<{
+            finalStatus: z.ZodString;
+        }, "strip", z.ZodTypeAny, {
+            finalStatus: string;
+        }, {
+            finalStatus: string;
+        }>;
+        evalDenyResultSchema: z.ZodObject<{
+            finalReason: z.ZodString;
+        }, "strip", z.ZodTypeAny, {
+            finalReason: string;
+        }, {
+            finalReason: string;
+        }>;
+        precheckAllowResultSchema: z.ZodObject<{
+            prelimStatus: z.ZodString;
+        }, "strip", z.ZodTypeAny, {
+            prelimStatus: string;
+        }, {
+            prelimStatus: string;
+        }>;
+        precheckDenyResultSchema: z.ZodObject<{
+            prelimReason: z.ZodString;
+        }, "strip", z.ZodTypeAny, {
+            prelimReason: string;
+        }, {
+            prelimReason: string;
+        }>;
+        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<{
+            finalStatus: z.ZodString;
+        }, "strip", z.ZodTypeAny, {
+            finalStatus: string;
+        }, {
+            finalStatus: string;
+        }>, z.ZodObject<{
+            finalReason: z.ZodString;
+        }, "strip", z.ZodTypeAny, {
+            finalReason: string;
+        }, {
+            finalReason: string;
+        }>>;
+        precheck: import("../lib/types").PolicyLifecycleFunction<z.ZodObject<{
+            actionType: z.ZodString;
+        }, "strip", z.ZodTypeAny, {
+            actionType: string;
+        }, {
+            actionType: string;
+        }>, z.ZodUndefined, z.ZodObject<{
+            prelimStatus: z.ZodString;
+        }, "strip", z.ZodTypeAny, {
+            prelimStatus: string;
+        }, {
+            prelimStatus: string;
+        }>, z.ZodObject<{
+            prelimReason: z.ZodString;
+        }, "strip", z.ZodTypeAny, {
+            prelimReason: string;
+        }, {
+            prelimReason: string;
+        }>> | undefined;
+        commit: import("../lib/types").CommitLifecycleFunction<z.ZodUndefined, z.ZodUndefined, z.ZodUndefined> | undefined;
+    };
+};
+/**
+ * Test Case 2: Verify different schemas between evaluate and commit
+ */
+declare function testEvaluateCommitContextSwitching(): {
+    vincentPolicy: import("../internal").VincentPolicy<"@lit-protocol/test-policy@1.23.1", z.ZodObject<{
+        actionType: z.ZodString;
+    }, "strip", z.ZodTypeAny, {
+        actionType: string;
+    }, {
+        actionType: string;
+    }>, z.ZodUndefined, z.ZodUndefined, z.ZodUndefined, z.ZodObject<{
+        approvalId: z.ZodString;
+    }, "strip", z.ZodTypeAny, {
+        approvalId: string;
+    }, {
+        approvalId: string;
+    }>, z.ZodObject<{
+        rejectionReason: z.ZodString;
+    }, "strip", z.ZodTypeAny, {
+        rejectionReason: string;
+    }, {
+        rejectionReason: string;
+    }>, z.ZodObject<{
+        confirmationId: z.ZodString;
+    }, "strip", z.ZodTypeAny, {
+        confirmationId: string;
+    }, {
+        confirmationId: string;
+    }>, z.ZodObject<{
+        transactionHash: z.ZodString;
+    }, "strip", z.ZodTypeAny, {
+        transactionHash: string;
+    }, {
+        transactionHash: string;
+    }>, z.ZodObject<{
+        failureCode: z.ZodNumber;
+    }, "strip", z.ZodTypeAny, {
+        failureCode: number;
+    }, {
+        failureCode: number;
+    }>, import("../lib/types").PolicyLifecycleFunction<z.ZodObject<{
+        actionType: z.ZodString;
+    }, "strip", z.ZodTypeAny, {
+        actionType: string;
+    }, {
+        actionType: string;
+    }>, z.ZodUndefined, z.ZodObject<{
+        approvalId: z.ZodString;
+    }, "strip", z.ZodTypeAny, {
+        approvalId: string;
+    }, {
+        approvalId: string;
+    }>, z.ZodObject<{
+        rejectionReason: z.ZodString;
+    }, "strip", z.ZodTypeAny, {
+        rejectionReason: string;
+    }, {
+        rejectionReason: 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.ZodObject<{
+        confirmationId: z.ZodString;
+    }, "strip", z.ZodTypeAny, {
+        confirmationId: string;
+    }, {
+        confirmationId: string;
+    }>, z.ZodObject<{
+        transactionHash: z.ZodString;
+    }, "strip", z.ZodTypeAny, {
+        transactionHash: string;
+    }, {
+        transactionHash: string;
+    }>, z.ZodObject<{
+        failureCode: z.ZodNumber;
+    }, "strip", z.ZodTypeAny, {
+        failureCode: number;
+    }, {
+        failureCode: number;
+    }>>>;
+    ipfsCid: "048oifjnwfoij3208h";
+    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<{
+            approvalId: z.ZodString;
+        }, "strip", z.ZodTypeAny, {
+            approvalId: string;
+        }, {
+            approvalId: string;
+        }>;
+        evalDenyResultSchema: z.ZodObject<{
+            rejectionReason: z.ZodString;
+        }, "strip", z.ZodTypeAny, {
+            rejectionReason: string;
+        }, {
+            rejectionReason: string;
+        }>;
+        precheckAllowResultSchema: z.ZodUndefined;
+        precheckDenyResultSchema: z.ZodUndefined;
+        commitParamsSchema: z.ZodObject<{
+            confirmationId: z.ZodString;
+        }, "strip", z.ZodTypeAny, {
+            confirmationId: string;
+        }, {
+            confirmationId: string;
+        }>;
+        commitAllowResultSchema: z.ZodObject<{
+            transactionHash: z.ZodString;
+        }, "strip", z.ZodTypeAny, {
+            transactionHash: string;
+        }, {
+            transactionHash: string;
+        }>;
+        commitDenyResultSchema: z.ZodObject<{
+            failureCode: z.ZodNumber;
+        }, "strip", z.ZodTypeAny, {
+            failureCode: number;
+        }, {
+            failureCode: number;
+        }>;
+        evaluate: import("../lib/types").PolicyLifecycleFunction<z.ZodObject<{
+            actionType: z.ZodString;
+        }, "strip", z.ZodTypeAny, {
+            actionType: string;
+        }, {
+            actionType: string;
+        }>, z.ZodUndefined, z.ZodObject<{
+            approvalId: z.ZodString;
+        }, "strip", z.ZodTypeAny, {
+            approvalId: string;
+        }, {
+            approvalId: string;
+        }>, z.ZodObject<{
+            rejectionReason: z.ZodString;
+        }, "strip", z.ZodTypeAny, {
+            rejectionReason: string;
+        }, {
+            rejectionReason: 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.ZodObject<{
+            confirmationId: z.ZodString;
+        }, "strip", z.ZodTypeAny, {
+            confirmationId: string;
+        }, {
+            confirmationId: string;
+        }>, z.ZodObject<{
+            transactionHash: z.ZodString;
+        }, "strip", z.ZodTypeAny, {
+            transactionHash: string;
+        }, {
+            transactionHash: string;
+        }>, z.ZodObject<{
+            failureCode: z.ZodNumber;
+        }, "strip", z.ZodTypeAny, {
+            failureCode: number;
+        }, {
+            failureCode: number;
+        }>> | undefined;
+    };
+};
+/**
+ * Test Case 3: Full policy with all three contexts having different schemas
+ */
+declare function testFullPolicyContextSwitching(): {
+    vincentPolicy: import("../internal").VincentPolicy<"@lit-protocol/testpolicyawesome@12.1.10", z.ZodObject<{
+        actionType: z.ZodString;
+        amount: z.ZodNumber;
+    }, "strip", z.ZodTypeAny, {
+        amount: number;
+        actionType: string;
+    }, {
+        amount: number;
+        actionType: string;
+    }>, z.ZodObject<{
+        limit: z.ZodNumber;
+    }, "strip", z.ZodTypeAny, {
+        limit: number;
+    }, {
+        limit: number;
+    }>, z.ZodObject<{
+        check: z.ZodBoolean;
+    }, "strip", z.ZodTypeAny, {
+        check: boolean;
+    }, {
+        check: boolean;
+    }>, z.ZodObject<{
+        checkFailed: z.ZodBoolean;
+    }, "strip", z.ZodTypeAny, {
+        checkFailed: boolean;
+    }, {
+        checkFailed: boolean;
+    }>, z.ZodObject<{
+        granted: z.ZodBoolean;
+    }, "strip", z.ZodTypeAny, {
+        granted: boolean;
+    }, {
+        granted: boolean;
+    }>, z.ZodObject<{
+        denied: z.ZodBoolean;
+    }, "strip", z.ZodTypeAny, {
+        denied: boolean;
+    }, {
+        denied: boolean;
+    }>, z.ZodObject<{
+        txId: z.ZodString;
+    }, "strip", z.ZodTypeAny, {
+        txId: string;
+    }, {
+        txId: string;
+    }>, z.ZodObject<{
+        completed: z.ZodBoolean;
+    }, "strip", z.ZodTypeAny, {
+        completed: boolean;
+    }, {
+        completed: boolean;
+    }>, z.ZodObject<{
+        aborted: z.ZodBoolean;
+    }, "strip", z.ZodTypeAny, {
+        aborted: boolean;
+    }, {
+        aborted: boolean;
+    }>, import("../lib/types").PolicyLifecycleFunction<z.ZodObject<{
+        actionType: z.ZodString;
+        amount: z.ZodNumber;
+    }, "strip", z.ZodTypeAny, {
+        amount: number;
+        actionType: string;
+    }, {
+        amount: number;
+        actionType: string;
+    }>, z.ZodObject<{
+        limit: z.ZodNumber;
+    }, "strip", z.ZodTypeAny, {
+        limit: number;
+    }, {
+        limit: number;
+    }>, z.ZodObject<{
+        granted: z.ZodBoolean;
+    }, "strip", z.ZodTypeAny, {
+        granted: boolean;
+    }, {
+        granted: boolean;
+    }>, z.ZodObject<{
+        denied: z.ZodBoolean;
+    }, "strip", z.ZodTypeAny, {
+        denied: boolean;
+    }, {
+        denied: boolean;
+    }>>, import("../lib/types").PolicyLifecycleFunction<z.ZodObject<{
+        actionType: z.ZodString;
+        amount: z.ZodNumber;
+    }, "strip", z.ZodTypeAny, {
+        amount: number;
+        actionType: string;
+    }, {
+        amount: number;
+        actionType: string;
+    }>, z.ZodObject<{
+        limit: z.ZodNumber;
+    }, "strip", z.ZodTypeAny, {
+        limit: number;
+    }, {
+        limit: number;
+    }>, z.ZodObject<{
+        check: z.ZodBoolean;
+    }, "strip", z.ZodTypeAny, {
+        check: boolean;
+    }, {
+        check: boolean;
+    }>, z.ZodObject<{
+        checkFailed: z.ZodBoolean;
+    }, "strip", z.ZodTypeAny, {
+        checkFailed: boolean;
+    }, {
+        checkFailed: boolean;
+    }>>, import("../lib/types").CommitLifecycleFunction<z.ZodObject<{
+        txId: z.ZodString;
+    }, "strip", z.ZodTypeAny, {
+        txId: string;
+    }, {
+        txId: string;
+    }>, z.ZodObject<{
+        completed: z.ZodBoolean;
+    }, "strip", z.ZodTypeAny, {
+        completed: boolean;
+    }, {
+        completed: boolean;
+    }>, z.ZodObject<{
+        aborted: z.ZodBoolean;
+    }, "strip", z.ZodTypeAny, {
+        aborted: boolean;
+    }, {
+        aborted: boolean;
+    }>>>;
+    ipfsCid: "908joiun2f928q1hjbfn";
+    abilityParameterMappings: Partial<{
+        action: "amount" | "actionType";
+        target: "amount" | "actionType";
+        amount: "amount" | "actionType";
+    }>;
+    vincentAbilityApiVersion: string;
+    __schemaTypes: {
+        policyAbilityParamsSchema: z.ZodObject<{
+            actionType: z.ZodString;
+            amount: z.ZodNumber;
+        }, "strip", z.ZodTypeAny, {
+            amount: number;
+            actionType: string;
+        }, {
+            amount: number;
+            actionType: string;
+        }>;
+        userParamsSchema: z.ZodObject<{
+            limit: z.ZodNumber;
+        }, "strip", z.ZodTypeAny, {
+            limit: number;
+        }, {
+            limit: number;
+        }>;
+        evalAllowResultSchema: z.ZodObject<{
+            granted: z.ZodBoolean;
+        }, "strip", z.ZodTypeAny, {
+            granted: boolean;
+        }, {
+            granted: boolean;
+        }>;
+        evalDenyResultSchema: z.ZodObject<{
+            denied: z.ZodBoolean;
+        }, "strip", z.ZodTypeAny, {
+            denied: boolean;
+        }, {
+            denied: boolean;
+        }>;
+        precheckAllowResultSchema: z.ZodObject<{
+            check: z.ZodBoolean;
+        }, "strip", z.ZodTypeAny, {
+            check: boolean;
+        }, {
+            check: boolean;
+        }>;
+        precheckDenyResultSchema: z.ZodObject<{
+            checkFailed: z.ZodBoolean;
+        }, "strip", z.ZodTypeAny, {
+            checkFailed: boolean;
+        }, {
+            checkFailed: boolean;
+        }>;
+        commitParamsSchema: z.ZodObject<{
+            txId: z.ZodString;
+        }, "strip", z.ZodTypeAny, {
+            txId: string;
+        }, {
+            txId: string;
+        }>;
+        commitAllowResultSchema: z.ZodObject<{
+            completed: z.ZodBoolean;
+        }, "strip", z.ZodTypeAny, {
+            completed: boolean;
+        }, {
+            completed: boolean;
+        }>;
+        commitDenyResultSchema: z.ZodObject<{
+            aborted: z.ZodBoolean;
+        }, "strip", z.ZodTypeAny, {
+            aborted: boolean;
+        }, {
+            aborted: boolean;
+        }>;
+        evaluate: import("../lib/types").PolicyLifecycleFunction<z.ZodObject<{
+            actionType: z.ZodString;
+            amount: z.ZodNumber;
+        }, "strip", z.ZodTypeAny, {
+            amount: number;
+            actionType: string;
+        }, {
+            amount: number;
+            actionType: string;
+        }>, z.ZodObject<{
+            limit: z.ZodNumber;
+        }, "strip", z.ZodTypeAny, {
+            limit: number;
+        }, {
+            limit: number;
+        }>, z.ZodObject<{
+            granted: z.ZodBoolean;
+        }, "strip", z.ZodTypeAny, {
+            granted: boolean;
+        }, {
+            granted: boolean;
+        }>, z.ZodObject<{
+            denied: z.ZodBoolean;
+        }, "strip", z.ZodTypeAny, {
+            denied: boolean;
+        }, {
+            denied: boolean;
+        }>>;
+        precheck: import("../lib/types").PolicyLifecycleFunction<z.ZodObject<{
+            actionType: z.ZodString;
+            amount: z.ZodNumber;
+        }, "strip", z.ZodTypeAny, {
+            amount: number;
+            actionType: string;
+        }, {
+            amount: number;
+            actionType: string;
+        }>, z.ZodObject<{
+            limit: z.ZodNumber;
+        }, "strip", z.ZodTypeAny, {
+            limit: number;
+        }, {
+            limit: number;
+        }>, z.ZodObject<{
+            check: z.ZodBoolean;
+        }, "strip", z.ZodTypeAny, {
+            check: boolean;
+        }, {
+            check: boolean;
+        }>, z.ZodObject<{
+            checkFailed: z.ZodBoolean;
+        }, "strip", z.ZodTypeAny, {
+            checkFailed: boolean;
+        }, {
+            checkFailed: boolean;
+        }>> | undefined;
+        commit: import("../lib/types").CommitLifecycleFunction<z.ZodObject<{
+            txId: z.ZodString;
+        }, "strip", z.ZodTypeAny, {
+            txId: string;
+        }, {
+            txId: string;
+        }>, z.ZodObject<{
+            completed: z.ZodBoolean;
+        }, "strip", z.ZodTypeAny, {
+            completed: boolean;
+        }, {
+            completed: boolean;
+        }>, z.ZodObject<{
+            aborted: z.ZodBoolean;
+        }, "strip", z.ZodTypeAny, {
+            aborted: boolean;
+        }, {
+            aborted: boolean;
+        }>> | undefined;
+    };
+};
+export { testPrecheckEvaluateContextSwitching, testEvaluateCommitContextSwitching, testFullPolicyContextSwitching, };
+//# sourceMappingURL=context-switching-tests.d.ts.map

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

@@ -0,0 +1 @@
+{"version":3,"file":"context-switching-tests.d.ts","sourceRoot":"","sources":["../../../src/type-inference-verification/context-switching-tests.ts"],"names":[],"mappings":"AAEA;;;;;;GAMG;AACH,OAAO,EAAE,CAAC,EAAE,MAAM,KAAK,CAAC;AAYxB;;GAEG;AACH,iBAAS,oCAAoC;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;EA4D5C;AAED;;GAEG;AACH,iBAAS,kCAAkC;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;EAkE1C;AAED;;GAEG;AACH,iBAAS,8BAA8B;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;EAgHtC;AAGD,OAAO,EACL,oCAAoC,EACpC,kCAAkC,EAClC,8BAA8B,GAC/B,CAAC"}