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

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

@@ -0,0 +1,68 @@
+"use strict";
+// src/type-inference-verification/create-vincent-ability.ts
+Object.defineProperty(exports, "__esModule", { value: true });
+exports.ability = void 0;
+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");
+const abilityParams = zod_1.z.object({
+    action: zod_1.z.string(),
+    count: zod_1.z.number(),
+});
+// === Define a policy ===
+const policySchema = zod_1.z.object({
+    count: zod_1.z.number(),
+});
+const policyEvalAllow = zod_1.z.object({ ok: zod_1.z.boolean() });
+const policyEvalDeny = zod_1.z.object({ reason: zod_1.z.string() });
+const PolicyConfig = (0, vincentPolicy_1.createVincentPolicy)({
+    packageName: 'limit-check',
+    abilityParamsSchema: policySchema,
+    evalAllowResultSchema: policyEvalAllow,
+    evalDenyResultSchema: policyEvalDeny,
+    evaluate: async ({ abilityParams }, context) => {
+        return abilityParams.count < 10
+            ? context.allow({ ok: true })
+            : context.deny({ reason: 'Too high' });
+    },
+});
+const bundled = (0, bundledPolicy_1.asBundledVincentPolicy)(PolicyConfig, 'QmCID123');
+const policy = (0, vincentPolicy_1.createVincentAbilityPolicy)({
+    abilityParamsSchema: abilityParams,
+    bundledVincentPolicy: bundled,
+    abilityParameterMappings: {
+        count: 'count',
+    },
+});
+exports.ability = (0, vincentAbility_1.createVincentAbility)({
+    packageName: 'my-ability@1.0.0',
+    abilityDescription: 'Yes Ability',
+    abilityParamsSchema: abilityParams,
+    supportedPolicies: (0, helpers_1.supportedPoliciesForAbility)([policy]),
+    executeSuccessSchema: zod_1.z.object({ status: zod_1.z.string() }),
+    executeFailSchema: zod_1.z.object({ error: zod_1.z.string() }),
+    precheckSuccessSchema: zod_1.z.object({ passed: zod_1.z.boolean() }),
+    precheckFailSchema: zod_1.z.object({ failCode: zod_1.z.literal('POLICY_FAIL') }),
+    precheck: async ({ abilityParams }, { policiesContext, succeed, fail }) => {
+        // ✅ Check context access
+        if (policiesContext.allowedPolicies?.['limit-check']) {
+            console.log('Policy check succeeded');
+            const result = policiesContext.allowedPolicies['limit-check'].result;
+            console.log(result);
+        }
+        //    ^? result: { ok: boolean }
+        // ❌ Invalid key — should error
+        // @ts-expect-error unknown policy name
+        const wat = policiesContext.allowedPolicies['not-real'];
+        console.log(wat);
+        return policiesContext.allow ? succeed({ passed: true }) : fail({ failCode: 'POLICY_FAIL' });
+    },
+    execute: async ({ abilityParams }, { policiesContext, succeed, fail }) => {
+        // const result = policiesContext.allowedPolicies['limit-check'].result;
+        //    ^? result: { ok: boolean }
+        return succeed({ status: 'executed' });
+    },
+});
+//# sourceMappingURL=create-vincent-ability.js.map

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

@@ -0,0 +1 @@
+{"version":3,"file":"create-vincent-ability.js","sourceRoot":"","sources":["../../../src/type-inference-verification/create-vincent-ability.ts"],"names":[],"mappings":";AAAA,4DAA4D;;;AAE5D,6BAAwB;AAExB,wDAAyE;AACzE,sEAAyE;AACzE,iFAAuF;AACvF,mEAAkG;AAElG,MAAM,aAAa,GAAG,OAAC,CAAC,MAAM,CAAC;IAC7B,MAAM,EAAE,OAAC,CAAC,MAAM,EAAE;IAClB,KAAK,EAAE,OAAC,CAAC,MAAM,EAAE;CAClB,CAAC,CAAC;AAEH,0BAA0B;AAC1B,MAAM,YAAY,GAAG,OAAC,CAAC,MAAM,CAAC;IAC5B,KAAK,EAAE,OAAC,CAAC,MAAM,EAAE;CAClB,CAAC,CAAC;AAEH,MAAM,eAAe,GAAG,OAAC,CAAC,MAAM,CAAC,EAAE,EAAE,EAAE,OAAC,CAAC,OAAO,EAAE,EAAE,CAAC,CAAC;AACtD,MAAM,cAAc,GAAG,OAAC,CAAC,MAAM,CAAC,EAAE,MAAM,EAAE,OAAC,CAAC,MAAM,EAAE,EAAE,CAAC,CAAC;AAExD,MAAM,YAAY,GAAG,IAAA,mCAAmB,EAAC;IACvC,WAAW,EAAE,aAAsB;IACnC,mBAAmB,EAAE,YAAY;IACjC,qBAAqB,EAAE,eAAe;IACtC,oBAAoB,EAAE,cAAc;IACpC,QAAQ,EAAE,KAAK,EAAE,EAAE,aAAa,EAAE,EAAE,OAAO,EAAE,EAAE;QAC7C,OAAO,aAAa,CAAC,KAAK,GAAG,EAAE;YAC7B,CAAC,CAAC,OAAO,CAAC,KAAK,CAAC,EAAE,EAAE,EAAE,IAAI,EAAE,CAAC;YAC7B,CAAC,CAAC,OAAO,CAAC,IAAI,CAAC,EAAE,MAAM,EAAE,UAAU,EAAE,CAAC,CAAC;IAC3C,CAAC;CACF,CAAC,CAAC;AAEH,MAAM,OAAO,GAAG,IAAA,sCAAsB,EAAC,YAAY,EAAE,UAAmB,CAAC,CAAC;AAE1E,MAAM,MAAM,GAAG,IAAA,0CAA0B,EAAC;IACxC,mBAAmB,EAAE,aAAa;IAClC,oBAAoB,EAAE,OAAO;IAC7B,wBAAwB,EAAE;QACxB,KAAK,EAAE,OAAO;KACf;CACF,CAAC,CAAC;AAEU,QAAA,OAAO,GAAG,IAAA,qCAAoB,EAAC;IAC1C,WAAW,EAAE,kBAAkB;IAC/B,kBAAkB,EAAE,aAAa;IACjC,mBAAmB,EAAE,aAAa;IAClC,iBAAiB,EAAE,IAAA,qCAA2B,EAAC,CAAC,MAAM,CAAU,CAAC;IAEjE,oBAAoB,EAAE,OAAC,CAAC,MAAM,CAAC,EAAE,MAAM,EAAE,OAAC,CAAC,MAAM,EAAE,EAAE,CAAC;IACtD,iBAAiB,EAAE,OAAC,CAAC,MAAM,CAAC,EAAE,KAAK,EAAE,OAAC,CAAC,MAAM,EAAE,EAAE,CAAC;IAElD,qBAAqB,EAAE,OAAC,CAAC,MAAM,CAAC,EAAE,MAAM,EAAE,OAAC,CAAC,OAAO,EAAE,EAAE,CAAC;IACxD,kBAAkB,EAAE,OAAC,CAAC,MAAM,CAAC,EAAE,QAAQ,EAAE,OAAC,CAAC,OAAO,CAAC,aAAa,CAAC,EAAE,CAAC;IAEpE,QAAQ,EAAE,KAAK,EAAE,EAAE,aAAa,EAAE,EAAE,EAAE,eAAe,EAAE,OAAO,EAAE,IAAI,EAAE,EAAE,EAAE;QACxE,yBAAyB;QACzB,IAAI,eAAe,CAAC,eAAe,EAAE,CAAC,aAAa,CAAC,EAAE,CAAC;YACrD,OAAO,CAAC,GAAG,CAAC,wBAAwB,CAAC,CAAC;YACtC,MAAM,MAAM,GAAG,eAAe,CAAC,eAAe,CAAC,aAAa,CAAC,CAAC,MAAM,CAAC;YACrE,OAAO,CAAC,GAAG,CAAC,MAAM,CAAC,CAAC;QACtB,CAAC;QACD,gCAAgC;QAEhC,+BAA+B;QAC/B,uCAAuC;QACvC,MAAM,GAAG,GAAG,eAAe,CAAC,eAAe,CAAC,UAAU,CAAC,CAAC;QAExD,OAAO,CAAC,GAAG,CAAC,GAAG,CAAC,CAAC;QAEjB,OAAO,eAAe,CAAC,KAAK,CAAC,CAAC,CAAC,OAAO,CAAC,EAAE,MAAM,EAAE,IAAI,EAAE,CAAC,CAAC,CAAC,CAAC,IAAI,CAAC,EAAE,QAAQ,EAAE,aAAa,EAAE,CAAC,CAAC;IAC/F,CAAC;IAED,OAAO,EAAE,KAAK,EAAE,EAAE,aAAa,EAAE,EAAE,EAAE,eAAe,EAAE,OAAO,EAAE,IAAI,EAAE,EAAE,EAAE;QACvE,wEAAwE;QACxE,gCAAgC;QAEhC,OAAO,OAAO,CAAC,EAAE,MAAM,EAAE,UAAU,EAAE,CAAC,CAAC;IACzC,CAAC;CACF,CAAC,CAAC"}