@lit-protocol/vincent-app-sdk 1.0.1 → 1.0.2

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.
Files changed (67) hide show
  1. package/CHANGELOG.md +21 -0
  2. package/dist/CHANGELOG.md +21 -0
  3. package/dist/package.json +1 -1
  4. package/dist/src/index.d.ts +4 -2
  5. package/dist/src/index.d.ts.map +1 -1
  6. package/dist/src/index.js +4 -1
  7. package/dist/src/index.js.map +1 -1
  8. package/dist/src/toolClient/execute/generateVincentToolSessionSigs.d.ts +8 -0
  9. package/dist/src/toolClient/execute/generateVincentToolSessionSigs.d.ts.map +1 -0
  10. package/dist/src/toolClient/execute/generateVincentToolSessionSigs.js +33 -0
  11. package/dist/src/toolClient/execute/generateVincentToolSessionSigs.js.map +1 -0
  12. package/dist/src/toolClient/{resultCreators.d.ts → execute/resultCreators.d.ts} +9 -9
  13. package/dist/src/toolClient/execute/resultCreators.d.ts.map +1 -0
  14. package/dist/src/toolClient/{resultCreators.js → execute/resultCreators.js} +9 -9
  15. package/dist/src/toolClient/execute/resultCreators.js.map +1 -0
  16. package/dist/src/toolClient/execute/types.d.ts +35 -0
  17. package/dist/src/toolClient/execute/types.d.ts.map +1 -0
  18. package/dist/src/toolClient/execute/types.js +4 -0
  19. package/dist/src/toolClient/execute/types.js.map +1 -0
  20. package/dist/src/toolClient/index.d.ts +5 -1
  21. package/dist/src/toolClient/index.d.ts.map +1 -1
  22. package/dist/src/toolClient/index.js +4 -1
  23. package/dist/src/toolClient/index.js.map +1 -1
  24. package/dist/src/toolClient/precheck/resultCreators.d.ts +67 -0
  25. package/dist/src/toolClient/precheck/resultCreators.d.ts.map +1 -0
  26. package/dist/src/toolClient/precheck/resultCreators.js +55 -0
  27. package/dist/src/toolClient/precheck/resultCreators.js.map +1 -0
  28. package/dist/src/toolClient/precheck/runPolicyPrechecks.d.ts +13 -0
  29. package/dist/src/toolClient/precheck/runPolicyPrechecks.d.ts.map +1 -0
  30. package/dist/src/toolClient/precheck/runPolicyPrechecks.js +86 -0
  31. package/dist/src/toolClient/precheck/runPolicyPrechecks.js.map +1 -0
  32. package/dist/src/toolClient/precheck/types.d.ts +80 -0
  33. package/dist/src/toolClient/precheck/types.d.ts.map +1 -0
  34. package/dist/src/toolClient/precheck/types.js +4 -0
  35. package/dist/src/toolClient/precheck/types.js.map +1 -0
  36. package/dist/src/toolClient/typeGuards.d.ts +4 -4
  37. package/dist/src/toolClient/typeGuards.d.ts.map +1 -1
  38. package/dist/src/toolClient/types.d.ts +5 -35
  39. package/dist/src/toolClient/types.d.ts.map +1 -1
  40. package/dist/src/toolClient/types.js +1 -0
  41. package/dist/src/toolClient/types.js.map +1 -1
  42. package/dist/src/toolClient/vincentToolClient.d.ts +1 -1
  43. package/dist/src/toolClient/vincentToolClient.d.ts.map +1 -1
  44. package/dist/src/toolClient/vincentToolClient.js +36 -119
  45. package/dist/src/toolClient/vincentToolClient.js.map +1 -1
  46. package/dist/src/type-inference-verification/tool-client-inference.d.ts.map +1 -1
  47. package/dist/src/type-inference-verification/tool-client-inference.js +4 -0
  48. package/dist/src/type-inference-verification/tool-client-inference.js.map +1 -1
  49. package/dist/src/utils/contracts.d.ts +49 -0
  50. package/dist/src/utils/contracts.d.ts.map +1 -0
  51. package/dist/src/utils/contracts.js +92 -0
  52. package/dist/src/utils/contracts.js.map +1 -0
  53. package/dist/src/utils/delegation.d.ts +21 -0
  54. package/dist/src/utils/delegation.d.ts.map +1 -0
  55. package/dist/src/utils/delegation.js +87 -0
  56. package/dist/src/utils/delegation.js.map +1 -0
  57. package/dist/src/utils/index.d.ts +3 -0
  58. package/dist/src/utils/index.d.ts.map +1 -0
  59. package/dist/src/utils/index.js +6 -0
  60. package/dist/src/utils/index.js.map +1 -0
  61. package/dist/src/utils/pkp.d.ts +12 -0
  62. package/dist/src/utils/pkp.d.ts.map +1 -0
  63. package/dist/src/utils/pkp.js +19 -0
  64. package/dist/src/utils/pkp.js.map +1 -0
  65. package/package.json +2 -2
  66. package/dist/src/toolClient/resultCreators.d.ts.map +0 -1
  67. package/dist/src/toolClient/resultCreators.js.map +0 -1
@@ -0,0 +1,80 @@
1
+ import type { z } from 'zod';
2
+ import type { VincentPolicy } from '@lit-protocol/vincent-tool-sdk/internal';
3
+ import type { BaseToolContext } from '@lit-protocol/vincent-tool-sdk';
4
+ /** @category Interfaces */
5
+ export interface ToolPrecheckResponseSuccess<Result, Policies extends Record<string, any>> {
6
+ success: true;
7
+ result: Result;
8
+ context?: BaseToolContext<PolicyPrecheckResultContext<Policies>>;
9
+ }
10
+ /** @category Interfaces */
11
+ export interface ToolPrecheckResponseSuccessNoResult<Policies extends Record<string, any>> {
12
+ success: true;
13
+ result?: never;
14
+ context?: BaseToolContext<PolicyPrecheckResultContext<Policies>>;
15
+ }
16
+ /** @category Interfaces */
17
+ export interface ToolPrecheckResponseFailure<Result, Policies extends Record<string, any>> {
18
+ success: false;
19
+ error?: string;
20
+ result: Result;
21
+ context?: BaseToolContext<PolicyPrecheckResultContext<Policies>>;
22
+ }
23
+ /** @category Interfaces */
24
+ export interface ToolPrecheckResponseFailureNoResult<Policies extends Record<string, any>> {
25
+ success: false;
26
+ error?: string;
27
+ result?: never;
28
+ context?: BaseToolContext<PolicyPrecheckResultContext<Policies>>;
29
+ }
30
+ /** @category Interfaces */
31
+ export type ToolPrecheckResponse<SuccessSchema extends z.ZodType | undefined, FailSchema extends z.ZodType | undefined, Policies extends Record<string, any>> = (SuccessSchema extends z.ZodType ? ToolPrecheckResponseSuccess<z.infer<SuccessSchema>, Policies> : ToolPrecheckResponseSuccessNoResult<Policies>) | (FailSchema extends z.ZodType ? ToolPrecheckResponseFailure<z.infer<FailSchema>, Policies> : ToolPrecheckResponseFailureNoResult<Policies>);
32
+ export interface RemoteVincentToolExecutionResult<SuccessSchema extends z.ZodType | undefined, FailSchema extends z.ZodType | undefined, Policies extends Record<string, any>> {
33
+ toolExecutionResult: ToolPrecheckResponse<SuccessSchema, FailSchema, Policies>;
34
+ toolContext: BaseToolContext<PolicyPrecheckResultContext<Policies>>;
35
+ }
36
+ export type PolicyPrecheckResultContext<Policies extends Record<string, {
37
+ vincentPolicy: VincentPolicy<any, any, any, any, any, any, any, any, any, any>;
38
+ /** @hidden */
39
+ __schemaTypes?: {
40
+ policyToolParamsSchema: z.ZodType;
41
+ userParamsSchema?: z.ZodType;
42
+ evalAllowResultSchema?: z.ZodType;
43
+ evalDenyResultSchema?: z.ZodType;
44
+ commitParamsSchema?: z.ZodType;
45
+ commitAllowResultSchema?: z.ZodType;
46
+ commitDenyResultSchema?: z.ZodType;
47
+ evaluate?: Function;
48
+ precheck?: Function;
49
+ commit?: Function;
50
+ };
51
+ }>> = {
52
+ evaluatedPolicies: Array<keyof Policies>;
53
+ } & ({
54
+ allow: true;
55
+ allowedPolicies: {
56
+ [PolicyKey in keyof Policies]?: {
57
+ result: Policies[PolicyKey]['__schemaTypes'] extends {
58
+ precheckAllowResultSchema: infer Schema;
59
+ } ? Schema extends z.ZodType ? z.infer<Schema> : never : never;
60
+ };
61
+ };
62
+ deniedPolicy?: never;
63
+ } | {
64
+ allow: false;
65
+ deniedPolicy: {
66
+ error?: string;
67
+ packageName: keyof Policies;
68
+ result: Policies[Extract<keyof Policies, string>]['__schemaTypes'] extends {
69
+ precheckDenyResultSchema: infer Schema;
70
+ } ? Schema extends z.ZodType ? z.infer<Schema> : undefined : undefined;
71
+ };
72
+ allowedPolicies?: {
73
+ [PolicyKey in keyof Policies]?: {
74
+ result: Policies[PolicyKey]['__schemaTypes'] extends {
75
+ precheckAllowResultSchema: infer Schema;
76
+ } ? Schema extends z.ZodType ? z.infer<Schema> : never : never;
77
+ };
78
+ };
79
+ });
80
+ //# sourceMappingURL=types.d.ts.map
@@ -0,0 +1 @@
1
+ {"version":3,"file":"types.d.ts","sourceRoot":"","sources":["../../../../src/toolClient/precheck/types.ts"],"names":[],"mappings":"AAEA,OAAO,KAAK,EAAE,CAAC,EAAE,MAAM,KAAK,CAAC;AAE7B,OAAO,KAAK,EAAE,aAAa,EAAE,MAAM,yCAAyC,CAAC;AAC7E,OAAO,KAAK,EAAE,eAAe,EAAE,MAAM,gCAAgC,CAAC;AAItE,2BAA2B;AAC3B,MAAM,WAAW,2BAA2B,CAAC,MAAM,EAAE,QAAQ,SAAS,MAAM,CAAC,MAAM,EAAE,GAAG,CAAC;IACvF,OAAO,EAAE,IAAI,CAAC;IACd,MAAM,EAAE,MAAM,CAAC;IACf,OAAO,CAAC,EAAE,eAAe,CAAC,2BAA2B,CAAC,QAAQ,CAAC,CAAC,CAAC;CAClE;AAED,2BAA2B;AAC3B,MAAM,WAAW,mCAAmC,CAAC,QAAQ,SAAS,MAAM,CAAC,MAAM,EAAE,GAAG,CAAC;IACvF,OAAO,EAAE,IAAI,CAAC;IACd,MAAM,CAAC,EAAE,KAAK,CAAC;IACf,OAAO,CAAC,EAAE,eAAe,CAAC,2BAA2B,CAAC,QAAQ,CAAC,CAAC,CAAC;CAClE;AAED,2BAA2B;AAC3B,MAAM,WAAW,2BAA2B,CAAC,MAAM,EAAE,QAAQ,SAAS,MAAM,CAAC,MAAM,EAAE,GAAG,CAAC;IACvF,OAAO,EAAE,KAAK,CAAC;IACf,KAAK,CAAC,EAAE,MAAM,CAAC;IACf,MAAM,EAAE,MAAM,CAAC;IACf,OAAO,CAAC,EAAE,eAAe,CAAC,2BAA2B,CAAC,QAAQ,CAAC,CAAC,CAAC;CAClE;AAED,2BAA2B;AAC3B,MAAM,WAAW,mCAAmC,CAAC,QAAQ,SAAS,MAAM,CAAC,MAAM,EAAE,GAAG,CAAC;IACvF,OAAO,EAAE,KAAK,CAAC;IACf,KAAK,CAAC,EAAE,MAAM,CAAC;IACf,MAAM,CAAC,EAAE,KAAK,CAAC;IACf,OAAO,CAAC,EAAE,eAAe,CAAC,2BAA2B,CAAC,QAAQ,CAAC,CAAC,CAAC;CAClE;AAED,2BAA2B;AAC3B,MAAM,MAAM,oBAAoB,CAC9B,aAAa,SAAS,CAAC,CAAC,OAAO,GAAG,SAAS,EAC3C,UAAU,SAAS,CAAC,CAAC,OAAO,GAAG,SAAS,EACxC,QAAQ,SAAS,MAAM,CAAC,MAAM,EAAE,GAAG,CAAC,IAElC,CAAC,aAAa,SAAS,CAAC,CAAC,OAAO,GAC5B,2BAA2B,CAAC,CAAC,CAAC,KAAK,CAAC,aAAa,CAAC,EAAE,QAAQ,CAAC,GAC7D,mCAAmC,CAAC,QAAQ,CAAC,CAAC,GAClD,CAAC,UAAU,SAAS,CAAC,CAAC,OAAO,GACzB,2BAA2B,CAAC,CAAC,CAAC,KAAK,CAAC,UAAU,CAAC,EAAE,QAAQ,CAAC,GAC1D,mCAAmC,CAAC,QAAQ,CAAC,CAAC,CAAC;AAEvD,MAAM,WAAW,gCAAgC,CAC/C,aAAa,SAAS,CAAC,CAAC,OAAO,GAAG,SAAS,EAC3C,UAAU,SAAS,CAAC,CAAC,OAAO,GAAG,SAAS,EACxC,QAAQ,SAAS,MAAM,CAAC,MAAM,EAAE,GAAG,CAAC;IAEpC,mBAAmB,EAAE,oBAAoB,CAAC,aAAa,EAAE,UAAU,EAAE,QAAQ,CAAC,CAAC;IAC/E,WAAW,EAAE,eAAe,CAAC,2BAA2B,CAAC,QAAQ,CAAC,CAAC,CAAC;CACrE;AAED,MAAM,MAAM,2BAA2B,CACrC,QAAQ,SAAS,MAAM,CACrB,MAAM,EACN;IACE,aAAa,EAAE,aAAa,CAAC,GAAG,EAAE,GAAG,EAAE,GAAG,EAAE,GAAG,EAAE,GAAG,EAAE,GAAG,EAAE,GAAG,EAAE,GAAG,EAAE,GAAG,EAAE,GAAG,CAAC,CAAC;IAC/E,cAAc;IACd,aAAa,CAAC,EAAE;QACd,sBAAsB,EAAE,CAAC,CAAC,OAAO,CAAC;QAClC,gBAAgB,CAAC,EAAE,CAAC,CAAC,OAAO,CAAC;QAC7B,qBAAqB,CAAC,EAAE,CAAC,CAAC,OAAO,CAAC;QAClC,oBAAoB,CAAC,EAAE,CAAC,CAAC,OAAO,CAAC;QACjC,kBAAkB,CAAC,EAAE,CAAC,CAAC,OAAO,CAAC;QAC/B,uBAAuB,CAAC,EAAE,CAAC,CAAC,OAAO,CAAC;QACpC,sBAAsB,CAAC,EAAE,CAAC,CAAC,OAAO,CAAC;QACnC,QAAQ,CAAC,EAAE,QAAQ,CAAC;QACpB,QAAQ,CAAC,EAAE,QAAQ,CAAC;QACpB,MAAM,CAAC,EAAE,QAAQ,CAAC;KACnB,CAAC;CACH,CACF,IACC;IACF,iBAAiB,EAAE,KAAK,CAAC,MAAM,QAAQ,CAAC,CAAC;CAC1C,GAAG,CACA;IACE,KAAK,EAAE,IAAI,CAAC;IACZ,eAAe,EAAE;SACd,SAAS,IAAI,MAAM,QAAQ,CAAC,CAAC,EAAE;YAC9B,MAAM,EAAE,QAAQ,CAAC,SAAS,CAAC,CAAC,eAAe,CAAC,SAAS;gBACnD,yBAAyB,EAAE,MAAM,MAAM,CAAC;aACzC,GACG,MAAM,SAAS,CAAC,CAAC,OAAO,GACtB,CAAC,CAAC,KAAK,CAAC,MAAM,CAAC,GACf,KAAK,GACP,KAAK,CAAC;SACX;KACF,CAAC;IACF,YAAY,CAAC,EAAE,KAAK,CAAC;CACtB,GACD;IACE,KAAK,EAAE,KAAK,CAAC;IACb,YAAY,EAAE;QACZ,KAAK,CAAC,EAAE,MAAM,CAAC;QACf,WAAW,EAAE,MAAM,QAAQ,CAAC;QAC5B,MAAM,EAAE,QAAQ,CAAC,OAAO,CAAC,MAAM,QAAQ,EAAE,MAAM,CAAC,CAAC,CAAC,eAAe,CAAC,SAAS;YACzE,wBAAwB,EAAE,MAAM,MAAM,CAAC;SACxC,GACG,MAAM,SAAS,CAAC,CAAC,OAAO,GACtB,CAAC,CAAC,KAAK,CAAC,MAAM,CAAC,GACf,SAAS,GACX,SAAS,CAAC;KACf,CAAC;IACF,eAAe,CAAC,EAAE;SACf,SAAS,IAAI,MAAM,QAAQ,CAAC,CAAC,EAAE;YAC9B,MAAM,EAAE,QAAQ,CAAC,SAAS,CAAC,CAAC,eAAe,CAAC,SAAS;gBACnD,yBAAyB,EAAE,MAAM,MAAM,CAAC;aACzC,GACG,MAAM,SAAS,CAAC,CAAC,OAAO,GACtB,CAAC,CAAC,KAAK,CAAC,MAAM,CAAC,GACf,KAAK,GACP,KAAK,CAAC;SACX;KACF,CAAC;CACH,CACJ,CAAC"}
@@ -0,0 +1,4 @@
1
+ "use strict";
2
+ // src/lib/toolClient/precheck/types.ts
3
+ Object.defineProperty(exports, "__esModule", { value: true });
4
+ //# sourceMappingURL=types.js.map
@@ -0,0 +1 @@
1
+ {"version":3,"file":"types.js","sourceRoot":"","sources":["../../../../src/toolClient/precheck/types.ts"],"names":[],"mappings":";AAAA,uCAAuC"}
@@ -1,16 +1,16 @@
1
- import type { RemoteVincentToolExecutionResult, ToolResponse, ToolResponseFailure, ToolResponseFailureNoResult, ToolResponseSuccess, ToolResponseSuccessNoResult } from './types';
1
+ import type { RemoteVincentToolExecutionResult, ToolExecuteResponse, ToolExecuteResponseFailure, ToolExecuteResponseFailureNoResult, ToolExecuteResponseSuccess, ToolExecuteResponseSuccessNoResult } from './execute/types';
2
2
  /**
3
3
  * Runtime type guard for ToolResponse success result.
4
4
  */
5
- export declare function isToolResponseSuccess(value: unknown): value is ToolResponseSuccess<any, Record<string, any>> | ToolResponseSuccessNoResult<Record<string, any>>;
5
+ export declare function isToolResponseSuccess(value: unknown): value is ToolExecuteResponseSuccess<any, Record<string, any>> | ToolExecuteResponseSuccessNoResult<Record<string, any>>;
6
6
  /**
7
7
  * Runtime type guard for ToolResponse failure result.
8
8
  */
9
- export declare function isToolResponseFailure(value: unknown): value is ToolResponseFailure<any, Record<string, any>> | ToolResponseFailureNoResult<Record<string, any>>;
9
+ export declare function isToolResponseFailure(value: unknown): value is ToolExecuteResponseFailure<any, Record<string, any>> | ToolExecuteResponseFailureNoResult<Record<string, any>>;
10
10
  /**
11
11
  * General ToolResponse shape check (success or failure).
12
12
  */
13
- export declare function isToolResponse(value: unknown): value is ToolResponse<any, any, Record<string, any>>;
13
+ export declare function isToolResponse(value: unknown): value is ToolExecuteResponse<any, any, Record<string, any>>;
14
14
  /**
15
15
  * Runtime type guard for RemoteVincentToolExecutionResult.
16
16
  * Checks if a value has the shape of a RemoteVincentToolExecutionResult.
@@ -1 +1 @@
1
- {"version":3,"file":"typeGuards.d.ts","sourceRoot":"","sources":["../../../src/toolClient/typeGuards.ts"],"names":[],"mappings":"AAEA,OAAO,KAAK,EACV,gCAAgC,EAChC,YAAY,EACZ,mBAAmB,EACnB,2BAA2B,EAC3B,mBAAmB,EACnB,2BAA2B,EAC5B,MAAM,SAAS,CAAC;AAEjB;;GAEG;AACH,wBAAgB,qBAAqB,CACnC,KAAK,EAAE,OAAO,GACb,KAAK,IACJ,mBAAmB,CAAC,GAAG,EAAE,MAAM,CAAC,MAAM,EAAE,GAAG,CAAC,CAAC,GAC7C,2BAA2B,CAAC,MAAM,CAAC,MAAM,EAAE,GAAG,CAAC,CAAC,CAOnD;AAED;;GAEG;AACH,wBAAgB,qBAAqB,CACnC,KAAK,EAAE,OAAO,GACb,KAAK,IACJ,mBAAmB,CAAC,GAAG,EAAE,MAAM,CAAC,MAAM,EAAE,GAAG,CAAC,CAAC,GAC7C,2BAA2B,CAAC,MAAM,CAAC,MAAM,EAAE,GAAG,CAAC,CAAC,CAOnD;AAED;;GAEG;AACH,wBAAgB,cAAc,CAC5B,KAAK,EAAE,OAAO,GACb,KAAK,IAAI,YAAY,CAAC,GAAG,EAAE,GAAG,EAAE,MAAM,CAAC,MAAM,EAAE,GAAG,CAAC,CAAC,CAOtD;AAED;;;GAGG;AACH,wBAAgB,kCAAkC,CAChD,KAAK,EAAE,OAAO,GACb,KAAK,IAAI,gCAAgC,CAAC,GAAG,EAAE,GAAG,EAAE,MAAM,CAAC,GAAG,EAAE,GAAG,CAAC,CAAC,CAUvE"}
1
+ {"version":3,"file":"typeGuards.d.ts","sourceRoot":"","sources":["../../../src/toolClient/typeGuards.ts"],"names":[],"mappings":"AAEA,OAAO,KAAK,EACV,gCAAgC,EAChC,mBAAmB,EACnB,0BAA0B,EAC1B,kCAAkC,EAClC,0BAA0B,EAC1B,kCAAkC,EACnC,MAAM,iBAAiB,CAAC;AAEzB;;GAEG;AACH,wBAAgB,qBAAqB,CACnC,KAAK,EAAE,OAAO,GACb,KAAK,IACJ,0BAA0B,CAAC,GAAG,EAAE,MAAM,CAAC,MAAM,EAAE,GAAG,CAAC,CAAC,GACpD,kCAAkC,CAAC,MAAM,CAAC,MAAM,EAAE,GAAG,CAAC,CAAC,CAO1D;AAED;;GAEG;AACH,wBAAgB,qBAAqB,CACnC,KAAK,EAAE,OAAO,GACb,KAAK,IACJ,0BAA0B,CAAC,GAAG,EAAE,MAAM,CAAC,MAAM,EAAE,GAAG,CAAC,CAAC,GACpD,kCAAkC,CAAC,MAAM,CAAC,MAAM,EAAE,GAAG,CAAC,CAAC,CAO1D;AAED;;GAEG;AACH,wBAAgB,cAAc,CAC5B,KAAK,EAAE,OAAO,GACb,KAAK,IAAI,mBAAmB,CAAC,GAAG,EAAE,GAAG,EAAE,MAAM,CAAC,MAAM,EAAE,GAAG,CAAC,CAAC,CAO7D;AAED;;;GAGG;AACH,wBAAgB,kCAAkC,CAChD,KAAK,EAAE,OAAO,GACb,KAAK,IAAI,gCAAgC,CAAC,GAAG,EAAE,GAAG,EAAE,MAAM,CAAC,GAAG,EAAE,GAAG,CAAC,CAAC,CAUvE"}
@@ -1,5 +1,7 @@
1
1
  import type { z } from 'zod';
2
- import type { BaseToolContext, PolicyEvaluationResultContext } from '@lit-protocol/vincent-tool-sdk';
2
+ import type { BaseToolContext } from '@lit-protocol/vincent-tool-sdk';
3
+ import type { ToolExecuteResponse } from './execute/types';
4
+ import type { ToolPrecheckResponse } from './precheck/types';
3
5
  export { type BaseToolContext };
4
6
  /**
5
7
  * The Vincent Tool Client is used to interact with Vincent tools.
@@ -28,7 +30,7 @@ export interface VincentToolClient<ToolParamsSchema extends z.ZodType, PoliciesB
28
30
  */
29
31
  precheck(rawToolParams: z.infer<ToolParamsSchema>, context: ToolClientContext & {
30
32
  rpcUrl?: string;
31
- }): Promise<ToolResponse<PrecheckSuccessSchema, PrecheckFailSchema, PoliciesByPackageName>>;
33
+ }): Promise<ToolPrecheckResponse<PrecheckSuccessSchema, PrecheckFailSchema, PoliciesByPackageName>>;
32
34
  /**
33
35
  * Executes the tool with the given parameters.
34
36
  *
@@ -39,39 +41,7 @@ export interface VincentToolClient<ToolParamsSchema extends z.ZodType, PoliciesB
39
41
  * @returns A promise that resolves to a ToolResponse containing the execution result
40
42
  *
41
43
  */
42
- execute(rawToolParams: z.infer<ToolParamsSchema>, context: ToolClientContext): Promise<ToolResponse<ExecuteSuccessSchema, ExecuteFailSchema, PoliciesByPackageName>>;
43
- }
44
- /** @category Interfaces */
45
- export interface ToolResponseSuccess<Result, Policies extends Record<string, any>> {
46
- success: true;
47
- result: Result;
48
- context?: BaseToolContext<PolicyEvaluationResultContext<Policies>>;
49
- }
50
- /** @category Interfaces */
51
- export interface ToolResponseSuccessNoResult<Policies extends Record<string, any>> {
52
- success: true;
53
- result?: never;
54
- context?: BaseToolContext<PolicyEvaluationResultContext<Policies>>;
55
- }
56
- /** @category Interfaces */
57
- export interface ToolResponseFailure<Result, Policies extends Record<string, any>> {
58
- success: false;
59
- error?: string;
60
- result: Result;
61
- context?: BaseToolContext<PolicyEvaluationResultContext<Policies>>;
62
- }
63
- /** @category Interfaces */
64
- export interface ToolResponseFailureNoResult<Policies extends Record<string, any>> {
65
- success: false;
66
- error?: string;
67
- result?: never;
68
- context?: BaseToolContext<PolicyEvaluationResultContext<Policies>>;
69
- }
70
- /** @category Interfaces */
71
- export type ToolResponse<SuccessSchema extends z.ZodType | undefined, FailSchema extends z.ZodType | undefined, Policies extends Record<string, any>> = (SuccessSchema extends z.ZodType ? ToolResponseSuccess<z.infer<SuccessSchema>, Policies> : ToolResponseSuccessNoResult<Policies>) | (FailSchema extends z.ZodType ? ToolResponseFailure<z.infer<FailSchema>, Policies> : ToolResponseFailureNoResult<Policies>);
72
- export interface RemoteVincentToolExecutionResult<SuccessSchema extends z.ZodType | undefined, FailSchema extends z.ZodType | undefined, Policies extends Record<string, any>> {
73
- toolExecutionResult: ToolResponse<SuccessSchema, FailSchema, Policies>;
74
- toolContext: BaseToolContext<PolicyEvaluationResultContext<Policies>>;
44
+ execute(rawToolParams: z.infer<ToolParamsSchema>, context: ToolClientContext): Promise<ToolExecuteResponse<ExecuteSuccessSchema, ExecuteFailSchema, PoliciesByPackageName>>;
75
45
  }
76
46
  /** @category Interfaces */
77
47
  export interface ToolClientContext {
@@ -1 +1 @@
1
- {"version":3,"file":"types.d.ts","sourceRoot":"","sources":["../../../src/toolClient/types.ts"],"names":[],"mappings":"AAAA,OAAO,KAAK,EAAE,CAAC,EAAE,MAAM,KAAK,CAAC;AAE7B,OAAO,KAAK,EACV,eAAe,EACf,6BAA6B,EAC9B,MAAM,gCAAgC,CAAC;AAExC,OAAO,EAAE,KAAK,eAAe,EAAE,CAAC;AAEhC;;;;;;;;;;;;;;GAcG;AACH,MAAM,WAAW,iBAAiB,CAChC,gBAAgB,SAAS,CAAC,CAAC,OAAO,EAClC,qBAAqB,SAAS,MAAM,CAAC,MAAM,EAAE,GAAG,CAAC,EACjD,oBAAoB,SAAS,CAAC,CAAC,OAAO,GAAG,CAAC,CAAC,YAAY,EACvD,iBAAiB,SAAS,CAAC,CAAC,OAAO,GAAG,CAAC,CAAC,YAAY,EACpD,qBAAqB,SAAS,CAAC,CAAC,OAAO,GAAG,CAAC,CAAC,YAAY,EACxD,kBAAkB,SAAS,CAAC,CAAC,OAAO,GAAG,CAAC,CAAC,YAAY;IAErD;;;;;;;;OAQG;IACH,QAAQ,CACN,aAAa,EAAE,CAAC,CAAC,KAAK,CAAC,gBAAgB,CAAC,EACxC,OAAO,EAAE,iBAAiB,GAAG;QAC3B,MAAM,CAAC,EAAE,MAAM,CAAC;KACjB,GACA,OAAO,CAAC,YAAY,CAAC,qBAAqB,EAAE,kBAAkB,EAAE,qBAAqB,CAAC,CAAC,CAAC;IAE3F;;;;;;;;;OASG;IACH,OAAO,CACL,aAAa,EAAE,CAAC,CAAC,KAAK,CAAC,gBAAgB,CAAC,EACxC,OAAO,EAAE,iBAAiB,GACzB,OAAO,CAAC,YAAY,CAAC,oBAAoB,EAAE,iBAAiB,EAAE,qBAAqB,CAAC,CAAC,CAAC;CAC1F;AAED,2BAA2B;AAC3B,MAAM,WAAW,mBAAmB,CAAC,MAAM,EAAE,QAAQ,SAAS,MAAM,CAAC,MAAM,EAAE,GAAG,CAAC;IAC/E,OAAO,EAAE,IAAI,CAAC;IACd,MAAM,EAAE,MAAM,CAAC;IACf,OAAO,CAAC,EAAE,eAAe,CAAC,6BAA6B,CAAC,QAAQ,CAAC,CAAC,CAAC;CACpE;AAED,2BAA2B;AAC3B,MAAM,WAAW,2BAA2B,CAAC,QAAQ,SAAS,MAAM,CAAC,MAAM,EAAE,GAAG,CAAC;IAC/E,OAAO,EAAE,IAAI,CAAC;IACd,MAAM,CAAC,EAAE,KAAK,CAAC;IACf,OAAO,CAAC,EAAE,eAAe,CAAC,6BAA6B,CAAC,QAAQ,CAAC,CAAC,CAAC;CACpE;AAED,2BAA2B;AAC3B,MAAM,WAAW,mBAAmB,CAAC,MAAM,EAAE,QAAQ,SAAS,MAAM,CAAC,MAAM,EAAE,GAAG,CAAC;IAC/E,OAAO,EAAE,KAAK,CAAC;IACf,KAAK,CAAC,EAAE,MAAM,CAAC;IACf,MAAM,EAAE,MAAM,CAAC;IACf,OAAO,CAAC,EAAE,eAAe,CAAC,6BAA6B,CAAC,QAAQ,CAAC,CAAC,CAAC;CACpE;AAED,2BAA2B;AAC3B,MAAM,WAAW,2BAA2B,CAAC,QAAQ,SAAS,MAAM,CAAC,MAAM,EAAE,GAAG,CAAC;IAC/E,OAAO,EAAE,KAAK,CAAC;IACf,KAAK,CAAC,EAAE,MAAM,CAAC;IACf,MAAM,CAAC,EAAE,KAAK,CAAC;IACf,OAAO,CAAC,EAAE,eAAe,CAAC,6BAA6B,CAAC,QAAQ,CAAC,CAAC,CAAC;CACpE;AAED,2BAA2B;AAC3B,MAAM,MAAM,YAAY,CACtB,aAAa,SAAS,CAAC,CAAC,OAAO,GAAG,SAAS,EAC3C,UAAU,SAAS,CAAC,CAAC,OAAO,GAAG,SAAS,EACxC,QAAQ,SAAS,MAAM,CAAC,MAAM,EAAE,GAAG,CAAC,IAElC,CAAC,aAAa,SAAS,CAAC,CAAC,OAAO,GAC5B,mBAAmB,CAAC,CAAC,CAAC,KAAK,CAAC,aAAa,CAAC,EAAE,QAAQ,CAAC,GACrD,2BAA2B,CAAC,QAAQ,CAAC,CAAC,GAC1C,CAAC,UAAU,SAAS,CAAC,CAAC,OAAO,GACzB,mBAAmB,CAAC,CAAC,CAAC,KAAK,CAAC,UAAU,CAAC,EAAE,QAAQ,CAAC,GAClD,2BAA2B,CAAC,QAAQ,CAAC,CAAC,CAAC;AAE/C,MAAM,WAAW,gCAAgC,CAC/C,aAAa,SAAS,CAAC,CAAC,OAAO,GAAG,SAAS,EAC3C,UAAU,SAAS,CAAC,CAAC,OAAO,GAAG,SAAS,EACxC,QAAQ,SAAS,MAAM,CAAC,MAAM,EAAE,GAAG,CAAC;IAEpC,mBAAmB,EAAE,YAAY,CAAC,aAAa,EAAE,UAAU,EAAE,QAAQ,CAAC,CAAC;IACvE,WAAW,EAAE,eAAe,CAAC,6BAA6B,CAAC,QAAQ,CAAC,CAAC,CAAC;CACvE;AAED,2BAA2B;AAC3B,MAAM,WAAW,iBAAiB;IAChC,sBAAsB,EAAE,MAAM,CAAC;CAChC"}
1
+ {"version":3,"file":"types.d.ts","sourceRoot":"","sources":["../../../src/toolClient/types.ts"],"names":[],"mappings":"AAEA,OAAO,KAAK,EAAE,CAAC,EAAE,MAAM,KAAK,CAAC;AAE7B,OAAO,KAAK,EAAE,eAAe,EAAE,MAAM,gCAAgC,CAAC;AACtE,OAAO,KAAK,EAAE,mBAAmB,EAAE,MAAM,iBAAiB,CAAC;AAC3D,OAAO,KAAK,EAAE,oBAAoB,EAAE,MAAM,kBAAkB,CAAC;AAE7D,OAAO,EAAE,KAAK,eAAe,EAAE,CAAC;AAEhC;;;;;;;;;;;;;;GAcG;AACH,MAAM,WAAW,iBAAiB,CAChC,gBAAgB,SAAS,CAAC,CAAC,OAAO,EAClC,qBAAqB,SAAS,MAAM,CAAC,MAAM,EAAE,GAAG,CAAC,EACjD,oBAAoB,SAAS,CAAC,CAAC,OAAO,GAAG,CAAC,CAAC,YAAY,EACvD,iBAAiB,SAAS,CAAC,CAAC,OAAO,GAAG,CAAC,CAAC,YAAY,EACpD,qBAAqB,SAAS,CAAC,CAAC,OAAO,GAAG,CAAC,CAAC,YAAY,EACxD,kBAAkB,SAAS,CAAC,CAAC,OAAO,GAAG,CAAC,CAAC,YAAY;IAErD;;;;;;;;OAQG;IACH,QAAQ,CACN,aAAa,EAAE,CAAC,CAAC,KAAK,CAAC,gBAAgB,CAAC,EACxC,OAAO,EAAE,iBAAiB,GAAG;QAC3B,MAAM,CAAC,EAAE,MAAM,CAAC;KACjB,GACA,OAAO,CACR,oBAAoB,CAAC,qBAAqB,EAAE,kBAAkB,EAAE,qBAAqB,CAAC,CACvF,CAAC;IAEF;;;;;;;;;OASG;IACH,OAAO,CACL,aAAa,EAAE,CAAC,CAAC,KAAK,CAAC,gBAAgB,CAAC,EACxC,OAAO,EAAE,iBAAiB,GACzB,OAAO,CAAC,mBAAmB,CAAC,oBAAoB,EAAE,iBAAiB,EAAE,qBAAqB,CAAC,CAAC,CAAC;CACjG;AAED,2BAA2B;AAC3B,MAAM,WAAW,iBAAiB;IAChC,sBAAsB,EAAE,MAAM,CAAC;CAChC"}
@@ -1,3 +1,4 @@
1
1
  "use strict";
2
+ // src/lib/toolClient/types.ts
2
3
  Object.defineProperty(exports, "__esModule", { value: true });
3
4
  //# sourceMappingURL=types.js.map
@@ -1 +1 @@
1
- {"version":3,"file":"types.js","sourceRoot":"","sources":["../../../src/toolClient/types.ts"],"names":[],"mappings":""}
1
+ {"version":3,"file":"types.js","sourceRoot":"","sources":["../../../src/toolClient/types.ts"],"names":[],"mappings":";AAAA,8BAA8B"}
@@ -1,6 +1,6 @@
1
1
  import { z } from 'zod';
2
2
  import { ethers } from 'ethers';
3
- import type { VincentTool, BundledVincentTool } from '@lit-protocol/vincent-tool-sdk';
3
+ import type { BundledVincentTool, VincentTool } from '@lit-protocol/vincent-tool-sdk';
4
4
  import { type ToolPolicyMap } from '@lit-protocol/vincent-tool-sdk/internal';
5
5
  import { type VincentToolClient } from './types';
6
6
  /** A VincentToolClient provides a type-safe interface for executing tools, for both `precheck()`
@@ -1 +1 @@
1
- {"version":3,"file":"vincentToolClient.d.ts","sourceRoot":"","sources":["../../../src/toolClient/vincentToolClient.ts"],"names":[],"mappings":"AAEA,OAAO,EAAE,CAAC,EAAE,MAAM,KAAK,CAAC;AAExB,OAAO,EAAE,MAAM,EAAE,MAAM,QAAQ,CAAC;AAahC,OAAO,KAAK,EACV,WAAW,EAGX,kBAAkB,EAEnB,MAAM,gCAAgC,CAAC;AAExC,OAAO,EAGL,KAAK,aAAa,EACnB,MAAM,yCAAyC,CAAC;AA8BjD,OAAO,EAIL,KAAK,iBAAiB,EACvB,MAAM,SAAS,CAAC;AAuOjB;;;;;;;;;;;;;;;;;KAiBK;AACL,wBAAgB,oBAAoB,CAClC,KAAK,CAAC,OAAO,SAAS,MAAM,EAC5B,gBAAgB,SAAS,CAAC,CAAC,OAAO,EAClC,QAAQ,SAAS,MAAM,EACvB,SAAS,SAAS,aAAa,CAAC,GAAG,EAAE,QAAQ,CAAC,EAC9C,qBAAqB,SAAS,SAAS,CAAC,qBAAqB,CAAC,EAC9D,oBAAoB,SAAS,CAAC,CAAC,OAAO,GAAG,CAAC,CAAC,YAAY,EACvD,iBAAiB,SAAS,CAAC,CAAC,OAAO,GAAG,CAAC,CAAC,YAAY,EACpD,qBAAqB,SAAS,CAAC,CAAC,OAAO,GAAG,CAAC,CAAC,YAAY,EACxD,kBAAkB,SAAS,CAAC,CAAC,OAAO,GAAG,CAAC,CAAC,YAAY,EACrD,MAAM,EAAE;IACR,kBAAkB,EAAE,kBAAkB,CACpC,WAAW,CACT,gBAAgB,EAChB,QAAQ,EACR,SAAS,EACT,qBAAqB,EACrB,oBAAoB,EACpB,iBAAiB,EACjB,qBAAqB,EACrB,kBAAkB,EAClB,GAAG,EACH,GAAG,CACJ,EACD,OAAO,CACR,CAAC;IACF,YAAY,EAAE,MAAM,CAAC,MAAM,CAAC;CAC7B,GAAG,iBAAiB,CACnB,gBAAgB,EAChB,qBAAqB,EACrB,oBAAoB,EACpB,iBAAiB,EACjB,qBAAqB,EACrB,kBAAkB,CACnB,CA8MA"}
1
+ {"version":3,"file":"vincentToolClient.d.ts","sourceRoot":"","sources":["../../../src/toolClient/vincentToolClient.ts"],"names":[],"mappings":"AAEA,OAAO,EAAE,CAAC,EAAE,MAAM,KAAK,CAAC;AAExB,OAAO,EAAE,MAAM,EAAE,MAAM,QAAQ,CAAC;AAIhC,OAAO,KAAK,EAAE,kBAAkB,EAAE,WAAW,EAAE,MAAM,gCAAgC,CAAC;AAEtF,OAAO,EAML,KAAK,aAAa,EAGnB,MAAM,yCAAyC,CAAC;AAUjD,OAAO,EAA0B,KAAK,iBAAiB,EAAE,MAAM,SAAS,CAAC;AAYzE;;;;;;;;;;;;;;;;;KAiBK;AACL,wBAAgB,oBAAoB,CAClC,KAAK,CAAC,OAAO,SAAS,MAAM,EAC5B,gBAAgB,SAAS,CAAC,CAAC,OAAO,EAClC,QAAQ,SAAS,MAAM,EACvB,SAAS,SAAS,aAAa,CAAC,GAAG,EAAE,QAAQ,CAAC,EAC9C,qBAAqB,SAAS,SAAS,CAAC,qBAAqB,CAAC,EAC9D,oBAAoB,SAAS,CAAC,CAAC,OAAO,GAAG,CAAC,CAAC,YAAY,EACvD,iBAAiB,SAAS,CAAC,CAAC,OAAO,GAAG,CAAC,CAAC,YAAY,EACpD,qBAAqB,SAAS,CAAC,CAAC,OAAO,GAAG,CAAC,CAAC,YAAY,EACxD,kBAAkB,SAAS,CAAC,CAAC,OAAO,GAAG,CAAC,CAAC,YAAY,EACrD,MAAM,EAAE;IACR,kBAAkB,EAAE,kBAAkB,CACpC,WAAW,CACT,gBAAgB,EAChB,QAAQ,EACR,SAAS,EACT,qBAAqB,EACrB,oBAAoB,EACpB,iBAAiB,EACjB,qBAAqB,EACrB,kBAAkB,EAClB,GAAG,EACH,GAAG,CACJ,EACD,OAAO,CACR,CAAC;IACF,YAAY,EAAE,MAAM,CAAC,MAAM,CAAC;CAC7B,GAAG,iBAAiB,CACnB,gBAAgB,EAChB,qBAAqB,EACrB,oBAAoB,EACpB,iBAAiB,EACjB,qBAAqB,EACrB,kBAAkB,CACnB,CA0PA"}
@@ -2,116 +2,16 @@
2
2
  // src/toolClient/vincentToolClient.ts
3
3
  Object.defineProperty(exports, "__esModule", { value: true });
4
4
  exports.getVincentToolClient = getVincentToolClient;
5
- const tslib_1 = require("tslib");
6
5
  const zod_1 = require("zod");
7
6
  const ethers_1 = require("ethers");
8
- const auth_helpers_1 = require("@lit-protocol/auth-helpers");
9
7
  const constants_1 = require("@lit-protocol/constants");
10
8
  const internal_1 = require("@lit-protocol/vincent-tool-sdk/internal");
11
9
  const getLitNodeClient_1 = require("../internal/LitNodeClient/getLitNodeClient");
12
- const resultCreators_1 = require("./resultCreators");
10
+ const resultCreators_1 = require("./execute/resultCreators");
13
11
  const typeGuards_1 = require("./typeGuards");
14
- const util = tslib_1.__importStar(require("node:util"));
15
- const generateSessionSigs = async ({ litNodeClient, ethersSigner, }) => {
16
- return litNodeClient.getSessionSigs({
17
- chain: 'ethereum',
18
- resourceAbilityRequests: [
19
- { resource: new auth_helpers_1.LitPKPResource('*'), ability: constants_1.LIT_ABILITY.PKPSigning },
20
- { resource: new auth_helpers_1.LitActionResource('*'), ability: constants_1.LIT_ABILITY.LitActionExecution },
21
- ],
22
- authNeededCallback: async ({ resourceAbilityRequests, uri }) => {
23
- const [walletAddress, nonce] = await Promise.all([
24
- ethersSigner.getAddress(),
25
- litNodeClient.getLatestBlockhash(),
26
- ]);
27
- const toSign = await (0, auth_helpers_1.createSiweMessageWithRecaps)({
28
- uri: uri || 'http://localhost:3000',
29
- expiration: new Date(Date.now() + 1000 * 60 * 10).toISOString(),
30
- resources: resourceAbilityRequests || [],
31
- walletAddress,
32
- nonce,
33
- litNodeClient,
34
- });
35
- return await (0, auth_helpers_1.generateAuthSig)({ signer: ethersSigner, toSign });
36
- },
37
- });
38
- };
39
- async function runToolPolicyPrechecks(params) {
40
- var _a, _b;
41
- const { bundledVincentTool: { vincentTool, ipfsCid }, toolParams, context, policies, } = params;
42
- console.log('Executing runToolPolicyPrechecks()', Object.keys(params.bundledVincentTool.vincentTool.supportedPolicies.policyByPackageName));
43
- const validatedPolicies = await (0, internal_1.validatePolicies)({
44
- policies,
45
- vincentTool,
46
- toolIpfsCid: ipfsCid,
47
- parsedToolParams: toolParams,
48
- });
49
- const decodedPoliciesByPackageName = {};
50
- for (const { policyPackageName, parameters } of validatedPolicies) {
51
- decodedPoliciesByPackageName[policyPackageName] = (0, internal_1.decodePolicyParams)({
52
- params: parameters,
53
- });
54
- }
55
- const evaluatedPolicies = [];
56
- const allowedPolicies = {};
57
- let deniedPolicy = undefined;
58
- const policyByName = vincentTool.supportedPolicies.policyByPackageName;
59
- for (const { policyPackageName, toolPolicyParams } of validatedPolicies) {
60
- const key = policyPackageName;
61
- const toolPolicy = policyByName[key];
62
- evaluatedPolicies.push(key);
63
- const vincentPolicy = toolPolicy.vincentPolicy;
64
- if (!vincentPolicy.precheck) {
65
- console.log('No precheck() defined policy', key, 'skipping...');
66
- continue;
67
- }
68
- try {
69
- console.log('Executing precheck() for policy', key);
70
- const result = await vincentPolicy.precheck({
71
- toolParams: toolPolicyParams,
72
- userParams: decodedPoliciesByPackageName[key],
73
- }, context);
74
- console.log('vincentPolicy.precheck() result', util.inspect(result, { depth: 10 }));
75
- const { schemaToUse } = (0, internal_1.getSchemaForPolicyResponseResult)({
76
- value: result,
77
- allowResultSchema: (_a = vincentPolicy.precheckAllowResultSchema) !== null && _a !== void 0 ? _a : zod_1.z.undefined(),
78
- denyResultSchema: (_b = vincentPolicy.precheckDenyResultSchema) !== null && _b !== void 0 ? _b : zod_1.z.undefined(),
79
- });
80
- const validated = (0, internal_1.validateOrDeny)(result.result, schemaToUse, 'precheck', 'output');
81
- if ((0, internal_1.isPolicyDenyResponse)(validated)) {
82
- // @ts-expect-error We know the shape of this is valid.
83
- deniedPolicy = { ...validated, packageName: key };
84
- break;
85
- }
86
- else if ((0, internal_1.isPolicyAllowResponse)(validated)) {
87
- allowedPolicies[key] = {
88
- result: validated.result,
89
- };
90
- }
91
- }
92
- catch (err) {
93
- deniedPolicy = {
94
- packageName: key,
95
- ...(0, internal_1.createDenyResult)({
96
- message: err instanceof Error ? err.message : 'Unknown error in precheck()',
97
- }),
98
- };
99
- break;
100
- }
101
- }
102
- if (deniedPolicy) {
103
- const policiesContext = (0, resultCreators_1.createDenyEvaluationResult)(evaluatedPolicies, allowedPolicies, deniedPolicy);
104
- return {
105
- ...context,
106
- policiesContext,
107
- };
108
- }
109
- const policiesContext = (0, resultCreators_1.createAllowEvaluationResult)(evaluatedPolicies, allowedPolicies);
110
- return {
111
- ...context,
112
- policiesContext,
113
- };
114
- }
12
+ const generateVincentToolSessionSigs_1 = require("./execute/generateVincentToolSessionSigs");
13
+ const runPolicyPrechecks_1 = require("./precheck/runPolicyPrechecks");
14
+ const resultCreators_2 = require("./precheck/resultCreators");
115
15
  /** A VincentToolClient provides a type-safe interface for executing tools, for both `precheck()`
116
16
  * and `execute()` functionality.
117
17
  *
@@ -153,7 +53,7 @@ function getVincentToolClient(params) {
153
53
  };
154
54
  const parsedParams = (0, internal_1.validateOrFail)(rawToolParams, vincentTool.toolParamsSchema, 'execute', 'input');
155
55
  if ((0, typeGuards_1.isToolResponseFailure)(parsedParams)) {
156
- return (0, resultCreators_1.createToolResponseFailureNoResult)({
56
+ return (0, resultCreators_2.createToolPrecheckResponseFailureNoResult)({
157
57
  ...parsedParams,
158
58
  context: baseContext,
159
59
  });
@@ -175,7 +75,7 @@ function getVincentToolClient(params) {
175
75
  baseContext.appId = appId.toNumber();
176
76
  baseContext.appVersion = appVersion.toNumber();
177
77
  console.log('Fetched policies and app info', { policies, appId, appVersion });
178
- const baseToolContext = await runToolPolicyPrechecks({
78
+ const baseToolContext = await (0, runPolicyPrechecks_1.runToolPolicyPrechecks)({
179
79
  bundledVincentTool,
180
80
  toolParams: parsedParams,
181
81
  policies,
@@ -190,7 +90,12 @@ function getVincentToolClient(params) {
190
90
  delegatorPkpEthAddress,
191
91
  rpcUrl,
192
92
  });
193
- return (0, resultCreators_1.createToolResponseSuccessNoResult)({
93
+ if (!baseToolContext.policiesContext.allow) {
94
+ return (0, resultCreators_2.createToolPrecheckResponseFailureNoResult)({
95
+ context: baseToolContext,
96
+ });
97
+ }
98
+ return (0, resultCreators_2.createToolPrecheckResponseSuccessNoResult)({
194
99
  context: baseToolContext,
195
100
  });
196
101
  }
@@ -211,7 +116,7 @@ function getVincentToolClient(params) {
211
116
  };
212
117
  }
213
118
  const litNodeClient = await (0, getLitNodeClient_1.getLitNodeClientInstance)({ network });
214
- const sessionSigs = await generateSessionSigs({ ethersSigner, litNodeClient });
119
+ const sessionSigs = await (0, generateVincentToolSessionSigs_1.generateVincentToolSessionSigs)({ ethersSigner, litNodeClient });
215
120
  const result = await litNodeClient.executeJs({
216
121
  ipfsId: ipfsCid,
217
122
  sessionSigs,
@@ -221,50 +126,62 @@ function getVincentToolClient(params) {
221
126
  },
222
127
  });
223
128
  const { success, response } = result;
129
+ console.log('executeResult - raw result from `litNodeClient.executeJs()', {
130
+ response,
131
+ success,
132
+ });
224
133
  if (success !== true) {
225
- console.log('executeResult 1', { response, success });
226
- return (0, resultCreators_1.createToolResponseFailureNoResult)({
134
+ return (0, resultCreators_1.createToolExecuteResponseFailureNoResult)({
227
135
  message: `Remote tool failed with unknown error: ${JSON.stringify(response)}`,
228
136
  });
229
137
  }
230
138
  let parsedResult = response;
231
139
  if (typeof response === 'string') {
232
140
  // lit-node-client returns a string if no signed data, even if the result could be JSON.parse'd :(
233
- console.log('executeResult 2', { response, success });
234
141
  try {
235
142
  parsedResult = JSON.parse(response);
236
143
  // eslint-disable-next-line @typescript-eslint/no-unused-vars
237
144
  }
238
145
  catch (e) {
239
- return (0, resultCreators_1.createToolResponseFailureNoResult)({
146
+ return (0, resultCreators_1.createToolExecuteResponseFailureNoResult)({
240
147
  message: `Remote tool failed with unknown error: ${JSON.stringify(response)}`,
241
148
  });
242
149
  }
243
150
  }
244
151
  if (!(0, typeGuards_1.isRemoteVincentToolExecutionResult)(parsedResult)) {
245
- console.log('executeResult3', { parsedResult, success });
246
- return (0, resultCreators_1.createToolResponseFailureNoResult)({
152
+ console.log('Result from `executeJs` was valid JSON, but not a vincentToolExecutionResult', { parsedResult, success });
153
+ return (0, resultCreators_1.createToolExecuteResponseFailureNoResult)({
247
154
  message: `Remote tool failed with unknown error: ${JSON.stringify(parsedResult)}`,
248
155
  });
249
156
  }
250
157
  const resp = parsedResult;
158
+ console.log('Parsed executeJs vincentToolExecutionResult:', { parsedResult });
251
159
  const executionResult = resp.toolExecutionResult;
252
- const { schemaToUse } = (0, internal_1.getSchemaForToolResult)({
160
+ const resultSchemaDetails = (0, internal_1.getSchemaForToolResult)({
253
161
  value: executionResult,
254
162
  successResultSchema: executeSuccessSchema,
255
163
  failureResultSchema: executeFailSchema,
256
164
  });
165
+ const { schemaToUse, parsedType } = resultSchemaDetails;
166
+ console.log(`Parsing tool result using the ${parsedType} Zod schema`);
257
167
  // Parse returned result using appropriate execute zod schema
258
168
  const executeResult = (0, internal_1.validateOrFail)(executionResult.result, schemaToUse, 'execute', 'output');
169
+ console.log('Zod parse result:', executeResult);
259
170
  if ((0, typeGuards_1.isToolResponseFailure)(executeResult)) {
260
- return (0, resultCreators_1.createToolResponseFailure)({
261
- result: executeResult.result,
262
- ...executeResult,
171
+ // Parsing the result threw a zodError
172
+ return executeResult;
173
+ }
174
+ console.log('Raw toolExecutionResult was:', executionResult);
175
+ // We parsed the result -- it may be a success or a failure; return appropriately.
176
+ if ((0, typeGuards_1.isToolResponseFailure)(executionResult)) {
177
+ return (0, resultCreators_1.createToolExecuteResponseFailure)({
178
+ ...(executionResult.error ? { message: executionResult.error } : {}),
179
+ result: executeResult,
263
180
  context: resp.toolContext,
264
181
  });
265
182
  }
266
183
  const res = executeResult;
267
- return (0, resultCreators_1.createToolResponseSuccess)({
184
+ return (0, resultCreators_1.createToolExecuteResponseSuccess)({
268
185
  result: res,
269
186
  context: resp.toolContext,
270
187
  });
@@ -1 +1 @@
1
- {"version":3,"file":"vincentToolClient.js","sourceRoot":"","sources":["../../../src/toolClient/vincentToolClient.ts"],"names":[],"mappings":";AAAA,sCAAsC;;AAyTtC,oDAgPC;;AAviBD,6BAAwB;AAExB,mCAAgC;AAEhC,6DAKoC;AAEpC,uDAAmE;AAkBnE,sEAeiD;AAEjD,iFAAsF;AAEtF,qDAO0B;AAS1B,6CAAyF;AACzF,wDAAkC;AAElC,MAAM,mBAAmB,GAAG,KAAK,EAAE,EACjC,aAAa,EACb,YAAY,GAIb,EAAE,EAAE;IACH,OAAO,aAAa,CAAC,cAAc,CAAC;QAClC,KAAK,EAAE,UAAU;QACjB,uBAAuB,EAAE;YACvB,EAAE,QAAQ,EAAE,IAAI,6BAAc,CAAC,GAAG,CAAC,EAAE,OAAO,EAAE,uBAAW,CAAC,UAAU,EAAE;YACtE,EAAE,QAAQ,EAAE,IAAI,gCAAiB,CAAC,GAAG,CAAC,EAAE,OAAO,EAAE,uBAAW,CAAC,kBAAkB,EAAE;SAClF;QACD,kBAAkB,EAAE,KAAK,EAAE,EAAE,uBAAuB,EAAE,GAAG,EAAE,EAAE,EAAE;YAC7D,MAAM,CAAC,aAAa,EAAE,KAAK,CAAC,GAAG,MAAM,OAAO,CAAC,GAAG,CAAC;gBAC/C,YAAY,CAAC,UAAU,EAAE;gBACzB,aAAa,CAAC,kBAAkB,EAAE;aACnC,CAAC,CAAC;YAEH,MAAM,MAAM,GAAG,MAAM,IAAA,0CAA2B,EAAC;gBAC/C,GAAG,EAAE,GAAG,IAAI,uBAAuB;gBACnC,UAAU,EAAE,IAAI,IAAI,CAAC,IAAI,CAAC,GAAG,EAAE,GAAG,IAAI,GAAG,EAAE,GAAG,EAAE,CAAC,CAAC,WAAW,EAAE;gBAC/D,SAAS,EAAE,uBAAuB,IAAI,EAAE;gBACxC,aAAa;gBACb,KAAK;gBACL,aAAa;aACd,CAAC,CAAC;YAEH,OAAO,MAAM,IAAA,8BAAe,EAAC,EAAE,MAAM,EAAE,YAAY,EAAE,MAAM,EAAE,CAAC,CAAC;QACjE,CAAC;KACF,CAAC,CAAC;AACL,CAAC,CAAC;AAEF,KAAK,UAAU,sBAAsB,CAUnC,MAmBD;;IAGC,MAAM,EACJ,kBAAkB,EAAE,EAAE,WAAW,EAAE,OAAO,EAAE,EAC5C,UAAU,EACV,OAAO,EACP,QAAQ,GACT,GAAG,MAAM,CAAC;IAEX,OAAO,CAAC,GAAG,CACT,oCAAoC,EACpC,MAAM,CAAC,IAAI,CAAC,MAAM,CAAC,kBAAkB,CAAC,WAAW,CAAC,iBAAiB,CAAC,mBAAmB,CAAC,CACzF,CAAC;IAEF,MAAM,iBAAiB,GAAG,MAAM,IAAA,2BAAgB,EAAC;QAC/C,QAAQ;QACR,WAAW;QACX,WAAW,EAAE,OAAO;QACpB,gBAAgB,EAAE,UAAU;KAC7B,CAAC,CAAC;IAEH,MAAM,4BAA4B,GAAkD,EAAE,CAAC;IAEvF,KAAK,MAAM,EAAE,iBAAiB,EAAE,UAAU,EAAE,IAAI,iBAAiB,EAAE,CAAC;QAClE,4BAA4B,CAAC,iBAA2B,CAAC,GAAG,IAAA,6BAAkB,EAAC;YAC7E,MAAM,EAAE,UAAU;SACnB,CAAC,CAAC;IACL,CAAC;IAED,MAAM,iBAAiB,GAAG,EAAW,CAAC;IACtC,MAAM,eAAe,GAUjB,EAAE,CAAC;IAEP,IAAI,YAAY,GAaA,SAAS,CAAC;IAE1B,MAAM,YAAY,GAAG,WAAW,CAAC,iBAAiB,CAAC,mBAGlD,CAAC;IAEF,KAAK,MAAM,EAAE,iBAAiB,EAAE,gBAAgB,EAAE,IAAI,iBAAiB,EAAE,CAAC;QACxE,MAAM,GAAG,GAAG,iBAAgD,CAAC;QAC7D,MAAM,UAAU,GAAG,YAAY,CAAC,GAAG,CAAC,CAAC;QAErC,iBAAiB,CAAC,IAAI,CAAC,GAAU,CAAC,CAAC;QACnC,MAAM,aAAa,GAAG,UAAU,CAAC,aAAa,CAAC;QAE/C,IAAI,CAAC,aAAa,CAAC,QAAQ,EAAE,CAAC;YAC5B,OAAO,CAAC,GAAG,CAAC,8BAA8B,EAAE,GAAG,EAAE,aAAa,CAAC,CAAC;YAChE,SAAS;QACX,CAAC;QAED,IAAI,CAAC;YACH,OAAO,CAAC,GAAG,CAAC,iCAAiC,EAAE,GAAG,CAAC,CAAC;YACpD,MAAM,MAAM,GAAG,MAAM,aAAa,CAAC,QAAQ,CACzC;gBACE,UAAU,EAAE,gBAAgB;gBAC5B,UAAU,EAAE,4BAA4B,CAAC,GAAa,CAAY;aACnE,EACD,OAAO,CACR,CAAC;YAEF,OAAO,CAAC,GAAG,CAAC,iCAAiC,EAAE,IAAI,CAAC,OAAO,CAAC,MAAM,EAAE,EAAE,KAAK,EAAE,EAAE,EAAE,CAAC,CAAC,CAAC;YACpF,MAAM,EAAE,WAAW,EAAE,GAAG,IAAA,2CAAgC,EAAC;gBACvD,KAAK,EAAE,MAAM;gBACb,iBAAiB,EAAE,MAAA,aAAa,CAAC,yBAAyB,mCAAI,OAAC,CAAC,SAAS,EAAE;gBAC3E,gBAAgB,EAAE,MAAA,aAAa,CAAC,wBAAwB,mCAAI,OAAC,CAAC,SAAS,EAAE;aAC1E,CAAC,CAAC;YAEH,MAAM,SAAS,GAAG,IAAA,yBAAc,EAAC,MAAM,CAAC,MAAM,EAAE,WAAW,EAAE,UAAU,EAAE,QAAQ,CAAC,CAAC;YAEnF,IAAI,IAAA,+BAAoB,EAAC,SAAS,CAAC,EAAE,CAAC;gBACpC,uDAAuD;gBACvD,YAAY,GAAG,EAAE,GAAG,SAAS,EAAE,WAAW,EAAE,GAAU,EAAE,CAAC;gBACzD,MAAM;YACR,CAAC;iBAAM,IAAI,IAAA,gCAAqB,EAAC,SAAS,CAAC,EAAE,CAAC;gBAC5C,eAAe,CAAC,GAAU,CAAC,GAAG;oBAC5B,MAAM,EAAE,SAAS,CAAC,MAMT;iBACV,CAAC;YACJ,CAAC;QACH,CAAC;QAAC,OAAO,GAAG,EAAE,CAAC;YACb,YAAY,GAAG;gBACb,WAAW,EAAE,GAAU;gBACvB,GAAG,IAAA,2BAAgB,EAAC;oBAClB,OAAO,EAAE,GAAG,YAAY,KAAK,CAAC,CAAC,CAAC,GAAG,CAAC,OAAO,CAAC,CAAC,CAAC,6BAA6B;iBAC5E,CAAC;aACH,CAAC;YACF,MAAM;QACR,CAAC;IACH,CAAC;IAED,IAAI,YAAY,EAAE,CAAC;QACjB,MAAM,eAAe,GAAG,IAAA,2CAA0B,EAChD,iBAAiB,EACjB,eAUC,EACD,YAAY,CACb,CAAC;QAEF,OAAO;YACL,GAAG,OAAO;YACV,eAAe;SAChB,CAAC;IACJ,CAAC;IAED,MAAM,eAAe,GAAG,IAAA,4CAA2B,EACjD,iBAAiB,EACjB,eAUC,CACF,CAAC;IAEF,OAAO;QACL,GAAG,OAAO;QACV,eAAe;KAChB,CAAC;AACJ,CAAC;AAED;;;;;;;;;;;;;;;;;KAiBK;AACL,SAAgB,oBAAoB,CAUlC,MAiBD;;IAQC,MAAM,EAAE,kBAAkB,EAAE,YAAY,EAAE,GAAG,MAAM,CAAC;IACpD,MAAM,EAAE,OAAO,EAAE,WAAW,EAAE,GAAG,kBAAkB,CAAC;IAEpD,MAAM,OAAO,GAAG,uBAAW,CAAC,KAAK,CAAC;IAElC,MAAM,oBAAoB,GAAG,CAAC,MAAA,WAAW,CAAC,aAAa,CAAC,oBAAoB,mCAC1E,OAAC,CAAC,SAAS,EAAE,CAAyB,CAAC;IACzC,MAAM,iBAAiB,GAAG,CAAC,MAAA,WAAW,CAAC,aAAa,CAAC,iBAAiB,mCACpE,OAAC,CAAC,SAAS,EAAE,CAAsB,CAAC;IAEtC,OAAO;QACL,KAAK,CAAC,QAAQ,CACZ,aAAwC,EACxC,EACE,MAAM,EACN,sBAAsB,GAGvB;YAED,OAAO,CAAC,GAAG,CAAC,UAAU,EAAE,EAAE,aAAa,EAAE,sBAAsB,EAAE,MAAM,EAAE,CAAC,CAAC;YAC3E,MAAM,sBAAsB,GAAG,eAAM,CAAC,KAAK,CAAC,UAAU,CAAC,MAAM,YAAY,CAAC,UAAU,EAAE,CAAC,CAAC;YAExF,qIAAqI;YACrI,MAAM,WAAW,GAAG;gBAClB,UAAU,EAAE;oBACV,gBAAgB,EAAE,sBAAsB;oBACxC,0BAA0B;iBAC3B;gBACD,WAAW,EAAE,OAAO;gBACpB,oBAAoB;gBACpB,yBAAyB;aACnB,CAAC;YAET,MAAM,YAAY,GAAG,IAAA,yBAAc,EACjC,aAAa,EACb,WAAW,CAAC,gBAAgB,EAC5B,SAAS,EACT,OAAO,CACR,CAAC;YAEF,IAAI,IAAA,kCAAqB,EAAC,YAAY,CAAC,EAAE,CAAC;gBACxC,OAAO,IAAA,kDAAiC,EAAC;oBACvC,GAAG,YAAY;oBACf,OAAO,EAAE,WAAW;iBACrB,CAAmF,CAAC;YACvF,CAAC;YAED,MAAM,WAAW,GAAG,MAAM,IAAA,qBAAU,EAAC;gBACnC,sBAAsB,EAAE,0CAA+B;gBACvD,iBAAiB,EAAE,MAAM,aAAN,MAAM,cAAN,MAAM,GAAI,iCAAsB;gBACnD,aAAa,EAAE,sBAAsB;aACtC,CAAC,CAAC;YACH,WAAW,CAAC,UAAU,CAAC,gBAAgB,GAAG,WAAW,CAAC;YAEtD,OAAO,CAAC,GAAG,CAAC,aAAa,EAAE,WAAW,CAAC,CAAC;YAExC,MAAM,EAAE,QAAQ,EAAE,KAAK,EAAE,UAAU,EAAE,GAAG,MAAM,IAAA,mCAAwB,EAAC;gBACrE,gBAAgB,EAAE,MAAM,aAAN,MAAM,cAAN,MAAM,GAAI,iCAAsB;gBAClD,sBAAsB,EAAE,oCAAyB;gBACjD,mBAAmB,EAAE,sBAAsB;gBAC3C,qBAAqB,EAAE,WAAW,CAAC,OAAO;gBAC1C,WAAW,EAAE,OAAO;aACrB,CAAC,CAAC;YACH,WAAW,CAAC,KAAK,GAAG,KAAK,CAAC,QAAQ,EAAE,CAAC;YACrC,WAAW,CAAC,UAAU,GAAG,UAAU,CAAC,QAAQ,EAAE,CAAC;YAE/C,OAAO,CAAC,GAAG,CAAC,+BAA+B,EAAE,EAAE,QAAQ,EAAE,KAAK,EAAE,UAAU,EAAE,CAAC,CAAC;YAE9E,MAAM,eAAe,GAAG,MAAM,sBAAsB,CAAC;gBACnD,kBAAkB;gBAClB,UAAU,EAAE,YAAyC;gBACrD,QAAQ;gBACR,OAAO,EAAE;oBACP,GAAG,WAAW;oBACd,MAAM;iBACP;aACF,CAAC,CAAC;YAEH,IAAI,CAAC,WAAW,CAAC,QAAQ,EAAE,CAAC;gBAC1B,OAAO,CAAC,GAAG,CAAC,qEAAqE,EAAE;oBACjF,aAAa;oBACb,sBAAsB;oBACtB,MAAM;iBACP,CAAC,CAAC;gBAEH,OAAO,IAAA,kDAAiC,EAAC;oBACvC,OAAO,EAAE,eAAe;iBACzB,CAAmF,CAAC;YACvF,CAAC;YAED,OAAO,CAAC,GAAG,CAAC,yBAAyB,CAAC,CAAC;YAEvC,MAAM,cAAc,GAAG,MAAM,WAAW,CAAC,QAAQ,CAC/C,EAAE,UAAU,EAAE,YAAY,EAAE,EAC5B,eAAe,CAChB,CAAC;YAEF,OAAO,CAAC,GAAG,CAAC,kBAAkB,EAAE,IAAI,CAAC,SAAS,CAAC,cAAc,CAAC,CAAC,CAAC;YAChE,OAAO;gBACL,GAAG,cAAc;gBACjB,OAAO,EAAE,eAAe;aACyD,CAAC;QACtF,CAAC;QAED,KAAK,CAAC,OAAO,CACX,aAAwC,EACxC,OAA0B;YAE1B,MAAM,YAAY,GAAG,IAAA,yBAAc,EACjC,aAAa,EACb,WAAW,CAAC,gBAAgB,EAC5B,SAAS,EACT,OAAO,CACR,CAAC;YAEF,IAAI,IAAA,kCAAqB,EAAC,YAAY,CAAC,EAAE,CAAC;gBACxC,OAAO;oBACL,GAAG,YAAY;oBACf,OAAO;iBACwE,CAAC;YACpF,CAAC;YAED,MAAM,aAAa,GAAG,MAAM,IAAA,2CAAwB,EAAC,EAAE,OAAO,EAAE,CAAC,CAAC;YAClE,MAAM,WAAW,GAAG,MAAM,mBAAmB,CAAC,EAAE,YAAY,EAAE,aAAa,EAAE,CAAC,CAAC;YAE/E,MAAM,MAAM,GAAG,MAAM,aAAa,CAAC,SAAS,CAAC;gBAC3C,MAAM,EAAE,OAAO;gBACf,WAAW;gBACX,QAAQ,EAAE;oBACR,UAAU,EAAE,YAAY;oBACxB,OAAO;iBACR;aACF,CAAC,CAAC;YAEH,MAAM,EAAE,OAAO,EAAE,QAAQ,EAAE,GAAG,MAAM,CAAC;YAErC,IAAI,OAAO,KAAK,IAAI,EAAE,CAAC;gBACrB,OAAO,CAAC,GAAG,CAAC,iBAAiB,EAAE,EAAE,QAAQ,EAAE,OAAO,EAAE,CAAC,CAAC;gBACtD,OAAO,IAAA,kDAAiC,EAAC;oBACvC,OAAO,EAAE,0CAA0C,IAAI,CAAC,SAAS,CAAC,QAAQ,CAAC,EAAE;iBAC9E,CAAiF,CAAC;YACrF,CAAC;YAED,IAAI,YAAY,GAAG,QAAQ,CAAC;YAE5B,IAAI,OAAO,QAAQ,KAAK,QAAQ,EAAE,CAAC;gBACjC,kGAAkG;gBAClG,OAAO,CAAC,GAAG,CAAC,iBAAiB,EAAE,EAAE,QAAQ,EAAE,OAAO,EAAE,CAAC,CAAC;gBAEtD,IAAI,CAAC;oBACH,YAAY,GAAG,IAAI,CAAC,KAAK,CAAC,QAAQ,CAAC,CAAC;oBACpC,6DAA6D;gBAC/D,CAAC;gBAAC,OAAO,CAAC,EAAE,CAAC;oBACX,OAAO,IAAA,kDAAiC,EAAC;wBACvC,OAAO,EAAE,0CAA0C,IAAI,CAAC,SAAS,CAAC,QAAQ,CAAC,EAAE;qBAC9E,CAAiF,CAAC;gBACrF,CAAC;YACH,CAAC;YAED,IAAI,CAAC,IAAA,+CAAkC,EAAC,YAAY,CAAC,EAAE,CAAC;gBACtD,OAAO,CAAC,GAAG,CAAC,gBAAgB,EAAE,EAAE,YAAY,EAAE,OAAO,EAAE,CAAC,CAAC;gBAEzD,OAAO,IAAA,kDAAiC,EAAC;oBACvC,OAAO,EAAE,0CAA0C,IAAI,CAAC,SAAS,CAAC,YAAY,CAAC,EAAE;iBAClF,CAAiF,CAAC;YACrF,CAAC;YAED,MAAM,IAAI,GAIN,YAAY,CAAC;YAEjB,MAAM,eAAe,GAAG,IAAI,CAAC,mBAAmB,CAAC;YACjD,MAAM,EAAE,WAAW,EAAE,GAAG,IAAA,iCAAsB,EAAC;gBAC7C,KAAK,EAAE,eAAe;gBACtB,mBAAmB,EAAE,oBAAoB;gBACzC,mBAAmB,EAAE,iBAAiB;aACvC,CAAC,CAAC;YAEH,6DAA6D;YAC7D,MAAM,aAAa,GAAG,IAAA,yBAAc,EAClC,eAAe,CAAC,MAAM,EACtB,WAAW,EACX,SAAS,EACT,QAAQ,CACT,CAAC;YAEF,IAAI,IAAA,kCAAqB,EAAC,aAAa,CAAC,EAAE,CAAC;gBACzC,OAAO,IAAA,0CAAyB,EAAC;oBAC/B,MAAM,EAAE,aAAa,CAAC,MAAM;oBAC5B,GAAG,aAAa;oBAChB,OAAO,EAAE,IAAI,CAAC,WAAW;iBAC1B,CAAiF,CAAC;YACrF,CAAC;YAED,MAAM,GAAG,GAA6C,aAAa,CAAC;YAEpE,OAAO,IAAA,0CAAyB,EAAC;gBAC/B,MAAM,EAAE,GAAG;gBACX,OAAO,EAAE,IAAI,CAAC,WAAW;aAC1B,CAAiF,CAAC;QACrF,CAAC;KACF,CAAC;AACJ,CAAC"}
1
+ {"version":3,"file":"vincentToolClient.js","sourceRoot":"","sources":["../../../src/toolClient/vincentToolClient.ts"],"names":[],"mappings":";AAAA,sCAAsC;;AA2DtC,oDA4RC;AArVD,6BAAwB;AAExB,mCAAgC;AAEhC,uDAAsD;AAItD,sEASiD;AAEjD,iFAAsF;AAEtF,6DAIkC;AAIlC,6CAAyF;AACzF,6FAA0F;AAC1F,sEAAuE;AAGvE,8DAGmC;AAEnC;;;;;;;;;;;;;;;;;KAiBK;AACL,SAAgB,oBAAoB,CAUlC,MAiBD;;IAQC,MAAM,EAAE,kBAAkB,EAAE,YAAY,EAAE,GAAG,MAAM,CAAC;IACpD,MAAM,EAAE,OAAO,EAAE,WAAW,EAAE,GAAG,kBAAkB,CAAC;IAEpD,MAAM,OAAO,GAAG,uBAAW,CAAC,KAAK,CAAC;IAElC,MAAM,oBAAoB,GAAG,CAAC,MAAA,WAAW,CAAC,aAAa,CAAC,oBAAoB,mCAC1E,OAAC,CAAC,SAAS,EAAE,CAAyB,CAAC;IACzC,MAAM,iBAAiB,GAAG,CAAC,MAAA,WAAW,CAAC,aAAa,CAAC,iBAAiB,mCACpE,OAAC,CAAC,SAAS,EAAE,CAAsB,CAAC;IAEtC,OAAO;QACL,KAAK,CAAC,QAAQ,CACZ,aAAwC,EACxC,EACE,MAAM,EACN,sBAAsB,GAGvB;YAID,OAAO,CAAC,GAAG,CAAC,UAAU,EAAE,EAAE,aAAa,EAAE,sBAAsB,EAAE,MAAM,EAAE,CAAC,CAAC;YAC3E,MAAM,sBAAsB,GAAG,eAAM,CAAC,KAAK,CAAC,UAAU,CAAC,MAAM,YAAY,CAAC,UAAU,EAAE,CAAC,CAAC;YAExF,qIAAqI;YACrI,MAAM,WAAW,GAAG;gBAClB,UAAU,EAAE;oBACV,gBAAgB,EAAE,sBAAsB;oBACxC,0BAA0B;iBAC3B;gBACD,WAAW,EAAE,OAAO;gBACpB,oBAAoB;gBACpB,yBAAyB;aACnB,CAAC;YAET,MAAM,YAAY,GAAG,IAAA,yBAAc,EACjC,aAAa,EACb,WAAW,CAAC,gBAAgB,EAC5B,SAAS,EACT,OAAO,CACR,CAAC;YAEF,IAAI,IAAA,kCAAqB,EAAC,YAAY,CAAC,EAAE,CAAC;gBACxC,OAAO,IAAA,0DAAyC,EAAC;oBAC/C,GAAG,YAAY;oBACf,OAAO,EAAE,WAAW;iBACrB,CAIA,CAAC;YACJ,CAAC;YAED,MAAM,WAAW,GAAG,MAAM,IAAA,qBAAU,EAAC;gBACnC,sBAAsB,EAAE,0CAA+B;gBACvD,iBAAiB,EAAE,MAAM,aAAN,MAAM,cAAN,MAAM,GAAI,iCAAsB;gBACnD,aAAa,EAAE,sBAAsB;aACtC,CAAC,CAAC;YACH,WAAW,CAAC,UAAU,CAAC,gBAAgB,GAAG,WAAW,CAAC;YAEtD,OAAO,CAAC,GAAG,CAAC,aAAa,EAAE,WAAW,CAAC,CAAC;YAExC,MAAM,EAAE,QAAQ,EAAE,KAAK,EAAE,UAAU,EAAE,GAAG,MAAM,IAAA,mCAAwB,EAAC;gBACrE,gBAAgB,EAAE,MAAM,aAAN,MAAM,cAAN,MAAM,GAAI,iCAAsB;gBAClD,sBAAsB,EAAE,oCAAyB;gBACjD,mBAAmB,EAAE,sBAAsB;gBAC3C,qBAAqB,EAAE,WAAW,CAAC,OAAO;gBAC1C,WAAW,EAAE,OAAO;aACrB,CAAC,CAAC;YACH,WAAW,CAAC,KAAK,GAAG,KAAK,CAAC,QAAQ,EAAE,CAAC;YACrC,WAAW,CAAC,UAAU,GAAG,UAAU,CAAC,QAAQ,EAAE,CAAC;YAE/C,OAAO,CAAC,GAAG,CAAC,+BAA+B,EAAE,EAAE,QAAQ,EAAE,KAAK,EAAE,UAAU,EAAE,CAAC,CAAC;YAE9E,MAAM,eAAe,GAAG,MAAM,IAAA,2CAAsB,EAAC;gBACnD,kBAAkB;gBAClB,UAAU,EAAE,YAAyC;gBACrD,QAAQ;gBACR,OAAO,EAAE;oBACP,GAAG,WAAW;oBACd,MAAM;iBACP;aACF,CAAC,CAAC;YAEH,IAAI,CAAC,WAAW,CAAC,QAAQ,EAAE,CAAC;gBAC1B,OAAO,CAAC,GAAG,CAAC,qEAAqE,EAAE;oBACjF,aAAa;oBACb,sBAAsB;oBACtB,MAAM;iBACP,CAAC,CAAC;gBACH,IAAI,CAAC,eAAe,CAAC,eAAe,CAAC,KAAK,EAAE,CAAC;oBAC3C,OAAO,IAAA,0DAAyC,EAAC;wBAC/C,OAAO,EAAE,eAAe;qBACzB,CAIA,CAAC;gBACJ,CAAC;gBAED,OAAO,IAAA,0DAAyC,EAAC;oBAC/C,OAAO,EAAE,eAAe;iBACzB,CAIA,CAAC;YACJ,CAAC;YAED,OAAO,CAAC,GAAG,CAAC,yBAAyB,CAAC,CAAC;YAEvC,MAAM,cAAc,GAAG,MAAM,WAAW,CAAC,QAAQ,CAC/C,EAAE,UAAU,EAAE,YAAY,EAAE,EAC5B,eAAe,CAChB,CAAC;YAEF,OAAO,CAAC,GAAG,CAAC,kBAAkB,EAAE,IAAI,CAAC,SAAS,CAAC,cAAc,CAAC,CAAC,CAAC;YAChE,OAAO;gBACL,GAAG,cAAc;gBACjB,OAAO,EAAE,eAAe;aACiE,CAAC;QAC9F,CAAC;QAED,KAAK,CAAC,OAAO,CACX,aAAwC,EACxC,OAA0B;YAI1B,MAAM,YAAY,GAAG,IAAA,yBAAc,EACjC,aAAa,EACb,WAAW,CAAC,gBAAgB,EAC5B,SAAS,EACT,OAAO,CACR,CAAC;YAEF,IAAI,IAAA,kCAAqB,EAAC,YAAY,CAAC,EAAE,CAAC;gBACxC,OAAO;oBACL,GAAG,YAAY;oBACf,OAAO;iBAC+E,CAAC;YAC3F,CAAC;YAED,MAAM,aAAa,GAAG,MAAM,IAAA,2CAAwB,EAAC,EAAE,OAAO,EAAE,CAAC,CAAC;YAClE,MAAM,WAAW,GAAG,MAAM,IAAA,+DAA8B,EAAC,EAAE,YAAY,EAAE,aAAa,EAAE,CAAC,CAAC;YAE1F,MAAM,MAAM,GAAG,MAAM,aAAa,CAAC,SAAS,CAAC;gBAC3C,MAAM,EAAE,OAAO;gBACf,WAAW;gBACX,QAAQ,EAAE;oBACR,UAAU,EAAE,YAAY;oBACxB,OAAO;iBACR;aACF,CAAC,CAAC;YAEH,MAAM,EAAE,OAAO,EAAE,QAAQ,EAAE,GAAG,MAAM,CAAC;YACrC,OAAO,CAAC,GAAG,CAAC,4DAA4D,EAAE;gBACxE,QAAQ;gBACR,OAAO;aACR,CAAC,CAAC;YAEH,IAAI,OAAO,KAAK,IAAI,EAAE,CAAC;gBACrB,OAAO,IAAA,yDAAwC,EAAC;oBAC9C,OAAO,EAAE,0CAA0C,IAAI,CAAC,SAAS,CAAC,QAAQ,CAAC,EAAE;iBAC9E,CAAwF,CAAC;YAC5F,CAAC;YAED,IAAI,YAAY,GAAG,QAAQ,CAAC;YAE5B,IAAI,OAAO,QAAQ,KAAK,QAAQ,EAAE,CAAC;gBACjC,kGAAkG;gBAClG,IAAI,CAAC;oBACH,YAAY,GAAG,IAAI,CAAC,KAAK,CAAC,QAAQ,CAAC,CAAC;oBACpC,6DAA6D;gBAC/D,CAAC;gBAAC,OAAO,CAAC,EAAE,CAAC;oBACX,OAAO,IAAA,yDAAwC,EAAC;wBAC9C,OAAO,EAAE,0CAA0C,IAAI,CAAC,SAAS,CAAC,QAAQ,CAAC,EAAE;qBAC9E,CAAwF,CAAC;gBAC5F,CAAC;YACH,CAAC;YAED,IAAI,CAAC,IAAA,+CAAkC,EAAC,YAAY,CAAC,EAAE,CAAC;gBACtD,OAAO,CAAC,GAAG,CACT,8EAA8E,EAC9E,EAAE,YAAY,EAAE,OAAO,EAAE,CAC1B,CAAC;gBAEF,OAAO,IAAA,yDAAwC,EAAC;oBAC9C,OAAO,EAAE,0CAA0C,IAAI,CAAC,SAAS,CAAC,YAAY,CAAC,EAAE;iBAClF,CAAwF,CAAC;YAC5F,CAAC;YAED,MAAM,IAAI,GAIN,YAAY,CAAC;YAEjB,OAAO,CAAC,GAAG,CAAC,8CAA8C,EAAE,EAAE,YAAY,EAAE,CAAC,CAAC;YAC9E,MAAM,eAAe,GAAG,IAAI,CAAC,mBAAmB,CAAC;YACjD,MAAM,mBAAmB,GAAG,IAAA,iCAAsB,EAAC;gBACjD,KAAK,EAAE,eAAe;gBACtB,mBAAmB,EAAE,oBAAoB;gBACzC,mBAAmB,EAAE,iBAAiB;aACvC,CAAC,CAAC;YAEH,MAAM,EAAE,WAAW,EAAE,UAAU,EAAE,GAAG,mBAAmB,CAAC;YAExD,OAAO,CAAC,GAAG,CAAC,iCAAiC,UAAU,aAAa,CAAC,CAAC;YAEtE,6DAA6D;YAC7D,MAAM,aAAa,GAAG,IAAA,yBAAc,EAClC,eAAe,CAAC,MAAM,EACtB,WAAW,EACX,SAAS,EACT,QAAQ,CACT,CAAC;YAEF,OAAO,CAAC,GAAG,CAAC,mBAAmB,EAAE,aAAa,CAAC,CAAC;YAEhD,IAAI,IAAA,kCAAqB,EAAC,aAAa,CAAC,EAAE,CAAC;gBACzC,sCAAsC;gBACtC,OAAO,aAIN,CAAC;YACJ,CAAC;YAED,OAAO,CAAC,GAAG,CAAC,8BAA8B,EAAE,eAAe,CAAC,CAAC;YAE7D,kFAAkF;YAClF,IAAI,IAAA,kCAAqB,EAAC,eAAe,CAAC,EAAE,CAAC;gBAC3C,OAAO,IAAA,iDAAgC,EAAC;oBACtC,GAAG,CAAC,eAAe,CAAC,KAAK,CAAC,CAAC,CAAC,EAAE,OAAO,EAAE,eAAe,CAAC,KAAK,EAAE,CAAC,CAAC,CAAC,EAAE,CAAC;oBACpE,MAAM,EAAE,aAAa;oBACrB,OAAO,EAAE,IAAI,CAAC,WAAW;iBAC1B,CAAwF,CAAC;YAC5F,CAAC;YAED,MAAM,GAAG,GAA6C,aAAa,CAAC;YAEpE,OAAO,IAAA,iDAAgC,EAAC;gBACtC,MAAM,EAAE,GAAG;gBACX,OAAO,EAAE,IAAI,CAAC,WAAW;aAC1B,CAAwF,CAAC;QAC5F,CAAC;KACF,CAAC;AACJ,CAAC"}
@@ -1 +1 @@
1
- {"version":3,"file":"tool-client-inference.d.ts","sourceRoot":"","sources":["../../../src/type-inference-verification/tool-client-inference.ts"],"names":[],"mappings":"AAmEA,wBAAsB,GAAG,kBAwFxB;AAuDD,wBAAsB,IAAI,kBAiCzB"}
1
+ {"version":3,"file":"tool-client-inference.d.ts","sourceRoot":"","sources":["../../../src/type-inference-verification/tool-client-inference.ts"],"names":[],"mappings":"AAmEA,wBAAsB,GAAG,kBA6FxB;AAuDD,wBAAsB,IAAI,kBAiCzB"}
@@ -75,12 +75,14 @@ async function run() {
75
75
  const p = policiesContext.allowedPolicies;
76
76
  // ✅ Should infer currency-policy result shape
77
77
  if (p['currency-policy']) {
78
+ // @ts-expect-error There is no precheck result schema; result must be undefined
78
79
  p['currency-policy'].result.approvedCurrency.toUpperCase();
79
80
  // @ts-expect-error - no commit on currency-policy
80
81
  p['currency-policy'].commit();
81
82
  }
82
83
  // ✅ Should infer rate-limit result shape and commit
83
84
  if (p['rate-limit']) {
85
+ // @ts-expect-error There is no precheck result schema; result must be undefined
84
86
  const val = p['rate-limit'].result.allowed;
85
87
  console.log(val);
86
88
  }
@@ -100,7 +102,9 @@ async function run() {
100
102
  if (deniedPolicy) {
101
103
  if (deniedPolicy.packageName === 'currency-policy' &&
102
104
  deniedPolicy.result &&
105
+ // @ts-expect-error There's no precheck deny schema!
103
106
  deniedPolicy.result.borked) {
107
+ // @ts-expect-error There's no precheck deny schema!
104
108
  console.log(deniedPolicy.result.borked);
105
109
  }
106
110
  console.log(deniedPolicy.result);
@@ -1 +1 @@
1
- {"version":3,"file":"tool-client-inference.js","sourceRoot":"","sources":["../../../src/type-inference-verification/tool-client-inference.ts"],"names":[],"mappings":";;AAmEA,kBAwFC;AAuDD,oBAiCC;AAnPD,6BAAwB;AACxB,qEAOwC;AAExC,uEAAuE;AAEvE,MAAM,cAAc,GAAG,IAAA,sCAAmB,EAAC;IACzC,WAAW,EAAE,iBAAiB;IAC9B,gBAAgB,EAAE,OAAC,CAAC,MAAM,CAAC,EAAE,QAAQ,EAAE,OAAC,CAAC,MAAM,EAAE,EAAE,CAAC;IACpD,QAAQ,EAAE,KAAK,EAAE,EAAE,UAAU,EAAE,EAAE,GAAG,EAAE,EAAE,CAAC,GAAG,CAAC,KAAK,CAAC,EAAE,gBAAgB,EAAE,UAAU,CAAC,QAAQ,EAAE,CAAC;IAC7F,qBAAqB,EAAE,OAAC,CAAC,MAAM,CAAC,EAAE,gBAAgB,EAAE,OAAC,CAAC,MAAM,EAAE,EAAE,CAAC;IACjE,oBAAoB,EAAE,OAAC,CAAC,MAAM,CAAC,EAAE,MAAM,EAAE,OAAC,CAAC,MAAM,EAAE,EAAE,CAAC;CACvD,CAAC,CAAC;AAEH,MAAM,kBAAkB,GAAG,IAAA,0CAAuB,EAAC;IACjD,gBAAgB,EAAE,OAAC,CAAC,MAAM,CAAC;QACzB,QAAQ,EAAE,OAAC,CAAC,MAAM,EAAE;KACrB,CAAC;IACF,oBAAoB,EAAE,IAAA,yCAAsB,EAAC,cAAc,EAAE,eAAwB,CAAC;IACtF,qBAAqB,EAAE;QACrB,QAAQ,EAAE,UAAU;KACrB;CACF,CAAC,CAAC;AAEH,MAAM,eAAe,GAAG,IAAA,sCAAmB,EAAC;IAC1C,WAAW,EAAE,YAAY;IACzB,gBAAgB,EAAE,OAAC,CAAC,MAAM,CAAC,EAAE,MAAM,EAAE,OAAC,CAAC,MAAM,EAAE,EAAE,CAAC;IAClD,QAAQ,EAAE,KAAK,EAAE,CAAC,EAAE,GAAG,EAAE,EAAE,CAAC,GAAG,CAAC,KAAK,CAAC,EAAE,OAAO,EAAE,IAAI,EAAE,CAAC;IACxD,qBAAqB,EAAE,OAAC,CAAC,MAAM,CAAC,EAAE,OAAO,EAAE,OAAC,CAAC,OAAO,CAAC,IAAI,CAAC,EAAE,CAAC;IAC7D,MAAM,EAAE,KAAK,EAAE,CAAC,EAAE,GAAG,EAAE,EAAE,CAAC,GAAG,CAAC,KAAK,CAAC,EAAE,SAAS,EAAE,IAAI,EAAE,CAAC;IACxD,uBAAuB,EAAE,OAAC,CAAC,MAAM,CAAC,EAAE,SAAS,EAAE,OAAC,CAAC,OAAO,EAAE,EAAE,CAAC;CAC9D,CAAC,CAAC;AAEH,MAAM,mBAAmB,GAAG,IAAA,0CAAuB,EAAC;IAClD,gBAAgB,EAAE,OAAC,CAAC,MAAM,CAAC;QACzB,MAAM,EAAE,OAAC,CAAC,MAAM,EAAE;KACnB,CAAC;IACF,oBAAoB,EAAE,IAAA,yCAAsB,EAAC,eAAe,EAAE,gBAAyB,CAAC;IACxF,qBAAqB,EAAE;QACrB,MAAM,EAAE,QAAQ;KACjB;CACF,CAAC,CAAC;AAEH,MAAM,gBAAgB,GAAG,OAAC,CAAC,MAAM,CAAC;IAChC,QAAQ,EAAE,OAAC,CAAC,MAAM,EAAE;IACpB,MAAM,EAAE,OAAC,CAAC,MAAM,EAAE;CACnB,CAAC,CAAC;AAEH,MAAM,IAAI,GAAG,IAAA,oCAAiB,EAAC;IAC7B,WAAW,EAAE,8BAA8B;IAC3C,gBAAgB;IAChB,iBAAiB,EAAE,IAAA,2CAAwB,EAAC,CAAC,kBAAkB,EAAE,mBAAmB,CAAC,CAAC;IACtF,OAAO,EAAE,KAAK,EAAE,EAAE,UAAU,EAAE,EAAE,GAAG,EAAE,EAAE,CAAC,GAAG,CAAC,OAAO,CAAC,EAAE,EAAE,EAAE,IAAI,EAAE,CAAC;IACjE,oBAAoB,EAAE,OAAC,CAAC,MAAM,CAAC,EAAE,EAAE,EAAE,OAAC,CAAC,OAAO,CAAC,IAAI,CAAC,EAAE,CAAC;CACxD,CAAC,CAAC;AAEH,MAAM,MAAM,GAAG,IAAA,wCAAoB,EAAC;IAClC,kBAAkB,EAAE,IAAA,uCAAoB,EAAC,IAAI,EAAE,eAAwB,CAAC;IACxE,YAAY,EAAE,EAAS,EAAE,UAAU;CACpC,CAAC,CAAC;AAEI,KAAK,UAAU,GAAG;;IACvB,MAAM,UAAU,GAAG;QACjB,QAAQ,EAAE,KAAK;QACf,MAAM,EAAE,UAAU;KACV,CAAC;IAEX,MAAM,cAAc,GAAG,MAAM,MAAM,CAAC,QAAQ,CAAC,UAAU,EAAE;QACvD,sBAAsB,EAAE,OAAO;KAChC,CAAC,CAAC;IAEH,IAAI,cAAc,CAAC,OAAO,KAAK,IAAI,EAAE,CAAC;QACpC,kCAAkC;QAClC,MAAM,aAAa,GAAG,cAAc,CAAC,MAAM,CAAC;QAE5C,yDAAyD;QACzD,IAAI,aAAa,KAAK,SAAS,EAAE,CAAC;YAChC,+DAA+D;YAC/D,OAAO,CAAC,GAAG,CAAC,aAAa,CAAC,GAAG,CAAC,CAAC;QACjC,CAAC;QAED,MAAM,eAAe,GAAG,MAAA,cAAc,aAAd,cAAc,uBAAd,cAAc,CAAE,OAAO,0CAAE,eAAe,CAAC;QAEjE,IAAI,cAAc,IAAI,eAAe,IAAI,eAAe,CAAC,KAAK,EAAE,CAAC;YAC/D,MAAM,CAAC,GAAG,eAAe,CAAC,eAAe,CAAC;YAE1C,8CAA8C;YAC9C,IAAI,CAAC,CAAC,iBAAiB,CAAC,EAAE,CAAC;gBACzB,CAAC,CAAC,iBAAiB,CAAC,CAAC,MAAM,CAAC,gBAAgB,CAAC,WAAW,EAAE,CAAC;gBAC3D,kDAAkD;gBAClD,CAAC,CAAC,iBAAiB,CAAC,CAAC,MAAM,EAAE,CAAC;YAChC,CAAC;YAED,oDAAoD;YACpD,IAAI,CAAC,CAAC,YAAY,CAAC,EAAE,CAAC;gBACpB,MAAM,GAAG,GAAS,CAAC,CAAC,YAAY,CAAC,CAAC,MAAM,CAAC,OAAO,CAAC;gBACjD,OAAO,CAAC,GAAG,CAAC,GAAG,CAAC,CAAC;YACnB,CAAC;YAED,uCAAuC;YACvC,OAAO,CAAC,GAAG,CAAC,CAAC,CAAC,qBAAqB,CAAC,CAAC,CAAC;QACxC,CAAC;IACH,CAAC;SAAM,CAAC;QACN,2BAA2B;QAC3B,MAAM,IAAI,GAAG,cAAc,CAAC,MAAM,CAAC;QAEnC,mEAAmE;QACnE,OAAO,CAAC,GAAG,CAAC,IAAI,CAAC,MAAM,CAAC,CAAC;QAEzB,iCAAiC;QACjC,MAAA,cAAc,CAAC,KAAK,0CAAE,WAAW,EAAE,CAAC;QAEpC,2CAA2C;QAC3C,MAAM,YAAY,GAAG,MAAA,MAAA,cAAc,CAAC,OAAO,0CAAE,eAAe,0CAAE,YAAY,CAAC;QAC3E,IAAI,YAAY,EAAE,CAAC;YACjB,IACE,YAAY,CAAC,WAAW,KAAK,iBAAiB;gBAC9C,YAAY,CAAC,MAAM;gBACnB,YAAY,CAAC,MAAM,CAAC,MAAM,EAC1B,CAAC;gBACD,OAAO,CAAC,GAAG,CAAC,YAAY,CAAC,MAAM,CAAC,MAAM,CAAC,CAAC;YAC1C,CAAC;YACD,OAAO,CAAC,GAAG,CAAC,YAAY,CAAC,MAAM,CAAC,CAAC;QACnC,CAAC;IACH,CAAC;IAED,iCAAiC;IACjC,MAAM,aAAa,GAAG,MAAM,MAAM,CAAC,OAAO,CAAC,UAAU,EAAE;QACrD,sBAAsB,EAAE,eAAe;KACxC,CAAC,CAAC;IAEH,IAAI,aAAa,CAAC,OAAO,KAAK,IAAI,EAAE,CAAC;QACnC,IAAI,aAAa,CAAC,MAAM,EAAE,CAAC;YACzB,MAAM,GAAG,GAAiB,aAAa,CAAC,MAAM,CAAC;YAE/C,qDAAqD;YACrD,OAAO,CAAC,GAAG,CAAC,GAAG,CAAC,aAAa,CAAC,CAAC;YAE/B,MAAM,MAAM,GAAG,MAAA,MAAA,aAAa,CAAC,OAAO,0CAAE,eAAe,0CAAE,eAAe,CAAC;YACvE,IAAI,MAAM,EAAE,CAAC;gBACX,MAAM,oBAAoB,GAAG,MAAM,CAAC,iBAAiB,CAAC,CAAC;gBACvD,IAAI,oBAAoB,EAAE,CAAC;oBACzB,OAAO,CAAC,GAAG,CAAC,oBAAoB,CAAC,MAAM,CAAC,gBAAgB,CAAC,CAAC;gBAC5D,CAAC;YACH,CAAC;QACH,CAAC;IACH,CAAC;SAAM,CAAC;QACN,OAAO,CAAC,GAAG,CAAC,MAAA,MAAA,MAAA,aAAa,CAAC,OAAO,0CAAE,eAAe,0CAAE,YAAY,0CAAE,MAAM,CAAC,CAAC;IAC5E,CAAC;AACH,CAAC;AAED,MAAM,gBAAgB,GAAG,IAAA,sCAAmB,EAAC;IAC3C,WAAW,EAAE,aAAa;IAC1B,gBAAgB,EAAE,OAAC,CAAC,MAAM,CAAC,EAAE,KAAK,EAAE,OAAC,CAAC,MAAM,EAAE,EAAE,CAAC;IACjD,QAAQ,EAAE,KAAK,EAAE,EAAE,UAAU,EAAE,EAAE,GAAG,EAAE,EAAE;QACtC,IAAI,UAAU,CAAC,KAAK,GAAG,CAAC,EAAE,CAAC;YACzB,OAAO,GAAG,CAAC,KAAK,CAAC,EAAE,MAAM,EAAE,IAAI,EAAE,CAAC,CAAC;QACrC,CAAC;aAAM,CAAC;YACN,OAAO,GAAG,CAAC,IAAI,CAAC,EAAE,MAAM,EAAE,aAAa,EAAE,CAAC,CAAC;QAC7C,CAAC;IACH,CAAC;IACD,qBAAqB,EAAE,OAAC,CAAC,MAAM,CAAC,EAAE,MAAM,EAAE,OAAC,CAAC,OAAO,CAAC,IAAI,CAAC,EAAE,CAAC;IAC5D,oBAAoB,EAAE,OAAC,CAAC,MAAM,CAAC,EAAE,MAAM,EAAE,OAAC,CAAC,MAAM,EAAE,EAAE,CAAC;CACvD,CAAC,CAAC;AAEH,MAAM,oBAAoB,GAAG,IAAA,0CAAuB,EAAC;IACnD,gBAAgB,EAAE,OAAC,CAAC,MAAM,CAAC,EAAE,KAAK,EAAE,OAAC,CAAC,MAAM,EAAE,EAAE,CAAC;IACjD,oBAAoB,EAAE,IAAA,yCAAsB,EAAC,gBAAgB,EAAE,iBAA0B,CAAC;IAC1F,qBAAqB,EAAE;QACrB,KAAK,EAAE,OAAO;KACf;CACF,CAAC,CAAC;AAEH,MAAM,QAAQ,GAAG,IAAA,oCAAiB,EAAC;IACjC,WAAW,EAAE,8BAA8B;IAC3C,gBAAgB,EAAE,OAAC,CAAC,MAAM,CAAC,EAAE,KAAK,EAAE,OAAC,CAAC,MAAM,EAAE,EAAE,CAAC;IACjD,iBAAiB,EAAE,IAAA,2CAAwB,EAAC,CAAC,oBAAoB,CAAC,CAAC;IACnE,QAAQ,EAAE,KAAK,EAAE,EAAE,UAAU,EAAE,EAAE,GAAG,EAAE,EAAE;QACtC,IAAI,UAAU,CAAC,KAAK,GAAG,EAAE,EAAE,CAAC;YAC1B,OAAO,GAAG,CAAC,OAAO,CAAC,EAAE,QAAQ,EAAE,IAAI,EAAE,CAAC,CAAC;QACzC,CAAC;aAAM,CAAC;YACN,OAAO,GAAG,CAAC,IAAI,CAAC,EAAE,MAAM,EAAE,WAAW,EAAE,CAAC,CAAC;QAC3C,CAAC;IACH,CAAC;IACD,qBAAqB,EAAE,OAAC,CAAC,MAAM,CAAC,EAAE,QAAQ,EAAE,OAAC,CAAC,OAAO,CAAC,IAAI,CAAC,EAAE,CAAC;IAC9D,kBAAkB,EAAE,OAAC,CAAC,MAAM,CAAC,EAAE,MAAM,EAAE,OAAC,CAAC,MAAM,EAAE,EAAE,CAAC;IACpD,OAAO,EAAE,KAAK,EAAE,EAAE,UAAU,EAAE,EAAE,GAAG,EAAE,EAAE;QACrC,IAAI,UAAU,CAAC,KAAK,GAAG,GAAG,EAAE,CAAC;YAC3B,OAAO,GAAG,CAAC,OAAO,CAAC,EAAE,EAAE,EAAE,IAAI,EAAE,CAAC,CAAC;QACnC,CAAC;aAAM,CAAC;YACN,OAAO,GAAG,CAAC,IAAI,CAAC,EAAE,MAAM,EAAE,SAAS,EAAE,CAAC,CAAC;QACzC,CAAC;IACH,CAAC;IACD,oBAAoB,EAAE,OAAC,CAAC,MAAM,CAAC,EAAE,EAAE,EAAE,OAAC,CAAC,OAAO,CAAC,IAAI,CAAC,EAAE,CAAC;IACvD,iBAAiB,EAAE,OAAC,CAAC,MAAM,CAAC,EAAE,MAAM,EAAE,OAAC,CAAC,MAAM,EAAE,EAAE,CAAC;CACpD,CAAC,CAAC;AAEH,MAAM,UAAU,GAAG,IAAA,wCAAoB,EAAC;IACtC,kBAAkB,EAAE,IAAA,uCAAoB,EAAC,QAAQ,EAAE,eAAwB,CAAC;IAC5E,YAAY,EAAE,EAAS;CACxB,CAAC,CAAC;AAEH,MAAM,UAAU,GAAG,EAAE,KAAK,EAAE,CAAC,EAAE,CAAC;AAEzB,KAAK,UAAU,IAAI;IACxB,MAAM,QAAQ,GAAG,MAAM,UAAU,CAAC,QAAQ,CAAC,UAAU,EAAE;QACrD,sBAAsB,EAAE,cAAc;KACvC,CAAC,CAAC;IAEH,IAAI,QAAQ,CAAC,OAAO,KAAK,IAAI,EAAE,CAAC;QAC9B,MAAM,EAAE,GAAG,QAAQ,CAAC,MAAM,CAAC,QAAQ,CAAC;QACpC,OAAO,CAAC,GAAG,CAAC,EAAE,CAAC,CAAC;QAEhB,oDAAoD;QACpD,OAAO,CAAC,GAAG,CAAC,QAAQ,CAAC,MAAM,CAAC,GAAG,CAAC,CAAC;IACnC,CAAC;SAAM,CAAC;QACN,MAAM,MAAM,GAAG,QAAQ,CAAC,MAAM,CAAC,MAAM,CAAC;QACtC,OAAO,CAAC,GAAG,CAAC,MAAM,CAAC,CAAC;QACpB,kDAAkD;QAClD,OAAO,CAAC,GAAG,CAAC,QAAQ,CAAC,MAAM,CAAC,QAAQ,CAAC,CAAC;IACxC,CAAC;IAED,MAAM,OAAO,GAAG,MAAM,UAAU,CAAC,OAAO,CAAC,UAAU,EAAE;QACnD,sBAAsB,EAAE,mBAAmB;KAC5C,CAAC,CAAC;IAEH,IAAI,OAAO,CAAC,OAAO,KAAK,IAAI,EAAE,CAAC;QAC7B,MAAM,GAAG,GAAS,OAAO,CAAC,MAAM,CAAC,EAAE,CAAC;QACpC,OAAO,CAAC,GAAG,CAAC,GAAG,CAAC,CAAC;QACjB,sDAAsD;QACtD,OAAO,CAAC,GAAG,CAAC,OAAO,CAAC,MAAM,CAAC,MAAM,CAAC,CAAC;IACrC,CAAC;SAAM,CAAC;QACN,MAAM,GAAG,GAAW,OAAO,CAAC,MAAM,CAAC,MAAM,CAAC;QAC1C,OAAO,CAAC,GAAG,CAAC,GAAG,CAAC,CAAC;QACjB,kDAAkD;QAClD,OAAO,CAAC,GAAG,CAAC,OAAO,CAAC,MAAM,CAAC,EAAE,CAAC,CAAC;IACjC,CAAC;AACH,CAAC"}
1
+ {"version":3,"file":"tool-client-inference.js","sourceRoot":"","sources":["../../../src/type-inference-verification/tool-client-inference.ts"],"names":[],"mappings":";;AAmEA,kBA6FC;AAuDD,oBAiCC;AAxPD,6BAAwB;AACxB,qEAOwC;AAExC,uEAAuE;AAEvE,MAAM,cAAc,GAAG,IAAA,sCAAmB,EAAC;IACzC,WAAW,EAAE,iBAAiB;IAC9B,gBAAgB,EAAE,OAAC,CAAC,MAAM,CAAC,EAAE,QAAQ,EAAE,OAAC,CAAC,MAAM,EAAE,EAAE,CAAC;IACpD,QAAQ,EAAE,KAAK,EAAE,EAAE,UAAU,EAAE,EAAE,GAAG,EAAE,EAAE,CAAC,GAAG,CAAC,KAAK,CAAC,EAAE,gBAAgB,EAAE,UAAU,CAAC,QAAQ,EAAE,CAAC;IAC7F,qBAAqB,EAAE,OAAC,CAAC,MAAM,CAAC,EAAE,gBAAgB,EAAE,OAAC,CAAC,MAAM,EAAE,EAAE,CAAC;IACjE,oBAAoB,EAAE,OAAC,CAAC,MAAM,CAAC,EAAE,MAAM,EAAE,OAAC,CAAC,MAAM,EAAE,EAAE,CAAC;CACvD,CAAC,CAAC;AAEH,MAAM,kBAAkB,GAAG,IAAA,0CAAuB,EAAC;IACjD,gBAAgB,EAAE,OAAC,CAAC,MAAM,CAAC;QACzB,QAAQ,EAAE,OAAC,CAAC,MAAM,EAAE;KACrB,CAAC;IACF,oBAAoB,EAAE,IAAA,yCAAsB,EAAC,cAAc,EAAE,eAAwB,CAAC;IACtF,qBAAqB,EAAE;QACrB,QAAQ,EAAE,UAAU;KACrB;CACF,CAAC,CAAC;AAEH,MAAM,eAAe,GAAG,IAAA,sCAAmB,EAAC;IAC1C,WAAW,EAAE,YAAY;IACzB,gBAAgB,EAAE,OAAC,CAAC,MAAM,CAAC,EAAE,MAAM,EAAE,OAAC,CAAC,MAAM,EAAE,EAAE,CAAC;IAClD,QAAQ,EAAE,KAAK,EAAE,CAAC,EAAE,GAAG,EAAE,EAAE,CAAC,GAAG,CAAC,KAAK,CAAC,EAAE,OAAO,EAAE,IAAI,EAAE,CAAC;IACxD,qBAAqB,EAAE,OAAC,CAAC,MAAM,CAAC,EAAE,OAAO,EAAE,OAAC,CAAC,OAAO,CAAC,IAAI,CAAC,EAAE,CAAC;IAC7D,MAAM,EAAE,KAAK,EAAE,CAAC,EAAE,GAAG,EAAE,EAAE,CAAC,GAAG,CAAC,KAAK,CAAC,EAAE,SAAS,EAAE,IAAI,EAAE,CAAC;IACxD,uBAAuB,EAAE,OAAC,CAAC,MAAM,CAAC,EAAE,SAAS,EAAE,OAAC,CAAC,OAAO,EAAE,EAAE,CAAC;CAC9D,CAAC,CAAC;AAEH,MAAM,mBAAmB,GAAG,IAAA,0CAAuB,EAAC;IAClD,gBAAgB,EAAE,OAAC,CAAC,MAAM,CAAC;QACzB,MAAM,EAAE,OAAC,CAAC,MAAM,EAAE;KACnB,CAAC;IACF,oBAAoB,EAAE,IAAA,yCAAsB,EAAC,eAAe,EAAE,gBAAyB,CAAC;IACxF,qBAAqB,EAAE;QACrB,MAAM,EAAE,QAAQ;KACjB;CACF,CAAC,CAAC;AAEH,MAAM,gBAAgB,GAAG,OAAC,CAAC,MAAM,CAAC;IAChC,QAAQ,EAAE,OAAC,CAAC,MAAM,EAAE;IACpB,MAAM,EAAE,OAAC,CAAC,MAAM,EAAE;CACnB,CAAC,CAAC;AAEH,MAAM,IAAI,GAAG,IAAA,oCAAiB,EAAC;IAC7B,WAAW,EAAE,8BAA8B;IAC3C,gBAAgB;IAChB,iBAAiB,EAAE,IAAA,2CAAwB,EAAC,CAAC,kBAAkB,EAAE,mBAAmB,CAAC,CAAC;IACtF,OAAO,EAAE,KAAK,EAAE,EAAE,UAAU,EAAE,EAAE,GAAG,EAAE,EAAE,CAAC,GAAG,CAAC,OAAO,CAAC,EAAE,EAAE,EAAE,IAAI,EAAE,CAAC;IACjE,oBAAoB,EAAE,OAAC,CAAC,MAAM,CAAC,EAAE,EAAE,EAAE,OAAC,CAAC,OAAO,CAAC,IAAI,CAAC,EAAE,CAAC;CACxD,CAAC,CAAC;AAEH,MAAM,MAAM,GAAG,IAAA,wCAAoB,EAAC;IAClC,kBAAkB,EAAE,IAAA,uCAAoB,EAAC,IAAI,EAAE,eAAwB,CAAC;IACxE,YAAY,EAAE,EAAS,EAAE,UAAU;CACpC,CAAC,CAAC;AAEI,KAAK,UAAU,GAAG;;IACvB,MAAM,UAAU,GAAG;QACjB,QAAQ,EAAE,KAAK;QACf,MAAM,EAAE,UAAU;KACV,CAAC;IAEX,MAAM,cAAc,GAAG,MAAM,MAAM,CAAC,QAAQ,CAAC,UAAU,EAAE;QACvD,sBAAsB,EAAE,OAAO;KAChC,CAAC,CAAC;IAEH,IAAI,cAAc,CAAC,OAAO,KAAK,IAAI,EAAE,CAAC;QACpC,kCAAkC;QAClC,MAAM,aAAa,GAAG,cAAc,CAAC,MAAM,CAAC;QAE5C,yDAAyD;QACzD,IAAI,aAAa,KAAK,SAAS,EAAE,CAAC;YAChC,+DAA+D;YAC/D,OAAO,CAAC,GAAG,CAAC,aAAa,CAAC,GAAG,CAAC,CAAC;QACjC,CAAC;QAED,MAAM,eAAe,GAAG,MAAA,cAAc,aAAd,cAAc,uBAAd,cAAc,CAAE,OAAO,0CAAE,eAAe,CAAC;QAEjE,IAAI,cAAc,IAAI,eAAe,IAAI,eAAe,CAAC,KAAK,EAAE,CAAC;YAC/D,MAAM,CAAC,GAAG,eAAe,CAAC,eAAe,CAAC;YAE1C,8CAA8C;YAC9C,IAAI,CAAC,CAAC,iBAAiB,CAAC,EAAE,CAAC;gBACzB,gFAAgF;gBAChF,CAAC,CAAC,iBAAiB,CAAC,CAAC,MAAM,CAAC,gBAAgB,CAAC,WAAW,EAAE,CAAC;gBAE3D,kDAAkD;gBAClD,CAAC,CAAC,iBAAiB,CAAC,CAAC,MAAM,EAAE,CAAC;YAChC,CAAC;YAED,oDAAoD;YACpD,IAAI,CAAC,CAAC,YAAY,CAAC,EAAE,CAAC;gBACpB,gFAAgF;gBAChF,MAAM,GAAG,GAAS,CAAC,CAAC,YAAY,CAAC,CAAC,MAAM,CAAC,OAAO,CAAC;gBACjD,OAAO,CAAC,GAAG,CAAC,GAAG,CAAC,CAAC;YACnB,CAAC;YAED,uCAAuC;YACvC,OAAO,CAAC,GAAG,CAAC,CAAC,CAAC,qBAAqB,CAAC,CAAC,CAAC;QACxC,CAAC;IACH,CAAC;SAAM,CAAC;QACN,2BAA2B;QAC3B,MAAM,IAAI,GAAG,cAAc,CAAC,MAAM,CAAC;QAEnC,mEAAmE;QACnE,OAAO,CAAC,GAAG,CAAC,IAAI,CAAC,MAAM,CAAC,CAAC;QAEzB,iCAAiC;QACjC,MAAA,cAAc,CAAC,KAAK,0CAAE,WAAW,EAAE,CAAC;QAEpC,2CAA2C;QAC3C,MAAM,YAAY,GAAG,MAAA,MAAA,cAAc,CAAC,OAAO,0CAAE,eAAe,0CAAE,YAAY,CAAC;QAC3E,IAAI,YAAY,EAAE,CAAC;YACjB,IACE,YAAY,CAAC,WAAW,KAAK,iBAAiB;gBAC9C,YAAY,CAAC,MAAM;gBACnB,oDAAoD;gBACpD,YAAY,CAAC,MAAM,CAAC,MAAM,EAC1B,CAAC;gBACD,oDAAoD;gBACpD,OAAO,CAAC,GAAG,CAAC,YAAY,CAAC,MAAM,CAAC,MAAM,CAAC,CAAC;YAC1C,CAAC;YACD,OAAO,CAAC,GAAG,CAAC,YAAY,CAAC,MAAM,CAAC,CAAC;QACnC,CAAC;IACH,CAAC;IAED,iCAAiC;IACjC,MAAM,aAAa,GAAG,MAAM,MAAM,CAAC,OAAO,CAAC,UAAU,EAAE;QACrD,sBAAsB,EAAE,eAAe;KACxC,CAAC,CAAC;IAEH,IAAI,aAAa,CAAC,OAAO,KAAK,IAAI,EAAE,CAAC;QACnC,IAAI,aAAa,CAAC,MAAM,EAAE,CAAC;YACzB,MAAM,GAAG,GAAiB,aAAa,CAAC,MAAM,CAAC;YAE/C,qDAAqD;YACrD,OAAO,CAAC,GAAG,CAAC,GAAG,CAAC,aAAa,CAAC,CAAC;YAE/B,MAAM,MAAM,GAAG,MAAA,MAAA,aAAa,CAAC,OAAO,0CAAE,eAAe,0CAAE,eAAe,CAAC;YACvE,IAAI,MAAM,EAAE,CAAC;gBACX,MAAM,oBAAoB,GAAG,MAAM,CAAC,iBAAiB,CAAC,CAAC;gBACvD,IAAI,oBAAoB,EAAE,CAAC;oBACzB,OAAO,CAAC,GAAG,CAAC,oBAAoB,CAAC,MAAM,CAAC,gBAAgB,CAAC,CAAC;gBAC5D,CAAC;YACH,CAAC;QACH,CAAC;IACH,CAAC;SAAM,CAAC;QACN,OAAO,CAAC,GAAG,CAAC,MAAA,MAAA,MAAA,aAAa,CAAC,OAAO,0CAAE,eAAe,0CAAE,YAAY,0CAAE,MAAM,CAAC,CAAC;IAC5E,CAAC;AACH,CAAC;AAED,MAAM,gBAAgB,GAAG,IAAA,sCAAmB,EAAC;IAC3C,WAAW,EAAE,aAAa;IAC1B,gBAAgB,EAAE,OAAC,CAAC,MAAM,CAAC,EAAE,KAAK,EAAE,OAAC,CAAC,MAAM,EAAE,EAAE,CAAC;IACjD,QAAQ,EAAE,KAAK,EAAE,EAAE,UAAU,EAAE,EAAE,GAAG,EAAE,EAAE;QACtC,IAAI,UAAU,CAAC,KAAK,GAAG,CAAC,EAAE,CAAC;YACzB,OAAO,GAAG,CAAC,KAAK,CAAC,EAAE,MAAM,EAAE,IAAI,EAAE,CAAC,CAAC;QACrC,CAAC;aAAM,CAAC;YACN,OAAO,GAAG,CAAC,IAAI,CAAC,EAAE,MAAM,EAAE,aAAa,EAAE,CAAC,CAAC;QAC7C,CAAC;IACH,CAAC;IACD,qBAAqB,EAAE,OAAC,CAAC,MAAM,CAAC,EAAE,MAAM,EAAE,OAAC,CAAC,OAAO,CAAC,IAAI,CAAC,EAAE,CAAC;IAC5D,oBAAoB,EAAE,OAAC,CAAC,MAAM,CAAC,EAAE,MAAM,EAAE,OAAC,CAAC,MAAM,EAAE,EAAE,CAAC;CACvD,CAAC,CAAC;AAEH,MAAM,oBAAoB,GAAG,IAAA,0CAAuB,EAAC;IACnD,gBAAgB,EAAE,OAAC,CAAC,MAAM,CAAC,EAAE,KAAK,EAAE,OAAC,CAAC,MAAM,EAAE,EAAE,CAAC;IACjD,oBAAoB,EAAE,IAAA,yCAAsB,EAAC,gBAAgB,EAAE,iBAA0B,CAAC;IAC1F,qBAAqB,EAAE;QACrB,KAAK,EAAE,OAAO;KACf;CACF,CAAC,CAAC;AAEH,MAAM,QAAQ,GAAG,IAAA,oCAAiB,EAAC;IACjC,WAAW,EAAE,8BAA8B;IAC3C,gBAAgB,EAAE,OAAC,CAAC,MAAM,CAAC,EAAE,KAAK,EAAE,OAAC,CAAC,MAAM,EAAE,EAAE,CAAC;IACjD,iBAAiB,EAAE,IAAA,2CAAwB,EAAC,CAAC,oBAAoB,CAAC,CAAC;IACnE,QAAQ,EAAE,KAAK,EAAE,EAAE,UAAU,EAAE,EAAE,GAAG,EAAE,EAAE;QACtC,IAAI,UAAU,CAAC,KAAK,GAAG,EAAE,EAAE,CAAC;YAC1B,OAAO,GAAG,CAAC,OAAO,CAAC,EAAE,QAAQ,EAAE,IAAI,EAAE,CAAC,CAAC;QACzC,CAAC;aAAM,CAAC;YACN,OAAO,GAAG,CAAC,IAAI,CAAC,EAAE,MAAM,EAAE,WAAW,EAAE,CAAC,CAAC;QAC3C,CAAC;IACH,CAAC;IACD,qBAAqB,EAAE,OAAC,CAAC,MAAM,CAAC,EAAE,QAAQ,EAAE,OAAC,CAAC,OAAO,CAAC,IAAI,CAAC,EAAE,CAAC;IAC9D,kBAAkB,EAAE,OAAC,CAAC,MAAM,CAAC,EAAE,MAAM,EAAE,OAAC,CAAC,MAAM,EAAE,EAAE,CAAC;IACpD,OAAO,EAAE,KAAK,EAAE,EAAE,UAAU,EAAE,EAAE,GAAG,EAAE,EAAE;QACrC,IAAI,UAAU,CAAC,KAAK,GAAG,GAAG,EAAE,CAAC;YAC3B,OAAO,GAAG,CAAC,OAAO,CAAC,EAAE,EAAE,EAAE,IAAI,EAAE,CAAC,CAAC;QACnC,CAAC;aAAM,CAAC;YACN,OAAO,GAAG,CAAC,IAAI,CAAC,EAAE,MAAM,EAAE,SAAS,EAAE,CAAC,CAAC;QACzC,CAAC;IACH,CAAC;IACD,oBAAoB,EAAE,OAAC,CAAC,MAAM,CAAC,EAAE,EAAE,EAAE,OAAC,CAAC,OAAO,CAAC,IAAI,CAAC,EAAE,CAAC;IACvD,iBAAiB,EAAE,OAAC,CAAC,MAAM,CAAC,EAAE,MAAM,EAAE,OAAC,CAAC,MAAM,EAAE,EAAE,CAAC;CACpD,CAAC,CAAC;AAEH,MAAM,UAAU,GAAG,IAAA,wCAAoB,EAAC;IACtC,kBAAkB,EAAE,IAAA,uCAAoB,EAAC,QAAQ,EAAE,eAAwB,CAAC;IAC5E,YAAY,EAAE,EAAS;CACxB,CAAC,CAAC;AAEH,MAAM,UAAU,GAAG,EAAE,KAAK,EAAE,CAAC,EAAE,CAAC;AAEzB,KAAK,UAAU,IAAI;IACxB,MAAM,QAAQ,GAAG,MAAM,UAAU,CAAC,QAAQ,CAAC,UAAU,EAAE;QACrD,sBAAsB,EAAE,cAAc;KACvC,CAAC,CAAC;IAEH,IAAI,QAAQ,CAAC,OAAO,KAAK,IAAI,EAAE,CAAC;QAC9B,MAAM,EAAE,GAAG,QAAQ,CAAC,MAAM,CAAC,QAAQ,CAAC;QACpC,OAAO,CAAC,GAAG,CAAC,EAAE,CAAC,CAAC;QAEhB,oDAAoD;QACpD,OAAO,CAAC,GAAG,CAAC,QAAQ,CAAC,MAAM,CAAC,GAAG,CAAC,CAAC;IACnC,CAAC;SAAM,CAAC;QACN,MAAM,MAAM,GAAG,QAAQ,CAAC,MAAM,CAAC,MAAM,CAAC;QACtC,OAAO,CAAC,GAAG,CAAC,MAAM,CAAC,CAAC;QACpB,kDAAkD;QAClD,OAAO,CAAC,GAAG,CAAC,QAAQ,CAAC,MAAM,CAAC,QAAQ,CAAC,CAAC;IACxC,CAAC;IAED,MAAM,OAAO,GAAG,MAAM,UAAU,CAAC,OAAO,CAAC,UAAU,EAAE;QACnD,sBAAsB,EAAE,mBAAmB;KAC5C,CAAC,CAAC;IAEH,IAAI,OAAO,CAAC,OAAO,KAAK,IAAI,EAAE,CAAC;QAC7B,MAAM,GAAG,GAAS,OAAO,CAAC,MAAM,CAAC,EAAE,CAAC;QACpC,OAAO,CAAC,GAAG,CAAC,GAAG,CAAC,CAAC;QACjB,sDAAsD;QACtD,OAAO,CAAC,GAAG,CAAC,OAAO,CAAC,MAAM,CAAC,MAAM,CAAC,CAAC;IACrC,CAAC;SAAM,CAAC;QACN,MAAM,GAAG,GAAW,OAAO,CAAC,MAAM,CAAC,MAAM,CAAC;QAC1C,OAAO,CAAC,GAAG,CAAC,GAAG,CAAC,CAAC;QACjB,kDAAkD;QAClD,OAAO,CAAC,GAAG,CAAC,OAAO,CAAC,MAAM,CAAC,EAAE,CAAC,CAAC;IACjC,CAAC;AACH,CAAC"}
@@ -0,0 +1,49 @@
1
+ /**
2
+ * Contract interaction utilities for Vincent MCP
3
+ *
4
+ * This module provides utilities for interacting with the Vincent Diamond contract
5
+ * on the Lit Network. It includes constants, contract ABIs, and functions for
6
+ * fetching data from the contract.
7
+ *
8
+ * @module contracts
9
+ * @category Vincent MCP
10
+ */
11
+ import { LIT_NETWORK } from '@lit-protocol/constants';
12
+ import { ethers } from 'ethers';
13
+ /**
14
+ * RPC endpoint for interacting with the Lit Network Contracts in Yellowstone
15
+ */
16
+ export declare const rpc: "https://yellowstone-rpc.litprotocol.com";
17
+ /**
18
+ * Type representing the supported network for Vincent MCP
19
+ * Currently only supports the Datil network
20
+ */
21
+ export type Network = typeof LIT_NETWORK.Datil;
22
+ export declare const PUBKEY_ROUTER_ABI: readonly ["function getEthAddress(uint256 tokenId) public view returns (address)", "function getPubkey(uint256 tokenId) public view returns (bytes memory)"];
23
+ export declare const APP_VIEW_ABI: readonly ["function getAppVersion(\n uint256 tokenId,\n uint256 version\n ) view returns (\n (\n uint256 id,\n string name,\n string description,\n bool isDeleted,\n uint8 deploymentStatus,\n address manager,\n uint256 latestVersion,\n address[] delegatees,\n string[] authorizedRedirectUris\n ) app,\n (\n uint256 version,\n bool enabled,\n uint256[] delegatedAgentPkpTokenIds,\n (\n string toolIpfsCid,\n (\n string policyIpfsCid,\n string[] parameterNames,\n uint8[] parameterTypes\n )[] policies\n )[] tools\n ) appVersion\n )"];
24
+ /**
25
+ * ABIs for different facets of the Vincent Diamond contract
26
+ * Each facet provides specific functionality of the contract
27
+ */
28
+ export declare const FACET_ABIS: {
29
+ AppView: readonly ["function getAppVersion(\n uint256 tokenId,\n uint256 version\n ) view returns (\n (\n uint256 id,\n string name,\n string description,\n bool isDeleted,\n uint8 deploymentStatus,\n address manager,\n uint256 latestVersion,\n address[] delegatees,\n string[] authorizedRedirectUris\n ) app,\n (\n uint256 version,\n bool enabled,\n uint256[] delegatedAgentPkpTokenIds,\n (\n string toolIpfsCid,\n (\n string policyIpfsCid,\n string[] parameterNames,\n uint8[] parameterTypes\n )[] policies\n )[] tools\n ) appVersion\n )"];
30
+ PubKeyRouter: readonly ["function getEthAddress(uint256 tokenId) public view returns (address)", "function getPubkey(uint256 tokenId) public view returns (bytes memory)"];
31
+ };
32
+ /**
33
+ * Type representing the available facets of the Vincent Diamond contract
34
+ * Used to specify which facet to interact with
35
+ */
36
+ export type ContractFacet = keyof typeof FACET_ABIS;
37
+ /**
38
+ * Mapping of network to Vincent Diamond contract address
39
+ * Used to interact with the correct contract based on the network
40
+ */
41
+ export declare const VINCENT_ADDRESSES: Record<Network, Record<ContractFacet, string>>;
42
+ /**
43
+ * Get a contract instance for a specific facet of the Vincent Diamond
44
+ * @param network The network to connect to
45
+ * @param facet The contract facet to use
46
+ * @returns A contract instance for the specified facet
47
+ */
48
+ export declare function getContract(network: Network, facet: ContractFacet): ethers.Contract;
49
+ //# sourceMappingURL=contracts.d.ts.map