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

package/dist/src/type-inference-verification/ability-definition-tests.js

@@ -0,0 +1,203 @@
+"use strict";
+// src/type-inference-verification/ability-definition-tests.ts
+Object.defineProperty(exports, "__esModule", { value: true });
+exports.testPolicyEvaluationResults = testPolicyEvaluationResults;
+/**
+ * Ability Definition Tests
+ *
+ * A focused test file to verify that VincentPolicyEvaluationResults inference works correctly,
+ * using an ability with two policies - one simple and one with commit functionality.
+ */
+const zod_1 = require("zod");
+const helpers_1 = require("../lib/abilityCore/helpers");
+const vincentAbility_1 = require("../lib/abilityCore/vincentAbility");
+const bundledPolicy_1 = require("../lib/policyCore/bundledPolicy/bundledPolicy");
+const vincentPolicy_1 = require("../lib/policyCore/vincentPolicy");
+// Base ability schema
+const baseAbilitySchema = zod_1.z.object({
+    action: zod_1.z.string(),
+    target: zod_1.z.string(),
+    amount: zod_1.z.number(),
+});
+/* eslint-disable @typescript-eslint/no-unused-vars */
+/**
+ * Simple test to verify inference of policy evaluation results
+ * with a focus on the commit function type inference.
+ */
+function testPolicyEvaluationResults() {
+    // Policy 1: Simple policy with object result schema
+    const evalResultsPolicy = (0, vincentPolicy_1.createVincentPolicy)({
+        packageName: '@lit-protocol/simple-policy@1.0.0',
+        abilityParamsSchema: zod_1.z.object({
+            actionType: zod_1.z.string(),
+            targetId: zod_1.z.string(),
+        }),
+        evalAllowResultSchema: zod_1.z.object({
+            approved: zod_1.z.boolean(),
+            reason: zod_1.z.string(),
+        }),
+        evaluate: async (params, { allow }) => {
+            return allow({
+                approved: true,
+                reason: `Action ${params.abilityParams.actionType} approved`,
+            });
+        },
+    });
+    const simplePolicy = (0, vincentPolicy_1.createVincentAbilityPolicy)({
+        abilityParamsSchema: baseAbilitySchema,
+        bundledVincentPolicy: (0, bundledPolicy_1.asBundledVincentPolicy)(evalResultsPolicy, '109i0ifj'),
+        abilityParameterMappings: {
+            action: 'actionType',
+            target: 'targetId',
+        },
+    });
+    // Policy 2: Policy with commit function
+    const commitResultsPolicy = (0, vincentPolicy_1.createVincentPolicy)({
+        packageName: '@lit-protocol/commit-policy@1.0.0',
+        abilityParamsSchema: zod_1.z.object({
+            operation: zod_1.z.string(),
+            resource: zod_1.z.string(),
+            value: zod_1.z.number(),
+        }),
+        // Evaluation schema
+        evalAllowResultSchema: zod_1.z.object({
+            transactionId: zod_1.z.string(),
+            status: zod_1.z.string(),
+        }),
+        // Commit phase schemas
+        commitParamsSchema: zod_1.z.object({
+            transactionId: zod_1.z.string(),
+            status: zod_1.z.enum(['complete', 'reject']),
+        }),
+        commitAllowResultSchema: zod_1.z.object({
+            confirmed: zod_1.z.boolean(),
+            timestamp: zod_1.z.number(),
+        }),
+        evaluate: async (params, { allow }) => {
+            const txId = `tx-${Date.now()}`;
+            return allow({
+                transactionId: txId,
+                status: 'pending',
+            });
+        },
+        commit: async (params, { allow }) => {
+            // Access commit parameters
+            const { transactionId, status } = params;
+            console.log(transactionId);
+            return allow({
+                confirmed: status === 'complete',
+                timestamp: Date.now(),
+            });
+        },
+    });
+    const commitPolicy = (0, vincentPolicy_1.createVincentAbilityPolicy)({
+        abilityParamsSchema: baseAbilitySchema,
+        bundledVincentPolicy: (0, bundledPolicy_1.asBundledVincentPolicy)(commitResultsPolicy, 'ajialkjads'),
+        abilityParameterMappings: {
+            action: 'operation',
+            target: 'resource',
+            amount: 'value',
+        },
+    });
+    // Define ability result schemas
+    const executeSuccessSchema = zod_1.z.object({
+        success: zod_1.z.boolean(),
+        confirmed: zod_1.z.boolean().optional(),
+        timestamp: zod_1.z.number().optional(),
+        message: zod_1.z.string(),
+    });
+    const executeFailSchema = zod_1.z.object({
+        errorCode: zod_1.z.number(),
+        errorMessage: zod_1.z.string(),
+    });
+    const precheckSuccessSchema = zod_1.z.object({
+        valid: zod_1.z.boolean(),
+        validationMessage: zod_1.z.string().optional(),
+    });
+    const precheckFailSchema = zod_1.z.object({
+        valid: zod_1.z.boolean(),
+        issues: zod_1.z.array(zod_1.z.string()),
+    });
+    // Create ability with both policies
+    return (0, vincentAbility_1.createVincentAbility)({
+        packageName: '@lit-protocol/mahAbility@1.0.0',
+        abilityDescription: 'Mah Ability',
+        abilityParamsSchema: baseAbilitySchema,
+        supportedPolicies: (0, helpers_1.supportedPoliciesForAbility)([simplePolicy, commitPolicy]),
+        // Add schemas for ability results
+        precheckSuccessSchema,
+        precheckFailSchema,
+        executeSuccessSchema,
+        executeFailSchema,
+        precheck: async ({ abilityParams }, { fail, succeed }) => {
+            // Perform basic validation
+            if (!abilityParams.action || !abilityParams.target || abilityParams.amount <= 0) {
+                const issues = [];
+                if (!abilityParams.action)
+                    issues.push('Missing action');
+                if (!abilityParams.target)
+                    issues.push('Missing target');
+                if (abilityParams.amount <= 0)
+                    issues.push('Amount must be positive');
+                return fail({
+                    valid: false,
+                    issues,
+                });
+            }
+            return succeed({
+                valid: true,
+                validationMessage: 'All parameters are valid',
+            });
+        },
+        // Execute function to demonstrate result type inference
+        execute: async (_, { fail, succeed, policiesContext }) => {
+            try {
+                // Verify type inference works correctly when results.allow is true
+                // Access specific policy results - now TypeScript knows this is defined
+                if (policiesContext.allowedPolicies['@lit-protocol/simple-policy@1.0.0']) {
+                    const simpleResult = policiesContext.allowedPolicies['@lit-protocol/simple-policy@1.0.0'].result;
+                    // TypeScript should now correctly infer the result type
+                    const { approved, reason } = simpleResult;
+                    console.log(approved, reason);
+                }
+                // Type inference should work for the commit policy result
+                if (policiesContext.allowedPolicies['@lit-protocol/commit-policy@1.0.0']) {
+                    const commitPolicyResult = policiesContext.allowedPolicies['@lit-protocol/commit-policy@1.0.0'].result;
+                    // No need for type guards anymore
+                    const { transactionId, status } = commitPolicyResult;
+                    console.log(status);
+                    // The commit function should be available and properly typed
+                    const commitFn = policiesContext.allowedPolicies['@lit-protocol/commit-policy@1.0.0'].commit;
+                    // Call commit with properly typed parameters
+                    const commitResult = await commitFn({
+                        transactionId,
+                        status: 'complete',
+                    });
+                    // Type inference should work for commit result
+                    if (commitResult.allow) {
+                        const { confirmed, timestamp } = commitResult.result;
+                        return succeed({
+                            success: true,
+                            confirmed,
+                            timestamp,
+                            message: 'Operation executed successfully',
+                        });
+                    }
+                }
+                // If we reach here, something went wrong with the commit
+                return fail({
+                    errorCode: 400,
+                    errorMessage: 'Failed to complete the transaction commit process',
+                });
+            }
+            catch (error) {
+                // Handle any unexpected errors
+                return fail({
+                    errorCode: 500,
+                    errorMessage: 'Internal execution error',
+                });
+            }
+        },
+    });
+}
+//# sourceMappingURL=ability-definition-tests.js.map

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

@@ -0,0 +1 @@
+{"version":3,"file":"ability-definition-tests.js","sourceRoot":"","sources":["../../../src/type-inference-verification/ability-definition-tests.ts"],"names":[],"mappings":";AAAA,8DAA8D;;AA4B9D,kEA0MC;AApOD;;;;;GAKG;AACH,6BAAwB;AAExB,wDAAyE;AACzE,sEAAyE;AACzE,iFAAuF;AACvF,mEAAkG;AAElG,sBAAsB;AACtB,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,sDAAsD;AAEtD;;;GAGG;AACH,SAAgB,2BAA2B;IACzC,oDAAoD;IACpD,MAAM,iBAAiB,GAAG,IAAA,mCAAmB,EAAC;QAC5C,WAAW,EAAE,mCAAmC;QAChD,mBAAmB,EAAE,OAAC,CAAC,MAAM,CAAC;YAC5B,UAAU,EAAE,OAAC,CAAC,MAAM,EAAE;YACtB,QAAQ,EAAE,OAAC,CAAC,MAAM,EAAE;SACrB,CAAC;QACF,qBAAqB,EAAE,OAAC,CAAC,MAAM,CAAC;YAC9B,QAAQ,EAAE,OAAC,CAAC,OAAO,EAAE;YACrB,MAAM,EAAE,OAAC,CAAC,MAAM,EAAE;SACnB,CAAC;QAEF,QAAQ,EAAE,KAAK,EAAE,MAAM,EAAE,EAAE,KAAK,EAAE,EAAE,EAAE;YACpC,OAAO,KAAK,CAAC;gBACX,QAAQ,EAAE,IAAI;gBACd,MAAM,EAAE,UAAU,MAAM,CAAC,aAAa,CAAC,UAAU,WAAW;aAC7D,CAAC,CAAC;QACL,CAAC;KACF,CAAC,CAAC;IACH,MAAM,YAAY,GAAG,IAAA,0CAA0B,EAAC;QAC9C,mBAAmB,EAAE,iBAAiB;QACtC,oBAAoB,EAAE,IAAA,sCAAsB,EAAC,iBAAiB,EAAE,UAAmB,CAAC;QACpF,wBAAwB,EAAE;YACxB,MAAM,EAAE,YAAY;YACpB,MAAM,EAAE,UAAU;SACnB;KACF,CAAC,CAAC;IAEH,wCAAwC;IACxC,MAAM,mBAAmB,GAAG,IAAA,mCAAmB,EAAC;QAC9C,WAAW,EAAE,mCAAmC;QAChD,mBAAmB,EAAE,OAAC,CAAC,MAAM,CAAC;YAC5B,SAAS,EAAE,OAAC,CAAC,MAAM,EAAE;YACrB,QAAQ,EAAE,OAAC,CAAC,MAAM,EAAE;YACpB,KAAK,EAAE,OAAC,CAAC,MAAM,EAAE;SAClB,CAAC;QAEF,oBAAoB;QACpB,qBAAqB,EAAE,OAAC,CAAC,MAAM,CAAC;YAC9B,aAAa,EAAE,OAAC,CAAC,MAAM,EAAE;YACzB,MAAM,EAAE,OAAC,CAAC,MAAM,EAAE;SACnB,CAAC;QAEF,uBAAuB;QACvB,kBAAkB,EAAE,OAAC,CAAC,MAAM,CAAC;YAC3B,aAAa,EAAE,OAAC,CAAC,MAAM,EAAE;YACzB,MAAM,EAAE,OAAC,CAAC,IAAI,CAAC,CAAC,UAAU,EAAE,QAAQ,CAAC,CAAC;SACvC,CAAC;QACF,uBAAuB,EAAE,OAAC,CAAC,MAAM,CAAC;YAChC,SAAS,EAAE,OAAC,CAAC,OAAO,EAAE;YACtB,SAAS,EAAE,OAAC,CAAC,MAAM,EAAE;SACtB,CAAC;QAEF,QAAQ,EAAE,KAAK,EAAE,MAAM,EAAE,EAAE,KAAK,EAAE,EAAE,EAAE;YACpC,MAAM,IAAI,GAAG,MAAM,IAAI,CAAC,GAAG,EAAE,EAAE,CAAC;YAChC,OAAO,KAAK,CAAC;gBACX,aAAa,EAAE,IAAI;gBACnB,MAAM,EAAE,SAAS;aAClB,CAAC,CAAC;QACL,CAAC;QAED,MAAM,EAAE,KAAK,EAAE,MAAM,EAAE,EAAE,KAAK,EAAE,EAAE,EAAE;YAClC,2BAA2B;YAC3B,MAAM,EAAE,aAAa,EAAE,MAAM,EAAE,GAAG,MAAM,CAAC;YAEzC,OAAO,CAAC,GAAG,CAAC,aAAa,CAAC,CAAC;YAC3B,OAAO,KAAK,CAAC;gBACX,SAAS,EAAE,MAAM,KAAK,UAAU;gBAChC,SAAS,EAAE,IAAI,CAAC,GAAG,EAAE;aACtB,CAAC,CAAC;QACL,CAAC;KACF,CAAC,CAAC;IACH,MAAM,YAAY,GAAG,IAAA,0CAA0B,EAAC;QAC9C,mBAAmB,EAAE,iBAAiB;QACtC,oBAAoB,EAAE,IAAA,sCAAsB,EAAC,mBAAmB,EAAE,YAAqB,CAAC;QACxF,wBAAwB,EAAE;YACxB,MAAM,EAAE,WAAW;YACnB,MAAM,EAAE,UAAU;YAClB,MAAM,EAAE,OAAO;SAChB;KACF,CAAC,CAAC;IAEH,gCAAgC;IAChC,MAAM,oBAAoB,GAAG,OAAC,CAAC,MAAM,CAAC;QACpC,OAAO,EAAE,OAAC,CAAC,OAAO,EAAE;QACpB,SAAS,EAAE,OAAC,CAAC,OAAO,EAAE,CAAC,QAAQ,EAAE;QACjC,SAAS,EAAE,OAAC,CAAC,MAAM,EAAE,CAAC,QAAQ,EAAE;QAChC,OAAO,EAAE,OAAC,CAAC,MAAM,EAAE;KACpB,CAAC,CAAC;IAEH,MAAM,iBAAiB,GAAG,OAAC,CAAC,MAAM,CAAC;QACjC,SAAS,EAAE,OAAC,CAAC,MAAM,EAAE;QACrB,YAAY,EAAE,OAAC,CAAC,MAAM,EAAE;KACzB,CAAC,CAAC;IAEH,MAAM,qBAAqB,GAAG,OAAC,CAAC,MAAM,CAAC;QACrC,KAAK,EAAE,OAAC,CAAC,OAAO,EAAE;QAClB,iBAAiB,EAAE,OAAC,CAAC,MAAM,EAAE,CAAC,QAAQ,EAAE;KACzC,CAAC,CAAC;IAEH,MAAM,kBAAkB,GAAG,OAAC,CAAC,MAAM,CAAC;QAClC,KAAK,EAAE,OAAC,CAAC,OAAO,EAAE;QAClB,MAAM,EAAE,OAAC,CAAC,KAAK,CAAC,OAAC,CAAC,MAAM,EAAE,CAAC;KAC5B,CAAC,CAAC;IAEH,oCAAoC;IACpC,OAAO,IAAA,qCAAoB,EAAC;QAC1B,WAAW,EAAE,gCAAgC;QAC7C,kBAAkB,EAAE,aAAa;QACjC,mBAAmB,EAAE,iBAAiB;QACtC,iBAAiB,EAAE,IAAA,qCAA2B,EAAC,CAAC,YAAY,EAAE,YAAY,CAAC,CAAC;QAE5E,kCAAkC;QAClC,qBAAqB;QACrB,kBAAkB;QAClB,oBAAoB;QACpB,iBAAiB;QAEjB,QAAQ,EAAE,KAAK,EAAE,EAAE,aAAa,EAAE,EAAE,EAAE,IAAI,EAAE,OAAO,EAAE,EAAE,EAAE;YACvD,2BAA2B;YAC3B,IAAI,CAAC,aAAa,CAAC,MAAM,IAAI,CAAC,aAAa,CAAC,MAAM,IAAI,aAAa,CAAC,MAAM,IAAI,CAAC,EAAE,CAAC;gBAChF,MAAM,MAAM,GAAG,EAAE,CAAC;gBAElB,IAAI,CAAC,aAAa,CAAC,MAAM;oBAAE,MAAM,CAAC,IAAI,CAAC,gBAAgB,CAAC,CAAC;gBACzD,IAAI,CAAC,aAAa,CAAC,MAAM;oBAAE,MAAM,CAAC,IAAI,CAAC,gBAAgB,CAAC,CAAC;gBACzD,IAAI,aAAa,CAAC,MAAM,IAAI,CAAC;oBAAE,MAAM,CAAC,IAAI,CAAC,yBAAyB,CAAC,CAAC;gBAEtE,OAAO,IAAI,CAAC;oBACV,KAAK,EAAE,KAAK;oBACZ,MAAM;iBACP,CAAC,CAAC;YACL,CAAC;YAED,OAAO,OAAO,CAAC;gBACb,KAAK,EAAE,IAAI;gBACX,iBAAiB,EAAE,0BAA0B;aAC9C,CAAC,CAAC;QACL,CAAC;QAED,wDAAwD;QACxD,OAAO,EAAE,KAAK,EAAE,CAAC,EAAE,EAAE,IAAI,EAAE,OAAO,EAAE,eAAe,EAAE,EAAE,EAAE;YACvD,IAAI,CAAC;gBACH,mEAAmE;gBACnE,wEAAwE;gBACxE,IAAI,eAAe,CAAC,eAAe,CAAC,mCAAmC,CAAC,EAAE,CAAC;oBACzE,MAAM,YAAY,GAChB,eAAe,CAAC,eAAe,CAAC,mCAAmC,CAAC,CAAC,MAAM,CAAC;oBAE9E,wDAAwD;oBACxD,MAAM,EAAE,QAAQ,EAAE,MAAM,EAAE,GAAG,YAAY,CAAC;oBAE1C,OAAO,CAAC,GAAG,CAAC,QAAQ,EAAE,MAAM,CAAC,CAAC;gBAChC,CAAC;gBAED,0DAA0D;gBAC1D,IAAI,eAAe,CAAC,eAAe,CAAC,mCAAmC,CAAC,EAAE,CAAC;oBACzE,MAAM,kBAAkB,GACtB,eAAe,CAAC,eAAe,CAAC,mCAAmC,CAAC,CAAC,MAAM,CAAC;oBAE9E,kCAAkC;oBAClC,MAAM,EAAE,aAAa,EAAE,MAAM,EAAE,GAAG,kBAAkB,CAAC;oBACrD,OAAO,CAAC,GAAG,CAAC,MAAM,CAAC,CAAC;oBAEpB,6DAA6D;oBAC7D,MAAM,QAAQ,GACZ,eAAe,CAAC,eAAe,CAAC,mCAAmC,CAAC,CAAC,MAAM,CAAC;oBAE9E,6CAA6C;oBAC7C,MAAM,YAAY,GAAG,MAAM,QAAQ,CAAC;wBAClC,aAAa;wBACb,MAAM,EAAE,UAAU;qBACnB,CAAC,CAAC;oBAEH,+CAA+C;oBAC/C,IAAI,YAAY,CAAC,KAAK,EAAE,CAAC;wBACvB,MAAM,EAAE,SAAS,EAAE,SAAS,EAAE,GAAG,YAAY,CAAC,MAAM,CAAC;wBAErD,OAAO,OAAO,CAAC;4BACb,OAAO,EAAE,IAAI;4BACb,SAAS;4BACT,SAAS;4BACT,OAAO,EAAE,iCAAiC;yBAC3C,CAAC,CAAC;oBACL,CAAC;gBACH,CAAC;gBAED,yDAAyD;gBACzD,OAAO,IAAI,CAAC;oBACV,SAAS,EAAE,GAAG;oBACd,YAAY,EAAE,mDAAmD;iBAClE,CAAC,CAAC;YACL,CAAC;YAAC,OAAO,KAAK,EAAE,CAAC;gBACf,+BAA+B;gBAE/B,OAAO,IAAI,CAAC;oBACV,SAAS,EAAE,GAAG;oBACd,YAAY,EAAE,0BAA0B;iBACzC,CAAC,CAAC;YACL,CAAC;QACH,CAAC;KACF,CAAC,CAAC;AACL,CAAC"}

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

@@ -0,0 +1,2 @@
+export declare function run(): Promise<void>;
+//# sourceMappingURL=ability-lifecycle-inference.d.ts.map

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

@@ -0,0 +1 @@
+{"version":3,"file":"ability-lifecycle-inference.d.ts","sourceRoot":"","sources":["../../../src/type-inference-verification/ability-lifecycle-inference.ts"],"names":[],"mappings":"AA6FA,wBAAsB,GAAG,kBAgCxB"}

package/dist/src/type-inference-verification/ability-lifecycle-inference.js

@@ -0,0 +1,109 @@
+"use strict";
+// src/type-inference-verification/ability-lifecycle-inference.ts
+Object.defineProperty(exports, "__esModule", { value: true });
+exports.run = run;
+const zod_1 = require("zod");
+const helpers_1 = require("../lib/abilityCore/helpers");
+const vincentAbility_1 = require("../lib/abilityCore/vincentAbility");
+const bundledPolicy_1 = require("../lib/policyCore/bundledPolicy/bundledPolicy");
+const resultCreators_1 = require("../lib/policyCore/helpers/resultCreators");
+const vincentPolicy_1 = require("../lib/policyCore/vincentPolicy");
+const abilityParamsSchema = zod_1.z.object({
+    flag: zod_1.z.boolean(),
+    value: zod_1.z.number(),
+});
+const aVincentPolicy = (0, vincentPolicy_1.createVincentPolicy)({
+    packageName: 'a',
+    abilityParamsSchema: zod_1.z.object({ foo: zod_1.z.string() }),
+    evalAllowResultSchema: zod_1.z.object({ approved: zod_1.z.boolean() }),
+    commit: async (_, ctx) => ctx.allow(),
+    evaluate: async (_, ctx) => ctx.allow({ approved: true }),
+});
+const policyA = (0, vincentPolicy_1.createVincentAbilityPolicy)({
+    abilityParamsSchema,
+    bundledVincentPolicy: (0, bundledPolicy_1.asBundledVincentPolicy)(aVincentPolicy, 'cid-a'),
+    abilityParameterMappings: {
+        flag: 'foo',
+    },
+});
+const bVincentPolicy = (0, vincentPolicy_1.createVincentPolicy)({
+    packageName: 'b',
+    abilityParamsSchema: zod_1.z.object({ bar: zod_1.z.number() }),
+    evalAllowResultSchema: zod_1.z.string(),
+    evaluate: async (_, ctx) => ctx.allow('hello'),
+});
+const policyB = (0, vincentPolicy_1.createVincentAbilityPolicy)({
+    abilityParamsSchema,
+    bundledVincentPolicy: (0, bundledPolicy_1.asBundledVincentPolicy)(bVincentPolicy, 'cid-b'),
+    abilityParameterMappings: {
+        value: 'bar',
+    },
+});
+const ability = (0, vincentAbility_1.createVincentAbility)({
+    packageName: '@lit-protocol/yesability3@1.0.0',
+    abilityDescription: 'Yes Ability',
+    abilityParamsSchema,
+    supportedPolicies: (0, helpers_1.supportedPoliciesForAbility)([policyA, policyB]),
+    execute: async ({ abilityParams }, { policiesContext, succeed, fail }) => {
+        // Type inference for allowedPolicies
+        const a = policiesContext.allowedPolicies['a'];
+        const b = policiesContext.allowedPolicies.b;
+        // ✅ Expect result to be { approved: boolean }
+        if (a) {
+            console.log(a.result.approved);
+            // ✅ Should compile - commit exists on 'a'
+            if (a.commit) {
+                const res = await a.commit();
+                const wat = res.allow;
+                console.log(wat);
+                if (res.allow) {
+                    // @ts-expect-error - 'success' doesn't exist because no commit result schema
+                    console.log(res.result.success);
+                }
+            }
+        }
+        if (b) {
+            // @ts-expect-error - 'approved' doesn't exist on string
+            console.log(b.result.approved);
+            // ✅ Expect result to be string
+            const s = b.result;
+            console.log(s);
+            fail();
+            // b.commit();
+        }
+        return succeed();
+    },
+    executeSuccessSchema: zod_1.z.undefined(),
+    executeFailSchema: zod_1.z.undefined(),
+});
+async function run() {
+    await ability.execute({
+        abilityParams: {
+            flag: true,
+            value: 123,
+        },
+    }, {
+        delegation: {
+            delegatorPkpInfo: {
+                tokenId: '90128301832',
+                ethAddress: '0x102398103981032',
+                publicKey: '0398103810938ef987ef978fe987ef',
+            },
+            delegateeAddress: 'y',
+        },
+        policiesContext: {
+            evaluatedPolicies: ['a', 'b'],
+            allowedPolicies: {
+                a: {
+                    result: { approved: true },
+                    commit: async () => (0, resultCreators_1.createAllowResult)({ result: undefined }),
+                },
+                // @ts-expect-error - commit is inferred as `never` and omitted on purpose
+                b: {
+                    result: 'hello',
+                },
+            },
+        },
+    });
+}
+//# sourceMappingURL=ability-lifecycle-inference.js.map

package/dist/src/type-inference-verification/ability-lifecycle-inference.js.map

@@ -0,0 +1 @@
+{"version":3,"file":"ability-lifecycle-inference.js","sourceRoot":"","sources":["../../../src/type-inference-verification/ability-lifecycle-inference.ts"],"names":[],"mappings":";AAAA,iEAAiE;;AA6FjE,kBAgCC;AA3HD,6BAAwB;AAExB,wDAAyE;AACzE,sEAAyE;AACzE,iFAAuF;AACvF,6EAA6E;AAC7E,mEAAkG;AAElG,MAAM,mBAAmB,GAAG,OAAC,CAAC,MAAM,CAAC;IACnC,IAAI,EAAE,OAAC,CAAC,OAAO,EAAE;IACjB,KAAK,EAAE,OAAC,CAAC,MAAM,EAAE;CAClB,CAAC,CAAC;AAEH,MAAM,cAAc,GAAG,IAAA,mCAAmB,EAAC;IACzC,WAAW,EAAE,GAAY;IACzB,mBAAmB,EAAE,OAAC,CAAC,MAAM,CAAC,EAAE,GAAG,EAAE,OAAC,CAAC,MAAM,EAAE,EAAE,CAAC;IAClD,qBAAqB,EAAE,OAAC,CAAC,MAAM,CAAC,EAAE,QAAQ,EAAE,OAAC,CAAC,OAAO,EAAE,EAAE,CAAC;IAC1D,MAAM,EAAE,KAAK,EAAE,CAAC,EAAE,GAAG,EAAE,EAAE,CAAC,GAAG,CAAC,KAAK,EAAE;IACrC,QAAQ,EAAE,KAAK,EAAE,CAAC,EAAE,GAAG,EAAE,EAAE,CAAC,GAAG,CAAC,KAAK,CAAC,EAAE,QAAQ,EAAE,IAAI,EAAE,CAAC;CAC1D,CAAC,CAAC;AAEH,MAAM,OAAO,GAAG,IAAA,0CAA0B,EAAC;IACzC,mBAAmB;IACnB,oBAAoB,EAAE,IAAA,sCAAsB,EAAC,cAAc,EAAE,OAAgB,CAAC;IAC9E,wBAAwB,EAAE;QACxB,IAAI,EAAE,KAAK;KACZ;CACF,CAAC,CAAC;AAEH,MAAM,cAAc,GAAG,IAAA,mCAAmB,EAAC;IACzC,WAAW,EAAE,GAAY;IACzB,mBAAmB,EAAE,OAAC,CAAC,MAAM,CAAC,EAAE,GAAG,EAAE,OAAC,CAAC,MAAM,EAAE,EAAE,CAAC;IAClD,qBAAqB,EAAE,OAAC,CAAC,MAAM,EAAE;IACjC,QAAQ,EAAE,KAAK,EAAE,CAAC,EAAE,GAAG,EAAE,EAAE,CAAC,GAAG,CAAC,KAAK,CAAC,OAAO,CAAC;CAC/C,CAAC,CAAC;AAEH,MAAM,OAAO,GAAG,IAAA,0CAA0B,EAAC;IACzC,mBAAmB;IACnB,oBAAoB,EAAE,IAAA,sCAAsB,EAAC,cAAc,EAAE,OAAgB,CAAC;IAC9E,wBAAwB,EAAE;QACxB,KAAK,EAAE,KAAK;KACb;CACF,CAAC,CAAC;AAEH,MAAM,OAAO,GAAG,IAAA,qCAAoB,EAAC;IACnC,WAAW,EAAE,iCAAiC;IAC9C,kBAAkB,EAAE,aAAa;IACjC,mBAAmB;IACnB,iBAAiB,EAAE,IAAA,qCAA2B,EAAC,CAAC,OAAO,EAAE,OAAO,CAAU,CAAC;IAC3E,OAAO,EAAE,KAAK,EAAE,EAAE,aAAa,EAAE,EAAE,EAAE,eAAe,EAAE,OAAO,EAAE,IAAI,EAAE,EAAE,EAAE;QACvE,qCAAqC;QACrC,MAAM,CAAC,GAAG,eAAe,CAAC,eAAe,CAAC,GAAG,CAAC,CAAC;QAC/C,MAAM,CAAC,GAAG,eAAe,CAAC,eAAe,CAAC,CAAC,CAAC;QAE5C,8CAA8C;QAC9C,IAAI,CAAC,EAAE,CAAC;YACN,OAAO,CAAC,GAAG,CAAC,CAAC,CAAC,MAAM,CAAC,QAAQ,CAAC,CAAC;YAE/B,0CAA0C;YAC1C,IAAI,CAAC,CAAC,MAAM,EAAE,CAAC;gBACb,MAAM,GAAG,GAAG,MAAM,CAAC,CAAC,MAAM,EAAE,CAAC;gBAE7B,MAAM,GAAG,GAAY,GAAG,CAAC,KAAK,CAAC;gBAC/B,OAAO,CAAC,GAAG,CAAC,GAAG,CAAC,CAAC;gBAEjB,IAAI,GAAG,CAAC,KAAK,EAAE,CAAC;oBACd,6EAA6E;oBAC7E,OAAO,CAAC,GAAG,CAAC,GAAG,CAAC,MAAM,CAAC,OAAO,CAAC,CAAC;gBAClC,CAAC;YACH,CAAC;QACH,CAAC;QAED,IAAI,CAAC,EAAE,CAAC;YACN,wDAAwD;YACxD,OAAO,CAAC,GAAG,CAAC,CAAC,CAAC,MAAM,CAAC,QAAQ,CAAC,CAAC;YAE/B,+BAA+B;YAC/B,MAAM,CAAC,GAAW,CAAC,CAAC,MAAM,CAAC;YAC3B,OAAO,CAAC,GAAG,CAAC,CAAC,CAAC,CAAC;YAEf,IAAI,EAAE,CAAC;YAEP,cAAc;QAChB,CAAC;QAED,OAAO,OAAO,EAAE,CAAC;IACnB,CAAC;IACD,oBAAoB,EAAE,OAAC,CAAC,SAAS,EAAE;IACnC,iBAAiB,EAAE,OAAC,CAAC,SAAS,EAAE;CACjC,CAAC,CAAC;AAEI,KAAK,UAAU,GAAG;IACvB,MAAM,OAAO,CAAC,OAAO,CACnB;QACE,aAAa,EAAE;YACb,IAAI,EAAE,IAAI;YACV,KAAK,EAAE,GAAG;SACX;KACF,EACD;QACE,UAAU,EAAE;YACV,gBAAgB,EAAE;gBAChB,OAAO,EAAE,aAAa;gBACtB,UAAU,EAAE,mBAAmB;gBAC/B,SAAS,EAAE,gCAAgC;aAC5C;YACD,gBAAgB,EAAE,GAAG;SACtB;QACD,eAAe,EAAE;YACf,iBAAiB,EAAE,CAAC,GAAG,EAAE,GAAG,CAAC;YAC7B,eAAe,EAAE;gBACf,CAAC,EAAE;oBACD,MAAM,EAAE,EAAE,QAAQ,EAAE,IAAI,EAAE;oBAC1B,MAAM,EAAE,KAAK,IAAI,EAAE,CAAC,IAAA,kCAAiB,EAAC,EAAE,MAAM,EAAE,SAAS,EAAE,CAAC;iBAC7D;gBACD,0EAA0E;gBAC1E,CAAC,EAAE;oBACD,MAAM,EAAE,OAAO;iBAChB;aACF;SACF;KACF,CACF,CAAC;AACJ,CAAC"}