@lit-protocol/vincent-ability-sdk 0.0.1-ea
This diff represents the content of publicly available package versions that have been released to one of the supported registries. The information contained in this diff is provided for informational purposes only and reflects changes between package versions as they appear in their respective public registries.
- package/CHANGELOG.md +64 -0
- package/CONTRIBUTING.md +117 -0
- package/README.md +213 -0
- package/dist/package.json +44 -0
- package/dist/src/index.d.ts +15 -0
- package/dist/src/index.d.ts.map +1 -0
- package/dist/src/index.js +21 -0
- package/dist/src/index.js.map +1 -0
- package/dist/src/internal.d.ts +12 -0
- package/dist/src/internal.d.ts.map +1 -0
- package/dist/src/internal.js +32 -0
- package/dist/src/internal.js.map +1 -0
- package/dist/src/lib/abilityCore/abilityConfig/context/abilityContext.d.ts +28 -0
- package/dist/src/lib/abilityCore/abilityConfig/context/abilityContext.d.ts.map +1 -0
- package/dist/src/lib/abilityCore/abilityConfig/context/abilityContext.js +51 -0
- package/dist/src/lib/abilityCore/abilityConfig/context/abilityContext.js.map +1 -0
- package/dist/src/lib/abilityCore/abilityConfig/context/resultCreators.d.ts +18 -0
- package/dist/src/lib/abilityCore/abilityConfig/context/resultCreators.d.ts.map +1 -0
- package/dist/src/lib/abilityCore/abilityConfig/context/resultCreators.js +48 -0
- package/dist/src/lib/abilityCore/abilityConfig/context/resultCreators.js.map +1 -0
- package/dist/src/lib/abilityCore/abilityConfig/context/types.d.ts +31 -0
- package/dist/src/lib/abilityCore/abilityConfig/context/types.d.ts.map +1 -0
- package/dist/src/lib/abilityCore/abilityConfig/context/types.js +9 -0
- package/dist/src/lib/abilityCore/abilityConfig/context/types.js.map +1 -0
- package/dist/src/lib/abilityCore/abilityConfig/types.d.ts +20 -0
- package/dist/src/lib/abilityCore/abilityConfig/types.d.ts.map +1 -0
- package/dist/src/lib/abilityCore/abilityConfig/types.js +4 -0
- package/dist/src/lib/abilityCore/abilityConfig/types.js.map +1 -0
- package/dist/src/lib/abilityCore/bundledAbility/bundledAbility.d.ts +5 -0
- package/dist/src/lib/abilityCore/bundledAbility/bundledAbility.d.ts.map +1 -0
- package/dist/src/lib/abilityCore/bundledAbility/bundledAbility.js +21 -0
- package/dist/src/lib/abilityCore/bundledAbility/bundledAbility.js.map +1 -0
- package/dist/src/lib/abilityCore/bundledAbility/types.d.ts +18 -0
- package/dist/src/lib/abilityCore/bundledAbility/types.d.ts.map +1 -0
- package/dist/src/lib/abilityCore/bundledAbility/types.js +4 -0
- package/dist/src/lib/abilityCore/bundledAbility/types.js.map +1 -0
- package/dist/src/lib/abilityCore/helpers/getMappedAbilityPolicyParams.d.ts +5 -0
- package/dist/src/lib/abilityCore/helpers/getMappedAbilityPolicyParams.d.ts.map +1 -0
- package/dist/src/lib/abilityCore/helpers/getMappedAbilityPolicyParams.js +18 -0
- package/dist/src/lib/abilityCore/helpers/getMappedAbilityPolicyParams.js.map +1 -0
- package/dist/src/lib/abilityCore/helpers/getPkpInfo.d.ts +10 -0
- package/dist/src/lib/abilityCore/helpers/getPkpInfo.d.ts.map +1 -0
- package/dist/src/lib/abilityCore/helpers/getPkpInfo.js +26 -0
- package/dist/src/lib/abilityCore/helpers/getPkpInfo.js.map +1 -0
- package/dist/src/lib/abilityCore/helpers/index.d.ts +5 -0
- package/dist/src/lib/abilityCore/helpers/index.d.ts.map +1 -0
- package/dist/src/lib/abilityCore/helpers/index.js +12 -0
- package/dist/src/lib/abilityCore/helpers/index.js.map +1 -0
- package/dist/src/lib/abilityCore/helpers/resultCreators.d.ts +21 -0
- package/dist/src/lib/abilityCore/helpers/resultCreators.d.ts.map +1 -0
- package/dist/src/lib/abilityCore/helpers/resultCreators.js +48 -0
- package/dist/src/lib/abilityCore/helpers/resultCreators.js.map +1 -0
- package/dist/src/lib/abilityCore/helpers/supportedPoliciesForAbility.d.ts +55 -0
- package/dist/src/lib/abilityCore/helpers/supportedPoliciesForAbility.d.ts.map +1 -0
- package/dist/src/lib/abilityCore/helpers/supportedPoliciesForAbility.js +68 -0
- package/dist/src/lib/abilityCore/helpers/supportedPoliciesForAbility.js.map +1 -0
- package/dist/src/lib/abilityCore/helpers/typeGuards.d.ts +8 -0
- package/dist/src/lib/abilityCore/helpers/typeGuards.d.ts.map +1 -0
- package/dist/src/lib/abilityCore/helpers/typeGuards.js +28 -0
- package/dist/src/lib/abilityCore/helpers/typeGuards.js.map +1 -0
- package/dist/src/lib/abilityCore/helpers/validatePolicies.d.ts +24 -0
- package/dist/src/lib/abilityCore/helpers/validatePolicies.d.ts.map +1 -0
- package/dist/src/lib/abilityCore/helpers/validatePolicies.js +31 -0
- package/dist/src/lib/abilityCore/helpers/validatePolicies.js.map +1 -0
- package/dist/src/lib/abilityCore/helpers/zod.d.ts +43 -0
- package/dist/src/lib/abilityCore/helpers/zod.d.ts.map +1 -0
- package/dist/src/lib/abilityCore/helpers/zod.js +70 -0
- package/dist/src/lib/abilityCore/helpers/zod.js.map +1 -0
- package/dist/src/lib/abilityCore/vincentAbility.d.ts +54 -0
- package/dist/src/lib/abilityCore/vincentAbility.d.ts.map +1 -0
- package/dist/src/lib/abilityCore/vincentAbility.js +162 -0
- package/dist/src/lib/abilityCore/vincentAbility.js.map +1 -0
- package/dist/src/lib/assertSupportedAbilityVersion.d.ts +2 -0
- package/dist/src/lib/assertSupportedAbilityVersion.d.ts.map +1 -0
- package/dist/src/lib/assertSupportedAbilityVersion.js +15 -0
- package/dist/src/lib/assertSupportedAbilityVersion.js.map +1 -0
- package/dist/src/lib/constants.d.ts +2 -0
- package/dist/src/lib/constants.d.ts.map +1 -0
- package/dist/src/lib/constants.js +5 -0
- package/dist/src/lib/constants.js.map +1 -0
- package/dist/src/lib/handlers/constants.d.ts +2 -0
- package/dist/src/lib/handlers/constants.d.ts.map +1 -0
- package/dist/src/lib/handlers/constants.js +6 -0
- package/dist/src/lib/handlers/constants.js.map +1 -0
- package/dist/src/lib/handlers/evaluatePolicies.d.ts +11 -0
- package/dist/src/lib/handlers/evaluatePolicies.d.ts.map +1 -0
- package/dist/src/lib/handlers/evaluatePolicies.js +110 -0
- package/dist/src/lib/handlers/evaluatePolicies.js.map +1 -0
- package/dist/src/lib/handlers/vincentAbilityHandler.d.ts +15 -0
- package/dist/src/lib/handlers/vincentAbilityHandler.d.ts.map +1 -0
- package/dist/src/lib/handlers/vincentAbilityHandler.js +160 -0
- package/dist/src/lib/handlers/vincentAbilityHandler.js.map +1 -0
- package/dist/src/lib/handlers/vincentPolicyHandler.d.ts +13 -0
- package/dist/src/lib/handlers/vincentPolicyHandler.d.ts.map +1 -0
- package/dist/src/lib/handlers/vincentPolicyHandler.js +70 -0
- package/dist/src/lib/handlers/vincentPolicyHandler.js.map +1 -0
- package/dist/src/lib/policyCore/bundledPolicy/bundledPolicy.d.ts +5 -0
- package/dist/src/lib/policyCore/bundledPolicy/bundledPolicy.d.ts.map +1 -0
- package/dist/src/lib/policyCore/bundledPolicy/bundledPolicy.js +21 -0
- package/dist/src/lib/policyCore/bundledPolicy/bundledPolicy.js.map +1 -0
- package/dist/src/lib/policyCore/bundledPolicy/types.d.ts +17 -0
- package/dist/src/lib/policyCore/bundledPolicy/types.d.ts.map +1 -0
- package/dist/src/lib/policyCore/bundledPolicy/types.js +4 -0
- package/dist/src/lib/policyCore/bundledPolicy/types.js.map +1 -0
- package/dist/src/lib/policyCore/helpers/index.d.ts +5 -0
- package/dist/src/lib/policyCore/helpers/index.d.ts.map +1 -0
- package/dist/src/lib/policyCore/helpers/index.js +16 -0
- package/dist/src/lib/policyCore/helpers/index.js.map +1 -0
- package/dist/src/lib/policyCore/helpers/resultCreators.d.ts +38 -0
- package/dist/src/lib/policyCore/helpers/resultCreators.d.ts.map +1 -0
- package/dist/src/lib/policyCore/helpers/resultCreators.js +89 -0
- package/dist/src/lib/policyCore/helpers/resultCreators.js.map +1 -0
- package/dist/src/lib/policyCore/helpers/typeGuards.d.ts +7 -0
- package/dist/src/lib/policyCore/helpers/typeGuards.d.ts.map +1 -0
- package/dist/src/lib/policyCore/helpers/typeGuards.js +23 -0
- package/dist/src/lib/policyCore/helpers/typeGuards.js.map +1 -0
- package/dist/src/lib/policyCore/helpers/zod.d.ts +55 -0
- package/dist/src/lib/policyCore/helpers/zod.d.ts.map +1 -0
- package/dist/src/lib/policyCore/helpers/zod.js +82 -0
- package/dist/src/lib/policyCore/helpers/zod.js.map +1 -0
- package/dist/src/lib/policyCore/index.d.ts +3 -0
- package/dist/src/lib/policyCore/index.d.ts.map +1 -0
- package/dist/src/lib/policyCore/index.js +8 -0
- package/dist/src/lib/policyCore/index.js.map +1 -0
- package/dist/src/lib/policyCore/policyConfig/context/policyConfigContext.d.ts +12 -0
- package/dist/src/lib/policyCore/policyConfig/context/policyConfigContext.d.ts.map +1 -0
- package/dist/src/lib/policyCore/policyConfig/context/policyConfigContext.js +20 -0
- package/dist/src/lib/policyCore/policyConfig/context/policyConfigContext.js.map +1 -0
- package/dist/src/lib/policyCore/policyConfig/context/resultCreators.d.ts +6 -0
- package/dist/src/lib/policyCore/policyConfig/context/resultCreators.d.ts.map +1 -0
- package/dist/src/lib/policyCore/policyConfig/context/resultCreators.js +30 -0
- package/dist/src/lib/policyCore/policyConfig/context/resultCreators.js.map +1 -0
- package/dist/src/lib/policyCore/policyConfig/context/types.d.ts +24 -0
- package/dist/src/lib/policyCore/policyConfig/context/types.d.ts.map +1 -0
- package/dist/src/lib/policyCore/policyConfig/context/types.js +5 -0
- package/dist/src/lib/policyCore/policyConfig/context/types.js.map +1 -0
- package/dist/src/lib/policyCore/policyConfig/types.d.ts +46 -0
- package/dist/src/lib/policyCore/policyConfig/types.d.ts.map +1 -0
- package/dist/src/lib/policyCore/policyConfig/types.js +3 -0
- package/dist/src/lib/policyCore/policyConfig/types.js.map +1 -0
- package/dist/src/lib/policyCore/policyParameters/getOnchainPolicyParams.d.ts +17 -0
- package/dist/src/lib/policyCore/policyParameters/getOnchainPolicyParams.d.ts.map +1 -0
- package/dist/src/lib/policyCore/policyParameters/getOnchainPolicyParams.js +54 -0
- package/dist/src/lib/policyCore/policyParameters/getOnchainPolicyParams.js.map +1 -0
- package/dist/src/lib/policyCore/vincentPolicy.d.ts +92 -0
- package/dist/src/lib/policyCore/vincentPolicy.d.ts.map +1 -0
- package/dist/src/lib/policyCore/vincentPolicy.js +242 -0
- package/dist/src/lib/policyCore/vincentPolicy.js.map +1 -0
- package/dist/src/lib/types.d.ts +260 -0
- package/dist/src/lib/types.d.ts.map +1 -0
- package/dist/src/lib/types.js +4 -0
- package/dist/src/lib/types.js.map +1 -0
- package/dist/src/lib/utils.d.ts +2 -0
- package/dist/src/lib/utils.d.ts.map +1 -0
- package/dist/src/lib/utils.js +8 -0
- package/dist/src/lib/utils.js.map +1 -0
- package/dist/src/type-inference-verification/ability-definition-tests.d.ts +702 -0
- package/dist/src/type-inference-verification/ability-definition-tests.d.ts.map +1 -0
- package/dist/src/type-inference-verification/ability-definition-tests.js +203 -0
- package/dist/src/type-inference-verification/ability-definition-tests.js.map +1 -0
- package/dist/src/type-inference-verification/ability-lifecycle-inference.d.ts +2 -0
- package/dist/src/type-inference-verification/ability-lifecycle-inference.d.ts.map +1 -0
- package/dist/src/type-inference-verification/ability-lifecycle-inference.js +109 -0
- package/dist/src/type-inference-verification/ability-lifecycle-inference.js.map +1 -0
- package/dist/src/type-inference-verification/ability-lifecycle-succeed-fail-tests.d.ts +923 -0
- package/dist/src/type-inference-verification/ability-lifecycle-succeed-fail-tests.d.ts.map +1 -0
- package/dist/src/type-inference-verification/ability-lifecycle-succeed-fail-tests.js +196 -0
- package/dist/src/type-inference-verification/ability-lifecycle-succeed-fail-tests.js.map +1 -0
- package/dist/src/type-inference-verification/allow-deny-test-cases-ability.d.ts +4305 -0
- package/dist/src/type-inference-verification/allow-deny-test-cases-ability.d.ts.map +1 -0
- package/dist/src/type-inference-verification/allow-deny-test-cases-ability.js +644 -0
- package/dist/src/type-inference-verification/allow-deny-test-cases-ability.js.map +1 -0
- package/dist/src/type-inference-verification/allow-deny-test-cases.d.ts +646 -0
- package/dist/src/type-inference-verification/allow-deny-test-cases.d.ts.map +1 -0
- package/dist/src/type-inference-verification/allow-deny-test-cases.js +264 -0
- package/dist/src/type-inference-verification/allow-deny-test-cases.js.map +1 -0
- package/dist/src/type-inference-verification/context-switching-tests.d.ts +637 -0
- package/dist/src/type-inference-verification/context-switching-tests.d.ts.map +1 -0
- package/dist/src/type-inference-verification/context-switching-tests.js +229 -0
- package/dist/src/type-inference-verification/context-switching-tests.js.map +1 -0
- package/dist/src/type-inference-verification/create-policy-map-from-tool-policies.d.ts +2 -0
- package/dist/src/type-inference-verification/create-policy-map-from-tool-policies.d.ts.map +1 -0
- package/dist/src/type-inference-verification/create-policy-map-from-tool-policies.js +56 -0
- package/dist/src/type-inference-verification/create-policy-map-from-tool-policies.js.map +1 -0
- package/dist/src/type-inference-verification/create-vincent-ability-policy.d.ts +2 -0
- package/dist/src/type-inference-verification/create-vincent-ability-policy.d.ts.map +1 -0
- package/dist/src/type-inference-verification/create-vincent-ability-policy.js +49 -0
- package/dist/src/type-inference-verification/create-vincent-ability-policy.js.map +1 -0
- package/dist/src/type-inference-verification/create-vincent-ability.d.ts +250 -0
- package/dist/src/type-inference-verification/create-vincent-ability.d.ts.map +1 -0
- package/dist/src/type-inference-verification/create-vincent-ability.js +68 -0
- package/dist/src/type-inference-verification/create-vincent-ability.js.map +1 -0
- package/dist/src/type-inference-verification/parameter-inference-tests-tool.d.ts +1710 -0
- package/dist/src/type-inference-verification/parameter-inference-tests-tool.d.ts.map +1 -0
- package/dist/src/type-inference-verification/parameter-inference-tests-tool.js +537 -0
- package/dist/src/type-inference-verification/parameter-inference-tests-tool.js.map +1 -0
- package/dist/src/type-inference-verification/parameter-inference-tests.d.ts +456 -0
- package/dist/src/type-inference-verification/parameter-inference-tests.d.ts.map +1 -0
- package/dist/src/type-inference-verification/parameter-inference-tests.js +179 -0
- package/dist/src/type-inference-verification/parameter-inference-tests.js.map +1 -0
- package/dist/src/type-inference-verification/playground.d.ts +1556 -0
- package/dist/src/type-inference-verification/playground.d.ts.map +1 -0
- package/dist/src/type-inference-verification/playground.js +473 -0
- package/dist/src/type-inference-verification/playground.js.map +1 -0
- package/dist/src/type-inference-verification/schema-test.d.ts +470 -0
- package/dist/src/type-inference-verification/schema-test.d.ts.map +1 -0
- package/dist/src/type-inference-verification/schema-test.js +252 -0
- package/dist/src/type-inference-verification/schema-test.js.map +1 -0
- package/package.json +43 -0
|
@@ -0,0 +1 @@
|
|
|
1
|
+
{"version":3,"file":"playground.d.ts","sourceRoot":"","sources":["../../../src/type-inference-verification/playground.ts"],"names":[],"mappings":"AAAA,OAAO,EAAE,CAAC,EAAE,MAAM,KAAK,CAAC;AA8QxB,eAAO,MAAM,SAAS;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;GA+HpB,CAAC;AAEH,eAAO,MAAM,UAAU;;;;;GA6CtB,CAAC;AAEF,eAAO,MAAM,IAAI,wBAwFhB,CAAC"}
|
|
@@ -0,0 +1,473 @@
|
|
|
1
|
+
"use strict";
|
|
2
|
+
Object.defineProperty(exports, "__esModule", { value: true });
|
|
3
|
+
exports.gogo = exports.gogoPolicy = exports.myAbility = void 0;
|
|
4
|
+
const zod_1 = require("zod");
|
|
5
|
+
const helpers_1 = require("../lib/abilityCore/helpers");
|
|
6
|
+
const vincentAbility_1 = require("../lib/abilityCore/vincentAbility");
|
|
7
|
+
const bundledPolicy_1 = require("../lib/policyCore/bundledPolicy/bundledPolicy");
|
|
8
|
+
const helpers_2 = require("../lib/policyCore/helpers");
|
|
9
|
+
const resultCreators_1 = require("../lib/policyCore/helpers/resultCreators");
|
|
10
|
+
const vincentPolicy_1 = require("../lib/policyCore/vincentPolicy");
|
|
11
|
+
// Define your ability schema
|
|
12
|
+
const myAbilitySchema = zod_1.z.object({
|
|
13
|
+
action: zod_1.z.string(),
|
|
14
|
+
target: zod_1.z.string(),
|
|
15
|
+
amount: zod_1.z.number(),
|
|
16
|
+
});
|
|
17
|
+
/* eslint-disable @typescript-eslint/no-unused-vars */
|
|
18
|
+
// Define policy schemas
|
|
19
|
+
const policy1Schema = zod_1.z.object({
|
|
20
|
+
targetAllowed: zod_1.z.boolean(),
|
|
21
|
+
actionType: zod_1.z.string(),
|
|
22
|
+
});
|
|
23
|
+
const userParams1Schema = zod_1.z.object({ allowedTargets: zod_1.z.array(zod_1.z.string()) });
|
|
24
|
+
const commitParams1Schema = zod_1.z.object({ confirmation: zod_1.z.boolean() });
|
|
25
|
+
// Define the result schemas for policy1
|
|
26
|
+
const policy1EvalAllowResult = zod_1.z.string(); // Result when allowed
|
|
27
|
+
const policy1EvalDenyResult = zod_1.z.object({
|
|
28
|
+
reason: zod_1.z.string(),
|
|
29
|
+
numTries: zod_1.z.number(),
|
|
30
|
+
}); // Result when denied
|
|
31
|
+
const policy1CommitAllowResult = zod_1.z.object({ success: zod_1.z.boolean() });
|
|
32
|
+
const policy1CommitDenyResult = zod_1.z.object({ errorCode: zod_1.z.number() });
|
|
33
|
+
// Create policies with full type inference
|
|
34
|
+
const PolicyConfig1 = (0, vincentPolicy_1.createVincentPolicy)({
|
|
35
|
+
packageName: 'extra-rate-limit',
|
|
36
|
+
abilityParamsSchema: policy1Schema,
|
|
37
|
+
userParamsSchema: userParams1Schema,
|
|
38
|
+
commitParamsSchema: commitParams1Schema,
|
|
39
|
+
// Define schema types explicitly (optional but helpful for validation)
|
|
40
|
+
evalAllowResultSchema: policy1EvalAllowResult,
|
|
41
|
+
evalDenyResultSchema: policy1EvalDenyResult,
|
|
42
|
+
commitAllowResultSchema: policy1CommitAllowResult,
|
|
43
|
+
commitDenyResultSchema: policy1CommitDenyResult,
|
|
44
|
+
precheck: async ({ abilityParams, userParams }, context) => {
|
|
45
|
+
const wat = userParams.allowedTargets;
|
|
46
|
+
console.log(wat);
|
|
47
|
+
if (abilityParams.targetAllowed) {
|
|
48
|
+
return context.allow();
|
|
49
|
+
}
|
|
50
|
+
else {
|
|
51
|
+
return context.deny();
|
|
52
|
+
}
|
|
53
|
+
},
|
|
54
|
+
evaluate: async ({ abilityParams, userParams }, context) => {
|
|
55
|
+
const targetIsAllowed = userParams.allowedTargets.includes('example');
|
|
56
|
+
if (targetIsAllowed && abilityParams.targetAllowed) {
|
|
57
|
+
return context.allow('APPROVED');
|
|
58
|
+
}
|
|
59
|
+
else {
|
|
60
|
+
return context.deny({
|
|
61
|
+
reason: 'Target not in allowed list',
|
|
62
|
+
numTries: 1,
|
|
63
|
+
});
|
|
64
|
+
}
|
|
65
|
+
},
|
|
66
|
+
commit: async (params, context) => {
|
|
67
|
+
if (params.confirmation) {
|
|
68
|
+
return context.allow({ success: true });
|
|
69
|
+
}
|
|
70
|
+
else {
|
|
71
|
+
return context.deny({ errorCode: 400 });
|
|
72
|
+
}
|
|
73
|
+
},
|
|
74
|
+
});
|
|
75
|
+
const policy1 = (0, vincentPolicy_1.createVincentAbilityPolicy)({
|
|
76
|
+
abilityParamsSchema: myAbilitySchema,
|
|
77
|
+
bundledVincentPolicy: (0, bundledPolicy_1.asBundledVincentPolicy)(PolicyConfig1, 'QmX7Dqn4zYhJVvXYwKr8cFX5Xp7gVpqK5r8QHwvF8zYjXa'),
|
|
78
|
+
abilityParameterMappings: {
|
|
79
|
+
target: 'targetAllowed',
|
|
80
|
+
action: 'actionType',
|
|
81
|
+
},
|
|
82
|
+
});
|
|
83
|
+
// Define the result schemas for policy2
|
|
84
|
+
const policy2Schema = zod_1.z.object({
|
|
85
|
+
maxAmount: zod_1.z.number(),
|
|
86
|
+
currency: zod_1.z.string(),
|
|
87
|
+
});
|
|
88
|
+
const userParams2Schema = zod_1.z.object({ limit: zod_1.z.number() });
|
|
89
|
+
const commitParams2Schema = zod_1.z.object({ transactionId: zod_1.z.string() });
|
|
90
|
+
// For policy2, let's use different result types
|
|
91
|
+
const policy2PrecheckAllowResult = zod_1.z.object({ validatedAmount: zod_1.z.number() });
|
|
92
|
+
const policy2PrecheckDenyResult = zod_1.z.object({ limitExceeded: zod_1.z.boolean() });
|
|
93
|
+
const policy2EvalAllowResult = zod_1.z.object({ approvedCurrency: zod_1.z.string() });
|
|
94
|
+
const policy2EvalDenyResult = zod_1.z.object({
|
|
95
|
+
reason: zod_1.z.string(),
|
|
96
|
+
code: zod_1.z.number(),
|
|
97
|
+
});
|
|
98
|
+
const policy2CommitAllowResult = zod_1.z.object({
|
|
99
|
+
transaction: zod_1.z.string(),
|
|
100
|
+
timestamp: zod_1.z.number(),
|
|
101
|
+
});
|
|
102
|
+
const policy2CommitDenyResult = zod_1.z.object({ failureReason: zod_1.z.string() });
|
|
103
|
+
const PolicyConfig2 = (0, vincentPolicy_1.createVincentPolicy)({
|
|
104
|
+
packageName: 'rate-limit',
|
|
105
|
+
abilityParamsSchema: policy2Schema,
|
|
106
|
+
userParamsSchema: userParams2Schema,
|
|
107
|
+
commitParamsSchema: commitParams2Schema,
|
|
108
|
+
// Define schema types explicitly
|
|
109
|
+
precheckAllowResultSchema: policy2PrecheckAllowResult,
|
|
110
|
+
precheckDenyResultSchema: policy2PrecheckDenyResult,
|
|
111
|
+
evalAllowResultSchema: policy2EvalAllowResult,
|
|
112
|
+
evalDenyResultSchema: policy2EvalDenyResult,
|
|
113
|
+
commitAllowResultSchema: policy2CommitAllowResult,
|
|
114
|
+
commitDenyResultSchema: policy2CommitDenyResult,
|
|
115
|
+
precheck: async ({ abilityParams, userParams }, context) => {
|
|
116
|
+
const isWithinLimit = abilityParams.maxAmount <= userParams.limit;
|
|
117
|
+
if (isWithinLimit) {
|
|
118
|
+
return context.allow({ validatedAmount: 1983 });
|
|
119
|
+
}
|
|
120
|
+
else {
|
|
121
|
+
return context.deny({ limitExceeded: true });
|
|
122
|
+
}
|
|
123
|
+
},
|
|
124
|
+
evaluate: async ({ abilityParams, userParams }, context) => {
|
|
125
|
+
const isValidCurrency = ['USD', 'EUR', 'GBP'].includes(abilityParams.currency);
|
|
126
|
+
const isWithinLimit = abilityParams.maxAmount <= userParams.limit;
|
|
127
|
+
if (isValidCurrency && isWithinLimit) {
|
|
128
|
+
return context.allow({ approvedCurrency: abilityParams.currency });
|
|
129
|
+
}
|
|
130
|
+
else {
|
|
131
|
+
const reason = !isValidCurrency
|
|
132
|
+
? `Currency ${abilityParams.currency} is not supported`
|
|
133
|
+
: `Amount ${abilityParams.maxAmount} exceeds limit ${userParams.limit}`;
|
|
134
|
+
return context.deny({
|
|
135
|
+
reason: reason,
|
|
136
|
+
code: !isValidCurrency ? 415 : 400,
|
|
137
|
+
});
|
|
138
|
+
}
|
|
139
|
+
},
|
|
140
|
+
commit: async (params, context) => {
|
|
141
|
+
// For demo purposes, let's say transactions with "fail" in the ID will be denied
|
|
142
|
+
if (!params.transactionId.includes('fail')) {
|
|
143
|
+
return context.allow({
|
|
144
|
+
transaction: `completed-${params.transactionId}`,
|
|
145
|
+
timestamp: Date.now(),
|
|
146
|
+
});
|
|
147
|
+
}
|
|
148
|
+
else {
|
|
149
|
+
return context.deny({
|
|
150
|
+
failureReason: 'Invalid transaction ID format',
|
|
151
|
+
});
|
|
152
|
+
}
|
|
153
|
+
},
|
|
154
|
+
});
|
|
155
|
+
const policy2 = (0, vincentPolicy_1.createVincentAbilityPolicy)({
|
|
156
|
+
abilityParamsSchema: myAbilitySchema,
|
|
157
|
+
bundledVincentPolicy: (0, bundledPolicy_1.asBundledVincentPolicy)(PolicyConfig2, 'QmYwAPJzv5CZsnA625s3Xf2nemtYgPpHdWEz79ojWnPbdG'),
|
|
158
|
+
abilityParameterMappings: {
|
|
159
|
+
amount: 'maxAmount',
|
|
160
|
+
action: 'currency',
|
|
161
|
+
},
|
|
162
|
+
});
|
|
163
|
+
// Define schemas for policy3
|
|
164
|
+
const policy3AbilityParams = zod_1.z.object({
|
|
165
|
+
abilityName: zod_1.z.string(),
|
|
166
|
+
maxUsage: zod_1.z.number(),
|
|
167
|
+
});
|
|
168
|
+
const policy3UserParams = zod_1.z.object({
|
|
169
|
+
userAddress: zod_1.z.string(),
|
|
170
|
+
accessLevel: zod_1.z.enum(['basic', 'premium', 'admin']),
|
|
171
|
+
});
|
|
172
|
+
const policy3EvalAllowResult = zod_1.z.object({
|
|
173
|
+
message: zod_1.z.string(),
|
|
174
|
+
timedate: zod_1.z.date(),
|
|
175
|
+
});
|
|
176
|
+
const policy3EvalDenyResult = zod_1.z.object({
|
|
177
|
+
reason: zod_1.z.string(),
|
|
178
|
+
numberOfTries: zod_1.z.number(),
|
|
179
|
+
suggestedAccessLevel: zod_1.z.enum(['basic', 'premium', 'admin']).optional(),
|
|
180
|
+
});
|
|
181
|
+
// Create policy3 without a commit function
|
|
182
|
+
const PolicyConfig3 = (0, vincentPolicy_1.createVincentPolicy)({
|
|
183
|
+
packageName: 'vincent-ability-sdk',
|
|
184
|
+
abilityParamsSchema: policy3AbilityParams,
|
|
185
|
+
userParamsSchema: policy3UserParams,
|
|
186
|
+
evalAllowResultSchema: policy3EvalAllowResult,
|
|
187
|
+
evalDenyResultSchema: policy3EvalDenyResult,
|
|
188
|
+
commit: async (_, { deny, allow }) => {
|
|
189
|
+
return allow();
|
|
190
|
+
},
|
|
191
|
+
// Only has evaluate, no precheck or commit
|
|
192
|
+
evaluate: async ({ abilityParams, userParams }, context) => {
|
|
193
|
+
// Policy logic: Allow only premium and admin users
|
|
194
|
+
if (userParams.accessLevel === 'basic') {
|
|
195
|
+
return context.deny({
|
|
196
|
+
reason: 'Basic users cannot access this ability',
|
|
197
|
+
suggestedAccessLevel: 'premium',
|
|
198
|
+
numberOfTries: 1,
|
|
199
|
+
});
|
|
200
|
+
}
|
|
201
|
+
return context.allow({
|
|
202
|
+
message: `Access granted to ${abilityParams.abilityName}`,
|
|
203
|
+
timedate: new Date(),
|
|
204
|
+
});
|
|
205
|
+
},
|
|
206
|
+
});
|
|
207
|
+
const policy3 = (0, vincentPolicy_1.createVincentAbilityPolicy)({
|
|
208
|
+
abilityParamsSchema: myAbilitySchema,
|
|
209
|
+
bundledVincentPolicy: (0, bundledPolicy_1.asBundledVincentPolicy)(PolicyConfig3, 'QmYwAasdPJzv5CZA625s3Xf2nemtYgPpHdWEz79ojWnPbdG'),
|
|
210
|
+
abilityParameterMappings: {
|
|
211
|
+
amount: 'abilityName',
|
|
212
|
+
},
|
|
213
|
+
});
|
|
214
|
+
const abilityExecuteSuccessSchema = zod_1.z.object({
|
|
215
|
+
executedAction: zod_1.z.string(),
|
|
216
|
+
targetAddress: zod_1.z.string(),
|
|
217
|
+
transactionAmount: zod_1.z.number(),
|
|
218
|
+
timestamp: zod_1.z.number(),
|
|
219
|
+
txHash: zod_1.z.string(),
|
|
220
|
+
});
|
|
221
|
+
const abilityExecuteFailSchema = zod_1.z.object({
|
|
222
|
+
errorCode: zod_1.z.number(),
|
|
223
|
+
errorMessage: zod_1.z.string(),
|
|
224
|
+
suggestion: zod_1.z.string().optional(),
|
|
225
|
+
});
|
|
226
|
+
const abilityPrecheckSuccessSchema = zod_1.z.object({
|
|
227
|
+
validatedParams: zod_1.z.boolean(),
|
|
228
|
+
message: zod_1.z.string(),
|
|
229
|
+
});
|
|
230
|
+
const abilityPrecheckFailSchema = zod_1.z.object({
|
|
231
|
+
invalidField: zod_1.z.string(),
|
|
232
|
+
reason: zod_1.z.string(),
|
|
233
|
+
});
|
|
234
|
+
// Create your ability with fully typed policies
|
|
235
|
+
exports.myAbility = (0, vincentAbility_1.createVincentAbility)({
|
|
236
|
+
packageName: '@lit-protocol/awesome-ability@1.0.2',
|
|
237
|
+
abilityDescription: 'Awesome Ability',
|
|
238
|
+
abilityParamsSchema: myAbilitySchema,
|
|
239
|
+
supportedPolicies: (0, helpers_1.supportedPoliciesForAbility)([policy1, policy2, policy3]),
|
|
240
|
+
// Add schemas for ability results
|
|
241
|
+
executeSuccessSchema: abilityExecuteSuccessSchema,
|
|
242
|
+
executeFailSchema: abilityExecuteFailSchema,
|
|
243
|
+
precheckSuccessSchema: abilityPrecheckSuccessSchema,
|
|
244
|
+
precheckFailSchema: abilityPrecheckFailSchema,
|
|
245
|
+
precheck: async ({ abilityParams }, { fail, policiesContext: { allow, allowedPolicies, deniedPolicy }, succeed }) => {
|
|
246
|
+
// Basic validation
|
|
247
|
+
if (!abilityParams.action || !abilityParams.target) {
|
|
248
|
+
return fail({
|
|
249
|
+
invalidField: !abilityParams.action ? 'action' : 'target',
|
|
250
|
+
reason: 'Required field is empty or missing',
|
|
251
|
+
});
|
|
252
|
+
}
|
|
253
|
+
// Amount validation
|
|
254
|
+
if (abilityParams.amount <= 0) {
|
|
255
|
+
return fail({
|
|
256
|
+
invalidField: 'amount',
|
|
257
|
+
reason: 'Amount must be greater than zero',
|
|
258
|
+
});
|
|
259
|
+
}
|
|
260
|
+
// Process policy results if needed
|
|
261
|
+
if (allow) {
|
|
262
|
+
// Type-safe access to policies
|
|
263
|
+
const extraRateLimitResults = allowedPolicies['extra-rate-limit'];
|
|
264
|
+
if (extraRateLimitResults) {
|
|
265
|
+
const policy1Result = extraRateLimitResults.result;
|
|
266
|
+
console.log('policy1Result', policy1Result);
|
|
267
|
+
}
|
|
268
|
+
const rateLimitResults = allowedPolicies['rate-limit'];
|
|
269
|
+
if (rateLimitResults) {
|
|
270
|
+
const policy2Result = rateLimitResults.result;
|
|
271
|
+
console.log(policy2Result);
|
|
272
|
+
}
|
|
273
|
+
const abilitySdkResults = allowedPolicies['vincent-ability-sdk'];
|
|
274
|
+
if (abilitySdkResults) {
|
|
275
|
+
const policy3Result = abilitySdkResults.result;
|
|
276
|
+
console.log(policy3Result);
|
|
277
|
+
}
|
|
278
|
+
// Return success result
|
|
279
|
+
return succeed({
|
|
280
|
+
validatedParams: true,
|
|
281
|
+
message: `All parameters validated for ${abilityParams.action} on ${abilityParams.target}`,
|
|
282
|
+
});
|
|
283
|
+
}
|
|
284
|
+
else {
|
|
285
|
+
// Handle the denial case
|
|
286
|
+
const denyReason = deniedPolicy.runtimeError || 'Policy check failed';
|
|
287
|
+
return fail({
|
|
288
|
+
invalidField: 'policy',
|
|
289
|
+
reason: denyReason,
|
|
290
|
+
});
|
|
291
|
+
}
|
|
292
|
+
},
|
|
293
|
+
execute: async ({ abilityParams }, { policiesContext, fail, succeed }) => {
|
|
294
|
+
try {
|
|
295
|
+
// Simulate successful execution
|
|
296
|
+
if (abilityParams.action === 'transfer' && abilityParams.amount > 0) {
|
|
297
|
+
// Execute the transaction
|
|
298
|
+
const txHash = `0x${Math.random().toString(16).substring(2, 10)}`;
|
|
299
|
+
// Use commit functions from policies if available
|
|
300
|
+
const extraRateLimitPolicyContext = policiesContext.allowedPolicies['extra-rate-limit'];
|
|
301
|
+
if (extraRateLimitPolicyContext) {
|
|
302
|
+
const commitResult = await extraRateLimitPolicyContext.commit({
|
|
303
|
+
confirmation: true,
|
|
304
|
+
});
|
|
305
|
+
console.log(commitResult);
|
|
306
|
+
}
|
|
307
|
+
const rateLimitPolicyContext = policiesContext.allowedPolicies['rate-limit'];
|
|
308
|
+
if (rateLimitPolicyContext) {
|
|
309
|
+
const commitResult = await rateLimitPolicyContext.commit({
|
|
310
|
+
transactionId: txHash,
|
|
311
|
+
});
|
|
312
|
+
console.log(commitResult);
|
|
313
|
+
}
|
|
314
|
+
const abilitySdkPolicyContext = policiesContext.allowedPolicies['vincent-ability-sdk'];
|
|
315
|
+
if (abilitySdkPolicyContext) {
|
|
316
|
+
const commitResult = await abilitySdkPolicyContext.commit();
|
|
317
|
+
const wat = commitResult.allow;
|
|
318
|
+
console.log(wat);
|
|
319
|
+
if (commitResult.allow) {
|
|
320
|
+
console.log(commitResult.result);
|
|
321
|
+
}
|
|
322
|
+
}
|
|
323
|
+
// Return success with typed result
|
|
324
|
+
return succeed({
|
|
325
|
+
executedAction: abilityParams.action,
|
|
326
|
+
targetAddress: abilityParams.target,
|
|
327
|
+
transactionAmount: abilityParams.amount,
|
|
328
|
+
timestamp: Date.now(),
|
|
329
|
+
txHash,
|
|
330
|
+
});
|
|
331
|
+
}
|
|
332
|
+
else {
|
|
333
|
+
// Simulate a failure case
|
|
334
|
+
return fail({
|
|
335
|
+
errorCode: 400,
|
|
336
|
+
errorMessage: `Cannot perform ${abilityParams.action} operation`,
|
|
337
|
+
suggestion: 'Try a "transfer" action instead',
|
|
338
|
+
});
|
|
339
|
+
}
|
|
340
|
+
}
|
|
341
|
+
catch (error) {
|
|
342
|
+
// Handle any unexpected errors
|
|
343
|
+
return fail({
|
|
344
|
+
errorCode: 500,
|
|
345
|
+
errorMessage: 'Internal execution error',
|
|
346
|
+
});
|
|
347
|
+
}
|
|
348
|
+
},
|
|
349
|
+
});
|
|
350
|
+
const gogoPolicy = async function () {
|
|
351
|
+
await policy3.vincentPolicy.evaluate({
|
|
352
|
+
abilityParams: {
|
|
353
|
+
abilityName: 'wat',
|
|
354
|
+
maxUsage: 2383,
|
|
355
|
+
},
|
|
356
|
+
userParams: { userAddress: 'meow', accessLevel: 'basic' },
|
|
357
|
+
}, {
|
|
358
|
+
delegation: {
|
|
359
|
+
delegateeAddress: 'meow',
|
|
360
|
+
delegatorPkpInfo: {
|
|
361
|
+
tokenId: '90128301832',
|
|
362
|
+
ethAddress: '0x102398103981032',
|
|
363
|
+
publicKey: '0398103810938ef987ef978fe987ef',
|
|
364
|
+
},
|
|
365
|
+
},
|
|
366
|
+
abilityIpfsCid: 'oijskljfdj',
|
|
367
|
+
appId: 123123,
|
|
368
|
+
appVersion: 123,
|
|
369
|
+
});
|
|
370
|
+
if (policy2.vincentPolicy.commit) {
|
|
371
|
+
return policy2.vincentPolicy.commit({
|
|
372
|
+
transactionId: '10981328981279487',
|
|
373
|
+
}, {
|
|
374
|
+
abilityIpfsCid: 'oijskljfdj',
|
|
375
|
+
appId: 123123,
|
|
376
|
+
appVersion: 123,
|
|
377
|
+
delegation: {
|
|
378
|
+
delegateeAddress: 'meow',
|
|
379
|
+
delegatorPkpInfo: {
|
|
380
|
+
tokenId: '90128301832',
|
|
381
|
+
ethAddress: '0x102398103981032',
|
|
382
|
+
publicKey: '0398103810938ef987ef978fe987ef',
|
|
383
|
+
},
|
|
384
|
+
},
|
|
385
|
+
});
|
|
386
|
+
}
|
|
387
|
+
return true;
|
|
388
|
+
};
|
|
389
|
+
exports.gogoPolicy = gogoPolicy;
|
|
390
|
+
const gogo = async function () {
|
|
391
|
+
const abilityExecuteResult = await exports.myAbility.execute({ abilityParams: { action: 'wat', target: 'meow', amount: 23098123 } }, {
|
|
392
|
+
abilityIpfsCid: 'oijskljfdj',
|
|
393
|
+
appId: 123123,
|
|
394
|
+
appVersion: 123,
|
|
395
|
+
delegation: {
|
|
396
|
+
delegateeAddress: 'meow',
|
|
397
|
+
delegatorPkpInfo: {
|
|
398
|
+
tokenId: '90128301832',
|
|
399
|
+
ethAddress: '0x102398103981032',
|
|
400
|
+
publicKey: '0398103810938ef987ef978fe987ef',
|
|
401
|
+
},
|
|
402
|
+
},
|
|
403
|
+
policiesContext: {
|
|
404
|
+
allow: true,
|
|
405
|
+
evaluatedPolicies: ['extra-rate-limit', 'rate-limit'],
|
|
406
|
+
allowedPolicies: {
|
|
407
|
+
'extra-rate-limit': {
|
|
408
|
+
// @ts-expect-error result for this policy is a string
|
|
409
|
+
result: { this_is_wrong: true },
|
|
410
|
+
},
|
|
411
|
+
'rate-limit': {
|
|
412
|
+
result: {
|
|
413
|
+
approvedCurrency: 'USD',
|
|
414
|
+
},
|
|
415
|
+
commit: async (params) => {
|
|
416
|
+
if (!params.transactionId.includes('fail')) {
|
|
417
|
+
return (0, resultCreators_1.createAllowResult)({
|
|
418
|
+
result: {
|
|
419
|
+
transaction: `completed-${params.transactionId}`,
|
|
420
|
+
timestamp: 1700000000000,
|
|
421
|
+
},
|
|
422
|
+
});
|
|
423
|
+
}
|
|
424
|
+
else {
|
|
425
|
+
return (0, helpers_2.createDenyResult)({
|
|
426
|
+
result: {
|
|
427
|
+
failureReason: 'Invalid transaction ID format',
|
|
428
|
+
},
|
|
429
|
+
});
|
|
430
|
+
}
|
|
431
|
+
},
|
|
432
|
+
},
|
|
433
|
+
},
|
|
434
|
+
},
|
|
435
|
+
});
|
|
436
|
+
console.log(abilityExecuteResult);
|
|
437
|
+
if (exports.myAbility.precheck) {
|
|
438
|
+
await exports.myAbility.precheck({ abilityParams: { action: 'wat', target: 'meow', amount: 23098123 } }, {
|
|
439
|
+
abilityIpfsCid: 'oijskljfdj',
|
|
440
|
+
appId: 123123,
|
|
441
|
+
appVersion: 123,
|
|
442
|
+
delegation: {
|
|
443
|
+
delegateeAddress: 'meow',
|
|
444
|
+
delegatorPkpInfo: {
|
|
445
|
+
tokenId: '90128301832',
|
|
446
|
+
ethAddress: '0x102398103981032',
|
|
447
|
+
publicKey: '0398103810938ef987ef978fe987ef',
|
|
448
|
+
},
|
|
449
|
+
},
|
|
450
|
+
policiesContext: {
|
|
451
|
+
allow: false,
|
|
452
|
+
deniedPolicy: {
|
|
453
|
+
packageName: 'extra-rate-limit',
|
|
454
|
+
result: { reason: 'wth', numTries: 1 },
|
|
455
|
+
},
|
|
456
|
+
evaluatedPolicies: ['extra-rate-limit', 'rate-limit'],
|
|
457
|
+
allowedPolicies: {
|
|
458
|
+
'extra-rate-limit': {
|
|
459
|
+
result: 'wat',
|
|
460
|
+
},
|
|
461
|
+
'rate-limit': {
|
|
462
|
+
result: {
|
|
463
|
+
approvedCurrency: 'USD',
|
|
464
|
+
},
|
|
465
|
+
},
|
|
466
|
+
},
|
|
467
|
+
},
|
|
468
|
+
});
|
|
469
|
+
}
|
|
470
|
+
return true;
|
|
471
|
+
};
|
|
472
|
+
exports.gogo = gogo;
|
|
473
|
+
//# sourceMappingURL=playground.js.map
|
|
@@ -0,0 +1 @@
|
|
|
1
|
+
{"version":3,"file":"playground.js","sourceRoot":"","sources":["../../../src/type-inference-verification/playground.ts"],"names":[],"mappings":";;;AAAA,6BAAwB;AAExB,wDAAyE;AACzE,sEAAyE;AACzE,iFAAuF;AACvF,uDAA6D;AAC7D,6EAA6E;AAC7E,mEAAkG;AAElG,6BAA6B;AAC7B,MAAM,eAAe,GAAG,OAAC,CAAC,MAAM,CAAC;IAC/B,MAAM,EAAE,OAAC,CAAC,MAAM,EAAE;IAClB,MAAM,EAAE,OAAC,CAAC,MAAM,EAAE;IAClB,MAAM,EAAE,OAAC,CAAC,MAAM,EAAE;CACnB,CAAC,CAAC;AACH,sDAAsD;AAEtD,wBAAwB;AACxB,MAAM,aAAa,GAAG,OAAC,CAAC,MAAM,CAAC;IAC7B,aAAa,EAAE,OAAC,CAAC,OAAO,EAAE;IAC1B,UAAU,EAAE,OAAC,CAAC,MAAM,EAAE;CACvB,CAAC,CAAC;AACH,MAAM,iBAAiB,GAAG,OAAC,CAAC,MAAM,CAAC,EAAE,cAAc,EAAE,OAAC,CAAC,KAAK,CAAC,OAAC,CAAC,MAAM,EAAE,CAAC,EAAE,CAAC,CAAC;AAC5E,MAAM,mBAAmB,GAAG,OAAC,CAAC,MAAM,CAAC,EAAE,YAAY,EAAE,OAAC,CAAC,OAAO,EAAE,EAAE,CAAC,CAAC;AAEpE,wCAAwC;AACxC,MAAM,sBAAsB,GAAG,OAAC,CAAC,MAAM,EAAE,CAAC,CAAC,sBAAsB;AACjE,MAAM,qBAAqB,GAAG,OAAC,CAAC,MAAM,CAAC;IACrC,MAAM,EAAE,OAAC,CAAC,MAAM,EAAE;IAClB,QAAQ,EAAE,OAAC,CAAC,MAAM,EAAE;CACrB,CAAC,CAAC,CAAC,qBAAqB;AACzB,MAAM,wBAAwB,GAAG,OAAC,CAAC,MAAM,CAAC,EAAE,OAAO,EAAE,OAAC,CAAC,OAAO,EAAE,EAAE,CAAC,CAAC;AACpE,MAAM,uBAAuB,GAAG,OAAC,CAAC,MAAM,CAAC,EAAE,SAAS,EAAE,OAAC,CAAC,MAAM,EAAE,EAAE,CAAC,CAAC;AAEpE,2CAA2C;AAC3C,MAAM,aAAa,GAAG,IAAA,mCAAmB,EAAC;IACxC,WAAW,EAAE,kBAA2B;IACxC,mBAAmB,EAAE,aAAa;IAClC,gBAAgB,EAAE,iBAAiB;IACnC,kBAAkB,EAAE,mBAAmB;IAEvC,uEAAuE;IACvE,qBAAqB,EAAE,sBAAsB;IAC7C,oBAAoB,EAAE,qBAAqB;IAC3C,uBAAuB,EAAE,wBAAwB;IACjD,sBAAsB,EAAE,uBAAuB;IAE/C,QAAQ,EAAE,KAAK,EAAE,EAAE,aAAa,EAAE,UAAU,EAAE,EAAE,OAAO,EAAE,EAAE;QACzD,MAAM,GAAG,GAAG,UAAU,CAAC,cAAc,CAAC;QACtC,OAAO,CAAC,GAAG,CAAC,GAAG,CAAC,CAAC;QACjB,IAAI,aAAa,CAAC,aAAa,EAAE,CAAC;YAChC,OAAO,OAAO,CAAC,KAAK,EAAE,CAAC;QACzB,CAAC;aAAM,CAAC;YACN,OAAO,OAAO,CAAC,IAAI,EAAE,CAAC;QACxB,CAAC;IACH,CAAC;IAED,QAAQ,EAAE,KAAK,EAAE,EAAE,aAAa,EAAE,UAAU,EAAE,EAAE,OAAO,EAAE,EAAE;QACzD,MAAM,eAAe,GAAG,UAAU,CAAC,cAAc,CAAC,QAAQ,CAAC,SAAS,CAAC,CAAC;QAEtE,IAAI,eAAe,IAAI,aAAa,CAAC,aAAa,EAAE,CAAC;YACnD,OAAO,OAAO,CAAC,KAAK,CAAC,UAAU,CAAC,CAAC;QACnC,CAAC;aAAM,CAAC;YACN,OAAO,OAAO,CAAC,IAAI,CAAC;gBAClB,MAAM,EAAE,4BAA4B;gBACpC,QAAQ,EAAE,CAAC;aACZ,CAAC,CAAC;QACL,CAAC;IACH,CAAC;IAED,MAAM,EAAE,KAAK,EAAE,MAAM,EAAE,OAAO,EAAE,EAAE;QAChC,IAAI,MAAM,CAAC,YAAY,EAAE,CAAC;YACxB,OAAO,OAAO,CAAC,KAAK,CAAC,EAAE,OAAO,EAAE,IAAI,EAAE,CAAC,CAAC;QAC1C,CAAC;aAAM,CAAC;YACN,OAAO,OAAO,CAAC,IAAI,CAAC,EAAE,SAAS,EAAE,GAAG,EAAE,CAAC,CAAC;QAC1C,CAAC;IACH,CAAC;CACF,CAAC,CAAC;AAEH,MAAM,OAAO,GAAG,IAAA,0CAA0B,EAAC;IACzC,mBAAmB,EAAE,eAAe;IACpC,oBAAoB,EAAE,IAAA,sCAAsB,EAC1C,aAAa,EACb,gDAAyD,CAC1D;IACD,wBAAwB,EAAE;QACxB,MAAM,EAAE,eAAe;QACvB,MAAM,EAAE,YAAY;KACrB;CACF,CAAC,CAAC;AAEH,wCAAwC;AACxC,MAAM,aAAa,GAAG,OAAC,CAAC,MAAM,CAAC;IAC7B,SAAS,EAAE,OAAC,CAAC,MAAM,EAAE;IACrB,QAAQ,EAAE,OAAC,CAAC,MAAM,EAAE;CACrB,CAAC,CAAC;AACH,MAAM,iBAAiB,GAAG,OAAC,CAAC,MAAM,CAAC,EAAE,KAAK,EAAE,OAAC,CAAC,MAAM,EAAE,EAAE,CAAC,CAAC;AAC1D,MAAM,mBAAmB,GAAG,OAAC,CAAC,MAAM,CAAC,EAAE,aAAa,EAAE,OAAC,CAAC,MAAM,EAAE,EAAE,CAAC,CAAC;AAEpE,gDAAgD;AAChD,MAAM,0BAA0B,GAAG,OAAC,CAAC,MAAM,CAAC,EAAE,eAAe,EAAE,OAAC,CAAC,MAAM,EAAE,EAAE,CAAC,CAAC;AAC7E,MAAM,yBAAyB,GAAG,OAAC,CAAC,MAAM,CAAC,EAAE,aAAa,EAAE,OAAC,CAAC,OAAO,EAAE,EAAE,CAAC,CAAC;AAC3E,MAAM,sBAAsB,GAAG,OAAC,CAAC,MAAM,CAAC,EAAE,gBAAgB,EAAE,OAAC,CAAC,MAAM,EAAE,EAAE,CAAC,CAAC;AAC1E,MAAM,qBAAqB,GAAG,OAAC,CAAC,MAAM,CAAC;IACrC,MAAM,EAAE,OAAC,CAAC,MAAM,EAAE;IAClB,IAAI,EAAE,OAAC,CAAC,MAAM,EAAE;CACjB,CAAC,CAAC;AACH,MAAM,wBAAwB,GAAG,OAAC,CAAC,MAAM,CAAC;IACxC,WAAW,EAAE,OAAC,CAAC,MAAM,EAAE;IACvB,SAAS,EAAE,OAAC,CAAC,MAAM,EAAE;CACtB,CAAC,CAAC;AACH,MAAM,uBAAuB,GAAG,OAAC,CAAC,MAAM,CAAC,EAAE,aAAa,EAAE,OAAC,CAAC,MAAM,EAAE,EAAE,CAAC,CAAC;AAExE,MAAM,aAAa,GAAG,IAAA,mCAAmB,EAAC;IACxC,WAAW,EAAE,YAAqB;IAClC,mBAAmB,EAAE,aAAa;IAClC,gBAAgB,EAAE,iBAAiB;IACnC,kBAAkB,EAAE,mBAAmB;IAEvC,iCAAiC;IACjC,yBAAyB,EAAE,0BAA0B;IACrD,wBAAwB,EAAE,yBAAyB;IACnD,qBAAqB,EAAE,sBAAsB;IAC7C,oBAAoB,EAAE,qBAAqB;IAC3C,uBAAuB,EAAE,wBAAwB;IACjD,sBAAsB,EAAE,uBAAuB;IAE/C,QAAQ,EAAE,KAAK,EAAE,EAAE,aAAa,EAAE,UAAU,EAAE,EAAE,OAAO,EAAE,EAAE;QACzD,MAAM,aAAa,GAAG,aAAa,CAAC,SAAS,IAAI,UAAU,CAAC,KAAK,CAAC;QAElE,IAAI,aAAa,EAAE,CAAC;YAClB,OAAO,OAAO,CAAC,KAAK,CAAC,EAAE,eAAe,EAAE,IAAI,EAAE,CAAC,CAAC;QAClD,CAAC;aAAM,CAAC;YACN,OAAO,OAAO,CAAC,IAAI,CAAC,EAAE,aAAa,EAAE,IAAI,EAAE,CAAC,CAAC;QAC/C,CAAC;IACH,CAAC;IAED,QAAQ,EAAE,KAAK,EAAE,EAAE,aAAa,EAAE,UAAU,EAAE,EAAE,OAAO,EAAE,EAAE;QACzD,MAAM,eAAe,GAAG,CAAC,KAAK,EAAE,KAAK,EAAE,KAAK,CAAC,CAAC,QAAQ,CAAC,aAAa,CAAC,QAAQ,CAAC,CAAC;QAC/E,MAAM,aAAa,GAAG,aAAa,CAAC,SAAS,IAAI,UAAU,CAAC,KAAK,CAAC;QAElE,IAAI,eAAe,IAAI,aAAa,EAAE,CAAC;YACrC,OAAO,OAAO,CAAC,KAAK,CAAC,EAAE,gBAAgB,EAAE,aAAa,CAAC,QAAQ,EAAE,CAAC,CAAC;QACrE,CAAC;aAAM,CAAC;YACN,MAAM,MAAM,GAAG,CAAC,eAAe;gBAC7B,CAAC,CAAC,YAAY,aAAa,CAAC,QAAQ,mBAAmB;gBACvD,CAAC,CAAC,UAAU,aAAa,CAAC,SAAS,kBAAkB,UAAU,CAAC,KAAK,EAAE,CAAC;YAE1E,OAAO,OAAO,CAAC,IAAI,CAAC;gBAClB,MAAM,EAAE,MAAM;gBACd,IAAI,EAAE,CAAC,eAAe,CAAC,CAAC,CAAC,GAAG,CAAC,CAAC,CAAC,GAAG;aACnC,CAAC,CAAC;QACL,CAAC;IACH,CAAC;IAED,MAAM,EAAE,KAAK,EAAE,MAAM,EAAE,OAAO,EAAE,EAAE;QAChC,iFAAiF;QACjF,IAAI,CAAC,MAAM,CAAC,aAAa,CAAC,QAAQ,CAAC,MAAM,CAAC,EAAE,CAAC;YAC3C,OAAO,OAAO,CAAC,KAAK,CAAC;gBACnB,WAAW,EAAE,aAAa,MAAM,CAAC,aAAa,EAAE;gBAChD,SAAS,EAAE,IAAI,CAAC,GAAG,EAAE;aACtB,CAAC,CAAC;QACL,CAAC;aAAM,CAAC;YACN,OAAO,OAAO,CAAC,IAAI,CAAC;gBAClB,aAAa,EAAE,+BAA+B;aAC/C,CAAC,CAAC;QACL,CAAC;IACH,CAAC;CACF,CAAC,CAAC;AAEH,MAAM,OAAO,GAAG,IAAA,0CAA0B,EAAC;IACzC,mBAAmB,EAAE,eAAe;IACpC,oBAAoB,EAAE,IAAA,sCAAsB,EAC1C,aAAa,EACb,gDAAyD,CAC1D;IACD,wBAAwB,EAAE;QACxB,MAAM,EAAE,WAAW;QACnB,MAAM,EAAE,UAAU;KACnB;CACF,CAAC,CAAC;AAEH,6BAA6B;AAC7B,MAAM,oBAAoB,GAAG,OAAC,CAAC,MAAM,CAAC;IACpC,WAAW,EAAE,OAAC,CAAC,MAAM,EAAE;IACvB,QAAQ,EAAE,OAAC,CAAC,MAAM,EAAE;CACrB,CAAC,CAAC;AAEH,MAAM,iBAAiB,GAAG,OAAC,CAAC,MAAM,CAAC;IACjC,WAAW,EAAE,OAAC,CAAC,MAAM,EAAE;IACvB,WAAW,EAAE,OAAC,CAAC,IAAI,CAAC,CAAC,OAAO,EAAE,SAAS,EAAE,OAAO,CAAC,CAAC;CACnD,CAAC,CAAC;AAEH,MAAM,sBAAsB,GAAG,OAAC,CAAC,MAAM,CAAC;IACtC,OAAO,EAAE,OAAC,CAAC,MAAM,EAAE;IACnB,QAAQ,EAAE,OAAC,CAAC,IAAI,EAAE;CACnB,CAAC,CAAC;AAEH,MAAM,qBAAqB,GAAG,OAAC,CAAC,MAAM,CAAC;IACrC,MAAM,EAAE,OAAC,CAAC,MAAM,EAAE;IAClB,aAAa,EAAE,OAAC,CAAC,MAAM,EAAE;IACzB,oBAAoB,EAAE,OAAC,CAAC,IAAI,CAAC,CAAC,OAAO,EAAE,SAAS,EAAE,OAAO,CAAC,CAAC,CAAC,QAAQ,EAAE;CACvE,CAAC,CAAC;AAEH,2CAA2C;AAC3C,MAAM,aAAa,GAAG,IAAA,mCAAmB,EAAC;IACxC,WAAW,EAAE,qBAA8B;IAC3C,mBAAmB,EAAE,oBAAoB;IACzC,gBAAgB,EAAE,iBAAiB;IACnC,qBAAqB,EAAE,sBAAsB;IAC7C,oBAAoB,EAAE,qBAAqB;IAE3C,MAAM,EAAE,KAAK,EAAE,CAAC,EAAE,EAAE,IAAI,EAAE,KAAK,EAAE,EAAE,EAAE;QACnC,OAAO,KAAK,EAAE,CAAC;IACjB,CAAC;IAED,2CAA2C;IAC3C,QAAQ,EAAE,KAAK,EAAE,EAAE,aAAa,EAAE,UAAU,EAAE,EAAE,OAAO,EAAE,EAAE;QACzD,mDAAmD;QACnD,IAAI,UAAU,CAAC,WAAW,KAAK,OAAO,EAAE,CAAC;YACvC,OAAO,OAAO,CAAC,IAAI,CAAC;gBAClB,MAAM,EAAE,wCAAwC;gBAChD,oBAAoB,EAAE,SAAS;gBAC/B,aAAa,EAAE,CAAC;aACjB,CAAC,CAAC;QACL,CAAC;QAED,OAAO,OAAO,CAAC,KAAK,CAAC;YACnB,OAAO,EAAE,qBAAqB,aAAa,CAAC,WAAW,EAAE;YACzD,QAAQ,EAAE,IAAI,IAAI,EAAE;SACrB,CAAC,CAAC;IACL,CAAC;CACF,CAAC,CAAC;AAEH,MAAM,OAAO,GAAG,IAAA,0CAA0B,EAAC;IACzC,mBAAmB,EAAE,eAAe;IACpC,oBAAoB,EAAE,IAAA,sCAAsB,EAC1C,aAAa,EACb,iDAA0D,CAC3D;IACD,wBAAwB,EAAE;QACxB,MAAM,EAAE,aAAa;KACtB;CACF,CAAC,CAAC;AAEH,MAAM,2BAA2B,GAAG,OAAC,CAAC,MAAM,CAAC;IAC3C,cAAc,EAAE,OAAC,CAAC,MAAM,EAAE;IAC1B,aAAa,EAAE,OAAC,CAAC,MAAM,EAAE;IACzB,iBAAiB,EAAE,OAAC,CAAC,MAAM,EAAE;IAC7B,SAAS,EAAE,OAAC,CAAC,MAAM,EAAE;IACrB,MAAM,EAAE,OAAC,CAAC,MAAM,EAAE;CACnB,CAAC,CAAC;AAEH,MAAM,wBAAwB,GAAG,OAAC,CAAC,MAAM,CAAC;IACxC,SAAS,EAAE,OAAC,CAAC,MAAM,EAAE;IACrB,YAAY,EAAE,OAAC,CAAC,MAAM,EAAE;IACxB,UAAU,EAAE,OAAC,CAAC,MAAM,EAAE,CAAC,QAAQ,EAAE;CAClC,CAAC,CAAC;AAEH,MAAM,4BAA4B,GAAG,OAAC,CAAC,MAAM,CAAC;IAC5C,eAAe,EAAE,OAAC,CAAC,OAAO,EAAE;IAC5B,OAAO,EAAE,OAAC,CAAC,MAAM,EAAE;CACpB,CAAC,CAAC;AAEH,MAAM,yBAAyB,GAAG,OAAC,CAAC,MAAM,CAAC;IACzC,YAAY,EAAE,OAAC,CAAC,MAAM,EAAE;IACxB,MAAM,EAAE,OAAC,CAAC,MAAM,EAAE;CACnB,CAAC,CAAC;AAEH,gDAAgD;AACnC,QAAA,SAAS,GAAG,IAAA,qCAAoB,EAAC;IAC5C,WAAW,EAAE,qCAAqC;IAClD,kBAAkB,EAAE,iBAAiB;IACrC,mBAAmB,EAAE,eAAe;IACpC,iBAAiB,EAAE,IAAA,qCAA2B,EAAC,CAAC,OAAO,EAAE,OAAO,EAAE,OAAO,CAAC,CAAC;IAE3E,kCAAkC;IAClC,oBAAoB,EAAE,2BAA2B;IACjD,iBAAiB,EAAE,wBAAwB;IAC3C,qBAAqB,EAAE,4BAA4B;IACnD,kBAAkB,EAAE,yBAAyB;IAE7C,QAAQ,EAAE,KAAK,EACb,EAAE,aAAa,EAAE,EACjB,EAAE,IAAI,EAAE,eAAe,EAAE,EAAE,KAAK,EAAE,eAAe,EAAE,YAAY,EAAE,EAAE,OAAO,EAAE,EAC5E,EAAE;QACF,mBAAmB;QACnB,IAAI,CAAC,aAAa,CAAC,MAAM,IAAI,CAAC,aAAa,CAAC,MAAM,EAAE,CAAC;YACnD,OAAO,IAAI,CAAC;gBACV,YAAY,EAAE,CAAC,aAAa,CAAC,MAAM,CAAC,CAAC,CAAC,QAAQ,CAAC,CAAC,CAAC,QAAQ;gBACzD,MAAM,EAAE,oCAAoC;aAC7C,CAAC,CAAC;QACL,CAAC;QAED,oBAAoB;QACpB,IAAI,aAAa,CAAC,MAAM,IAAI,CAAC,EAAE,CAAC;YAC9B,OAAO,IAAI,CAAC;gBACV,YAAY,EAAE,QAAQ;gBACtB,MAAM,EAAE,kCAAkC;aAC3C,CAAC,CAAC;QACL,CAAC;QAED,mCAAmC;QACnC,IAAI,KAAK,EAAE,CAAC;YACV,+BAA+B;YAC/B,MAAM,qBAAqB,GAAG,eAAe,CAAC,kBAAkB,CAAC,CAAC;YAClE,IAAI,qBAAqB,EAAE,CAAC;gBAC1B,MAAM,aAAa,GAAG,qBAAqB,CAAC,MAAM,CAAC;gBACnD,OAAO,CAAC,GAAG,CAAC,eAAe,EAAE,aAAa,CAAC,CAAC;YAC9C,CAAC;YAED,MAAM,gBAAgB,GAAG,eAAe,CAAC,YAAY,CAAC,CAAC;YACvD,IAAI,gBAAgB,EAAE,CAAC;gBACrB,MAAM,aAAa,GAAG,gBAAgB,CAAC,MAAM,CAAC;gBAC9C,OAAO,CAAC,GAAG,CAAC,aAAa,CAAC,CAAC;YAC7B,CAAC;YACD,MAAM,iBAAiB,GAAG,eAAe,CAAC,qBAAqB,CAAC,CAAC;YAEjE,IAAI,iBAAiB,EAAE,CAAC;gBACtB,MAAM,aAAa,GAAG,iBAAiB,CAAC,MAAM,CAAC;gBAC/C,OAAO,CAAC,GAAG,CAAC,aAAa,CAAC,CAAC;YAC7B,CAAC;YAED,wBAAwB;YACxB,OAAO,OAAO,CAAC;gBACb,eAAe,EAAE,IAAI;gBACrB,OAAO,EAAE,gCAAgC,aAAa,CAAC,MAAM,OAAO,aAAa,CAAC,MAAM,EAAE;aAC3F,CAAC,CAAC;QACL,CAAC;aAAM,CAAC;YACN,yBAAyB;YACzB,MAAM,UAAU,GAAG,YAAY,CAAC,YAAY,IAAI,qBAAqB,CAAC;YAEtE,OAAO,IAAI,CAAC;gBACV,YAAY,EAAE,QAAQ;gBACtB,MAAM,EAAE,UAAU;aACnB,CAAC,CAAC;QACL,CAAC;IACH,CAAC;IAED,OAAO,EAAE,KAAK,EAAE,EAAE,aAAa,EAAE,EAAE,EAAE,eAAe,EAAE,IAAI,EAAE,OAAO,EAAE,EAAE,EAAE;QACvE,IAAI,CAAC;YACH,gCAAgC;YAChC,IAAI,aAAa,CAAC,MAAM,KAAK,UAAU,IAAI,aAAa,CAAC,MAAM,GAAG,CAAC,EAAE,CAAC;gBACpE,0BAA0B;gBAC1B,MAAM,MAAM,GAAG,KAAK,IAAI,CAAC,MAAM,EAAE,CAAC,QAAQ,CAAC,EAAE,CAAC,CAAC,SAAS,CAAC,CAAC,EAAE,EAAE,CAAC,EAAE,CAAC;gBAElE,kDAAkD;gBAClD,MAAM,2BAA2B,GAAG,eAAe,CAAC,eAAe,CAAC,kBAAkB,CAAC,CAAC;gBACxF,IAAI,2BAA2B,EAAE,CAAC;oBAChC,MAAM,YAAY,GAAG,MAAM,2BAA2B,CAAC,MAAM,CAAC;wBAC5D,YAAY,EAAE,IAAI;qBACnB,CAAC,CAAC;oBACH,OAAO,CAAC,GAAG,CAAC,YAAY,CAAC,CAAC;gBAC5B,CAAC;gBAED,MAAM,sBAAsB,GAAG,eAAe,CAAC,eAAe,CAAC,YAAY,CAAC,CAAC;gBAC7E,IAAI,sBAAsB,EAAE,CAAC;oBAC3B,MAAM,YAAY,GAAG,MAAM,sBAAsB,CAAC,MAAM,CAAC;wBACvD,aAAa,EAAE,MAAM;qBACtB,CAAC,CAAC;oBACH,OAAO,CAAC,GAAG,CAAC,YAAY,CAAC,CAAC;gBAC5B,CAAC;gBACD,MAAM,uBAAuB,GAAG,eAAe,CAAC,eAAe,CAAC,qBAAqB,CAAC,CAAC;gBACvF,IAAI,uBAAuB,EAAE,CAAC;oBAC5B,MAAM,YAAY,GAAG,MAAM,uBAAuB,CAAC,MAAM,EAAE,CAAC;oBAE5D,MAAM,GAAG,GAAY,YAAY,CAAC,KAAK,CAAC;oBACxC,OAAO,CAAC,GAAG,CAAC,GAAG,CAAC,CAAC;oBACjB,IAAI,YAAY,CAAC,KAAK,EAAE,CAAC;wBACvB,OAAO,CAAC,GAAG,CAAC,YAAY,CAAC,MAAM,CAAC,CAAC;oBACnC,CAAC;gBACH,CAAC;gBAED,mCAAmC;gBACnC,OAAO,OAAO,CAAC;oBACb,cAAc,EAAE,aAAa,CAAC,MAAM;oBACpC,aAAa,EAAE,aAAa,CAAC,MAAM;oBACnC,iBAAiB,EAAE,aAAa,CAAC,MAAM;oBACvC,SAAS,EAAE,IAAI,CAAC,GAAG,EAAE;oBACrB,MAAM;iBACP,CAAC,CAAC;YACL,CAAC;iBAAM,CAAC;gBACN,0BAA0B;gBAC1B,OAAO,IAAI,CAAC;oBACV,SAAS,EAAE,GAAG;oBACd,YAAY,EAAE,kBAAkB,aAAa,CAAC,MAAM,YAAY;oBAChE,UAAU,EAAE,iCAAiC;iBAC9C,CAAC,CAAC;YACL,CAAC;QACH,CAAC;QAAC,OAAO,KAAK,EAAE,CAAC;YACf,+BAA+B;YAC/B,OAAO,IAAI,CAAC;gBACV,SAAS,EAAE,GAAG;gBACd,YAAY,EAAE,0BAA0B;aACzC,CAAC,CAAC;QACL,CAAC;IACH,CAAC;CACF,CAAC,CAAC;AAEI,MAAM,UAAU,GAAG,KAAK;IAC7B,MAAM,OAAO,CAAC,aAAa,CAAC,QAAQ,CAClC;QACE,aAAa,EAAE;YACb,WAAW,EAAE,KAAK;YAClB,QAAQ,EAAE,IAAI;SACf;QACD,UAAU,EAAE,EAAE,WAAW,EAAE,MAAM,EAAE,WAAW,EAAE,OAAO,EAAE;KAC1D,EACD;QACE,UAAU,EAAE;YACV,gBAAgB,EAAE,MAAM;YACxB,gBAAgB,EAAE;gBAChB,OAAO,EAAE,aAAa;gBACtB,UAAU,EAAE,mBAAmB;gBAC/B,SAAS,EAAE,gCAAgC;aAC5C;SACF;QACD,cAAc,EAAE,YAAY;QAC5B,KAAK,EAAE,MAAM;QACb,UAAU,EAAE,GAAG;KAChB,CACF,CAAC;IAEF,IAAI,OAAO,CAAC,aAAa,CAAC,MAAM,EAAE,CAAC;QACjC,OAAO,OAAO,CAAC,aAAa,CAAC,MAAM,CACjC;YACE,aAAa,EAAE,mBAAmB;SACnC,EACD;YACE,cAAc,EAAE,YAAY;YAC5B,KAAK,EAAE,MAAM;YACb,UAAU,EAAE,GAAG;YACf,UAAU,EAAE;gBACV,gBAAgB,EAAE,MAAM;gBACxB,gBAAgB,EAAE;oBAChB,OAAO,EAAE,aAAa;oBACtB,UAAU,EAAE,mBAAmB;oBAC/B,SAAS,EAAE,gCAAgC;iBAC5C;aACF;SACF,CACF,CAAC;IACJ,CAAC;IACD,OAAO,IAAI,CAAC;AACd,CAAC,CAAC;AA7CW,QAAA,UAAU,cA6CrB;AAEK,MAAM,IAAI,GAAG,KAAK;IACvB,MAAM,oBAAoB,GAAG,MAAM,iBAAS,CAAC,OAAO,CAClD,EAAE,aAAa,EAAE,EAAE,MAAM,EAAE,KAAK,EAAE,MAAM,EAAE,MAAM,EAAE,MAAM,EAAE,QAAQ,EAAE,EAAE,EACtE;QACE,cAAc,EAAE,YAAY;QAC5B,KAAK,EAAE,MAAM;QACb,UAAU,EAAE,GAAG;QACf,UAAU,EAAE;YACV,gBAAgB,EAAE,MAAM;YACxB,gBAAgB,EAAE;gBAChB,OAAO,EAAE,aAAa;gBACtB,UAAU,EAAE,mBAAmB;gBAC/B,SAAS,EAAE,gCAAgC;aAC5C;SACF;QACD,eAAe,EAAE;YACf,KAAK,EAAE,IAAI;YACX,iBAAiB,EAAE,CAAC,kBAAkB,EAAE,YAAY,CAAC;YACrD,eAAe,EAAE;gBACf,kBAAkB,EAAE;oBAClB,sDAAsD;oBACtD,MAAM,EAAE,EAAE,aAAa,EAAE,IAAI,EAAE;iBAChC;gBACD,YAAY,EAAE;oBACZ,MAAM,EAAE;wBACN,gBAAgB,EAAE,KAAK;qBACxB;oBACD,MAAM,EAAE,KAAK,EAAE,MAAM,EAAE,EAAE;wBACvB,IAAI,CAAC,MAAM,CAAC,aAAa,CAAC,QAAQ,CAAC,MAAM,CAAC,EAAE,CAAC;4BAC3C,OAAO,IAAA,kCAAiB,EAAC;gCACvB,MAAM,EAAE;oCACN,WAAW,EAAE,aAAa,MAAM,CAAC,aAAa,EAAE;oCAChD,SAAS,EAAE,aAAa;iCACzB;6BACF,CAAC,CAAC;wBACL,CAAC;6BAAM,CAAC;4BACN,OAAO,IAAA,0BAAgB,EAAC;gCACtB,MAAM,EAAE;oCACN,aAAa,EAAE,+BAA+B;iCAC/C;6BACF,CAAC,CAAC;wBACL,CAAC;oBACH,CAAC;iBACF;aACF;SACF;KACF,CACF,CAAC;IAEF,OAAO,CAAC,GAAG,CAAC,oBAAoB,CAAC,CAAC;IAElC,IAAI,iBAAS,CAAC,QAAQ,EAAE,CAAC;QACvB,MAAM,iBAAS,CAAC,QAAQ,CACtB,EAAE,aAAa,EAAE,EAAE,MAAM,EAAE,KAAK,EAAE,MAAM,EAAE,MAAM,EAAE,MAAM,EAAE,QAAQ,EAAE,EAAE,EACtE;YACE,cAAc,EAAE,YAAY;YAC5B,KAAK,EAAE,MAAM;YACb,UAAU,EAAE,GAAG;YACf,UAAU,EAAE;gBACV,gBAAgB,EAAE,MAAM;gBACxB,gBAAgB,EAAE;oBAChB,OAAO,EAAE,aAAa;oBACtB,UAAU,EAAE,mBAAmB;oBAC/B,SAAS,EAAE,gCAAgC;iBAC5C;aACF;YACD,eAAe,EAAE;gBACf,KAAK,EAAE,KAAK;gBACZ,YAAY,EAAE;oBACZ,WAAW,EAAE,kBAAkB;oBAC/B,MAAM,EAAE,EAAE,MAAM,EAAE,KAAK,EAAE,QAAQ,EAAE,CAAC,EAAE;iBACvC;gBACD,iBAAiB,EAAE,CAAC,kBAAkB,EAAE,YAAY,CAAC;gBACrD,eAAe,EAAE;oBACf,kBAAkB,EAAE;wBAClB,MAAM,EAAE,KAAK;qBACd;oBACD,YAAY,EAAE;wBACZ,MAAM,EAAE;4BACN,gBAAgB,EAAE,KAAK;yBACxB;qBACF;iBACF;aACF;SACF,CACF,CAAC;IACJ,CAAC;IACD,OAAO,IAAI,CAAC;AACd,CAAC,CAAC;AAxFW,QAAA,IAAI,QAwFf"}
|