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

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

@@ -0,0 +1,1710 @@
+/**
+ * Ability Parameter Type Inference Testing
+ *
+ * This file tests the TypeScript type inference for ability parameters,
+ * policy results, and context manipulation.
+ */
+import { z } from 'zod';
+/**
+ * Test Case 1: Basic parameter type inference
+ */
+declare function testBasicParameterInference(): import("..").VincentAbility<z.ZodObject<{
+    action: z.ZodString;
+    target: z.ZodString;
+    options: z.ZodOptional<z.ZodObject<{
+        priority: z.ZodOptional<z.ZodNumber>;
+        dryRun: z.ZodOptional<z.ZodBoolean>;
+    }, "strip", z.ZodTypeAny, {
+        priority?: number | undefined;
+        dryRun?: boolean | undefined;
+    }, {
+        priority?: number | undefined;
+        dryRun?: boolean | undefined;
+    }>>;
+}, "strip", z.ZodTypeAny, {
+    action: string;
+    target: string;
+    options?: {
+        priority?: number | undefined;
+        dryRun?: boolean | undefined;
+    } | undefined;
+}, {
+    action: string;
+    target: string;
+    options?: {
+        priority?: number | undefined;
+        dryRun?: boolean | undefined;
+    } | undefined;
+}>, string, import("../lib/abilityCore/helpers").AbilityPolicyMap<readonly [{
+    vincentPolicy: import("../internal").VincentPolicy<"@lit-protocol/test-policy@1.0.0", z.ZodObject<{
+        operation: z.ZodString;
+    }, "strip", z.ZodTypeAny, {
+        operation: string;
+    }, {
+        operation: string;
+    }>, z.ZodUndefined, z.ZodUndefined, z.ZodUndefined, z.ZodObject<{
+        allowed: z.ZodBoolean;
+    }, "strip", z.ZodTypeAny, {
+        allowed: boolean;
+    }, {
+        allowed: boolean;
+    }>, z.ZodUndefined, z.ZodUndefined, z.ZodUndefined, z.ZodUndefined, import("../lib/types").PolicyLifecycleFunction<z.ZodObject<{
+        operation: z.ZodString;
+    }, "strip", z.ZodTypeAny, {
+        operation: string;
+    }, {
+        operation: string;
+    }>, z.ZodUndefined, z.ZodObject<{
+        allowed: z.ZodBoolean;
+    }, "strip", z.ZodTypeAny, {
+        allowed: boolean;
+    }, {
+        allowed: boolean;
+    }>, z.ZodUndefined>, import("../lib/types").PolicyLifecycleFunction<z.ZodObject<{
+        operation: z.ZodString;
+    }, "strip", z.ZodTypeAny, {
+        operation: string;
+    }, {
+        operation: string;
+    }>, z.ZodUndefined, z.ZodUndefined, z.ZodUndefined>, import("../lib/types").CommitLifecycleFunction<z.ZodUndefined, z.ZodUndefined, z.ZodUndefined>>;
+    ipfsCid: "209oifusfdj";
+    abilityParameterMappings: Partial<{
+        action: "operation";
+        target: "operation";
+        options?: "operation" | undefined;
+    }>;
+    vincentAbilityApiVersion: string;
+    __schemaTypes: {
+        policyAbilityParamsSchema: z.ZodObject<{
+            operation: z.ZodString;
+        }, "strip", z.ZodTypeAny, {
+            operation: string;
+        }, {
+            operation: string;
+        }>;
+        userParamsSchema: z.ZodUndefined;
+        evalAllowResultSchema: z.ZodObject<{
+            allowed: z.ZodBoolean;
+        }, "strip", z.ZodTypeAny, {
+            allowed: boolean;
+        }, {
+            allowed: boolean;
+        }>;
+        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<{
+            operation: z.ZodString;
+        }, "strip", z.ZodTypeAny, {
+            operation: string;
+        }, {
+            operation: string;
+        }>, z.ZodUndefined, z.ZodObject<{
+            allowed: z.ZodBoolean;
+        }, "strip", z.ZodTypeAny, {
+            allowed: boolean;
+        }, {
+            allowed: boolean;
+        }>, z.ZodUndefined>;
+        precheck: import("../lib/types").PolicyLifecycleFunction<z.ZodObject<{
+            operation: z.ZodString;
+        }, "strip", z.ZodTypeAny, {
+            operation: string;
+        }, {
+            operation: string;
+        }>, z.ZodUndefined, z.ZodUndefined, z.ZodUndefined> | undefined;
+        commit: import("../lib/types").CommitLifecycleFunction<z.ZodUndefined, z.ZodUndefined, z.ZodUndefined> | undefined;
+    };
+}], "@lit-protocol/test-policy@1.0.0">, {
+    "@lit-protocol/test-policy@1.0.0": {
+        vincentPolicy: import("../internal").VincentPolicy<"@lit-protocol/test-policy@1.0.0", z.ZodObject<{
+            operation: z.ZodString;
+        }, "strip", z.ZodTypeAny, {
+            operation: string;
+        }, {
+            operation: string;
+        }>, z.ZodUndefined, z.ZodUndefined, z.ZodUndefined, z.ZodObject<{
+            allowed: z.ZodBoolean;
+        }, "strip", z.ZodTypeAny, {
+            allowed: boolean;
+        }, {
+            allowed: boolean;
+        }>, z.ZodUndefined, z.ZodUndefined, z.ZodUndefined, z.ZodUndefined, import("../lib/types").PolicyLifecycleFunction<z.ZodObject<{
+            operation: z.ZodString;
+        }, "strip", z.ZodTypeAny, {
+            operation: string;
+        }, {
+            operation: string;
+        }>, z.ZodUndefined, z.ZodObject<{
+            allowed: z.ZodBoolean;
+        }, "strip", z.ZodTypeAny, {
+            allowed: boolean;
+        }, {
+            allowed: boolean;
+        }>, z.ZodUndefined>, import("../lib/types").PolicyLifecycleFunction<z.ZodObject<{
+            operation: z.ZodString;
+        }, "strip", z.ZodTypeAny, {
+            operation: string;
+        }, {
+            operation: string;
+        }>, z.ZodUndefined, z.ZodUndefined, z.ZodUndefined>, import("../lib/types").CommitLifecycleFunction<z.ZodUndefined, z.ZodUndefined, z.ZodUndefined>>;
+        ipfsCid: "209oifusfdj";
+        abilityParameterMappings: Partial<{
+            action: "operation";
+            target: "operation";
+            options?: "operation" | undefined;
+        }>;
+        vincentAbilityApiVersion: string;
+        __schemaTypes: {
+            policyAbilityParamsSchema: z.ZodObject<{
+                operation: z.ZodString;
+            }, "strip", z.ZodTypeAny, {
+                operation: string;
+            }, {
+                operation: string;
+            }>;
+            userParamsSchema: z.ZodUndefined;
+            evalAllowResultSchema: z.ZodObject<{
+                allowed: z.ZodBoolean;
+            }, "strip", z.ZodTypeAny, {
+                allowed: boolean;
+            }, {
+                allowed: boolean;
+            }>;
+            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<{
+                operation: z.ZodString;
+            }, "strip", z.ZodTypeAny, {
+                operation: string;
+            }, {
+                operation: string;
+            }>, z.ZodUndefined, z.ZodObject<{
+                allowed: z.ZodBoolean;
+            }, "strip", z.ZodTypeAny, {
+                allowed: boolean;
+            }, {
+                allowed: boolean;
+            }>, z.ZodUndefined>;
+            precheck: import("../lib/types").PolicyLifecycleFunction<z.ZodObject<{
+                operation: z.ZodString;
+            }, "strip", z.ZodTypeAny, {
+                operation: string;
+            }, {
+                operation: string;
+            }>, z.ZodUndefined, z.ZodUndefined, z.ZodUndefined> | undefined;
+            commit: import("../lib/types").CommitLifecycleFunction<z.ZodUndefined, z.ZodUndefined, z.ZodUndefined> | undefined;
+        };
+    };
+}, z.ZodUndefined, z.ZodUndefined, z.ZodUndefined, z.ZodUndefined>;
+/**
+ * Test Case 2: Policy result type inference
+ */
+declare function testPolicyResultInference(): import("..").VincentAbility<z.ZodObject<{
+    action: z.ZodString;
+    target: z.ZodString;
+    options: z.ZodOptional<z.ZodObject<{
+        priority: z.ZodOptional<z.ZodNumber>;
+        dryRun: z.ZodOptional<z.ZodBoolean>;
+    }, "strip", z.ZodTypeAny, {
+        priority?: number | undefined;
+        dryRun?: boolean | undefined;
+    }, {
+        priority?: number | undefined;
+        dryRun?: boolean | undefined;
+    }>>;
+}, "strip", z.ZodTypeAny, {
+    action: string;
+    target: string;
+    options?: {
+        priority?: number | undefined;
+        dryRun?: boolean | undefined;
+    } | undefined;
+}, {
+    action: string;
+    target: string;
+    options?: {
+        priority?: number | undefined;
+        dryRun?: boolean | undefined;
+    } | undefined;
+}>, string, import("../lib/abilityCore/helpers").AbilityPolicyMap<readonly [{
+    vincentPolicy: import("../internal").VincentPolicy<"@lit-protocol/complex-policy@1.0.0", z.ZodObject<{
+        command: z.ZodString;
+    }, "strip", z.ZodTypeAny, {
+        command: string;
+    }, {
+        command: string;
+    }>, z.ZodUndefined, z.ZodUndefined, z.ZodUndefined, z.ZodObject<{
+        level: z.ZodEnum<["low", "medium", "high"]>;
+        metadata: z.ZodObject<{
+            timestamp: z.ZodNumber;
+            signature: z.ZodString;
+        }, "strip", z.ZodTypeAny, {
+            timestamp: number;
+            signature: string;
+        }, {
+            timestamp: number;
+            signature: string;
+        }>;
+        flags: z.ZodArray<z.ZodString, "many">;
+    }, "strip", z.ZodTypeAny, {
+        level: "low" | "medium" | "high";
+        metadata: {
+            timestamp: number;
+            signature: string;
+        };
+        flags: string[];
+    }, {
+        level: "low" | "medium" | "high";
+        metadata: {
+            timestamp: number;
+            signature: string;
+        };
+        flags: string[];
+    }>, z.ZodUndefined, z.ZodUndefined, z.ZodUndefined, z.ZodUndefined, import("../lib/types").PolicyLifecycleFunction<z.ZodObject<{
+        command: z.ZodString;
+    }, "strip", z.ZodTypeAny, {
+        command: string;
+    }, {
+        command: string;
+    }>, z.ZodUndefined, z.ZodObject<{
+        level: z.ZodEnum<["low", "medium", "high"]>;
+        metadata: z.ZodObject<{
+            timestamp: z.ZodNumber;
+            signature: z.ZodString;
+        }, "strip", z.ZodTypeAny, {
+            timestamp: number;
+            signature: string;
+        }, {
+            timestamp: number;
+            signature: string;
+        }>;
+        flags: z.ZodArray<z.ZodString, "many">;
+    }, "strip", z.ZodTypeAny, {
+        level: "low" | "medium" | "high";
+        metadata: {
+            timestamp: number;
+            signature: string;
+        };
+        flags: string[];
+    }, {
+        level: "low" | "medium" | "high";
+        metadata: {
+            timestamp: number;
+            signature: string;
+        };
+        flags: string[];
+    }>, z.ZodUndefined>, import("../lib/types").PolicyLifecycleFunction<z.ZodObject<{
+        command: z.ZodString;
+    }, "strip", z.ZodTypeAny, {
+        command: string;
+    }, {
+        command: string;
+    }>, z.ZodUndefined, z.ZodUndefined, z.ZodUndefined>, import("../lib/types").CommitLifecycleFunction<z.ZodUndefined, z.ZodUndefined, z.ZodUndefined>>;
+    ipfsCid: "-0932i0fjs0jfd";
+    abilityParameterMappings: Partial<{
+        action: "command";
+        target: "command";
+        options?: "command" | undefined;
+    }>;
+    vincentAbilityApiVersion: string;
+    __schemaTypes: {
+        policyAbilityParamsSchema: z.ZodObject<{
+            command: z.ZodString;
+        }, "strip", z.ZodTypeAny, {
+            command: string;
+        }, {
+            command: string;
+        }>;
+        userParamsSchema: z.ZodUndefined;
+        evalAllowResultSchema: z.ZodObject<{
+            level: z.ZodEnum<["low", "medium", "high"]>;
+            metadata: z.ZodObject<{
+                timestamp: z.ZodNumber;
+                signature: z.ZodString;
+            }, "strip", z.ZodTypeAny, {
+                timestamp: number;
+                signature: string;
+            }, {
+                timestamp: number;
+                signature: string;
+            }>;
+            flags: z.ZodArray<z.ZodString, "many">;
+        }, "strip", z.ZodTypeAny, {
+            level: "low" | "medium" | "high";
+            metadata: {
+                timestamp: number;
+                signature: string;
+            };
+            flags: string[];
+        }, {
+            level: "low" | "medium" | "high";
+            metadata: {
+                timestamp: number;
+                signature: string;
+            };
+            flags: string[];
+        }>;
+        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<{
+            command: z.ZodString;
+        }, "strip", z.ZodTypeAny, {
+            command: string;
+        }, {
+            command: string;
+        }>, z.ZodUndefined, z.ZodObject<{
+            level: z.ZodEnum<["low", "medium", "high"]>;
+            metadata: z.ZodObject<{
+                timestamp: z.ZodNumber;
+                signature: z.ZodString;
+            }, "strip", z.ZodTypeAny, {
+                timestamp: number;
+                signature: string;
+            }, {
+                timestamp: number;
+                signature: string;
+            }>;
+            flags: z.ZodArray<z.ZodString, "many">;
+        }, "strip", z.ZodTypeAny, {
+            level: "low" | "medium" | "high";
+            metadata: {
+                timestamp: number;
+                signature: string;
+            };
+            flags: string[];
+        }, {
+            level: "low" | "medium" | "high";
+            metadata: {
+                timestamp: number;
+                signature: string;
+            };
+            flags: string[];
+        }>, z.ZodUndefined>;
+        precheck: import("../lib/types").PolicyLifecycleFunction<z.ZodObject<{
+            command: z.ZodString;
+        }, "strip", z.ZodTypeAny, {
+            command: string;
+        }, {
+            command: string;
+        }>, z.ZodUndefined, z.ZodUndefined, z.ZodUndefined> | undefined;
+        commit: import("../lib/types").CommitLifecycleFunction<z.ZodUndefined, z.ZodUndefined, z.ZodUndefined> | undefined;
+    };
+}, {
+    vincentPolicy: import("../internal").VincentPolicy<"@lit-protocol/commit-policy@1.0.0", z.ZodObject<{
+        resource: z.ZodString;
+    }, "strip", z.ZodTypeAny, {
+        resource: string;
+    }, {
+        resource: string;
+    }>, z.ZodUndefined, z.ZodUndefined, z.ZodUndefined, z.ZodObject<{
+        transactionId: z.ZodString;
+    }, "strip", z.ZodTypeAny, {
+        transactionId: string;
+    }, {
+        transactionId: string;
+    }>, z.ZodUndefined, z.ZodObject<{
+        transactionId: z.ZodString;
+        status: z.ZodEnum<["complete", "abort"]>;
+    }, "strip", z.ZodTypeAny, {
+        status: "complete" | "abort";
+        transactionId: string;
+    }, {
+        status: "complete" | "abort";
+        transactionId: string;
+    }>, z.ZodObject<{
+        success: z.ZodBoolean;
+        timestamp: z.ZodNumber;
+    }, "strip", z.ZodTypeAny, {
+        success: boolean;
+        timestamp: number;
+    }, {
+        success: boolean;
+        timestamp: number;
+    }>, z.ZodUndefined, import("../lib/types").PolicyLifecycleFunction<z.ZodObject<{
+        resource: z.ZodString;
+    }, "strip", z.ZodTypeAny, {
+        resource: string;
+    }, {
+        resource: string;
+    }>, z.ZodUndefined, z.ZodObject<{
+        transactionId: z.ZodString;
+    }, "strip", z.ZodTypeAny, {
+        transactionId: string;
+    }, {
+        transactionId: string;
+    }>, z.ZodUndefined>, import("../lib/types").PolicyLifecycleFunction<z.ZodObject<{
+        resource: z.ZodString;
+    }, "strip", z.ZodTypeAny, {
+        resource: string;
+    }, {
+        resource: string;
+    }>, z.ZodUndefined, z.ZodUndefined, z.ZodUndefined>, import("../lib/types").CommitLifecycleFunction<z.ZodObject<{
+        transactionId: z.ZodString;
+        status: z.ZodEnum<["complete", "abort"]>;
+    }, "strip", z.ZodTypeAny, {
+        status: "complete" | "abort";
+        transactionId: string;
+    }, {
+        status: "complete" | "abort";
+        transactionId: string;
+    }>, z.ZodObject<{
+        success: z.ZodBoolean;
+        timestamp: z.ZodNumber;
+    }, "strip", z.ZodTypeAny, {
+        success: boolean;
+        timestamp: number;
+    }, {
+        success: boolean;
+        timestamp: number;
+    }>, z.ZodUndefined>>;
+    ipfsCid: "1098u2098qjfn";
+    abilityParameterMappings: Partial<{
+        action: "resource";
+        target: "resource";
+        options?: "resource" | undefined;
+    }>;
+    vincentAbilityApiVersion: string;
+    __schemaTypes: {
+        policyAbilityParamsSchema: z.ZodObject<{
+            resource: z.ZodString;
+        }, "strip", z.ZodTypeAny, {
+            resource: string;
+        }, {
+            resource: string;
+        }>;
+        userParamsSchema: z.ZodUndefined;
+        evalAllowResultSchema: z.ZodObject<{
+            transactionId: z.ZodString;
+        }, "strip", z.ZodTypeAny, {
+            transactionId: string;
+        }, {
+            transactionId: string;
+        }>;
+        evalDenyResultSchema: z.ZodUndefined;
+        precheckAllowResultSchema: z.ZodUndefined;
+        precheckDenyResultSchema: z.ZodUndefined;
+        commitParamsSchema: z.ZodObject<{
+            transactionId: z.ZodString;
+            status: z.ZodEnum<["complete", "abort"]>;
+        }, "strip", z.ZodTypeAny, {
+            status: "complete" | "abort";
+            transactionId: string;
+        }, {
+            status: "complete" | "abort";
+            transactionId: string;
+        }>;
+        commitAllowResultSchema: z.ZodObject<{
+            success: z.ZodBoolean;
+            timestamp: z.ZodNumber;
+        }, "strip", z.ZodTypeAny, {
+            success: boolean;
+            timestamp: number;
+        }, {
+            success: boolean;
+            timestamp: number;
+        }>;
+        commitDenyResultSchema: z.ZodUndefined;
+        evaluate: import("../lib/types").PolicyLifecycleFunction<z.ZodObject<{
+            resource: z.ZodString;
+        }, "strip", z.ZodTypeAny, {
+            resource: string;
+        }, {
+            resource: string;
+        }>, z.ZodUndefined, z.ZodObject<{
+            transactionId: z.ZodString;
+        }, "strip", z.ZodTypeAny, {
+            transactionId: string;
+        }, {
+            transactionId: string;
+        }>, z.ZodUndefined>;
+        precheck: import("../lib/types").PolicyLifecycleFunction<z.ZodObject<{
+            resource: z.ZodString;
+        }, "strip", z.ZodTypeAny, {
+            resource: string;
+        }, {
+            resource: string;
+        }>, z.ZodUndefined, z.ZodUndefined, z.ZodUndefined> | undefined;
+        commit: import("../lib/types").CommitLifecycleFunction<z.ZodObject<{
+            transactionId: z.ZodString;
+            status: z.ZodEnum<["complete", "abort"]>;
+        }, "strip", z.ZodTypeAny, {
+            status: "complete" | "abort";
+            transactionId: string;
+        }, {
+            status: "complete" | "abort";
+            transactionId: string;
+        }>, z.ZodObject<{
+            success: z.ZodBoolean;
+            timestamp: z.ZodNumber;
+        }, "strip", z.ZodTypeAny, {
+            success: boolean;
+            timestamp: number;
+        }, {
+            success: boolean;
+            timestamp: number;
+        }>, z.ZodUndefined> | undefined;
+    };
+}], "@lit-protocol/commit-policy@1.0.0" | "@lit-protocol/complex-policy@1.0.0">, {
+    "@lit-protocol/commit-policy@1.0.0": {
+        vincentPolicy: import("../internal").VincentPolicy<"@lit-protocol/commit-policy@1.0.0", z.ZodObject<{
+            resource: z.ZodString;
+        }, "strip", z.ZodTypeAny, {
+            resource: string;
+        }, {
+            resource: string;
+        }>, z.ZodUndefined, z.ZodUndefined, z.ZodUndefined, z.ZodObject<{
+            transactionId: z.ZodString;
+        }, "strip", z.ZodTypeAny, {
+            transactionId: string;
+        }, {
+            transactionId: string;
+        }>, z.ZodUndefined, z.ZodObject<{
+            transactionId: z.ZodString;
+            status: z.ZodEnum<["complete", "abort"]>;
+        }, "strip", z.ZodTypeAny, {
+            status: "complete" | "abort";
+            transactionId: string;
+        }, {
+            status: "complete" | "abort";
+            transactionId: string;
+        }>, z.ZodObject<{
+            success: z.ZodBoolean;
+            timestamp: z.ZodNumber;
+        }, "strip", z.ZodTypeAny, {
+            success: boolean;
+            timestamp: number;
+        }, {
+            success: boolean;
+            timestamp: number;
+        }>, z.ZodUndefined, import("../lib/types").PolicyLifecycleFunction<z.ZodObject<{
+            resource: z.ZodString;
+        }, "strip", z.ZodTypeAny, {
+            resource: string;
+        }, {
+            resource: string;
+        }>, z.ZodUndefined, z.ZodObject<{
+            transactionId: z.ZodString;
+        }, "strip", z.ZodTypeAny, {
+            transactionId: string;
+        }, {
+            transactionId: string;
+        }>, z.ZodUndefined>, import("../lib/types").PolicyLifecycleFunction<z.ZodObject<{
+            resource: z.ZodString;
+        }, "strip", z.ZodTypeAny, {
+            resource: string;
+        }, {
+            resource: string;
+        }>, z.ZodUndefined, z.ZodUndefined, z.ZodUndefined>, import("../lib/types").CommitLifecycleFunction<z.ZodObject<{
+            transactionId: z.ZodString;
+            status: z.ZodEnum<["complete", "abort"]>;
+        }, "strip", z.ZodTypeAny, {
+            status: "complete" | "abort";
+            transactionId: string;
+        }, {
+            status: "complete" | "abort";
+            transactionId: string;
+        }>, z.ZodObject<{
+            success: z.ZodBoolean;
+            timestamp: z.ZodNumber;
+        }, "strip", z.ZodTypeAny, {
+            success: boolean;
+            timestamp: number;
+        }, {
+            success: boolean;
+            timestamp: number;
+        }>, z.ZodUndefined>>;
+        ipfsCid: "1098u2098qjfn";
+        abilityParameterMappings: Partial<{
+            action: "resource";
+            target: "resource";
+            options?: "resource" | undefined;
+        }>;
+        vincentAbilityApiVersion: string;
+        __schemaTypes: {
+            policyAbilityParamsSchema: z.ZodObject<{
+                resource: z.ZodString;
+            }, "strip", z.ZodTypeAny, {
+                resource: string;
+            }, {
+                resource: string;
+            }>;
+            userParamsSchema: z.ZodUndefined;
+            evalAllowResultSchema: z.ZodObject<{
+                transactionId: z.ZodString;
+            }, "strip", z.ZodTypeAny, {
+                transactionId: string;
+            }, {
+                transactionId: string;
+            }>;
+            evalDenyResultSchema: z.ZodUndefined;
+            precheckAllowResultSchema: z.ZodUndefined;
+            precheckDenyResultSchema: z.ZodUndefined;
+            commitParamsSchema: z.ZodObject<{
+                transactionId: z.ZodString;
+                status: z.ZodEnum<["complete", "abort"]>;
+            }, "strip", z.ZodTypeAny, {
+                status: "complete" | "abort";
+                transactionId: string;
+            }, {
+                status: "complete" | "abort";
+                transactionId: string;
+            }>;
+            commitAllowResultSchema: z.ZodObject<{
+                success: z.ZodBoolean;
+                timestamp: z.ZodNumber;
+            }, "strip", z.ZodTypeAny, {
+                success: boolean;
+                timestamp: number;
+            }, {
+                success: boolean;
+                timestamp: number;
+            }>;
+            commitDenyResultSchema: z.ZodUndefined;
+            evaluate: import("../lib/types").PolicyLifecycleFunction<z.ZodObject<{
+                resource: z.ZodString;
+            }, "strip", z.ZodTypeAny, {
+                resource: string;
+            }, {
+                resource: string;
+            }>, z.ZodUndefined, z.ZodObject<{
+                transactionId: z.ZodString;
+            }, "strip", z.ZodTypeAny, {
+                transactionId: string;
+            }, {
+                transactionId: string;
+            }>, z.ZodUndefined>;
+            precheck: import("../lib/types").PolicyLifecycleFunction<z.ZodObject<{
+                resource: z.ZodString;
+            }, "strip", z.ZodTypeAny, {
+                resource: string;
+            }, {
+                resource: string;
+            }>, z.ZodUndefined, z.ZodUndefined, z.ZodUndefined> | undefined;
+            commit: import("../lib/types").CommitLifecycleFunction<z.ZodObject<{
+                transactionId: z.ZodString;
+                status: z.ZodEnum<["complete", "abort"]>;
+            }, "strip", z.ZodTypeAny, {
+                status: "complete" | "abort";
+                transactionId: string;
+            }, {
+                status: "complete" | "abort";
+                transactionId: string;
+            }>, z.ZodObject<{
+                success: z.ZodBoolean;
+                timestamp: z.ZodNumber;
+            }, "strip", z.ZodTypeAny, {
+                success: boolean;
+                timestamp: number;
+            }, {
+                success: boolean;
+                timestamp: number;
+            }>, z.ZodUndefined> | undefined;
+        };
+    };
+    "@lit-protocol/complex-policy@1.0.0": {
+        vincentPolicy: import("../internal").VincentPolicy<"@lit-protocol/complex-policy@1.0.0", z.ZodObject<{
+            command: z.ZodString;
+        }, "strip", z.ZodTypeAny, {
+            command: string;
+        }, {
+            command: string;
+        }>, z.ZodUndefined, z.ZodUndefined, z.ZodUndefined, z.ZodObject<{
+            level: z.ZodEnum<["low", "medium", "high"]>;
+            metadata: z.ZodObject<{
+                timestamp: z.ZodNumber;
+                signature: z.ZodString;
+            }, "strip", z.ZodTypeAny, {
+                timestamp: number;
+                signature: string;
+            }, {
+                timestamp: number;
+                signature: string;
+            }>;
+            flags: z.ZodArray<z.ZodString, "many">;
+        }, "strip", z.ZodTypeAny, {
+            level: "low" | "medium" | "high";
+            metadata: {
+                timestamp: number;
+                signature: string;
+            };
+            flags: string[];
+        }, {
+            level: "low" | "medium" | "high";
+            metadata: {
+                timestamp: number;
+                signature: string;
+            };
+            flags: string[];
+        }>, z.ZodUndefined, z.ZodUndefined, z.ZodUndefined, z.ZodUndefined, import("../lib/types").PolicyLifecycleFunction<z.ZodObject<{
+            command: z.ZodString;
+        }, "strip", z.ZodTypeAny, {
+            command: string;
+        }, {
+            command: string;
+        }>, z.ZodUndefined, z.ZodObject<{
+            level: z.ZodEnum<["low", "medium", "high"]>;
+            metadata: z.ZodObject<{
+                timestamp: z.ZodNumber;
+                signature: z.ZodString;
+            }, "strip", z.ZodTypeAny, {
+                timestamp: number;
+                signature: string;
+            }, {
+                timestamp: number;
+                signature: string;
+            }>;
+            flags: z.ZodArray<z.ZodString, "many">;
+        }, "strip", z.ZodTypeAny, {
+            level: "low" | "medium" | "high";
+            metadata: {
+                timestamp: number;
+                signature: string;
+            };
+            flags: string[];
+        }, {
+            level: "low" | "medium" | "high";
+            metadata: {
+                timestamp: number;
+                signature: string;
+            };
+            flags: string[];
+        }>, z.ZodUndefined>, import("../lib/types").PolicyLifecycleFunction<z.ZodObject<{
+            command: z.ZodString;
+        }, "strip", z.ZodTypeAny, {
+            command: string;
+        }, {
+            command: string;
+        }>, z.ZodUndefined, z.ZodUndefined, z.ZodUndefined>, import("../lib/types").CommitLifecycleFunction<z.ZodUndefined, z.ZodUndefined, z.ZodUndefined>>;
+        ipfsCid: "-0932i0fjs0jfd";
+        abilityParameterMappings: Partial<{
+            action: "command";
+            target: "command";
+            options?: "command" | undefined;
+        }>;
+        vincentAbilityApiVersion: string;
+        __schemaTypes: {
+            policyAbilityParamsSchema: z.ZodObject<{
+                command: z.ZodString;
+            }, "strip", z.ZodTypeAny, {
+                command: string;
+            }, {
+                command: string;
+            }>;
+            userParamsSchema: z.ZodUndefined;
+            evalAllowResultSchema: z.ZodObject<{
+                level: z.ZodEnum<["low", "medium", "high"]>;
+                metadata: z.ZodObject<{
+                    timestamp: z.ZodNumber;
+                    signature: z.ZodString;
+                }, "strip", z.ZodTypeAny, {
+                    timestamp: number;
+                    signature: string;
+                }, {
+                    timestamp: number;
+                    signature: string;
+                }>;
+                flags: z.ZodArray<z.ZodString, "many">;
+            }, "strip", z.ZodTypeAny, {
+                level: "low" | "medium" | "high";
+                metadata: {
+                    timestamp: number;
+                    signature: string;
+                };
+                flags: string[];
+            }, {
+                level: "low" | "medium" | "high";
+                metadata: {
+                    timestamp: number;
+                    signature: string;
+                };
+                flags: string[];
+            }>;
+            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<{
+                command: z.ZodString;
+            }, "strip", z.ZodTypeAny, {
+                command: string;
+            }, {
+                command: string;
+            }>, z.ZodUndefined, z.ZodObject<{
+                level: z.ZodEnum<["low", "medium", "high"]>;
+                metadata: z.ZodObject<{
+                    timestamp: z.ZodNumber;
+                    signature: z.ZodString;
+                }, "strip", z.ZodTypeAny, {
+                    timestamp: number;
+                    signature: string;
+                }, {
+                    timestamp: number;
+                    signature: string;
+                }>;
+                flags: z.ZodArray<z.ZodString, "many">;
+            }, "strip", z.ZodTypeAny, {
+                level: "low" | "medium" | "high";
+                metadata: {
+                    timestamp: number;
+                    signature: string;
+                };
+                flags: string[];
+            }, {
+                level: "low" | "medium" | "high";
+                metadata: {
+                    timestamp: number;
+                    signature: string;
+                };
+                flags: string[];
+            }>, z.ZodUndefined>;
+            precheck: import("../lib/types").PolicyLifecycleFunction<z.ZodObject<{
+                command: z.ZodString;
+            }, "strip", z.ZodTypeAny, {
+                command: string;
+            }, {
+                command: string;
+            }>, z.ZodUndefined, z.ZodUndefined, z.ZodUndefined> | undefined;
+            commit: import("../lib/types").CommitLifecycleFunction<z.ZodUndefined, z.ZodUndefined, z.ZodUndefined> | undefined;
+        };
+    };
+}, z.ZodUndefined, z.ZodUndefined, z.ZodUndefined, z.ZodUndefined>;
+/**
+ * Test Case 3: Complex destructuring and inference
+ */
+declare function testComplexDestructuring(): import("..").VincentAbility<z.ZodObject<{
+    action: z.ZodString;
+    target: z.ZodString;
+    options: z.ZodOptional<z.ZodObject<{
+        priority: z.ZodOptional<z.ZodNumber>;
+        dryRun: z.ZodOptional<z.ZodBoolean>;
+    }, "strip", z.ZodTypeAny, {
+        priority?: number | undefined;
+        dryRun?: boolean | undefined;
+    }, {
+        priority?: number | undefined;
+        dryRun?: boolean | undefined;
+    }>>;
+}, "strip", z.ZodTypeAny, {
+    action: string;
+    target: string;
+    options?: {
+        priority?: number | undefined;
+        dryRun?: boolean | undefined;
+    } | undefined;
+}, {
+    action: string;
+    target: string;
+    options?: {
+        priority?: number | undefined;
+        dryRun?: boolean | undefined;
+    } | undefined;
+}>, string, import("../lib/abilityCore/helpers").AbilityPolicyMap<readonly [{
+    vincentPolicy: import("../internal").VincentPolicy<"@lit-protocol/test-policy@1.0.0", z.ZodObject<{
+        action: z.ZodString;
+    }, "strip", z.ZodTypeAny, {
+        action: string;
+    }, {
+        action: string;
+    }>, z.ZodUndefined, z.ZodUndefined, z.ZodUndefined, z.ZodObject<{
+        data: z.ZodAny;
+    }, "strip", z.ZodTypeAny, {
+        data?: any;
+    }, {
+        data?: any;
+    }>, z.ZodUndefined, z.ZodUndefined, z.ZodUndefined, z.ZodUndefined, import("../lib/types").PolicyLifecycleFunction<z.ZodObject<{
+        action: z.ZodString;
+    }, "strip", z.ZodTypeAny, {
+        action: string;
+    }, {
+        action: string;
+    }>, z.ZodUndefined, z.ZodObject<{
+        data: z.ZodAny;
+    }, "strip", z.ZodTypeAny, {
+        data?: any;
+    }, {
+        data?: any;
+    }>, z.ZodUndefined>, import("../lib/types").PolicyLifecycleFunction<z.ZodObject<{
+        action: z.ZodString;
+    }, "strip", z.ZodTypeAny, {
+        action: string;
+    }, {
+        action: string;
+    }>, z.ZodUndefined, z.ZodUndefined, z.ZodUndefined>, import("../lib/types").CommitLifecycleFunction<z.ZodUndefined, z.ZodUndefined, z.ZodUndefined>>;
+    ipfsCid: "1-093iofijn209j";
+    abilityParameterMappings: Partial<{
+        action: "action";
+        target: "action";
+        options?: "action" | undefined;
+    }>;
+    vincentAbilityApiVersion: string;
+    __schemaTypes: {
+        policyAbilityParamsSchema: z.ZodObject<{
+            action: z.ZodString;
+        }, "strip", z.ZodTypeAny, {
+            action: string;
+        }, {
+            action: string;
+        }>;
+        userParamsSchema: z.ZodUndefined;
+        evalAllowResultSchema: z.ZodObject<{
+            data: z.ZodAny;
+        }, "strip", z.ZodTypeAny, {
+            data?: any;
+        }, {
+            data?: any;
+        }>;
+        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<{
+            action: z.ZodString;
+        }, "strip", z.ZodTypeAny, {
+            action: string;
+        }, {
+            action: string;
+        }>, z.ZodUndefined, z.ZodObject<{
+            data: z.ZodAny;
+        }, "strip", z.ZodTypeAny, {
+            data?: any;
+        }, {
+            data?: any;
+        }>, z.ZodUndefined>;
+        precheck: import("../lib/types").PolicyLifecycleFunction<z.ZodObject<{
+            action: z.ZodString;
+        }, "strip", z.ZodTypeAny, {
+            action: string;
+        }, {
+            action: string;
+        }>, z.ZodUndefined, z.ZodUndefined, z.ZodUndefined> | undefined;
+        commit: import("../lib/types").CommitLifecycleFunction<z.ZodUndefined, z.ZodUndefined, z.ZodUndefined> | undefined;
+    };
+}], "@lit-protocol/test-policy@1.0.0">, {
+    "@lit-protocol/test-policy@1.0.0": {
+        vincentPolicy: import("../internal").VincentPolicy<"@lit-protocol/test-policy@1.0.0", z.ZodObject<{
+            action: z.ZodString;
+        }, "strip", z.ZodTypeAny, {
+            action: string;
+        }, {
+            action: string;
+        }>, z.ZodUndefined, z.ZodUndefined, z.ZodUndefined, z.ZodObject<{
+            data: z.ZodAny;
+        }, "strip", z.ZodTypeAny, {
+            data?: any;
+        }, {
+            data?: any;
+        }>, z.ZodUndefined, z.ZodUndefined, z.ZodUndefined, z.ZodUndefined, import("../lib/types").PolicyLifecycleFunction<z.ZodObject<{
+            action: z.ZodString;
+        }, "strip", z.ZodTypeAny, {
+            action: string;
+        }, {
+            action: string;
+        }>, z.ZodUndefined, z.ZodObject<{
+            data: z.ZodAny;
+        }, "strip", z.ZodTypeAny, {
+            data?: any;
+        }, {
+            data?: any;
+        }>, z.ZodUndefined>, import("../lib/types").PolicyLifecycleFunction<z.ZodObject<{
+            action: z.ZodString;
+        }, "strip", z.ZodTypeAny, {
+            action: string;
+        }, {
+            action: string;
+        }>, z.ZodUndefined, z.ZodUndefined, z.ZodUndefined>, import("../lib/types").CommitLifecycleFunction<z.ZodUndefined, z.ZodUndefined, z.ZodUndefined>>;
+        ipfsCid: "1-093iofijn209j";
+        abilityParameterMappings: Partial<{
+            action: "action";
+            target: "action";
+            options?: "action" | undefined;
+        }>;
+        vincentAbilityApiVersion: string;
+        __schemaTypes: {
+            policyAbilityParamsSchema: z.ZodObject<{
+                action: z.ZodString;
+            }, "strip", z.ZodTypeAny, {
+                action: string;
+            }, {
+                action: string;
+            }>;
+            userParamsSchema: z.ZodUndefined;
+            evalAllowResultSchema: z.ZodObject<{
+                data: z.ZodAny;
+            }, "strip", z.ZodTypeAny, {
+                data?: any;
+            }, {
+                data?: any;
+            }>;
+            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<{
+                action: z.ZodString;
+            }, "strip", z.ZodTypeAny, {
+                action: string;
+            }, {
+                action: string;
+            }>, z.ZodUndefined, z.ZodObject<{
+                data: z.ZodAny;
+            }, "strip", z.ZodTypeAny, {
+                data?: any;
+            }, {
+                data?: any;
+            }>, z.ZodUndefined>;
+            precheck: import("../lib/types").PolicyLifecycleFunction<z.ZodObject<{
+                action: z.ZodString;
+            }, "strip", z.ZodTypeAny, {
+                action: string;
+            }, {
+                action: string;
+            }>, z.ZodUndefined, z.ZodUndefined, z.ZodUndefined> | undefined;
+            commit: import("../lib/types").CommitLifecycleFunction<z.ZodUndefined, z.ZodUndefined, z.ZodUndefined> | undefined;
+        };
+    };
+}, z.ZodObject<{
+    result: z.ZodUnion<[z.ZodString, z.ZodNumber, z.ZodBoolean, z.ZodArray<z.ZodString, "many">]>;
+    metadata: z.ZodRecord<z.ZodString, z.ZodString>;
+}, "strip", z.ZodTypeAny, {
+    result: string | number | boolean | string[];
+    metadata: Record<string, string>;
+}, {
+    result: string | number | boolean | string[];
+    metadata: Record<string, string>;
+}>, z.ZodObject<{
+    error: z.ZodObject<{
+        code: z.ZodNumber;
+        message: z.ZodString;
+    }, "strip", z.ZodTypeAny, {
+        code: number;
+        message: string;
+    }, {
+        code: number;
+        message: string;
+    }>;
+}, "strip", z.ZodTypeAny, {
+    error: {
+        code: number;
+        message: string;
+    };
+}, {
+    error: {
+        code: number;
+        message: string;
+    };
+}>, z.ZodUndefined, z.ZodUndefined>;
+/**
+ * Test Case 4: Advanced parameter validation
+ */
+declare function testAdvancedParameterValidation(): import("..").VincentAbility<z.ZodObject<{
+    action: z.ZodEnum<["create", "read", "update", "delete"]>;
+    target: z.ZodString;
+    data: z.ZodOptional<z.ZodUnion<[z.ZodObject<{
+        type: z.ZodLiteral<"string">;
+        value: z.ZodString;
+    }, "strip", z.ZodTypeAny, {
+        value: string;
+        type: "string";
+    }, {
+        value: string;
+        type: "string";
+    }>, z.ZodObject<{
+        type: z.ZodLiteral<"number">;
+        value: z.ZodNumber;
+    }, "strip", z.ZodTypeAny, {
+        value: number;
+        type: "number";
+    }, {
+        value: number;
+        type: "number";
+    }>, z.ZodObject<{
+        type: z.ZodLiteral<"boolean">;
+        value: z.ZodBoolean;
+    }, "strip", z.ZodTypeAny, {
+        value: boolean;
+        type: "boolean";
+    }, {
+        value: boolean;
+        type: "boolean";
+    }>]>>;
+    metadata: z.ZodOptional<z.ZodRecord<z.ZodString, z.ZodString>>;
+}, "strip", z.ZodTypeAny, {
+    action: "create" | "read" | "update" | "delete";
+    target: string;
+    data?: {
+        value: string;
+        type: "string";
+    } | {
+        value: number;
+        type: "number";
+    } | {
+        value: boolean;
+        type: "boolean";
+    } | undefined;
+    metadata?: Record<string, string> | undefined;
+}, {
+    action: "create" | "read" | "update" | "delete";
+    target: string;
+    data?: {
+        value: string;
+        type: "string";
+    } | {
+        value: number;
+        type: "number";
+    } | {
+        value: boolean;
+        type: "boolean";
+    } | undefined;
+    metadata?: Record<string, string> | undefined;
+}>, string, import("../lib/abilityCore/helpers").AbilityPolicyMap<readonly [{
+    vincentPolicy: import("../internal").VincentPolicy<"@lit-protocol/test-policy@1.0.0", z.ZodObject<{
+        op: z.ZodString;
+    }, "strip", z.ZodTypeAny, {
+        op: string;
+    }, {
+        op: string;
+    }>, z.ZodUndefined, z.ZodUndefined, z.ZodUndefined, z.ZodBoolean, z.ZodUndefined, z.ZodUndefined, z.ZodUndefined, z.ZodUndefined, import("../lib/types").PolicyLifecycleFunction<z.ZodObject<{
+        op: z.ZodString;
+    }, "strip", z.ZodTypeAny, {
+        op: string;
+    }, {
+        op: string;
+    }>, z.ZodUndefined, z.ZodBoolean, z.ZodUndefined>, import("../lib/types").PolicyLifecycleFunction<z.ZodObject<{
+        op: z.ZodString;
+    }, "strip", z.ZodTypeAny, {
+        op: string;
+    }, {
+        op: string;
+    }>, z.ZodUndefined, z.ZodUndefined, z.ZodUndefined>, import("../lib/types").CommitLifecycleFunction<z.ZodUndefined, z.ZodUndefined, z.ZodUndefined>>;
+    ipfsCid: "1-093iofijn209j";
+    abilityParameterMappings: Partial<{
+        action: "op";
+        target: "op";
+        data?: "op" | undefined;
+        metadata?: "op" | undefined;
+    }>;
+    vincentAbilityApiVersion: string;
+    __schemaTypes: {
+        policyAbilityParamsSchema: z.ZodObject<{
+            op: z.ZodString;
+        }, "strip", z.ZodTypeAny, {
+            op: string;
+        }, {
+            op: string;
+        }>;
+        userParamsSchema: z.ZodUndefined;
+        evalAllowResultSchema: z.ZodBoolean;
+        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<{
+            op: z.ZodString;
+        }, "strip", z.ZodTypeAny, {
+            op: string;
+        }, {
+            op: string;
+        }>, z.ZodUndefined, z.ZodBoolean, z.ZodUndefined>;
+        precheck: import("../lib/types").PolicyLifecycleFunction<z.ZodObject<{
+            op: z.ZodString;
+        }, "strip", z.ZodTypeAny, {
+            op: string;
+        }, {
+            op: string;
+        }>, z.ZodUndefined, z.ZodUndefined, z.ZodUndefined> | undefined;
+        commit: import("../lib/types").CommitLifecycleFunction<z.ZodUndefined, z.ZodUndefined, z.ZodUndefined> | undefined;
+    };
+}], "@lit-protocol/test-policy@1.0.0">, {
+    "@lit-protocol/test-policy@1.0.0": {
+        vincentPolicy: import("../internal").VincentPolicy<"@lit-protocol/test-policy@1.0.0", z.ZodObject<{
+            op: z.ZodString;
+        }, "strip", z.ZodTypeAny, {
+            op: string;
+        }, {
+            op: string;
+        }>, z.ZodUndefined, z.ZodUndefined, z.ZodUndefined, z.ZodBoolean, z.ZodUndefined, z.ZodUndefined, z.ZodUndefined, z.ZodUndefined, import("../lib/types").PolicyLifecycleFunction<z.ZodObject<{
+            op: z.ZodString;
+        }, "strip", z.ZodTypeAny, {
+            op: string;
+        }, {
+            op: string;
+        }>, z.ZodUndefined, z.ZodBoolean, z.ZodUndefined>, import("../lib/types").PolicyLifecycleFunction<z.ZodObject<{
+            op: z.ZodString;
+        }, "strip", z.ZodTypeAny, {
+            op: string;
+        }, {
+            op: string;
+        }>, z.ZodUndefined, z.ZodUndefined, z.ZodUndefined>, import("../lib/types").CommitLifecycleFunction<z.ZodUndefined, z.ZodUndefined, z.ZodUndefined>>;
+        ipfsCid: "1-093iofijn209j";
+        abilityParameterMappings: Partial<{
+            action: "op";
+            target: "op";
+            data?: "op" | undefined;
+            metadata?: "op" | undefined;
+        }>;
+        vincentAbilityApiVersion: string;
+        __schemaTypes: {
+            policyAbilityParamsSchema: z.ZodObject<{
+                op: z.ZodString;
+            }, "strip", z.ZodTypeAny, {
+                op: string;
+            }, {
+                op: string;
+            }>;
+            userParamsSchema: z.ZodUndefined;
+            evalAllowResultSchema: z.ZodBoolean;
+            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<{
+                op: z.ZodString;
+            }, "strip", z.ZodTypeAny, {
+                op: string;
+            }, {
+                op: string;
+            }>, z.ZodUndefined, z.ZodBoolean, z.ZodUndefined>;
+            precheck: import("../lib/types").PolicyLifecycleFunction<z.ZodObject<{
+                op: z.ZodString;
+            }, "strip", z.ZodTypeAny, {
+                op: string;
+            }, {
+                op: string;
+            }>, z.ZodUndefined, z.ZodUndefined, z.ZodUndefined> | undefined;
+            commit: import("../lib/types").CommitLifecycleFunction<z.ZodUndefined, z.ZodUndefined, z.ZodUndefined> | undefined;
+        };
+    };
+}, z.ZodUndefined, z.ZodUndefined, z.ZodUndefined, z.ZodUndefined>;
+/**
+ * Test Case 5: Validating missing types cause errors
+ */
+declare function testMissingTypes(): {
+    abilityWithOnlySuccessSchema: import("..").VincentAbility<z.ZodObject<{
+        action: z.ZodString;
+        target: z.ZodString;
+        options: z.ZodOptional<z.ZodObject<{
+            priority: z.ZodOptional<z.ZodNumber>;
+            dryRun: z.ZodOptional<z.ZodBoolean>;
+        }, "strip", z.ZodTypeAny, {
+            priority?: number | undefined;
+            dryRun?: boolean | undefined;
+        }, {
+            priority?: number | undefined;
+            dryRun?: boolean | undefined;
+        }>>;
+    }, "strip", z.ZodTypeAny, {
+        action: string;
+        target: string;
+        options?: {
+            priority?: number | undefined;
+            dryRun?: boolean | undefined;
+        } | undefined;
+    }, {
+        action: string;
+        target: string;
+        options?: {
+            priority?: number | undefined;
+            dryRun?: boolean | undefined;
+        } | undefined;
+    }>, string, import("../lib/abilityCore/helpers").AbilityPolicyMap<readonly [{
+        vincentPolicy: import("../internal").VincentPolicy<"@lit-protocol/test-policy@1.0.0", z.ZodObject<{
+            op: z.ZodString;
+        }, "strip", z.ZodTypeAny, {
+            op: string;
+        }, {
+            op: string;
+        }>, z.ZodUndefined, z.ZodUndefined, z.ZodUndefined, z.ZodObject<{
+            data: z.ZodString;
+        }, "strip", z.ZodTypeAny, {
+            data: string;
+        }, {
+            data: string;
+        }>, z.ZodUndefined, z.ZodUndefined, z.ZodUndefined, z.ZodUndefined, import("../lib/types").PolicyLifecycleFunction<z.ZodObject<{
+            op: z.ZodString;
+        }, "strip", z.ZodTypeAny, {
+            op: string;
+        }, {
+            op: string;
+        }>, z.ZodUndefined, z.ZodObject<{
+            data: z.ZodString;
+        }, "strip", z.ZodTypeAny, {
+            data: string;
+        }, {
+            data: string;
+        }>, z.ZodUndefined>, import("../lib/types").PolicyLifecycleFunction<z.ZodObject<{
+            op: z.ZodString;
+        }, "strip", z.ZodTypeAny, {
+            op: string;
+        }, {
+            op: string;
+        }>, z.ZodUndefined, z.ZodUndefined, z.ZodUndefined>, import("../lib/types").CommitLifecycleFunction<z.ZodUndefined, z.ZodUndefined, z.ZodUndefined>>;
+        ipfsCid: "20198jfgnfj";
+        abilityParameterMappings: Partial<{
+            action: "op";
+            target: "op";
+            options?: "op" | undefined;
+        }>;
+        vincentAbilityApiVersion: string;
+        __schemaTypes: {
+            policyAbilityParamsSchema: z.ZodObject<{
+                op: z.ZodString;
+            }, "strip", z.ZodTypeAny, {
+                op: string;
+            }, {
+                op: string;
+            }>;
+            userParamsSchema: z.ZodUndefined;
+            evalAllowResultSchema: z.ZodObject<{
+                data: z.ZodString;
+            }, "strip", z.ZodTypeAny, {
+                data: string;
+            }, {
+                data: string;
+            }>;
+            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<{
+                op: z.ZodString;
+            }, "strip", z.ZodTypeAny, {
+                op: string;
+            }, {
+                op: string;
+            }>, z.ZodUndefined, z.ZodObject<{
+                data: z.ZodString;
+            }, "strip", z.ZodTypeAny, {
+                data: string;
+            }, {
+                data: string;
+            }>, z.ZodUndefined>;
+            precheck: import("../lib/types").PolicyLifecycleFunction<z.ZodObject<{
+                op: z.ZodString;
+            }, "strip", z.ZodTypeAny, {
+                op: string;
+            }, {
+                op: string;
+            }>, z.ZodUndefined, z.ZodUndefined, z.ZodUndefined> | undefined;
+            commit: import("../lib/types").CommitLifecycleFunction<z.ZodUndefined, z.ZodUndefined, z.ZodUndefined> | undefined;
+        };
+    }], "@lit-protocol/test-policy@1.0.0">, {
+        "@lit-protocol/test-policy@1.0.0": {
+            vincentPolicy: import("../internal").VincentPolicy<"@lit-protocol/test-policy@1.0.0", z.ZodObject<{
+                op: z.ZodString;
+            }, "strip", z.ZodTypeAny, {
+                op: string;
+            }, {
+                op: string;
+            }>, z.ZodUndefined, z.ZodUndefined, z.ZodUndefined, z.ZodObject<{
+                data: z.ZodString;
+            }, "strip", z.ZodTypeAny, {
+                data: string;
+            }, {
+                data: string;
+            }>, z.ZodUndefined, z.ZodUndefined, z.ZodUndefined, z.ZodUndefined, import("../lib/types").PolicyLifecycleFunction<z.ZodObject<{
+                op: z.ZodString;
+            }, "strip", z.ZodTypeAny, {
+                op: string;
+            }, {
+                op: string;
+            }>, z.ZodUndefined, z.ZodObject<{
+                data: z.ZodString;
+            }, "strip", z.ZodTypeAny, {
+                data: string;
+            }, {
+                data: string;
+            }>, z.ZodUndefined>, import("../lib/types").PolicyLifecycleFunction<z.ZodObject<{
+                op: z.ZodString;
+            }, "strip", z.ZodTypeAny, {
+                op: string;
+            }, {
+                op: string;
+            }>, z.ZodUndefined, z.ZodUndefined, z.ZodUndefined>, import("../lib/types").CommitLifecycleFunction<z.ZodUndefined, z.ZodUndefined, z.ZodUndefined>>;
+            ipfsCid: "20198jfgnfj";
+            abilityParameterMappings: Partial<{
+                action: "op";
+                target: "op";
+                options?: "op" | undefined;
+            }>;
+            vincentAbilityApiVersion: string;
+            __schemaTypes: {
+                policyAbilityParamsSchema: z.ZodObject<{
+                    op: z.ZodString;
+                }, "strip", z.ZodTypeAny, {
+                    op: string;
+                }, {
+                    op: string;
+                }>;
+                userParamsSchema: z.ZodUndefined;
+                evalAllowResultSchema: z.ZodObject<{
+                    data: z.ZodString;
+                }, "strip", z.ZodTypeAny, {
+                    data: string;
+                }, {
+                    data: string;
+                }>;
+                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<{
+                    op: z.ZodString;
+                }, "strip", z.ZodTypeAny, {
+                    op: string;
+                }, {
+                    op: string;
+                }>, z.ZodUndefined, z.ZodObject<{
+                    data: z.ZodString;
+                }, "strip", z.ZodTypeAny, {
+                    data: string;
+                }, {
+                    data: string;
+                }>, z.ZodUndefined>;
+                precheck: import("../lib/types").PolicyLifecycleFunction<z.ZodObject<{
+                    op: z.ZodString;
+                }, "strip", z.ZodTypeAny, {
+                    op: string;
+                }, {
+                    op: string;
+                }>, z.ZodUndefined, z.ZodUndefined, z.ZodUndefined> | undefined;
+                commit: import("../lib/types").CommitLifecycleFunction<z.ZodUndefined, z.ZodUndefined, z.ZodUndefined> | undefined;
+            };
+        };
+    }, z.ZodObject<{
+        result: z.ZodString;
+    }, "strip", z.ZodTypeAny, {
+        result: string;
+    }, {
+        result: string;
+    }>, z.ZodUndefined, z.ZodUndefined, z.ZodUndefined>;
+    abilityWithOnlyFailSchema: import("..").VincentAbility<z.ZodObject<{
+        action: z.ZodString;
+        target: z.ZodString;
+        options: z.ZodOptional<z.ZodObject<{
+            priority: z.ZodOptional<z.ZodNumber>;
+            dryRun: z.ZodOptional<z.ZodBoolean>;
+        }, "strip", z.ZodTypeAny, {
+            priority?: number | undefined;
+            dryRun?: boolean | undefined;
+        }, {
+            priority?: number | undefined;
+            dryRun?: boolean | undefined;
+        }>>;
+    }, "strip", z.ZodTypeAny, {
+        action: string;
+        target: string;
+        options?: {
+            priority?: number | undefined;
+            dryRun?: boolean | undefined;
+        } | undefined;
+    }, {
+        action: string;
+        target: string;
+        options?: {
+            priority?: number | undefined;
+            dryRun?: boolean | undefined;
+        } | undefined;
+    }>, string, import("../lib/abilityCore/helpers").AbilityPolicyMap<readonly [{
+        vincentPolicy: import("../internal").VincentPolicy<"@lit-protocol/test-policy@1.0.0", z.ZodObject<{
+            op: z.ZodString;
+        }, "strip", z.ZodTypeAny, {
+            op: string;
+        }, {
+            op: string;
+        }>, z.ZodUndefined, z.ZodUndefined, z.ZodUndefined, z.ZodObject<{
+            data: z.ZodString;
+        }, "strip", z.ZodTypeAny, {
+            data: string;
+        }, {
+            data: string;
+        }>, z.ZodUndefined, z.ZodUndefined, z.ZodUndefined, z.ZodUndefined, import("../lib/types").PolicyLifecycleFunction<z.ZodObject<{
+            op: z.ZodString;
+        }, "strip", z.ZodTypeAny, {
+            op: string;
+        }, {
+            op: string;
+        }>, z.ZodUndefined, z.ZodObject<{
+            data: z.ZodString;
+        }, "strip", z.ZodTypeAny, {
+            data: string;
+        }, {
+            data: string;
+        }>, z.ZodUndefined>, import("../lib/types").PolicyLifecycleFunction<z.ZodObject<{
+            op: z.ZodString;
+        }, "strip", z.ZodTypeAny, {
+            op: string;
+        }, {
+            op: string;
+        }>, z.ZodUndefined, z.ZodUndefined, z.ZodUndefined>, import("../lib/types").CommitLifecycleFunction<z.ZodUndefined, z.ZodUndefined, z.ZodUndefined>>;
+        ipfsCid: "20198jfgnfj";
+        abilityParameterMappings: Partial<{
+            action: "op";
+            target: "op";
+            options?: "op" | undefined;
+        }>;
+        vincentAbilityApiVersion: string;
+        __schemaTypes: {
+            policyAbilityParamsSchema: z.ZodObject<{
+                op: z.ZodString;
+            }, "strip", z.ZodTypeAny, {
+                op: string;
+            }, {
+                op: string;
+            }>;
+            userParamsSchema: z.ZodUndefined;
+            evalAllowResultSchema: z.ZodObject<{
+                data: z.ZodString;
+            }, "strip", z.ZodTypeAny, {
+                data: string;
+            }, {
+                data: string;
+            }>;
+            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<{
+                op: z.ZodString;
+            }, "strip", z.ZodTypeAny, {
+                op: string;
+            }, {
+                op: string;
+            }>, z.ZodUndefined, z.ZodObject<{
+                data: z.ZodString;
+            }, "strip", z.ZodTypeAny, {
+                data: string;
+            }, {
+                data: string;
+            }>, z.ZodUndefined>;
+            precheck: import("../lib/types").PolicyLifecycleFunction<z.ZodObject<{
+                op: z.ZodString;
+            }, "strip", z.ZodTypeAny, {
+                op: string;
+            }, {
+                op: string;
+            }>, z.ZodUndefined, z.ZodUndefined, z.ZodUndefined> | undefined;
+            commit: import("../lib/types").CommitLifecycleFunction<z.ZodUndefined, z.ZodUndefined, z.ZodUndefined> | undefined;
+        };
+    }], "@lit-protocol/test-policy@1.0.0">, {
+        "@lit-protocol/test-policy@1.0.0": {
+            vincentPolicy: import("../internal").VincentPolicy<"@lit-protocol/test-policy@1.0.0", z.ZodObject<{
+                op: z.ZodString;
+            }, "strip", z.ZodTypeAny, {
+                op: string;
+            }, {
+                op: string;
+            }>, z.ZodUndefined, z.ZodUndefined, z.ZodUndefined, z.ZodObject<{
+                data: z.ZodString;
+            }, "strip", z.ZodTypeAny, {
+                data: string;
+            }, {
+                data: string;
+            }>, z.ZodUndefined, z.ZodUndefined, z.ZodUndefined, z.ZodUndefined, import("../lib/types").PolicyLifecycleFunction<z.ZodObject<{
+                op: z.ZodString;
+            }, "strip", z.ZodTypeAny, {
+                op: string;
+            }, {
+                op: string;
+            }>, z.ZodUndefined, z.ZodObject<{
+                data: z.ZodString;
+            }, "strip", z.ZodTypeAny, {
+                data: string;
+            }, {
+                data: string;
+            }>, z.ZodUndefined>, import("../lib/types").PolicyLifecycleFunction<z.ZodObject<{
+                op: z.ZodString;
+            }, "strip", z.ZodTypeAny, {
+                op: string;
+            }, {
+                op: string;
+            }>, z.ZodUndefined, z.ZodUndefined, z.ZodUndefined>, import("../lib/types").CommitLifecycleFunction<z.ZodUndefined, z.ZodUndefined, z.ZodUndefined>>;
+            ipfsCid: "20198jfgnfj";
+            abilityParameterMappings: Partial<{
+                action: "op";
+                target: "op";
+                options?: "op" | undefined;
+            }>;
+            vincentAbilityApiVersion: string;
+            __schemaTypes: {
+                policyAbilityParamsSchema: z.ZodObject<{
+                    op: z.ZodString;
+                }, "strip", z.ZodTypeAny, {
+                    op: string;
+                }, {
+                    op: string;
+                }>;
+                userParamsSchema: z.ZodUndefined;
+                evalAllowResultSchema: z.ZodObject<{
+                    data: z.ZodString;
+                }, "strip", z.ZodTypeAny, {
+                    data: string;
+                }, {
+                    data: string;
+                }>;
+                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<{
+                    op: z.ZodString;
+                }, "strip", z.ZodTypeAny, {
+                    op: string;
+                }, {
+                    op: string;
+                }>, z.ZodUndefined, z.ZodObject<{
+                    data: z.ZodString;
+                }, "strip", z.ZodTypeAny, {
+                    data: string;
+                }, {
+                    data: string;
+                }>, z.ZodUndefined>;
+                precheck: import("../lib/types").PolicyLifecycleFunction<z.ZodObject<{
+                    op: z.ZodString;
+                }, "strip", z.ZodTypeAny, {
+                    op: string;
+                }, {
+                    op: string;
+                }>, z.ZodUndefined, z.ZodUndefined, z.ZodUndefined> | undefined;
+                commit: import("../lib/types").CommitLifecycleFunction<z.ZodUndefined, z.ZodUndefined, z.ZodUndefined> | undefined;
+            };
+        };
+    }, z.ZodUndefined, z.ZodObject<{
+        error: z.ZodString;
+    }, "strip", z.ZodTypeAny, {
+        error: string;
+    }, {
+        error: string;
+    }>, z.ZodUndefined, z.ZodUndefined>;
+};
+export { testBasicParameterInference, testPolicyResultInference, testComplexDestructuring, testAdvancedParameterValidation, testMissingTypes, };
+//# sourceMappingURL=parameter-inference-tests-tool.d.ts.map