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

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

@@ -0,0 +1,229 @@
+"use strict";
+// src/type-inference-verification/context-switching-tests.ts
+Object.defineProperty(exports, "__esModule", { value: true });
+exports.testPrecheckEvaluateContextSwitching = testPrecheckEvaluateContextSwitching;
+exports.testEvaluateCommitContextSwitching = testEvaluateCommitContextSwitching;
+exports.testFullPolicyContextSwitching = testFullPolicyContextSwitching;
+/**
+ * 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.
+ */
+const zod_1 = require("zod");
+const bundledPolicy_1 = require("../lib/policyCore/bundledPolicy/bundledPolicy");
+const vincentPolicy_1 = require("../lib/policyCore/vincentPolicy");
+// Base ability schema for all tests
+const baseAbilitySchema = zod_1.z.object({
+    action: zod_1.z.string(),
+    target: zod_1.z.string(),
+    amount: zod_1.z.number(),
+});
+/**
+ * Test Case 1: Verify different schemas between precheck and evaluate
+ */
+function testPrecheckEvaluateContextSwitching() {
+    // Different schemas for precheck and evaluate
+    const precheckAllowSchema = zod_1.z.object({ prelimStatus: zod_1.z.string() });
+    const precheckDenySchema = zod_1.z.object({ prelimReason: zod_1.z.string() });
+    const evalAllowSchema = zod_1.z.object({ finalStatus: zod_1.z.string() });
+    const evalDenySchema = zod_1.z.object({ finalReason: zod_1.z.string() });
+    const precheckEvalContextSwitchPolicy = (0, vincentPolicy_1.createVincentPolicy)({
+        packageName: '@lit-protocol/test-policy@1.2.3',
+        abilityParamsSchema: zod_1.z.object({ actionType: zod_1.z.string() }),
+        // Different schemas for each context
+        precheckAllowResultSchema: precheckAllowSchema,
+        precheckDenyResultSchema: precheckDenySchema,
+        evalAllowResultSchema: evalAllowSchema,
+        evalDenyResultSchema: evalDenySchema,
+        precheck: async (params, context) => {
+            // Test TypeScript errors first
+            // @ts-expect-error - Using eval schema in precheck context
+            context.allow({ finalStatus: 'wrong-context' });
+            // @ts-expect-error - Using eval schema in precheck context
+            context.deny({ finalReason: 'wrong-context' });
+            // Valid for precheck context
+            if (Math.random() > 0.5) {
+                return context.allow({ prelimStatus: 'valid' });
+            }
+            else {
+                return context.deny({ prelimReason: 'invalid-prelim' });
+            }
+        },
+        evaluate: async (params, context) => {
+            // Test TypeScript errors first
+            // @ts-expect-error - Using precheck schema in evaluate context
+            context.allow({ prelimStatus: 'wrong-context' });
+            // @ts-expect-error - Using precheck schema in evaluate context
+            context.deny({ prelimReason: 'wrong-context' });
+            // Valid for evaluate context
+            if (Math.random() > 0.5) {
+                return context.allow({ finalStatus: 'approved' });
+            }
+            else {
+                return context.deny({ finalReason: 'denied-final' });
+            }
+        },
+    });
+    return (0, vincentPolicy_1.createVincentAbilityPolicy)({
+        abilityParamsSchema: baseAbilitySchema,
+        bundledVincentPolicy: (0, bundledPolicy_1.asBundledVincentPolicy)(precheckEvalContextSwitchPolicy, '02u3kjwdsnfs2890hf'),
+        abilityParameterMappings: {
+            action: 'actionType',
+        },
+    });
+}
+/**
+ * Test Case 2: Verify different schemas between evaluate and commit
+ */
+function testEvaluateCommitContextSwitching() {
+    // Different schemas for evaluate and commit
+    const evalAllowSchema = zod_1.z.object({ approvalId: zod_1.z.string() });
+    const evalDenySchema = zod_1.z.object({ rejectionReason: zod_1.z.string() });
+    const commitParamsSchema = zod_1.z.object({ confirmationId: zod_1.z.string() });
+    const commitAllowSchema = zod_1.z.object({ transactionHash: zod_1.z.string() });
+    const commitDenySchema = zod_1.z.object({ failureCode: zod_1.z.number() });
+    const evalCommitContextSwitchPolicy = (0, vincentPolicy_1.createVincentPolicy)({
+        packageName: '@lit-protocol/test-policy@1.23.1',
+        abilityParamsSchema: zod_1.z.object({ actionType: zod_1.z.string() }),
+        // Different schemas for each context
+        evalAllowResultSchema: evalAllowSchema,
+        evalDenyResultSchema: evalDenySchema,
+        commitParamsSchema: commitParamsSchema,
+        commitAllowResultSchema: commitAllowSchema,
+        commitDenyResultSchema: commitDenySchema,
+        evaluate: async (params, context) => {
+            // Test TypeScript errors first
+            // @ts-expect-error - Using commit schema in evaluate context
+            context.allow({ transactionHash: 'wrong-context' });
+            // @ts-expect-error - Using commit schema in evaluate context
+            context.deny({ failureCode: 400 });
+            // Valid for evaluate context
+            if (Math.random() > 0.5) {
+                return context.allow({ approvalId: 'approved-123' });
+            }
+            else {
+                return context.deny({ rejectionReason: 'policy-violation' });
+            }
+        },
+        commit: async (params, context) => {
+            // Confirm params inference works
+            const confId = params.confirmationId;
+            // Test TypeScript errors first
+            // @ts-expect-error - Using evaluate schema in commit context
+            context.allow({ approvalId: 'wrong-context' });
+            // @ts-expect-error - Using evaluate schema in commit context
+            context.deny({ rejectionReason: 'wrong-context' });
+            // Valid for commit context
+            if (confId.startsWith('valid')) {
+                return context.allow({ transactionHash: `hash-${confId}` });
+            }
+            else {
+                return context.deny({ failureCode: 500 }, 'Transaction failed');
+            }
+        },
+    });
+    return (0, vincentPolicy_1.createVincentAbilityPolicy)({
+        abilityParamsSchema: baseAbilitySchema,
+        bundledVincentPolicy: (0, bundledPolicy_1.asBundledVincentPolicy)(evalCommitContextSwitchPolicy, '048oifjnwfoij3208h'),
+        abilityParameterMappings: {
+            action: 'actionType',
+        },
+    });
+}
+/**
+ * Test Case 3: Full policy with all three contexts having different schemas
+ */
+function testFullPolicyContextSwitching() {
+    // Different schemas for each context
+    const precheckAllowSchema = zod_1.z.object({ check: zod_1.z.boolean() });
+    const precheckDenySchema = zod_1.z.object({ checkFailed: zod_1.z.boolean() });
+    const evalAllowSchema = zod_1.z.object({ granted: zod_1.z.boolean() });
+    const evalDenySchema = zod_1.z.object({ denied: zod_1.z.boolean() });
+    const commitParamsSchema = zod_1.z.object({ txId: zod_1.z.string() });
+    const commitAllowSchema = zod_1.z.object({ completed: zod_1.z.boolean() });
+    const commitDenySchema = zod_1.z.object({ aborted: zod_1.z.boolean() });
+    const fullPolicyContext = (0, vincentPolicy_1.createVincentPolicy)({
+        packageName: '@lit-protocol/testpolicyawesome@12.1.10',
+        abilityParamsSchema: zod_1.z.object({
+            actionType: zod_1.z.string(),
+            amount: zod_1.z.number(),
+        }),
+        userParamsSchema: zod_1.z.object({
+            limit: zod_1.z.number(),
+        }),
+        // All different schemas
+        precheckAllowResultSchema: precheckAllowSchema,
+        precheckDenyResultSchema: precheckDenySchema,
+        evalAllowResultSchema: evalAllowSchema,
+        evalDenyResultSchema: evalDenySchema,
+        commitParamsSchema: commitParamsSchema,
+        commitAllowResultSchema: commitAllowSchema,
+        commitDenyResultSchema: commitDenySchema,
+        precheck: async ({ abilityParams, userParams }, context) => {
+            // Test TypeScript errors first
+            // @ts-expect-error - Using eval schema in precheck
+            context.allow({ granted: true });
+            // @ts-expect-error - Using commit schema in precheck
+            context.allow({ completed: true });
+            // @ts-expect-error - Using eval schema in precheck
+            context.deny({ denied: true });
+            // @ts-expect-error - Using commit schema in precheck
+            context.deny({ aborted: true });
+            // Valid for precheck
+            if (abilityParams.amount <= userParams.limit) {
+                return context.allow({ check: true });
+            }
+            else {
+                return context.deny({ checkFailed: true });
+            }
+        },
+        evaluate: async ({ abilityParams, userParams }, context) => {
+            // Test TypeScript errors first
+            // @ts-expect-error - Using precheck schema in eval
+            context.allow({ check: true });
+            // @ts-expect-error - Using commit schema in eval
+            context.allow({ completed: true });
+            // @ts-expect-error - Using precheck schema in eval
+            context.deny({ checkFailed: true });
+            // @ts-expect-error - Using commit schema in eval
+            context.deny({ aborted: true });
+            // Valid for eval
+            if (abilityParams.amount <= userParams.limit) {
+                return context.allow({ granted: true });
+            }
+            else {
+                return context.deny({ denied: true });
+            }
+        },
+        commit: async (params, context) => {
+            const id = params.txId;
+            // Test TypeScript errors first
+            // @ts-expect-error - Using precheck schema in commit
+            context.allow({ check: true });
+            // @ts-expect-error - Using eval schema in commit
+            context.allow({ granted: true });
+            // @ts-expect-error - Using precheck schema in commit
+            context.deny({ checkFailed: true });
+            // @ts-expect-error - Using eval schema in commit
+            context.deny({ denied: true });
+            // Valid for commit
+            if (id.startsWith('valid')) {
+                return context.allow({ completed: true });
+            }
+            else {
+                return context.deny({ aborted: true });
+            }
+        },
+    });
+    return (0, vincentPolicy_1.createVincentAbilityPolicy)({
+        abilityParamsSchema: baseAbilitySchema,
+        bundledVincentPolicy: (0, bundledPolicy_1.asBundledVincentPolicy)(fullPolicyContext, '908joiun2f928q1hjbfn'),
+        abilityParameterMappings: {
+            action: 'actionType',
+            amount: 'amount',
+        },
+    });
+}
+//# sourceMappingURL=context-switching-tests.js.map

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

@@ -0,0 +1 @@
+{"version":3,"file":"context-switching-tests.js","sourceRoot":"","sources":["../../../src/type-inference-verification/context-switching-tests.ts"],"names":[],"mappings":";AAAA,6DAA6D;;AAoR3D,oFAAoC;AACpC,gFAAkC;AAClC,wEAA8B;AApRhC;;;;;;GAMG;AACH,6BAAwB;AAExB,iFAAuF;AACvF,mEAAkG;AAElG,oCAAoC;AACpC,MAAM,iBAAiB,GAAG,OAAC,CAAC,MAAM,CAAC;IACjC,MAAM,EAAE,OAAC,CAAC,MAAM,EAAE;IAClB,MAAM,EAAE,OAAC,CAAC,MAAM,EAAE;IAClB,MAAM,EAAE,OAAC,CAAC,MAAM,EAAE;CACnB,CAAC,CAAC;AAEH;;GAEG;AACH,SAAS,oCAAoC;IAC3C,8CAA8C;IAC9C,MAAM,mBAAmB,GAAG,OAAC,CAAC,MAAM,CAAC,EAAE,YAAY,EAAE,OAAC,CAAC,MAAM,EAAE,EAAE,CAAC,CAAC;IACnE,MAAM,kBAAkB,GAAG,OAAC,CAAC,MAAM,CAAC,EAAE,YAAY,EAAE,OAAC,CAAC,MAAM,EAAE,EAAE,CAAC,CAAC;IAElE,MAAM,eAAe,GAAG,OAAC,CAAC,MAAM,CAAC,EAAE,WAAW,EAAE,OAAC,CAAC,MAAM,EAAE,EAAE,CAAC,CAAC;IAC9D,MAAM,cAAc,GAAG,OAAC,CAAC,MAAM,CAAC,EAAE,WAAW,EAAE,OAAC,CAAC,MAAM,EAAE,EAAE,CAAC,CAAC;IAE7D,MAAM,+BAA+B,GAAG,IAAA,mCAAmB,EAAC;QAC1D,WAAW,EAAE,iCAAiC;QAC9C,mBAAmB,EAAE,OAAC,CAAC,MAAM,CAAC,EAAE,UAAU,EAAE,OAAC,CAAC,MAAM,EAAE,EAAE,CAAC;QAEzD,qCAAqC;QACrC,yBAAyB,EAAE,mBAAmB;QAC9C,wBAAwB,EAAE,kBAAkB;QAC5C,qBAAqB,EAAE,eAAe;QACtC,oBAAoB,EAAE,cAAc;QAEpC,QAAQ,EAAE,KAAK,EAAE,MAAM,EAAE,OAAO,EAAE,EAAE;YAClC,+BAA+B;YAC/B,2DAA2D;YAC3D,OAAO,CAAC,KAAK,CAAC,EAAE,WAAW,EAAE,eAAe,EAAE,CAAC,CAAC;YAEhD,2DAA2D;YAC3D,OAAO,CAAC,IAAI,CAAC,EAAE,WAAW,EAAE,eAAe,EAAE,CAAC,CAAC;YAE/C,6BAA6B;YAC7B,IAAI,IAAI,CAAC,MAAM,EAAE,GAAG,GAAG,EAAE,CAAC;gBACxB,OAAO,OAAO,CAAC,KAAK,CAAC,EAAE,YAAY,EAAE,OAAO,EAAE,CAAC,CAAC;YAClD,CAAC;iBAAM,CAAC;gBACN,OAAO,OAAO,CAAC,IAAI,CAAC,EAAE,YAAY,EAAE,gBAAgB,EAAE,CAAC,CAAC;YAC1D,CAAC;QACH,CAAC;QAED,QAAQ,EAAE,KAAK,EAAE,MAAM,EAAE,OAAO,EAAE,EAAE;YAClC,+BAA+B;YAC/B,+DAA+D;YAC/D,OAAO,CAAC,KAAK,CAAC,EAAE,YAAY,EAAE,eAAe,EAAE,CAAC,CAAC;YAEjD,+DAA+D;YAC/D,OAAO,CAAC,IAAI,CAAC,EAAE,YAAY,EAAE,eAAe,EAAE,CAAC,CAAC;YAEhD,6BAA6B;YAC7B,IAAI,IAAI,CAAC,MAAM,EAAE,GAAG,GAAG,EAAE,CAAC;gBACxB,OAAO,OAAO,CAAC,KAAK,CAAC,EAAE,WAAW,EAAE,UAAU,EAAE,CAAC,CAAC;YACpD,CAAC;iBAAM,CAAC;gBACN,OAAO,OAAO,CAAC,IAAI,CAAC,EAAE,WAAW,EAAE,cAAc,EAAE,CAAC,CAAC;YACvD,CAAC;QACH,CAAC;KACF,CAAC,CAAC;IACH,OAAO,IAAA,0CAA0B,EAAC;QAChC,mBAAmB,EAAE,iBAAiB;QACtC,oBAAoB,EAAE,IAAA,sCAAsB,EAC1C,+BAA+B,EAC/B,oBAA6B,CAC9B;QACD,wBAAwB,EAAE;YACxB,MAAM,EAAE,YAAY;SACrB;KACF,CAAC,CAAC;AACL,CAAC;AAED;;GAEG;AACH,SAAS,kCAAkC;IACzC,4CAA4C;IAC5C,MAAM,eAAe,GAAG,OAAC,CAAC,MAAM,CAAC,EAAE,UAAU,EAAE,OAAC,CAAC,MAAM,EAAE,EAAE,CAAC,CAAC;IAC7D,MAAM,cAAc,GAAG,OAAC,CAAC,MAAM,CAAC,EAAE,eAAe,EAAE,OAAC,CAAC,MAAM,EAAE,EAAE,CAAC,CAAC;IAEjE,MAAM,kBAAkB,GAAG,OAAC,CAAC,MAAM,CAAC,EAAE,cAAc,EAAE,OAAC,CAAC,MAAM,EAAE,EAAE,CAAC,CAAC;IACpE,MAAM,iBAAiB,GAAG,OAAC,CAAC,MAAM,CAAC,EAAE,eAAe,EAAE,OAAC,CAAC,MAAM,EAAE,EAAE,CAAC,CAAC;IACpE,MAAM,gBAAgB,GAAG,OAAC,CAAC,MAAM,CAAC,EAAE,WAAW,EAAE,OAAC,CAAC,MAAM,EAAE,EAAE,CAAC,CAAC;IAE/D,MAAM,6BAA6B,GAAG,IAAA,mCAAmB,EAAC;QACxD,WAAW,EAAE,kCAAkC;QAC/C,mBAAmB,EAAE,OAAC,CAAC,MAAM,CAAC,EAAE,UAAU,EAAE,OAAC,CAAC,MAAM,EAAE,EAAE,CAAC;QAEzD,qCAAqC;QACrC,qBAAqB,EAAE,eAAe;QACtC,oBAAoB,EAAE,cAAc;QAEpC,kBAAkB,EAAE,kBAAkB;QACtC,uBAAuB,EAAE,iBAAiB;QAC1C,sBAAsB,EAAE,gBAAgB;QAExC,QAAQ,EAAE,KAAK,EAAE,MAAM,EAAE,OAAO,EAAE,EAAE;YAClC,+BAA+B;YAC/B,6DAA6D;YAC7D,OAAO,CAAC,KAAK,CAAC,EAAE,eAAe,EAAE,eAAe,EAAE,CAAC,CAAC;YAEpD,6DAA6D;YAC7D,OAAO,CAAC,IAAI,CAAC,EAAE,WAAW,EAAE,GAAG,EAAE,CAAC,CAAC;YAEnC,6BAA6B;YAC7B,IAAI,IAAI,CAAC,MAAM,EAAE,GAAG,GAAG,EAAE,CAAC;gBACxB,OAAO,OAAO,CAAC,KAAK,CAAC,EAAE,UAAU,EAAE,cAAc,EAAE,CAAC,CAAC;YACvD,CAAC;iBAAM,CAAC;gBACN,OAAO,OAAO,CAAC,IAAI,CAAC,EAAE,eAAe,EAAE,kBAAkB,EAAE,CAAC,CAAC;YAC/D,CAAC;QACH,CAAC;QAED,MAAM,EAAE,KAAK,EAAE,MAAM,EAAE,OAAO,EAAE,EAAE;YAChC,iCAAiC;YACjC,MAAM,MAAM,GAAG,MAAM,CAAC,cAAc,CAAC;YAErC,+BAA+B;YAC/B,6DAA6D;YAC7D,OAAO,CAAC,KAAK,CAAC,EAAE,UAAU,EAAE,eAAe,EAAE,CAAC,CAAC;YAE/C,6DAA6D;YAC7D,OAAO,CAAC,IAAI,CAAC,EAAE,eAAe,EAAE,eAAe,EAAE,CAAC,CAAC;YAEnD,2BAA2B;YAC3B,IAAI,MAAM,CAAC,UAAU,CAAC,OAAO,CAAC,EAAE,CAAC;gBAC/B,OAAO,OAAO,CAAC,KAAK,CAAC,EAAE,eAAe,EAAE,QAAQ,MAAM,EAAE,EAAE,CAAC,CAAC;YAC9D,CAAC;iBAAM,CAAC;gBACN,OAAO,OAAO,CAAC,IAAI,CAAC,EAAE,WAAW,EAAE,GAAG,EAAE,EAAE,oBAAoB,CAAC,CAAC;YAClE,CAAC;QACH,CAAC;KACF,CAAC,CAAC;IACH,OAAO,IAAA,0CAA0B,EAAC;QAChC,mBAAmB,EAAE,iBAAiB;QACtC,oBAAoB,EAAE,IAAA,sCAAsB,EAC1C,6BAA6B,EAC7B,oBAA6B,CAC9B;QACD,wBAAwB,EAAE;YACxB,MAAM,EAAE,YAAY;SACrB;KACF,CAAC,CAAC;AACL,CAAC;AAED;;GAEG;AACH,SAAS,8BAA8B;IACrC,qCAAqC;IACrC,MAAM,mBAAmB,GAAG,OAAC,CAAC,MAAM,CAAC,EAAE,KAAK,EAAE,OAAC,CAAC,OAAO,EAAE,EAAE,CAAC,CAAC;IAC7D,MAAM,kBAAkB,GAAG,OAAC,CAAC,MAAM,CAAC,EAAE,WAAW,EAAE,OAAC,CAAC,OAAO,EAAE,EAAE,CAAC,CAAC;IAElE,MAAM,eAAe,GAAG,OAAC,CAAC,MAAM,CAAC,EAAE,OAAO,EAAE,OAAC,CAAC,OAAO,EAAE,EAAE,CAAC,CAAC;IAC3D,MAAM,cAAc,GAAG,OAAC,CAAC,MAAM,CAAC,EAAE,MAAM,EAAE,OAAC,CAAC,OAAO,EAAE,EAAE,CAAC,CAAC;IAEzD,MAAM,kBAAkB,GAAG,OAAC,CAAC,MAAM,CAAC,EAAE,IAAI,EAAE,OAAC,CAAC,MAAM,EAAE,EAAE,CAAC,CAAC;IAC1D,MAAM,iBAAiB,GAAG,OAAC,CAAC,MAAM,CAAC,EAAE,SAAS,EAAE,OAAC,CAAC,OAAO,EAAE,EAAE,CAAC,CAAC;IAC/D,MAAM,gBAAgB,GAAG,OAAC,CAAC,MAAM,CAAC,EAAE,OAAO,EAAE,OAAC,CAAC,OAAO,EAAE,EAAE,CAAC,CAAC;IAE5D,MAAM,iBAAiB,GAAG,IAAA,mCAAmB,EAAC;QAC5C,WAAW,EAAE,yCAAyC;QACtD,mBAAmB,EAAE,OAAC,CAAC,MAAM,CAAC;YAC5B,UAAU,EAAE,OAAC,CAAC,MAAM,EAAE;YACtB,MAAM,EAAE,OAAC,CAAC,MAAM,EAAE;SACnB,CAAC;QACF,gBAAgB,EAAE,OAAC,CAAC,MAAM,CAAC;YACzB,KAAK,EAAE,OAAC,CAAC,MAAM,EAAE;SAClB,CAAC;QAEF,wBAAwB;QACxB,yBAAyB,EAAE,mBAAmB;QAC9C,wBAAwB,EAAE,kBAAkB;QAE5C,qBAAqB,EAAE,eAAe;QACtC,oBAAoB,EAAE,cAAc;QAEpC,kBAAkB,EAAE,kBAAkB;QACtC,uBAAuB,EAAE,iBAAiB;QAC1C,sBAAsB,EAAE,gBAAgB;QAExC,QAAQ,EAAE,KAAK,EAAE,EAAE,aAAa,EAAE,UAAU,EAAE,EAAE,OAAO,EAAE,EAAE;YACzD,+BAA+B;YAC/B,mDAAmD;YACnD,OAAO,CAAC,KAAK,CAAC,EAAE,OAAO,EAAE,IAAI,EAAE,CAAC,CAAC;YAEjC,qDAAqD;YACrD,OAAO,CAAC,KAAK,CAAC,EAAE,SAAS,EAAE,IAAI,EAAE,CAAC,CAAC;YAEnC,mDAAmD;YACnD,OAAO,CAAC,IAAI,CAAC,EAAE,MAAM,EAAE,IAAI,EAAE,CAAC,CAAC;YAE/B,qDAAqD;YACrD,OAAO,CAAC,IAAI,CAAC,EAAE,OAAO,EAAE,IAAI,EAAE,CAAC,CAAC;YAEhC,qBAAqB;YACrB,IAAI,aAAa,CAAC,MAAM,IAAI,UAAU,CAAC,KAAK,EAAE,CAAC;gBAC7C,OAAO,OAAO,CAAC,KAAK,CAAC,EAAE,KAAK,EAAE,IAAI,EAAE,CAAC,CAAC;YACxC,CAAC;iBAAM,CAAC;gBACN,OAAO,OAAO,CAAC,IAAI,CAAC,EAAE,WAAW,EAAE,IAAI,EAAE,CAAC,CAAC;YAC7C,CAAC;QACH,CAAC;QAED,QAAQ,EAAE,KAAK,EAAE,EAAE,aAAa,EAAE,UAAU,EAAE,EAAE,OAAO,EAAE,EAAE;YACzD,+BAA+B;YAC/B,mDAAmD;YACnD,OAAO,CAAC,KAAK,CAAC,EAAE,KAAK,EAAE,IAAI,EAAE,CAAC,CAAC;YAE/B,iDAAiD;YACjD,OAAO,CAAC,KAAK,CAAC,EAAE,SAAS,EAAE,IAAI,EAAE,CAAC,CAAC;YAEnC,mDAAmD;YACnD,OAAO,CAAC,IAAI,CAAC,EAAE,WAAW,EAAE,IAAI,EAAE,CAAC,CAAC;YAEpC,iDAAiD;YACjD,OAAO,CAAC,IAAI,CAAC,EAAE,OAAO,EAAE,IAAI,EAAE,CAAC,CAAC;YAEhC,iBAAiB;YACjB,IAAI,aAAa,CAAC,MAAM,IAAI,UAAU,CAAC,KAAK,EAAE,CAAC;gBAC7C,OAAO,OAAO,CAAC,KAAK,CAAC,EAAE,OAAO,EAAE,IAAI,EAAE,CAAC,CAAC;YAC1C,CAAC;iBAAM,CAAC;gBACN,OAAO,OAAO,CAAC,IAAI,CAAC,EAAE,MAAM,EAAE,IAAI,EAAE,CAAC,CAAC;YACxC,CAAC;QACH,CAAC;QAED,MAAM,EAAE,KAAK,EAAE,MAAM,EAAE,OAAO,EAAE,EAAE;YAChC,MAAM,EAAE,GAAG,MAAM,CAAC,IAAI,CAAC;YAEvB,+BAA+B;YAC/B,qDAAqD;YACrD,OAAO,CAAC,KAAK,CAAC,EAAE,KAAK,EAAE,IAAI,EAAE,CAAC,CAAC;YAE/B,iDAAiD;YACjD,OAAO,CAAC,KAAK,CAAC,EAAE,OAAO,EAAE,IAAI,EAAE,CAAC,CAAC;YAEjC,qDAAqD;YACrD,OAAO,CAAC,IAAI,CAAC,EAAE,WAAW,EAAE,IAAI,EAAE,CAAC,CAAC;YAEpC,iDAAiD;YACjD,OAAO,CAAC,IAAI,CAAC,EAAE,MAAM,EAAE,IAAI,EAAE,CAAC,CAAC;YAE/B,mBAAmB;YACnB,IAAI,EAAE,CAAC,UAAU,CAAC,OAAO,CAAC,EAAE,CAAC;gBAC3B,OAAO,OAAO,CAAC,KAAK,CAAC,EAAE,SAAS,EAAE,IAAI,EAAE,CAAC,CAAC;YAC5C,CAAC;iBAAM,CAAC;gBACN,OAAO,OAAO,CAAC,IAAI,CAAC,EAAE,OAAO,EAAE,IAAI,EAAE,CAAC,CAAC;YACzC,CAAC;QACH,CAAC;KACF,CAAC,CAAC;IACH,OAAO,IAAA,0CAA0B,EAAC;QAChC,mBAAmB,EAAE,iBAAiB;QACtC,oBAAoB,EAAE,IAAA,sCAAsB,EAC1C,iBAAiB,EACjB,sBAA+B,CAChC;QACD,wBAAwB,EAAE;YACxB,MAAM,EAAE,YAAY;YACpB,MAAM,EAAE,QAAQ;SACjB;KACF,CAAC,CAAC;AACL,CAAC"}

package/dist/src/type-inference-verification/create-policy-map-from-tool-policies.d.ts

@@ -0,0 +1,2 @@
+export {};
+//# sourceMappingURL=create-policy-map-from-tool-policies.d.ts.map

package/dist/src/type-inference-verification/create-policy-map-from-tool-policies.d.ts.map

@@ -0,0 +1 @@
+{"version":3,"file":"create-policy-map-from-tool-policies.d.ts","sourceRoot":"","sources":["../../../src/type-inference-verification/create-policy-map-from-tool-policies.ts"],"names":[],"mappings":"AAoEA,OAAO,EAAE,CAAC"}

package/dist/src/type-inference-verification/create-policy-map-from-tool-policies.js

@@ -0,0 +1,56 @@
+"use strict";
+// src/type-inference-verification/create-policy-map-from-ability-policies.ts
+Object.defineProperty(exports, "__esModule", { value: true });
+/* eslint-disable @typescript-eslint/no-unused-vars */
+const zod_1 = require("zod");
+const helpers_1 = require("../lib/abilityCore/helpers");
+const bundledPolicy_1 = require("../lib/policyCore/bundledPolicy/bundledPolicy");
+const vincentPolicy_1 = require("../lib/policyCore/vincentPolicy");
+const PolicyConfig1 = (0, vincentPolicy_1.createVincentPolicy)({
+    packageName: 'example-policy-1',
+    abilityParamsSchema: zod_1.z.object({ x: zod_1.z.string() }),
+    evalAllowResultSchema: zod_1.z.object({ pass: zod_1.z.boolean() }),
+    evalDenyResultSchema: zod_1.z.object({ error: zod_1.z.string() }),
+    evaluate: async ({ abilityParams }, ctx) => {
+        return ctx.allow({ pass: true });
+    },
+});
+const PolicyConfig2 = (0, vincentPolicy_1.createVincentPolicy)({
+    packageName: 'example-policy-2',
+    abilityParamsSchema: zod_1.z.object({ y: zod_1.z.number() }),
+    evalAllowResultSchema: zod_1.z.object({ pass: zod_1.z.literal(true) }),
+    evalDenyResultSchema: zod_1.z.object({ code: zod_1.z.number() }),
+    evaluate: async ({ abilityParams }, ctx) => {
+        return ctx.deny({ code: 403 });
+    },
+});
+const bundled1 = (0, bundledPolicy_1.asBundledVincentPolicy)(PolicyConfig1, 'QmCID1');
+const bundled2 = (0, bundledPolicy_1.asBundledVincentPolicy)(PolicyConfig2, 'QmCID2');
+const policy1 = (0, vincentPolicy_1.createVincentAbilityPolicy)({
+    abilityParamsSchema: zod_1.z.object({ x: zod_1.z.string() }),
+    bundledVincentPolicy: bundled1,
+    abilityParameterMappings: {
+        x: 'x',
+    },
+});
+const policy2 = (0, vincentPolicy_1.createVincentAbilityPolicy)({
+    abilityParamsSchema: zod_1.z.object({ y: zod_1.z.number() }),
+    bundledVincentPolicy: bundled2,
+    abilityParameterMappings: {
+        y: 'y',
+    },
+});
+const result = (0, helpers_1.supportedPoliciesForAbility)([policy1, policy2]);
+// ✅ Known package names — should succeed
+const p1 = result.policyByPackageName['example-policy-1'];
+const p2 = result.policyByPackageName['example-policy-2'];
+console.log(p1, p2);
+// ✅ Known CIDs — should succeed
+const c1 = result.policyByIpfsCid['QmCID1'];
+const c2 = result.policyByIpfsCid['QmCID2'];
+console.log(c1, c2);
+// @ts-expect-error should error: unknown package name
+const failPkg = result.policyByPackageName['not-a-real-policy'];
+// @ts-expect-error should error: unknown ipfsCid
+const failCid = result.policyByIpfsCid['QmInvalidCID'];
+//# sourceMappingURL=create-policy-map-from-tool-policies.js.map

package/dist/src/type-inference-verification/create-policy-map-from-tool-policies.js.map

@@ -0,0 +1 @@
+{"version":3,"file":"create-policy-map-from-tool-policies.js","sourceRoot":"","sources":["../../../src/type-inference-verification/create-policy-map-from-tool-policies.ts"],"names":[],"mappings":";AAAA,6EAA6E;;AAE7E,sDAAsD;AACtD,6BAAwB;AAExB,wDAAyE;AACzE,iFAAuF;AACvF,mEAAkG;AAElG,MAAM,aAAa,GAAG,IAAA,mCAAmB,EAAC;IACxC,WAAW,EAAE,kBAAkB;IAC/B,mBAAmB,EAAE,OAAC,CAAC,MAAM,CAAC,EAAE,CAAC,EAAE,OAAC,CAAC,MAAM,EAAE,EAAE,CAAC;IAChD,qBAAqB,EAAE,OAAC,CAAC,MAAM,CAAC,EAAE,IAAI,EAAE,OAAC,CAAC,OAAO,EAAE,EAAE,CAAC;IACtD,oBAAoB,EAAE,OAAC,CAAC,MAAM,CAAC,EAAE,KAAK,EAAE,OAAC,CAAC,MAAM,EAAE,EAAE,CAAC;IACrD,QAAQ,EAAE,KAAK,EAAE,EAAE,aAAa,EAAE,EAAE,GAAG,EAAE,EAAE;QACzC,OAAO,GAAG,CAAC,KAAK,CAAC,EAAE,IAAI,EAAE,IAAI,EAAE,CAAC,CAAC;IACnC,CAAC;CACF,CAAC,CAAC;AAEH,MAAM,aAAa,GAAG,IAAA,mCAAmB,EAAC;IACxC,WAAW,EAAE,kBAAkB;IAC/B,mBAAmB,EAAE,OAAC,CAAC,MAAM,CAAC,EAAE,CAAC,EAAE,OAAC,CAAC,MAAM,EAAE,EAAE,CAAC;IAChD,qBAAqB,EAAE,OAAC,CAAC,MAAM,CAAC,EAAE,IAAI,EAAE,OAAC,CAAC,OAAO,CAAC,IAAI,CAAC,EAAE,CAAC;IAC1D,oBAAoB,EAAE,OAAC,CAAC,MAAM,CAAC,EAAE,IAAI,EAAE,OAAC,CAAC,MAAM,EAAE,EAAE,CAAC;IACpD,QAAQ,EAAE,KAAK,EAAE,EAAE,aAAa,EAAE,EAAE,GAAG,EAAE,EAAE;QACzC,OAAO,GAAG,CAAC,IAAI,CAAC,EAAE,IAAI,EAAE,GAAG,EAAE,CAAC,CAAC;IACjC,CAAC;CACF,CAAC,CAAC;AAEH,MAAM,QAAQ,GAAG,IAAA,sCAAsB,EAAC,aAAa,EAAE,QAAiB,CAAC,CAAC;AAC1E,MAAM,QAAQ,GAAG,IAAA,sCAAsB,EAAC,aAAa,EAAE,QAAiB,CAAC,CAAC;AAE1E,MAAM,OAAO,GAAG,IAAA,0CAA0B,EAAC;IACzC,mBAAmB,EAAE,OAAC,CAAC,MAAM,CAAC,EAAE,CAAC,EAAE,OAAC,CAAC,MAAM,EAAE,EAAE,CAAC;IAChD,oBAAoB,EAAE,QAAQ;IAC9B,wBAAwB,EAAE;QACxB,CAAC,EAAE,GAAG;KACP;CACF,CAAC,CAAC;AAEH,MAAM,OAAO,GAAG,IAAA,0CAA0B,EAAC;IACzC,mBAAmB,EAAE,OAAC,CAAC,MAAM,CAAC,EAAE,CAAC,EAAE,OAAC,CAAC,MAAM,EAAE,EAAE,CAAC;IAChD,oBAAoB,EAAE,QAAQ;IAC9B,wBAAwB,EAAE;QACxB,CAAC,EAAE,GAAG;KACP;CACF,CAAC,CAAC;AAEH,MAAM,MAAM,GAAG,IAAA,qCAA2B,EAAC,CAAC,OAAO,EAAE,OAAO,CAAC,CAAC,CAAC;AAE/D,yCAAyC;AACzC,MAAM,EAAE,GAAG,MAAM,CAAC,mBAAmB,CAAC,kBAAkB,CAAC,CAAC;AAC1D,MAAM,EAAE,GAAG,MAAM,CAAC,mBAAmB,CAAC,kBAAkB,CAAC,CAAC;AAE1D,OAAO,CAAC,GAAG,CAAC,EAAE,EAAE,EAAE,CAAC,CAAC;AAEpB,gCAAgC;AAChC,MAAM,EAAE,GAAG,MAAM,CAAC,eAAe,CAAC,QAAQ,CAAC,CAAC;AAC5C,MAAM,EAAE,GAAG,MAAM,CAAC,eAAe,CAAC,QAAQ,CAAC,CAAC;AAE5C,OAAO,CAAC,GAAG,CAAC,EAAE,EAAE,EAAE,CAAC,CAAC;AAEpB,sDAAsD;AACtD,MAAM,OAAO,GAAG,MAAM,CAAC,mBAAmB,CAAC,mBAAmB,CAAC,CAAC;AAEhE,iDAAiD;AACjD,MAAM,OAAO,GAAG,MAAM,CAAC,eAAe,CAAC,cAAc,CAAC,CAAC"}

package/dist/src/type-inference-verification/create-vincent-ability-policy.d.ts

@@ -0,0 +1,2 @@
+export {};
+//# sourceMappingURL=create-vincent-ability-policy.d.ts.map

package/dist/src/type-inference-verification/create-vincent-ability-policy.d.ts.map

@@ -0,0 +1 @@
+{"version":3,"file":"create-vincent-ability-policy.d.ts","sourceRoot":"","sources":["../../../src/type-inference-verification/create-vincent-ability-policy.ts"],"names":[],"mappings":"AAwEA,OAAO,EAAE,CAAC"}

package/dist/src/type-inference-verification/create-vincent-ability-policy.js

@@ -0,0 +1,49 @@
+"use strict";
+// src/type-inference-verification/create-vincent-ability-policy.ts
+Object.defineProperty(exports, "__esModule", { value: true });
+const zod_1 = require("zod");
+const bundledPolicy_1 = require("../lib/policyCore/bundledPolicy/bundledPolicy");
+const vincentPolicy_1 = require("../lib/policyCore/vincentPolicy");
+const abilityParamsSchema = zod_1.z.object({
+    x: zod_1.z.string(),
+});
+const policyParamsSchema = zod_1.z.object({
+    message: zod_1.z.string(),
+});
+const evalAllow = zod_1.z.object({ allowed: zod_1.z.boolean() });
+const evalDeny = zod_1.z.object({ reason: zod_1.z.string() });
+const PolicyConfig = (0, vincentPolicy_1.createVincentPolicy)({
+    packageName: 'my-policy',
+    abilityParamsSchema: policyParamsSchema,
+    evalAllowResultSchema: evalAllow,
+    evalDenyResultSchema: evalDeny,
+    evaluate: async ({ abilityParams }, ctx) => {
+        return ctx.allow({ allowed: true });
+    },
+});
+const bundled = (0, bundledPolicy_1.asBundledVincentPolicy)(PolicyConfig, 'QmCID12345');
+const abilityPolicy = (0, vincentPolicy_1.createVincentAbilityPolicy)({
+    abilityParamsSchema,
+    bundledVincentPolicy: bundled,
+    abilityParameterMappings: {
+        x: 'message',
+    },
+});
+const cid = true;
+console.log(cid);
+// ✅ Infere nce: ipfsCid should be literal
+// type Cid = typeof abilityPolicy.ipfsCid;
+//    ^? "QmCID12345"
+// ✅ Inference: packageName should be literal
+// type Package = typeof abilityPolicy.vincentPolicy.packageName;
+//    ^? "my-policy"
+// ✅ Inference: schema accessors should be accurate
+// type AllowSchema = typeof abilityPolicy.__schemaTypes.evalAllowResultSchema;
+//    ^? z.ZodObject<{ allowed: z.ZodBoolean }>
+// ✅ Function types inferred
+// type EvaluateFn = typeof abilityPolicy.__schemaTypes.evaluate;
+//    ^? (input: ..., context: ...) => Promise<...>
+// ❌ Invalid schema field — should error
+// @ts-expect-error invalid schema key
+console.log(abilityPolicy.__schemaTypes.notARealSchema);
+//# sourceMappingURL=create-vincent-ability-policy.js.map

package/dist/src/type-inference-verification/create-vincent-ability-policy.js.map

@@ -0,0 +1 @@
+{"version":3,"file":"create-vincent-ability-policy.js","sourceRoot":"","sources":["../../../src/type-inference-verification/create-vincent-ability-policy.ts"],"names":[],"mappings":";AAAA,mEAAmE;;AAEnE,6BAAwB;AAExB,iFAAuF;AACvF,mEAAkG;AAElG,MAAM,mBAAmB,GAAG,OAAC,CAAC,MAAM,CAAC;IACnC,CAAC,EAAE,OAAC,CAAC,MAAM,EAAE;CACd,CAAC,CAAC;AAEH,MAAM,kBAAkB,GAAG,OAAC,CAAC,MAAM,CAAC;IAClC,OAAO,EAAE,OAAC,CAAC,MAAM,EAAE;CACpB,CAAC,CAAC;AAEH,MAAM,SAAS,GAAG,OAAC,CAAC,MAAM,CAAC,EAAE,OAAO,EAAE,OAAC,CAAC,OAAO,EAAE,EAAE,CAAC,CAAC;AACrD,MAAM,QAAQ,GAAG,OAAC,CAAC,MAAM,CAAC,EAAE,MAAM,EAAE,OAAC,CAAC,MAAM,EAAE,EAAE,CAAC,CAAC;AAElD,MAAM,YAAY,GAAG,IAAA,mCAAmB,EAAC;IACvC,WAAW,EAAE,WAAoB;IACjC,mBAAmB,EAAE,kBAAkB;IACvC,qBAAqB,EAAE,SAAS;IAChC,oBAAoB,EAAE,QAAQ;IAC9B,QAAQ,EAAE,KAAK,EAAE,EAAE,aAAa,EAAE,EAAE,GAAG,EAAE,EAAE;QACzC,OAAO,GAAG,CAAC,KAAK,CAAC,EAAE,OAAO,EAAE,IAAI,EAAE,CAAC,CAAC;IACtC,CAAC;CACF,CAAC,CAAC;AAEH,MAAM,OAAO,GAAG,IAAA,sCAAsB,EAAC,YAAY,EAAE,YAAqB,CAAC,CAAC;AAE5E,MAAM,aAAa,GAAG,IAAA,0CAA0B,EAAC;IAC/C,mBAAmB;IACnB,oBAAoB,EAAE,OAAO;IAC7B,wBAAwB,EAAE;QACxB,CAAC,EAAE,SAAS;KACb;CACF,CAAC,CAAC;AAaH,MAAM,GAAG,GAAiB,IAAI,CAAC;AAC/B,OAAO,CAAC,GAAG,CAAC,GAAG,CAAC,CAAC;AAEjB,0CAA0C;AAC1C,2CAA2C;AAC3C,qBAAqB;AAErB,6CAA6C;AAC7C,iEAAiE;AACjE,oBAAoB;AAEpB,mDAAmD;AACnD,+EAA+E;AAC/E,+CAA+C;AAE/C,4BAA4B;AAC5B,iEAAiE;AACjE,mDAAmD;AAEnD,wCAAwC;AACxC,sCAAsC;AACtC,OAAO,CAAC,GAAG,CAAC,aAAa,CAAC,aAAa,CAAC,cAAc,CAAC,CAAC"}

package/dist/src/type-inference-verification/create-vincent-ability.d.ts

@@ -0,0 +1,250 @@
+import { z } from 'zod';
+export declare const ability: import("..").VincentAbility<z.ZodObject<{
+    action: z.ZodString;
+    count: z.ZodNumber;
+}, "strip", z.ZodTypeAny, {
+    action: string;
+    count: number;
+}, {
+    action: string;
+    count: number;
+}>, string, import("../lib/abilityCore/helpers").AbilityPolicyMap<readonly [{
+    vincentPolicy: import("../internal").VincentPolicy<"limit-check", z.ZodObject<{
+        count: z.ZodNumber;
+    }, "strip", z.ZodTypeAny, {
+        count: number;
+    }, {
+        count: number;
+    }>, z.ZodUndefined, z.ZodUndefined, z.ZodUndefined, z.ZodObject<{
+        ok: z.ZodBoolean;
+    }, "strip", z.ZodTypeAny, {
+        ok: boolean;
+    }, {
+        ok: boolean;
+    }>, z.ZodObject<{
+        reason: z.ZodString;
+    }, "strip", z.ZodTypeAny, {
+        reason: string;
+    }, {
+        reason: string;
+    }>, z.ZodUndefined, z.ZodUndefined, z.ZodUndefined, import("../lib/types").PolicyLifecycleFunction<z.ZodObject<{
+        count: z.ZodNumber;
+    }, "strip", z.ZodTypeAny, {
+        count: number;
+    }, {
+        count: number;
+    }>, z.ZodUndefined, z.ZodObject<{
+        ok: z.ZodBoolean;
+    }, "strip", z.ZodTypeAny, {
+        ok: boolean;
+    }, {
+        ok: boolean;
+    }>, z.ZodObject<{
+        reason: z.ZodString;
+    }, "strip", z.ZodTypeAny, {
+        reason: string;
+    }, {
+        reason: string;
+    }>>, import("../lib/types").PolicyLifecycleFunction<z.ZodObject<{
+        count: z.ZodNumber;
+    }, "strip", z.ZodTypeAny, {
+        count: number;
+    }, {
+        count: number;
+    }>, z.ZodUndefined, z.ZodUndefined, z.ZodUndefined>, import("../lib/types").CommitLifecycleFunction<z.ZodUndefined, z.ZodUndefined, z.ZodUndefined>>;
+    ipfsCid: "QmCID123";
+    abilityParameterMappings: Partial<{
+        action: "count";
+        count: "count";
+    }>;
+    vincentAbilityApiVersion: string;
+    __schemaTypes: {
+        policyAbilityParamsSchema: z.ZodObject<{
+            count: z.ZodNumber;
+        }, "strip", z.ZodTypeAny, {
+            count: number;
+        }, {
+            count: number;
+        }>;
+        userParamsSchema: z.ZodUndefined;
+        evalAllowResultSchema: z.ZodObject<{
+            ok: z.ZodBoolean;
+        }, "strip", z.ZodTypeAny, {
+            ok: boolean;
+        }, {
+            ok: boolean;
+        }>;
+        evalDenyResultSchema: z.ZodObject<{
+            reason: z.ZodString;
+        }, "strip", z.ZodTypeAny, {
+            reason: string;
+        }, {
+            reason: string;
+        }>;
+        precheckAllowResultSchema: z.ZodUndefined;
+        precheckDenyResultSchema: z.ZodUndefined;
+        commitParamsSchema: z.ZodUndefined;
+        commitAllowResultSchema: z.ZodUndefined;
+        commitDenyResultSchema: z.ZodUndefined;
+        evaluate: import("../lib/types").PolicyLifecycleFunction<z.ZodObject<{
+            count: z.ZodNumber;
+        }, "strip", z.ZodTypeAny, {
+            count: number;
+        }, {
+            count: number;
+        }>, z.ZodUndefined, z.ZodObject<{
+            ok: z.ZodBoolean;
+        }, "strip", z.ZodTypeAny, {
+            ok: boolean;
+        }, {
+            ok: boolean;
+        }>, z.ZodObject<{
+            reason: z.ZodString;
+        }, "strip", z.ZodTypeAny, {
+            reason: string;
+        }, {
+            reason: string;
+        }>>;
+        precheck: import("../lib/types").PolicyLifecycleFunction<z.ZodObject<{
+            count: z.ZodNumber;
+        }, "strip", z.ZodTypeAny, {
+            count: number;
+        }, {
+            count: number;
+        }>, z.ZodUndefined, z.ZodUndefined, z.ZodUndefined> | undefined;
+        commit: import("../lib/types").CommitLifecycleFunction<z.ZodUndefined, z.ZodUndefined, z.ZodUndefined> | undefined;
+    };
+}], "limit-check">, {
+    "limit-check": {
+        vincentPolicy: import("../internal").VincentPolicy<"limit-check", z.ZodObject<{
+            count: z.ZodNumber;
+        }, "strip", z.ZodTypeAny, {
+            count: number;
+        }, {
+            count: number;
+        }>, z.ZodUndefined, z.ZodUndefined, z.ZodUndefined, z.ZodObject<{
+            ok: z.ZodBoolean;
+        }, "strip", z.ZodTypeAny, {
+            ok: boolean;
+        }, {
+            ok: boolean;
+        }>, z.ZodObject<{
+            reason: z.ZodString;
+        }, "strip", z.ZodTypeAny, {
+            reason: string;
+        }, {
+            reason: string;
+        }>, z.ZodUndefined, z.ZodUndefined, z.ZodUndefined, import("../lib/types").PolicyLifecycleFunction<z.ZodObject<{
+            count: z.ZodNumber;
+        }, "strip", z.ZodTypeAny, {
+            count: number;
+        }, {
+            count: number;
+        }>, z.ZodUndefined, z.ZodObject<{
+            ok: z.ZodBoolean;
+        }, "strip", z.ZodTypeAny, {
+            ok: boolean;
+        }, {
+            ok: boolean;
+        }>, z.ZodObject<{
+            reason: z.ZodString;
+        }, "strip", z.ZodTypeAny, {
+            reason: string;
+        }, {
+            reason: string;
+        }>>, import("../lib/types").PolicyLifecycleFunction<z.ZodObject<{
+            count: z.ZodNumber;
+        }, "strip", z.ZodTypeAny, {
+            count: number;
+        }, {
+            count: number;
+        }>, z.ZodUndefined, z.ZodUndefined, z.ZodUndefined>, import("../lib/types").CommitLifecycleFunction<z.ZodUndefined, z.ZodUndefined, z.ZodUndefined>>;
+        ipfsCid: "QmCID123";
+        abilityParameterMappings: Partial<{
+            action: "count";
+            count: "count";
+        }>;
+        vincentAbilityApiVersion: string;
+        __schemaTypes: {
+            policyAbilityParamsSchema: z.ZodObject<{
+                count: z.ZodNumber;
+            }, "strip", z.ZodTypeAny, {
+                count: number;
+            }, {
+                count: number;
+            }>;
+            userParamsSchema: z.ZodUndefined;
+            evalAllowResultSchema: z.ZodObject<{
+                ok: z.ZodBoolean;
+            }, "strip", z.ZodTypeAny, {
+                ok: boolean;
+            }, {
+                ok: boolean;
+            }>;
+            evalDenyResultSchema: z.ZodObject<{
+                reason: z.ZodString;
+            }, "strip", z.ZodTypeAny, {
+                reason: string;
+            }, {
+                reason: string;
+            }>;
+            precheckAllowResultSchema: z.ZodUndefined;
+            precheckDenyResultSchema: z.ZodUndefined;
+            commitParamsSchema: z.ZodUndefined;
+            commitAllowResultSchema: z.ZodUndefined;
+            commitDenyResultSchema: z.ZodUndefined;
+            evaluate: import("../lib/types").PolicyLifecycleFunction<z.ZodObject<{
+                count: z.ZodNumber;
+            }, "strip", z.ZodTypeAny, {
+                count: number;
+            }, {
+                count: number;
+            }>, z.ZodUndefined, z.ZodObject<{
+                ok: z.ZodBoolean;
+            }, "strip", z.ZodTypeAny, {
+                ok: boolean;
+            }, {
+                ok: boolean;
+            }>, z.ZodObject<{
+                reason: z.ZodString;
+            }, "strip", z.ZodTypeAny, {
+                reason: string;
+            }, {
+                reason: string;
+            }>>;
+            precheck: import("../lib/types").PolicyLifecycleFunction<z.ZodObject<{
+                count: z.ZodNumber;
+            }, "strip", z.ZodTypeAny, {
+                count: number;
+            }, {
+                count: number;
+            }>, z.ZodUndefined, z.ZodUndefined, z.ZodUndefined> | undefined;
+            commit: import("../lib/types").CommitLifecycleFunction<z.ZodUndefined, z.ZodUndefined, z.ZodUndefined> | undefined;
+        };
+    };
+}, z.ZodObject<{
+    status: z.ZodString;
+}, "strip", z.ZodTypeAny, {
+    status: string;
+}, {
+    status: string;
+}>, z.ZodObject<{
+    error: z.ZodString;
+}, "strip", z.ZodTypeAny, {
+    error: string;
+}, {
+    error: string;
+}>, z.ZodObject<{
+    passed: z.ZodBoolean;
+}, "strip", z.ZodTypeAny, {
+    passed: boolean;
+}, {
+    passed: boolean;
+}>, z.ZodObject<{
+    failCode: z.ZodLiteral<"POLICY_FAIL">;
+}, "strip", z.ZodTypeAny, {
+    failCode: "POLICY_FAIL";
+}, {
+    failCode: "POLICY_FAIL";
+}>>;
+//# sourceMappingURL=create-vincent-ability.d.ts.map

package/dist/src/type-inference-verification/create-vincent-ability.d.ts.map

@@ -0,0 +1 @@
+{"version":3,"file":"create-vincent-ability.d.ts","sourceRoot":"","sources":["../../../src/type-inference-verification/create-vincent-ability.ts"],"names":[],"mappings":"AAEA,OAAO,EAAE,CAAC,EAAE,MAAM,KAAK,CAAC;AA0CxB,eAAO,MAAM,OAAO;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;GAoClB,CAAC"}