@crediolabs/policy-builder-mcp 0.1.6 → 0.1.8

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 (27) hide show
  1. package/LICENSE +21 -0
  2. package/README.md +7 -2
  3. package/dist/src/index.d.ts +2 -2
  4. package/dist/src/index.js +2 -2
  5. package/dist/src/schemas.d.ts +61 -2058
  6. package/dist/src/schemas.js +26 -213
  7. package/dist/src/server.js +3 -3
  8. package/dist-cjs/package.json +3 -0
  9. package/dist-cjs/src/index.d.ts +7 -0
  10. package/dist-cjs/src/index.js +20 -0
  11. package/dist-cjs/src/schemas.d.ts +450 -0
  12. package/dist-cjs/src/schemas.js +58 -0
  13. package/dist-cjs/src/server.d.ts +6 -0
  14. package/dist-cjs/src/server.js +42 -0
  15. package/dist-cjs/src/tools/result.d.ts +24 -0
  16. package/dist-cjs/src/tools/result.js +39 -0
  17. package/dist-cjs/src/transports/http.d.ts +15 -0
  18. package/dist-cjs/src/transports/http.js +140 -0
  19. package/dist-cjs/src/transports/stdio.d.ts +1 -0
  20. package/dist-cjs/src/transports/stdio.js +18 -0
  21. package/package.json +36 -3
  22. package/src/index.ts +6 -10
  23. package/src/schemas.ts +47 -239
  24. package/src/server.ts +3 -3
  25. package/dist/src/tools/run.d.ts +0 -15
  26. package/dist/src/tools/run.js +0 -98
  27. package/src/tools/run.ts +0 -134
package/dist/src/schemas.d.ts CHANGED
@@ -1,1867 +1,15 @@
1
+ import { ComposeUserResponsesSchema, InterpreterOptionsSchema, MandateSpecSchema, NetworkSchema, OzAdapterConfigSchema, RecordedTransactionSchema, RecordTransactionInputSchema, SynthesizePolicyInputSchema, ToolErrorSchema } from '@crediolabs/policy-synth/run';
1
2
  import { z } from 'zod';
2
- export declare const NetworkSchema: z.ZodEnum<["mainnet", "testnet"]>;
3
- export type Network = z.infer<typeof NetworkSchema>;
4
- /** ScVal subset - normalised subset the synth consumes. Mirrors
5
- * `ScVal` in packages/policy-synth/src/types.ts. */
6
- export declare const ScValSchema: z.ZodType<unknown>;
7
- /** ContractInvocation mirrors the core. Annotated with an explicit
8
- * `z.ZodType<unknown>` (like ScValSchema above) so the self-referential
9
- * `subInvocations` field does not trip TS's circular type inference. */
10
- export declare const ContractInvocationSchema: z.ZodType<unknown>;
11
- export declare const TokenMovementSchema: z.ZodObject<{
12
- token: z.ZodString;
13
- from: z.ZodString;
14
- to: z.ZodString;
15
- amount: z.ZodString;
16
- }, "strip", z.ZodTypeAny, {
17
- token: string;
18
- from: string;
19
- to: string;
20
- amount: string;
21
- }, {
22
- token: string;
23
- from: string;
24
- to: string;
25
- amount: string;
26
- }>;
27
- export declare const OnChainEventSchema: z.ZodObject<{
28
- contract: z.ZodString;
29
- topics: z.ZodArray<z.ZodString, "many">;
30
- data: z.ZodType<unknown, z.ZodTypeDef, unknown>;
31
- }, "strip", z.ZodTypeAny, {
32
- contract: string;
33
- topics: string[];
34
- data?: unknown;
35
- }, {
36
- contract: string;
37
- topics: string[];
38
- data?: unknown;
39
- }>;
40
- export declare const ParseConfidenceSchema: z.ZodObject<{
41
- overall: z.ZodNumber;
42
- knownContracts: z.ZodArray<z.ZodString, "many">;
43
- unknownContracts: z.ZodArray<z.ZodObject<{
44
- contract: z.ZodString;
45
- reason: z.ZodEnum<["no-abi", "version-mismatch", "opaque-result"]>;
46
- }, "strip", z.ZodTypeAny, {
47
- contract: string;
48
- reason: "no-abi" | "version-mismatch" | "opaque-result";
49
- }, {
50
- contract: string;
51
- reason: "no-abi" | "version-mismatch" | "opaque-result";
52
- }>, "many">;
53
- opaqueScVals: z.ZodArray<z.ZodObject<{
54
- path: z.ZodString;
55
- type: z.ZodString;
56
- }, "strip", z.ZodTypeAny, {
57
- path: string;
58
- type: string;
59
- }, {
60
- path: string;
61
- type: string;
62
- }>, "many">;
63
- thresholdUsed: z.ZodNumber;
64
- }, "strip", z.ZodTypeAny, {
65
- overall: number;
66
- knownContracts: string[];
67
- unknownContracts: {
68
- contract: string;
69
- reason: "no-abi" | "version-mismatch" | "opaque-result";
70
- }[];
71
- opaqueScVals: {
72
- path: string;
73
- type: string;
74
- }[];
75
- thresholdUsed: number;
76
- }, {
77
- overall: number;
78
- knownContracts: string[];
79
- unknownContracts: {
80
- contract: string;
81
- reason: "no-abi" | "version-mismatch" | "opaque-result";
82
- }[];
83
- opaqueScVals: {
84
- path: string;
85
- type: string;
86
- }[];
87
- thresholdUsed: number;
88
- }>;
89
- /** RecordedTransaction mirrors the core RecordedTransaction. The output shape
90
- * is referenced by name in the tool result structured content; we deliberately
91
- * type it loosely (`z.unknown()`) on the success path so the core remains the
92
- * single source of truth for the wire payload. */
93
- export declare const RecordedTransactionSchema: z.ZodObject<{
94
- network: z.ZodEnum<["mainnet", "testnet"]>;
95
- signers: z.ZodArray<z.ZodString, "many">;
96
- invocations: z.ZodArray<z.ZodType<unknown, z.ZodTypeDef, unknown>, "many">;
97
- tokenMovements: z.ZodArray<z.ZodObject<{
98
- token: z.ZodString;
99
- from: z.ZodString;
100
- to: z.ZodString;
101
- amount: z.ZodString;
102
- }, "strip", z.ZodTypeAny, {
103
- token: string;
104
- from: string;
105
- to: string;
106
- amount: string;
107
- }, {
108
- token: string;
109
- from: string;
110
- to: string;
111
- amount: string;
112
- }>, "many">;
113
- events: z.ZodArray<z.ZodObject<{
114
- contract: z.ZodString;
115
- topics: z.ZodArray<z.ZodString, "many">;
116
- data: z.ZodType<unknown, z.ZodTypeDef, unknown>;
117
- }, "strip", z.ZodTypeAny, {
118
- contract: string;
119
- topics: string[];
120
- data?: unknown;
121
- }, {
122
- contract: string;
123
- topics: string[];
124
- data?: unknown;
125
- }>, "many">;
126
- authEntries: z.ZodArray<z.ZodUnknown, "many">;
127
- ledgerSequence: z.ZodNumber;
128
- fetchedAt: z.ZodNumber;
129
- parseConfidence: z.ZodObject<{
130
- overall: z.ZodNumber;
131
- knownContracts: z.ZodArray<z.ZodString, "many">;
132
- unknownContracts: z.ZodArray<z.ZodObject<{
133
- contract: z.ZodString;
134
- reason: z.ZodEnum<["no-abi", "version-mismatch", "opaque-result"]>;
135
- }, "strip", z.ZodTypeAny, {
136
- contract: string;
137
- reason: "no-abi" | "version-mismatch" | "opaque-result";
138
- }, {
139
- contract: string;
140
- reason: "no-abi" | "version-mismatch" | "opaque-result";
141
- }>, "many">;
142
- opaqueScVals: z.ZodArray<z.ZodObject<{
143
- path: z.ZodString;
144
- type: z.ZodString;
145
- }, "strip", z.ZodTypeAny, {
146
- path: string;
147
- type: string;
148
- }, {
149
- path: string;
150
- type: string;
151
- }>, "many">;
152
- thresholdUsed: z.ZodNumber;
153
- }, "strip", z.ZodTypeAny, {
154
- overall: number;
155
- knownContracts: string[];
156
- unknownContracts: {
157
- contract: string;
158
- reason: "no-abi" | "version-mismatch" | "opaque-result";
159
- }[];
160
- opaqueScVals: {
161
- path: string;
162
- type: string;
163
- }[];
164
- thresholdUsed: number;
165
- }, {
166
- overall: number;
167
- knownContracts: string[];
168
- unknownContracts: {
169
- contract: string;
170
- reason: "no-abi" | "version-mismatch" | "opaque-result";
171
- }[];
172
- opaqueScVals: {
173
- path: string;
174
- type: string;
175
- }[];
176
- thresholdUsed: number;
177
- }>;
178
- sourceAccount: z.ZodString;
179
- }, "passthrough", z.ZodTypeAny, z.objectOutputType<{
180
- network: z.ZodEnum<["mainnet", "testnet"]>;
181
- signers: z.ZodArray<z.ZodString, "many">;
182
- invocations: z.ZodArray<z.ZodType<unknown, z.ZodTypeDef, unknown>, "many">;
183
- tokenMovements: z.ZodArray<z.ZodObject<{
184
- token: z.ZodString;
185
- from: z.ZodString;
186
- to: z.ZodString;
187
- amount: z.ZodString;
188
- }, "strip", z.ZodTypeAny, {
189
- token: string;
190
- from: string;
191
- to: string;
192
- amount: string;
193
- }, {
194
- token: string;
195
- from: string;
196
- to: string;
197
- amount: string;
198
- }>, "many">;
199
- events: z.ZodArray<z.ZodObject<{
200
- contract: z.ZodString;
201
- topics: z.ZodArray<z.ZodString, "many">;
202
- data: z.ZodType<unknown, z.ZodTypeDef, unknown>;
203
- }, "strip", z.ZodTypeAny, {
204
- contract: string;
205
- topics: string[];
206
- data?: unknown;
207
- }, {
208
- contract: string;
209
- topics: string[];
210
- data?: unknown;
211
- }>, "many">;
212
- authEntries: z.ZodArray<z.ZodUnknown, "many">;
213
- ledgerSequence: z.ZodNumber;
214
- fetchedAt: z.ZodNumber;
215
- parseConfidence: z.ZodObject<{
216
- overall: z.ZodNumber;
217
- knownContracts: z.ZodArray<z.ZodString, "many">;
218
- unknownContracts: z.ZodArray<z.ZodObject<{
219
- contract: z.ZodString;
220
- reason: z.ZodEnum<["no-abi", "version-mismatch", "opaque-result"]>;
221
- }, "strip", z.ZodTypeAny, {
222
- contract: string;
223
- reason: "no-abi" | "version-mismatch" | "opaque-result";
224
- }, {
225
- contract: string;
226
- reason: "no-abi" | "version-mismatch" | "opaque-result";
227
- }>, "many">;
228
- opaqueScVals: z.ZodArray<z.ZodObject<{
229
- path: z.ZodString;
230
- type: z.ZodString;
231
- }, "strip", z.ZodTypeAny, {
232
- path: string;
233
- type: string;
234
- }, {
235
- path: string;
236
- type: string;
237
- }>, "many">;
238
- thresholdUsed: z.ZodNumber;
239
- }, "strip", z.ZodTypeAny, {
240
- overall: number;
241
- knownContracts: string[];
242
- unknownContracts: {
243
- contract: string;
244
- reason: "no-abi" | "version-mismatch" | "opaque-result";
245
- }[];
246
- opaqueScVals: {
247
- path: string;
248
- type: string;
249
- }[];
250
- thresholdUsed: number;
251
- }, {
252
- overall: number;
253
- knownContracts: string[];
254
- unknownContracts: {
255
- contract: string;
256
- reason: "no-abi" | "version-mismatch" | "opaque-result";
257
- }[];
258
- opaqueScVals: {
259
- path: string;
260
- type: string;
261
- }[];
262
- thresholdUsed: number;
263
- }>;
264
- sourceAccount: z.ZodString;
265
- }, z.ZodTypeAny, "passthrough">, z.objectInputType<{
266
- network: z.ZodEnum<["mainnet", "testnet"]>;
267
- signers: z.ZodArray<z.ZodString, "many">;
268
- invocations: z.ZodArray<z.ZodType<unknown, z.ZodTypeDef, unknown>, "many">;
269
- tokenMovements: z.ZodArray<z.ZodObject<{
270
- token: z.ZodString;
271
- from: z.ZodString;
272
- to: z.ZodString;
273
- amount: z.ZodString;
274
- }, "strip", z.ZodTypeAny, {
275
- token: string;
276
- from: string;
277
- to: string;
278
- amount: string;
279
- }, {
280
- token: string;
281
- from: string;
282
- to: string;
283
- amount: string;
284
- }>, "many">;
285
- events: z.ZodArray<z.ZodObject<{
286
- contract: z.ZodString;
287
- topics: z.ZodArray<z.ZodString, "many">;
288
- data: z.ZodType<unknown, z.ZodTypeDef, unknown>;
289
- }, "strip", z.ZodTypeAny, {
290
- contract: string;
291
- topics: string[];
292
- data?: unknown;
293
- }, {
294
- contract: string;
295
- topics: string[];
296
- data?: unknown;
297
- }>, "many">;
298
- authEntries: z.ZodArray<z.ZodUnknown, "many">;
299
- ledgerSequence: z.ZodNumber;
300
- fetchedAt: z.ZodNumber;
301
- parseConfidence: z.ZodObject<{
302
- overall: z.ZodNumber;
303
- knownContracts: z.ZodArray<z.ZodString, "many">;
304
- unknownContracts: z.ZodArray<z.ZodObject<{
305
- contract: z.ZodString;
306
- reason: z.ZodEnum<["no-abi", "version-mismatch", "opaque-result"]>;
307
- }, "strip", z.ZodTypeAny, {
308
- contract: string;
309
- reason: "no-abi" | "version-mismatch" | "opaque-result";
310
- }, {
311
- contract: string;
312
- reason: "no-abi" | "version-mismatch" | "opaque-result";
313
- }>, "many">;
314
- opaqueScVals: z.ZodArray<z.ZodObject<{
315
- path: z.ZodString;
316
- type: z.ZodString;
317
- }, "strip", z.ZodTypeAny, {
318
- path: string;
319
- type: string;
320
- }, {
321
- path: string;
322
- type: string;
323
- }>, "many">;
324
- thresholdUsed: z.ZodNumber;
325
- }, "strip", z.ZodTypeAny, {
326
- overall: number;
327
- knownContracts: string[];
328
- unknownContracts: {
329
- contract: string;
330
- reason: "no-abi" | "version-mismatch" | "opaque-result";
331
- }[];
332
- opaqueScVals: {
333
- path: string;
334
- type: string;
335
- }[];
336
- thresholdUsed: number;
337
- }, {
338
- overall: number;
339
- knownContracts: string[];
340
- unknownContracts: {
341
- contract: string;
342
- reason: "no-abi" | "version-mismatch" | "opaque-result";
343
- }[];
344
- opaqueScVals: {
345
- path: string;
346
- type: string;
347
- }[];
348
- thresholdUsed: number;
349
- }>;
350
- sourceAccount: z.ZodString;
351
- }, z.ZodTypeAny, "passthrough">>;
352
- /** MandateSpec mirrors the core MandateSpec. The deterministic Mandate
353
- * front-end needs no parseConfidence; the tool adapter injects the full
354
- * confidence after synthesis so the orchestrator can compare. */
355
- export declare const MandateSpecSchema: z.ZodObject<{
356
- chain: z.ZodLiteral<"stellar">;
357
- contract: z.ZodString;
358
- method: z.ZodOptional<z.ZodString>;
359
- spendingLimit: z.ZodOptional<z.ZodObject<{
360
- token: z.ZodString;
361
- limit: z.ZodString;
362
- windowSeconds: z.ZodNumber;
363
- }, "strip", z.ZodTypeAny, {
364
- token: string;
365
- limit: string;
366
- windowSeconds: number;
367
- }, {
368
- token: string;
369
- limit: string;
370
- windowSeconds: number;
371
- }>>;
372
- approvalThreshold: z.ZodOptional<z.ZodNumber>;
373
- recipients: z.ZodOptional<z.ZodArray<z.ZodString, "many">>;
374
- expiry: z.ZodOptional<z.ZodObject<{
375
- validUntilLedger: z.ZodOptional<z.ZodNumber>;
376
- validUntilUnixSeconds: z.ZodOptional<z.ZodNumber>;
377
- }, "strip", z.ZodTypeAny, {
378
- validUntilLedger?: number | undefined;
379
- validUntilUnixSeconds?: number | undefined;
380
- }, {
381
- validUntilLedger?: number | undefined;
382
- validUntilUnixSeconds?: number | undefined;
383
- }>>;
384
- }, "passthrough", z.ZodTypeAny, z.objectOutputType<{
385
- chain: z.ZodLiteral<"stellar">;
386
- contract: z.ZodString;
387
- method: z.ZodOptional<z.ZodString>;
388
- spendingLimit: z.ZodOptional<z.ZodObject<{
389
- token: z.ZodString;
390
- limit: z.ZodString;
391
- windowSeconds: z.ZodNumber;
392
- }, "strip", z.ZodTypeAny, {
393
- token: string;
394
- limit: string;
395
- windowSeconds: number;
396
- }, {
397
- token: string;
398
- limit: string;
399
- windowSeconds: number;
400
- }>>;
401
- approvalThreshold: z.ZodOptional<z.ZodNumber>;
402
- recipients: z.ZodOptional<z.ZodArray<z.ZodString, "many">>;
403
- expiry: z.ZodOptional<z.ZodObject<{
404
- validUntilLedger: z.ZodOptional<z.ZodNumber>;
405
- validUntilUnixSeconds: z.ZodOptional<z.ZodNumber>;
406
- }, "strip", z.ZodTypeAny, {
407
- validUntilLedger?: number | undefined;
408
- validUntilUnixSeconds?: number | undefined;
409
- }, {
410
- validUntilLedger?: number | undefined;
411
- validUntilUnixSeconds?: number | undefined;
412
- }>>;
413
- }, z.ZodTypeAny, "passthrough">, z.objectInputType<{
414
- chain: z.ZodLiteral<"stellar">;
415
- contract: z.ZodString;
416
- method: z.ZodOptional<z.ZodString>;
417
- spendingLimit: z.ZodOptional<z.ZodObject<{
418
- token: z.ZodString;
419
- limit: z.ZodString;
420
- windowSeconds: z.ZodNumber;
421
- }, "strip", z.ZodTypeAny, {
422
- token: string;
423
- limit: string;
424
- windowSeconds: number;
425
- }, {
426
- token: string;
427
- limit: string;
428
- windowSeconds: number;
429
- }>>;
430
- approvalThreshold: z.ZodOptional<z.ZodNumber>;
431
- recipients: z.ZodOptional<z.ZodArray<z.ZodString, "many">>;
432
- expiry: z.ZodOptional<z.ZodObject<{
433
- validUntilLedger: z.ZodOptional<z.ZodNumber>;
434
- validUntilUnixSeconds: z.ZodOptional<z.ZodNumber>;
435
- }, "strip", z.ZodTypeAny, {
436
- validUntilLedger?: number | undefined;
437
- validUntilUnixSeconds?: number | undefined;
438
- }, {
439
- validUntilLedger?: number | undefined;
440
- validUntilUnixSeconds?: number | undefined;
441
- }>>;
442
- }, z.ZodTypeAny, "passthrough">>;
443
- /** ComposeUserResponses mirrors the core. */
444
- export declare const ComposeUserResponsesSchema: z.ZodObject<{
445
- windowSeconds: z.ZodOptional<z.ZodNumber>;
446
- validUntilLedger: z.ZodOptional<z.ZodNumber>;
447
- limitAmount: z.ZodOptional<z.ZodString>;
448
- invocationLimit: z.ZodOptional<z.ZodNumber>;
449
- }, "passthrough", z.ZodTypeAny, z.objectOutputType<{
450
- windowSeconds: z.ZodOptional<z.ZodNumber>;
451
- validUntilLedger: z.ZodOptional<z.ZodNumber>;
452
- limitAmount: z.ZodOptional<z.ZodString>;
453
- invocationLimit: z.ZodOptional<z.ZodNumber>;
454
- }, z.ZodTypeAny, "passthrough">, z.objectInputType<{
455
- windowSeconds: z.ZodOptional<z.ZodNumber>;
456
- validUntilLedger: z.ZodOptional<z.ZodNumber>;
457
- limitAmount: z.ZodOptional<z.ZodString>;
458
- invocationLimit: z.ZodOptional<z.ZodNumber>;
459
- }, z.ZodTypeAny, "passthrough">>;
460
- /** OzAdapterConfig - the per-network OZ built-in instance addresses. */
461
- export declare const OzAdapterConfigSchema: z.ZodObject<{
462
- network: z.ZodEnum<["mainnet", "testnet"]>;
463
- instances: z.ZodObject<{
464
- spending_limit: z.ZodString;
465
- simple_threshold: z.ZodString;
466
- weighted_threshold: z.ZodString;
467
- }, "strip", z.ZodTypeAny, {
468
- spending_limit: string;
469
- simple_threshold: string;
470
- weighted_threshold: string;
471
- }, {
472
- spending_limit: string;
473
- simple_threshold: string;
474
- weighted_threshold: string;
475
- }>;
476
- }, "strip", z.ZodTypeAny, {
477
- network: "mainnet" | "testnet";
478
- instances: {
479
- spending_limit: string;
480
- simple_threshold: string;
481
- weighted_threshold: string;
482
- };
483
- }, {
484
- network: "mainnet" | "testnet";
485
- instances: {
486
- spending_limit: string;
487
- simple_threshold: string;
488
- weighted_threshold: string;
489
- };
490
- }>;
491
- export declare const RecordTransactionInputSchema: z.ZodEffects<z.ZodEffects<z.ZodObject<{
492
- hash: z.ZodOptional<z.ZodString>;
493
- xdr: z.ZodOptional<z.ZodString>;
494
- network: z.ZodEnum<["mainnet", "testnet"]>;
495
- confidenceOverride: z.ZodOptional<z.ZodNumber>;
496
- }, "strip", z.ZodTypeAny, {
497
- network: "mainnet" | "testnet";
498
- hash?: string | undefined;
499
- xdr?: string | undefined;
500
- confidenceOverride?: number | undefined;
501
- }, {
502
- network: "mainnet" | "testnet";
503
- hash?: string | undefined;
504
- xdr?: string | undefined;
505
- confidenceOverride?: number | undefined;
506
- }>, {
507
- network: "mainnet" | "testnet";
508
- hash?: string | undefined;
509
- xdr?: string | undefined;
510
- confidenceOverride?: number | undefined;
511
- }, {
512
- network: "mainnet" | "testnet";
513
- hash?: string | undefined;
514
- xdr?: string | undefined;
515
- confidenceOverride?: number | undefined;
516
- }>, {
517
- network: "mainnet" | "testnet";
518
- hash?: string | undefined;
519
- xdr?: string | undefined;
520
- confidenceOverride?: number | undefined;
521
- }, {
522
- network: "mainnet" | "testnet";
523
- hash?: string | undefined;
524
- xdr?: string | undefined;
525
- confidenceOverride?: number | undefined;
526
- }>;
527
- export type RecordTransactionInput = z.infer<typeof RecordTransactionInputSchema>;
528
- /** Flat ZodRawShape used for the MCP SDK tool registration. The body
529
- * re-validates against `RecordTransactionInputSchema` so the mutual-exclusion
530
- * rule still fires (the SDK does not invoke `.refine()` at registration time). */
531
- export declare const RecordTransactionToolShape: {
532
- readonly hash: z.ZodOptional<z.ZodString>;
533
- readonly xdr: z.ZodOptional<z.ZodString>;
534
- readonly network: z.ZodEnum<["mainnet", "testnet"]>;
535
- readonly confidenceOverride: z.ZodOptional<z.ZodNumber>;
536
- };
537
- export declare const SynthesizePolicyMandateInputSchema: z.ZodObject<{
538
- source: z.ZodLiteral<"mandate">;
539
- mandate: z.ZodObject<{
540
- chain: z.ZodLiteral<"stellar">;
541
- contract: z.ZodString;
542
- method: z.ZodOptional<z.ZodString>;
543
- spendingLimit: z.ZodOptional<z.ZodObject<{
544
- token: z.ZodString;
545
- limit: z.ZodString;
546
- windowSeconds: z.ZodNumber;
547
- }, "strip", z.ZodTypeAny, {
548
- token: string;
549
- limit: string;
550
- windowSeconds: number;
551
- }, {
552
- token: string;
553
- limit: string;
554
- windowSeconds: number;
555
- }>>;
556
- approvalThreshold: z.ZodOptional<z.ZodNumber>;
557
- recipients: z.ZodOptional<z.ZodArray<z.ZodString, "many">>;
558
- expiry: z.ZodOptional<z.ZodObject<{
559
- validUntilLedger: z.ZodOptional<z.ZodNumber>;
560
- validUntilUnixSeconds: z.ZodOptional<z.ZodNumber>;
561
- }, "strip", z.ZodTypeAny, {
562
- validUntilLedger?: number | undefined;
563
- validUntilUnixSeconds?: number | undefined;
564
- }, {
565
- validUntilLedger?: number | undefined;
566
- validUntilUnixSeconds?: number | undefined;
567
- }>>;
568
- }, "passthrough", z.ZodTypeAny, z.objectOutputType<{
569
- chain: z.ZodLiteral<"stellar">;
570
- contract: z.ZodString;
571
- method: z.ZodOptional<z.ZodString>;
572
- spendingLimit: z.ZodOptional<z.ZodObject<{
573
- token: z.ZodString;
574
- limit: z.ZodString;
575
- windowSeconds: z.ZodNumber;
576
- }, "strip", z.ZodTypeAny, {
577
- token: string;
578
- limit: string;
579
- windowSeconds: number;
580
- }, {
581
- token: string;
582
- limit: string;
583
- windowSeconds: number;
584
- }>>;
585
- approvalThreshold: z.ZodOptional<z.ZodNumber>;
586
- recipients: z.ZodOptional<z.ZodArray<z.ZodString, "many">>;
587
- expiry: z.ZodOptional<z.ZodObject<{
588
- validUntilLedger: z.ZodOptional<z.ZodNumber>;
589
- validUntilUnixSeconds: z.ZodOptional<z.ZodNumber>;
590
- }, "strip", z.ZodTypeAny, {
591
- validUntilLedger?: number | undefined;
592
- validUntilUnixSeconds?: number | undefined;
593
- }, {
594
- validUntilLedger?: number | undefined;
595
- validUntilUnixSeconds?: number | undefined;
596
- }>>;
597
- }, z.ZodTypeAny, "passthrough">, z.objectInputType<{
598
- chain: z.ZodLiteral<"stellar">;
599
- contract: z.ZodString;
600
- method: z.ZodOptional<z.ZodString>;
601
- spendingLimit: z.ZodOptional<z.ZodObject<{
602
- token: z.ZodString;
603
- limit: z.ZodString;
604
- windowSeconds: z.ZodNumber;
605
- }, "strip", z.ZodTypeAny, {
606
- token: string;
607
- limit: string;
608
- windowSeconds: number;
609
- }, {
610
- token: string;
611
- limit: string;
612
- windowSeconds: number;
613
- }>>;
614
- approvalThreshold: z.ZodOptional<z.ZodNumber>;
615
- recipients: z.ZodOptional<z.ZodArray<z.ZodString, "many">>;
616
- expiry: z.ZodOptional<z.ZodObject<{
617
- validUntilLedger: z.ZodOptional<z.ZodNumber>;
618
- validUntilUnixSeconds: z.ZodOptional<z.ZodNumber>;
619
- }, "strip", z.ZodTypeAny, {
620
- validUntilLedger?: number | undefined;
621
- validUntilUnixSeconds?: number | undefined;
622
- }, {
623
- validUntilLedger?: number | undefined;
624
- validUntilUnixSeconds?: number | undefined;
625
- }>>;
626
- }, z.ZodTypeAny, "passthrough">>;
627
- ozConfig: z.ZodOptional<z.ZodObject<{
628
- network: z.ZodEnum<["mainnet", "testnet"]>;
629
- instances: z.ZodObject<{
630
- spending_limit: z.ZodString;
631
- simple_threshold: z.ZodString;
632
- weighted_threshold: z.ZodString;
633
- }, "strip", z.ZodTypeAny, {
634
- spending_limit: string;
635
- simple_threshold: string;
636
- weighted_threshold: string;
637
- }, {
638
- spending_limit: string;
639
- simple_threshold: string;
640
- weighted_threshold: string;
641
- }>;
642
- }, "strip", z.ZodTypeAny, {
643
- network: "mainnet" | "testnet";
644
- instances: {
645
- spending_limit: string;
646
- simple_threshold: string;
647
- weighted_threshold: string;
648
- };
649
- }, {
650
- network: "mainnet" | "testnet";
651
- instances: {
652
- spending_limit: string;
653
- simple_threshold: string;
654
- weighted_threshold: string;
655
- };
656
- }>>;
657
- }, "strip", z.ZodTypeAny, {
658
- source: "mandate";
659
- mandate: {
660
- contract: string;
661
- chain: "stellar";
662
- method?: string | undefined;
663
- spendingLimit?: {
664
- token: string;
665
- limit: string;
666
- windowSeconds: number;
667
- } | undefined;
668
- approvalThreshold?: number | undefined;
669
- recipients?: string[] | undefined;
670
- expiry?: {
671
- validUntilLedger?: number | undefined;
672
- validUntilUnixSeconds?: number | undefined;
673
- } | undefined;
674
- } & {
675
- [k: string]: unknown;
676
- };
677
- ozConfig?: {
678
- network: "mainnet" | "testnet";
679
- instances: {
680
- spending_limit: string;
681
- simple_threshold: string;
682
- weighted_threshold: string;
683
- };
684
- } | undefined;
685
- }, {
686
- source: "mandate";
687
- mandate: {
688
- contract: string;
689
- chain: "stellar";
690
- method?: string | undefined;
691
- spendingLimit?: {
692
- token: string;
693
- limit: string;
694
- windowSeconds: number;
695
- } | undefined;
696
- approvalThreshold?: number | undefined;
697
- recipients?: string[] | undefined;
698
- expiry?: {
699
- validUntilLedger?: number | undefined;
700
- validUntilUnixSeconds?: number | undefined;
701
- } | undefined;
702
- } & {
703
- [k: string]: unknown;
704
- };
705
- ozConfig?: {
706
- network: "mainnet" | "testnet";
707
- instances: {
708
- spending_limit: string;
709
- simple_threshold: string;
710
- weighted_threshold: string;
711
- };
712
- } | undefined;
713
- }>;
714
- /** Interpreter opt-in for the recording path. Present -> constraints OZ cannot
715
- * express (per-method scoping, invocation-count windows, oracle bounds, exact
716
- * hop paths) lower to a real interpreter predicate document instead of being
717
- * surfaced as warnings. The core deep-validates `smartAccountAddress` (a C...
718
- * contract, not the recording's G... source) and the tighten-only oracle
719
- * bounds; the schema stays light so the core owns the friendly ToolErrors. */
720
- export declare const InterpreterOptionsSchema: z.ZodObject<{
721
- smartAccountAddress: z.ZodString;
722
- installNonce: z.ZodOptional<z.ZodNumber>;
723
- oracleParams: z.ZodOptional<z.ZodObject<{
724
- maxStalenessSeconds: z.ZodOptional<z.ZodNumber>;
725
- maxDeviationBps: z.ZodOptional<z.ZodNumber>;
726
- }, "strip", z.ZodTypeAny, {
727
- maxStalenessSeconds?: number | undefined;
728
- maxDeviationBps?: number | undefined;
729
- }, {
730
- maxStalenessSeconds?: number | undefined;
731
- maxDeviationBps?: number | undefined;
732
- }>>;
733
- }, "strip", z.ZodTypeAny, {
734
- smartAccountAddress: string;
735
- installNonce?: number | undefined;
736
- oracleParams?: {
737
- maxStalenessSeconds?: number | undefined;
738
- maxDeviationBps?: number | undefined;
739
- } | undefined;
740
- }, {
741
- smartAccountAddress: string;
742
- installNonce?: number | undefined;
743
- oracleParams?: {
744
- maxStalenessSeconds?: number | undefined;
745
- maxDeviationBps?: number | undefined;
746
- } | undefined;
747
- }>;
748
- export declare const SynthesizePolicyRecordingInputSchema: z.ZodObject<{
749
- source: z.ZodLiteral<"recording">;
750
- recordedTx: z.ZodObject<{
751
- network: z.ZodEnum<["mainnet", "testnet"]>;
752
- signers: z.ZodArray<z.ZodString, "many">;
753
- invocations: z.ZodArray<z.ZodType<unknown, z.ZodTypeDef, unknown>, "many">;
754
- tokenMovements: z.ZodArray<z.ZodObject<{
755
- token: z.ZodString;
756
- from: z.ZodString;
757
- to: z.ZodString;
758
- amount: z.ZodString;
759
- }, "strip", z.ZodTypeAny, {
760
- token: string;
761
- from: string;
762
- to: string;
763
- amount: string;
764
- }, {
765
- token: string;
766
- from: string;
767
- to: string;
768
- amount: string;
769
- }>, "many">;
770
- events: z.ZodArray<z.ZodObject<{
771
- contract: z.ZodString;
772
- topics: z.ZodArray<z.ZodString, "many">;
773
- data: z.ZodType<unknown, z.ZodTypeDef, unknown>;
774
- }, "strip", z.ZodTypeAny, {
775
- contract: string;
776
- topics: string[];
777
- data?: unknown;
778
- }, {
779
- contract: string;
780
- topics: string[];
781
- data?: unknown;
782
- }>, "many">;
783
- authEntries: z.ZodArray<z.ZodUnknown, "many">;
784
- ledgerSequence: z.ZodNumber;
785
- fetchedAt: z.ZodNumber;
786
- parseConfidence: z.ZodObject<{
787
- overall: z.ZodNumber;
788
- knownContracts: z.ZodArray<z.ZodString, "many">;
789
- unknownContracts: z.ZodArray<z.ZodObject<{
790
- contract: z.ZodString;
791
- reason: z.ZodEnum<["no-abi", "version-mismatch", "opaque-result"]>;
792
- }, "strip", z.ZodTypeAny, {
793
- contract: string;
794
- reason: "no-abi" | "version-mismatch" | "opaque-result";
795
- }, {
796
- contract: string;
797
- reason: "no-abi" | "version-mismatch" | "opaque-result";
798
- }>, "many">;
799
- opaqueScVals: z.ZodArray<z.ZodObject<{
800
- path: z.ZodString;
801
- type: z.ZodString;
802
- }, "strip", z.ZodTypeAny, {
803
- path: string;
804
- type: string;
805
- }, {
806
- path: string;
807
- type: string;
808
- }>, "many">;
809
- thresholdUsed: z.ZodNumber;
810
- }, "strip", z.ZodTypeAny, {
811
- overall: number;
812
- knownContracts: string[];
813
- unknownContracts: {
814
- contract: string;
815
- reason: "no-abi" | "version-mismatch" | "opaque-result";
816
- }[];
817
- opaqueScVals: {
818
- path: string;
819
- type: string;
820
- }[];
821
- thresholdUsed: number;
822
- }, {
823
- overall: number;
824
- knownContracts: string[];
825
- unknownContracts: {
826
- contract: string;
827
- reason: "no-abi" | "version-mismatch" | "opaque-result";
828
- }[];
829
- opaqueScVals: {
830
- path: string;
831
- type: string;
832
- }[];
833
- thresholdUsed: number;
834
- }>;
835
- sourceAccount: z.ZodString;
836
- }, "passthrough", z.ZodTypeAny, z.objectOutputType<{
837
- network: z.ZodEnum<["mainnet", "testnet"]>;
838
- signers: z.ZodArray<z.ZodString, "many">;
839
- invocations: z.ZodArray<z.ZodType<unknown, z.ZodTypeDef, unknown>, "many">;
840
- tokenMovements: z.ZodArray<z.ZodObject<{
841
- token: z.ZodString;
842
- from: z.ZodString;
843
- to: z.ZodString;
844
- amount: z.ZodString;
845
- }, "strip", z.ZodTypeAny, {
846
- token: string;
847
- from: string;
848
- to: string;
849
- amount: string;
850
- }, {
851
- token: string;
852
- from: string;
853
- to: string;
854
- amount: string;
855
- }>, "many">;
856
- events: z.ZodArray<z.ZodObject<{
857
- contract: z.ZodString;
858
- topics: z.ZodArray<z.ZodString, "many">;
859
- data: z.ZodType<unknown, z.ZodTypeDef, unknown>;
860
- }, "strip", z.ZodTypeAny, {
861
- contract: string;
862
- topics: string[];
863
- data?: unknown;
864
- }, {
865
- contract: string;
866
- topics: string[];
867
- data?: unknown;
868
- }>, "many">;
869
- authEntries: z.ZodArray<z.ZodUnknown, "many">;
870
- ledgerSequence: z.ZodNumber;
871
- fetchedAt: z.ZodNumber;
872
- parseConfidence: z.ZodObject<{
873
- overall: z.ZodNumber;
874
- knownContracts: z.ZodArray<z.ZodString, "many">;
875
- unknownContracts: z.ZodArray<z.ZodObject<{
876
- contract: z.ZodString;
877
- reason: z.ZodEnum<["no-abi", "version-mismatch", "opaque-result"]>;
878
- }, "strip", z.ZodTypeAny, {
879
- contract: string;
880
- reason: "no-abi" | "version-mismatch" | "opaque-result";
881
- }, {
882
- contract: string;
883
- reason: "no-abi" | "version-mismatch" | "opaque-result";
884
- }>, "many">;
885
- opaqueScVals: z.ZodArray<z.ZodObject<{
886
- path: z.ZodString;
887
- type: z.ZodString;
888
- }, "strip", z.ZodTypeAny, {
889
- path: string;
890
- type: string;
891
- }, {
892
- path: string;
893
- type: string;
894
- }>, "many">;
895
- thresholdUsed: z.ZodNumber;
896
- }, "strip", z.ZodTypeAny, {
897
- overall: number;
898
- knownContracts: string[];
899
- unknownContracts: {
900
- contract: string;
901
- reason: "no-abi" | "version-mismatch" | "opaque-result";
902
- }[];
903
- opaqueScVals: {
904
- path: string;
905
- type: string;
906
- }[];
907
- thresholdUsed: number;
908
- }, {
909
- overall: number;
910
- knownContracts: string[];
911
- unknownContracts: {
912
- contract: string;
913
- reason: "no-abi" | "version-mismatch" | "opaque-result";
914
- }[];
915
- opaqueScVals: {
916
- path: string;
917
- type: string;
918
- }[];
919
- thresholdUsed: number;
920
- }>;
921
- sourceAccount: z.ZodString;
922
- }, z.ZodTypeAny, "passthrough">, z.objectInputType<{
923
- network: z.ZodEnum<["mainnet", "testnet"]>;
924
- signers: z.ZodArray<z.ZodString, "many">;
925
- invocations: z.ZodArray<z.ZodType<unknown, z.ZodTypeDef, unknown>, "many">;
926
- tokenMovements: z.ZodArray<z.ZodObject<{
927
- token: z.ZodString;
928
- from: z.ZodString;
929
- to: z.ZodString;
930
- amount: z.ZodString;
931
- }, "strip", z.ZodTypeAny, {
932
- token: string;
933
- from: string;
934
- to: string;
935
- amount: string;
936
- }, {
937
- token: string;
938
- from: string;
939
- to: string;
940
- amount: string;
941
- }>, "many">;
942
- events: z.ZodArray<z.ZodObject<{
943
- contract: z.ZodString;
944
- topics: z.ZodArray<z.ZodString, "many">;
945
- data: z.ZodType<unknown, z.ZodTypeDef, unknown>;
946
- }, "strip", z.ZodTypeAny, {
947
- contract: string;
948
- topics: string[];
949
- data?: unknown;
950
- }, {
951
- contract: string;
952
- topics: string[];
953
- data?: unknown;
954
- }>, "many">;
955
- authEntries: z.ZodArray<z.ZodUnknown, "many">;
956
- ledgerSequence: z.ZodNumber;
957
- fetchedAt: z.ZodNumber;
958
- parseConfidence: z.ZodObject<{
959
- overall: z.ZodNumber;
960
- knownContracts: z.ZodArray<z.ZodString, "many">;
961
- unknownContracts: z.ZodArray<z.ZodObject<{
962
- contract: z.ZodString;
963
- reason: z.ZodEnum<["no-abi", "version-mismatch", "opaque-result"]>;
964
- }, "strip", z.ZodTypeAny, {
965
- contract: string;
966
- reason: "no-abi" | "version-mismatch" | "opaque-result";
967
- }, {
968
- contract: string;
969
- reason: "no-abi" | "version-mismatch" | "opaque-result";
970
- }>, "many">;
971
- opaqueScVals: z.ZodArray<z.ZodObject<{
972
- path: z.ZodString;
973
- type: z.ZodString;
974
- }, "strip", z.ZodTypeAny, {
975
- path: string;
976
- type: string;
977
- }, {
978
- path: string;
979
- type: string;
980
- }>, "many">;
981
- thresholdUsed: z.ZodNumber;
982
- }, "strip", z.ZodTypeAny, {
983
- overall: number;
984
- knownContracts: string[];
985
- unknownContracts: {
986
- contract: string;
987
- reason: "no-abi" | "version-mismatch" | "opaque-result";
988
- }[];
989
- opaqueScVals: {
990
- path: string;
991
- type: string;
992
- }[];
993
- thresholdUsed: number;
994
- }, {
995
- overall: number;
996
- knownContracts: string[];
997
- unknownContracts: {
998
- contract: string;
999
- reason: "no-abi" | "version-mismatch" | "opaque-result";
1000
- }[];
1001
- opaqueScVals: {
1002
- path: string;
1003
- type: string;
1004
- }[];
1005
- thresholdUsed: number;
1006
- }>;
1007
- sourceAccount: z.ZodString;
1008
- }, z.ZodTypeAny, "passthrough">>;
1009
- network: z.ZodEnum<["mainnet", "testnet"]>;
1010
- userResponses: z.ZodOptional<z.ZodObject<{
1011
- windowSeconds: z.ZodOptional<z.ZodNumber>;
1012
- validUntilLedger: z.ZodOptional<z.ZodNumber>;
1013
- limitAmount: z.ZodOptional<z.ZodString>;
1014
- invocationLimit: z.ZodOptional<z.ZodNumber>;
1015
- }, "passthrough", z.ZodTypeAny, z.objectOutputType<{
1016
- windowSeconds: z.ZodOptional<z.ZodNumber>;
1017
- validUntilLedger: z.ZodOptional<z.ZodNumber>;
1018
- limitAmount: z.ZodOptional<z.ZodString>;
1019
- invocationLimit: z.ZodOptional<z.ZodNumber>;
1020
- }, z.ZodTypeAny, "passthrough">, z.objectInputType<{
1021
- windowSeconds: z.ZodOptional<z.ZodNumber>;
1022
- validUntilLedger: z.ZodOptional<z.ZodNumber>;
1023
- limitAmount: z.ZodOptional<z.ZodString>;
1024
- invocationLimit: z.ZodOptional<z.ZodNumber>;
1025
- }, z.ZodTypeAny, "passthrough">>>;
1026
- confidenceOverride: z.ZodOptional<z.ZodObject<{
1027
- threshold: z.ZodNumber;
1028
- }, "strip", z.ZodTypeAny, {
1029
- threshold: number;
1030
- }, {
1031
- threshold: number;
1032
- }>>;
1033
- interpreter: z.ZodOptional<z.ZodObject<{
1034
- smartAccountAddress: z.ZodString;
1035
- installNonce: z.ZodOptional<z.ZodNumber>;
1036
- oracleParams: z.ZodOptional<z.ZodObject<{
1037
- maxStalenessSeconds: z.ZodOptional<z.ZodNumber>;
1038
- maxDeviationBps: z.ZodOptional<z.ZodNumber>;
1039
- }, "strip", z.ZodTypeAny, {
1040
- maxStalenessSeconds?: number | undefined;
1041
- maxDeviationBps?: number | undefined;
1042
- }, {
1043
- maxStalenessSeconds?: number | undefined;
1044
- maxDeviationBps?: number | undefined;
1045
- }>>;
1046
- }, "strip", z.ZodTypeAny, {
1047
- smartAccountAddress: string;
1048
- installNonce?: number | undefined;
1049
- oracleParams?: {
1050
- maxStalenessSeconds?: number | undefined;
1051
- maxDeviationBps?: number | undefined;
1052
- } | undefined;
1053
- }, {
1054
- smartAccountAddress: string;
1055
- installNonce?: number | undefined;
1056
- oracleParams?: {
1057
- maxStalenessSeconds?: number | undefined;
1058
- maxDeviationBps?: number | undefined;
1059
- } | undefined;
1060
- }>>;
1061
- ozConfig: z.ZodOptional<z.ZodObject<{
1062
- network: z.ZodEnum<["mainnet", "testnet"]>;
1063
- instances: z.ZodObject<{
1064
- spending_limit: z.ZodString;
1065
- simple_threshold: z.ZodString;
1066
- weighted_threshold: z.ZodString;
1067
- }, "strip", z.ZodTypeAny, {
1068
- spending_limit: string;
1069
- simple_threshold: string;
1070
- weighted_threshold: string;
1071
- }, {
1072
- spending_limit: string;
1073
- simple_threshold: string;
1074
- weighted_threshold: string;
1075
- }>;
1076
- }, "strip", z.ZodTypeAny, {
1077
- network: "mainnet" | "testnet";
1078
- instances: {
1079
- spending_limit: string;
1080
- simple_threshold: string;
1081
- weighted_threshold: string;
1082
- };
1083
- }, {
1084
- network: "mainnet" | "testnet";
1085
- instances: {
1086
- spending_limit: string;
1087
- simple_threshold: string;
1088
- weighted_threshold: string;
1089
- };
1090
- }>>;
1091
- }, "strip", z.ZodTypeAny, {
1092
- network: "mainnet" | "testnet";
1093
- source: "recording";
1094
- recordedTx: {
1095
- network: "mainnet" | "testnet";
1096
- signers: string[];
1097
- invocations: unknown[];
1098
- tokenMovements: {
1099
- token: string;
1100
- from: string;
1101
- to: string;
1102
- amount: string;
1103
- }[];
1104
- events: {
1105
- contract: string;
1106
- topics: string[];
1107
- data?: unknown;
1108
- }[];
1109
- authEntries: unknown[];
1110
- ledgerSequence: number;
1111
- fetchedAt: number;
1112
- parseConfidence: {
1113
- overall: number;
1114
- knownContracts: string[];
1115
- unknownContracts: {
1116
- contract: string;
1117
- reason: "no-abi" | "version-mismatch" | "opaque-result";
1118
- }[];
1119
- opaqueScVals: {
1120
- path: string;
1121
- type: string;
1122
- }[];
1123
- thresholdUsed: number;
1124
- };
1125
- sourceAccount: string;
1126
- } & {
1127
- [k: string]: unknown;
1128
- };
1129
- confidenceOverride?: {
1130
- threshold: number;
1131
- } | undefined;
1132
- ozConfig?: {
1133
- network: "mainnet" | "testnet";
1134
- instances: {
1135
- spending_limit: string;
1136
- simple_threshold: string;
1137
- weighted_threshold: string;
1138
- };
1139
- } | undefined;
1140
- userResponses?: z.objectOutputType<{
1141
- windowSeconds: z.ZodOptional<z.ZodNumber>;
1142
- validUntilLedger: z.ZodOptional<z.ZodNumber>;
1143
- limitAmount: z.ZodOptional<z.ZodString>;
1144
- invocationLimit: z.ZodOptional<z.ZodNumber>;
1145
- }, z.ZodTypeAny, "passthrough"> | undefined;
1146
- interpreter?: {
1147
- smartAccountAddress: string;
1148
- installNonce?: number | undefined;
1149
- oracleParams?: {
1150
- maxStalenessSeconds?: number | undefined;
1151
- maxDeviationBps?: number | undefined;
1152
- } | undefined;
1153
- } | undefined;
1154
- }, {
1155
- network: "mainnet" | "testnet";
1156
- source: "recording";
1157
- recordedTx: {
1158
- network: "mainnet" | "testnet";
1159
- signers: string[];
1160
- invocations: unknown[];
1161
- tokenMovements: {
1162
- token: string;
1163
- from: string;
1164
- to: string;
1165
- amount: string;
1166
- }[];
1167
- events: {
1168
- contract: string;
1169
- topics: string[];
1170
- data?: unknown;
1171
- }[];
1172
- authEntries: unknown[];
1173
- ledgerSequence: number;
1174
- fetchedAt: number;
1175
- parseConfidence: {
1176
- overall: number;
1177
- knownContracts: string[];
1178
- unknownContracts: {
1179
- contract: string;
1180
- reason: "no-abi" | "version-mismatch" | "opaque-result";
1181
- }[];
1182
- opaqueScVals: {
1183
- path: string;
1184
- type: string;
1185
- }[];
1186
- thresholdUsed: number;
1187
- };
1188
- sourceAccount: string;
1189
- } & {
1190
- [k: string]: unknown;
1191
- };
1192
- confidenceOverride?: {
1193
- threshold: number;
1194
- } | undefined;
1195
- ozConfig?: {
1196
- network: "mainnet" | "testnet";
1197
- instances: {
1198
- spending_limit: string;
1199
- simple_threshold: string;
1200
- weighted_threshold: string;
1201
- };
1202
- } | undefined;
1203
- userResponses?: z.objectInputType<{
1204
- windowSeconds: z.ZodOptional<z.ZodNumber>;
1205
- validUntilLedger: z.ZodOptional<z.ZodNumber>;
1206
- limitAmount: z.ZodOptional<z.ZodString>;
1207
- invocationLimit: z.ZodOptional<z.ZodNumber>;
1208
- }, z.ZodTypeAny, "passthrough"> | undefined;
1209
- interpreter?: {
1210
- smartAccountAddress: string;
1211
- installNonce?: number | undefined;
1212
- oracleParams?: {
1213
- maxStalenessSeconds?: number | undefined;
1214
- maxDeviationBps?: number | undefined;
1215
- } | undefined;
1216
- } | undefined;
1217
- }>;
1218
- export declare const SynthesizePolicyInputSchema: z.ZodDiscriminatedUnion<"source", [z.ZodObject<{
1219
- source: z.ZodLiteral<"mandate">;
1220
- mandate: z.ZodObject<{
1221
- chain: z.ZodLiteral<"stellar">;
1222
- contract: z.ZodString;
1223
- method: z.ZodOptional<z.ZodString>;
1224
- spendingLimit: z.ZodOptional<z.ZodObject<{
1225
- token: z.ZodString;
1226
- limit: z.ZodString;
1227
- windowSeconds: z.ZodNumber;
1228
- }, "strip", z.ZodTypeAny, {
1229
- token: string;
1230
- limit: string;
1231
- windowSeconds: number;
1232
- }, {
1233
- token: string;
1234
- limit: string;
1235
- windowSeconds: number;
1236
- }>>;
1237
- approvalThreshold: z.ZodOptional<z.ZodNumber>;
1238
- recipients: z.ZodOptional<z.ZodArray<z.ZodString, "many">>;
1239
- expiry: z.ZodOptional<z.ZodObject<{
1240
- validUntilLedger: z.ZodOptional<z.ZodNumber>;
1241
- validUntilUnixSeconds: z.ZodOptional<z.ZodNumber>;
1242
- }, "strip", z.ZodTypeAny, {
1243
- validUntilLedger?: number | undefined;
1244
- validUntilUnixSeconds?: number | undefined;
1245
- }, {
1246
- validUntilLedger?: number | undefined;
1247
- validUntilUnixSeconds?: number | undefined;
1248
- }>>;
1249
- }, "passthrough", z.ZodTypeAny, z.objectOutputType<{
1250
- chain: z.ZodLiteral<"stellar">;
1251
- contract: z.ZodString;
1252
- method: z.ZodOptional<z.ZodString>;
1253
- spendingLimit: z.ZodOptional<z.ZodObject<{
1254
- token: z.ZodString;
1255
- limit: z.ZodString;
1256
- windowSeconds: z.ZodNumber;
1257
- }, "strip", z.ZodTypeAny, {
1258
- token: string;
1259
- limit: string;
1260
- windowSeconds: number;
1261
- }, {
1262
- token: string;
1263
- limit: string;
1264
- windowSeconds: number;
1265
- }>>;
1266
- approvalThreshold: z.ZodOptional<z.ZodNumber>;
1267
- recipients: z.ZodOptional<z.ZodArray<z.ZodString, "many">>;
1268
- expiry: z.ZodOptional<z.ZodObject<{
1269
- validUntilLedger: z.ZodOptional<z.ZodNumber>;
1270
- validUntilUnixSeconds: z.ZodOptional<z.ZodNumber>;
1271
- }, "strip", z.ZodTypeAny, {
1272
- validUntilLedger?: number | undefined;
1273
- validUntilUnixSeconds?: number | undefined;
1274
- }, {
1275
- validUntilLedger?: number | undefined;
1276
- validUntilUnixSeconds?: number | undefined;
1277
- }>>;
1278
- }, z.ZodTypeAny, "passthrough">, z.objectInputType<{
1279
- chain: z.ZodLiteral<"stellar">;
1280
- contract: z.ZodString;
1281
- method: z.ZodOptional<z.ZodString>;
1282
- spendingLimit: z.ZodOptional<z.ZodObject<{
1283
- token: z.ZodString;
1284
- limit: z.ZodString;
1285
- windowSeconds: z.ZodNumber;
1286
- }, "strip", z.ZodTypeAny, {
1287
- token: string;
1288
- limit: string;
1289
- windowSeconds: number;
1290
- }, {
1291
- token: string;
1292
- limit: string;
1293
- windowSeconds: number;
1294
- }>>;
1295
- approvalThreshold: z.ZodOptional<z.ZodNumber>;
1296
- recipients: z.ZodOptional<z.ZodArray<z.ZodString, "many">>;
1297
- expiry: z.ZodOptional<z.ZodObject<{
1298
- validUntilLedger: z.ZodOptional<z.ZodNumber>;
1299
- validUntilUnixSeconds: z.ZodOptional<z.ZodNumber>;
1300
- }, "strip", z.ZodTypeAny, {
1301
- validUntilLedger?: number | undefined;
1302
- validUntilUnixSeconds?: number | undefined;
1303
- }, {
1304
- validUntilLedger?: number | undefined;
1305
- validUntilUnixSeconds?: number | undefined;
1306
- }>>;
1307
- }, z.ZodTypeAny, "passthrough">>;
1308
- ozConfig: z.ZodOptional<z.ZodObject<{
1309
- network: z.ZodEnum<["mainnet", "testnet"]>;
1310
- instances: z.ZodObject<{
1311
- spending_limit: z.ZodString;
1312
- simple_threshold: z.ZodString;
1313
- weighted_threshold: z.ZodString;
1314
- }, "strip", z.ZodTypeAny, {
1315
- spending_limit: string;
1316
- simple_threshold: string;
1317
- weighted_threshold: string;
1318
- }, {
1319
- spending_limit: string;
1320
- simple_threshold: string;
1321
- weighted_threshold: string;
1322
- }>;
1323
- }, "strip", z.ZodTypeAny, {
1324
- network: "mainnet" | "testnet";
1325
- instances: {
1326
- spending_limit: string;
1327
- simple_threshold: string;
1328
- weighted_threshold: string;
1329
- };
1330
- }, {
1331
- network: "mainnet" | "testnet";
1332
- instances: {
1333
- spending_limit: string;
1334
- simple_threshold: string;
1335
- weighted_threshold: string;
1336
- };
1337
- }>>;
1338
- }, "strip", z.ZodTypeAny, {
1339
- source: "mandate";
1340
- mandate: {
1341
- contract: string;
1342
- chain: "stellar";
1343
- method?: string | undefined;
1344
- spendingLimit?: {
1345
- token: string;
1346
- limit: string;
1347
- windowSeconds: number;
1348
- } | undefined;
1349
- approvalThreshold?: number | undefined;
1350
- recipients?: string[] | undefined;
1351
- expiry?: {
1352
- validUntilLedger?: number | undefined;
1353
- validUntilUnixSeconds?: number | undefined;
1354
- } | undefined;
1355
- } & {
1356
- [k: string]: unknown;
1357
- };
1358
- ozConfig?: {
1359
- network: "mainnet" | "testnet";
1360
- instances: {
1361
- spending_limit: string;
1362
- simple_threshold: string;
1363
- weighted_threshold: string;
1364
- };
1365
- } | undefined;
1366
- }, {
1367
- source: "mandate";
1368
- mandate: {
1369
- contract: string;
1370
- chain: "stellar";
1371
- method?: string | undefined;
1372
- spendingLimit?: {
1373
- token: string;
1374
- limit: string;
1375
- windowSeconds: number;
1376
- } | undefined;
1377
- approvalThreshold?: number | undefined;
1378
- recipients?: string[] | undefined;
1379
- expiry?: {
1380
- validUntilLedger?: number | undefined;
1381
- validUntilUnixSeconds?: number | undefined;
1382
- } | undefined;
1383
- } & {
1384
- [k: string]: unknown;
1385
- };
1386
- ozConfig?: {
1387
- network: "mainnet" | "testnet";
1388
- instances: {
1389
- spending_limit: string;
1390
- simple_threshold: string;
1391
- weighted_threshold: string;
1392
- };
1393
- } | undefined;
1394
- }>, z.ZodObject<{
1395
- source: z.ZodLiteral<"recording">;
1396
- recordedTx: z.ZodObject<{
1397
- network: z.ZodEnum<["mainnet", "testnet"]>;
1398
- signers: z.ZodArray<z.ZodString, "many">;
1399
- invocations: z.ZodArray<z.ZodType<unknown, z.ZodTypeDef, unknown>, "many">;
1400
- tokenMovements: z.ZodArray<z.ZodObject<{
1401
- token: z.ZodString;
1402
- from: z.ZodString;
1403
- to: z.ZodString;
1404
- amount: z.ZodString;
1405
- }, "strip", z.ZodTypeAny, {
1406
- token: string;
1407
- from: string;
1408
- to: string;
1409
- amount: string;
1410
- }, {
1411
- token: string;
1412
- from: string;
1413
- to: string;
1414
- amount: string;
1415
- }>, "many">;
1416
- events: z.ZodArray<z.ZodObject<{
1417
- contract: z.ZodString;
1418
- topics: z.ZodArray<z.ZodString, "many">;
1419
- data: z.ZodType<unknown, z.ZodTypeDef, unknown>;
1420
- }, "strip", z.ZodTypeAny, {
1421
- contract: string;
1422
- topics: string[];
1423
- data?: unknown;
1424
- }, {
1425
- contract: string;
1426
- topics: string[];
1427
- data?: unknown;
1428
- }>, "many">;
1429
- authEntries: z.ZodArray<z.ZodUnknown, "many">;
1430
- ledgerSequence: z.ZodNumber;
1431
- fetchedAt: z.ZodNumber;
1432
- parseConfidence: z.ZodObject<{
1433
- overall: z.ZodNumber;
1434
- knownContracts: z.ZodArray<z.ZodString, "many">;
1435
- unknownContracts: z.ZodArray<z.ZodObject<{
1436
- contract: z.ZodString;
1437
- reason: z.ZodEnum<["no-abi", "version-mismatch", "opaque-result"]>;
1438
- }, "strip", z.ZodTypeAny, {
1439
- contract: string;
1440
- reason: "no-abi" | "version-mismatch" | "opaque-result";
1441
- }, {
1442
- contract: string;
1443
- reason: "no-abi" | "version-mismatch" | "opaque-result";
1444
- }>, "many">;
1445
- opaqueScVals: z.ZodArray<z.ZodObject<{
1446
- path: z.ZodString;
1447
- type: z.ZodString;
1448
- }, "strip", z.ZodTypeAny, {
1449
- path: string;
1450
- type: string;
1451
- }, {
1452
- path: string;
1453
- type: string;
1454
- }>, "many">;
1455
- thresholdUsed: z.ZodNumber;
1456
- }, "strip", z.ZodTypeAny, {
1457
- overall: number;
1458
- knownContracts: string[];
1459
- unknownContracts: {
1460
- contract: string;
1461
- reason: "no-abi" | "version-mismatch" | "opaque-result";
1462
- }[];
1463
- opaqueScVals: {
1464
- path: string;
1465
- type: string;
1466
- }[];
1467
- thresholdUsed: number;
1468
- }, {
1469
- overall: number;
1470
- knownContracts: string[];
1471
- unknownContracts: {
1472
- contract: string;
1473
- reason: "no-abi" | "version-mismatch" | "opaque-result";
1474
- }[];
1475
- opaqueScVals: {
1476
- path: string;
1477
- type: string;
1478
- }[];
1479
- thresholdUsed: number;
1480
- }>;
1481
- sourceAccount: z.ZodString;
1482
- }, "passthrough", z.ZodTypeAny, z.objectOutputType<{
1483
- network: z.ZodEnum<["mainnet", "testnet"]>;
1484
- signers: z.ZodArray<z.ZodString, "many">;
1485
- invocations: z.ZodArray<z.ZodType<unknown, z.ZodTypeDef, unknown>, "many">;
1486
- tokenMovements: z.ZodArray<z.ZodObject<{
1487
- token: z.ZodString;
1488
- from: z.ZodString;
1489
- to: z.ZodString;
1490
- amount: z.ZodString;
1491
- }, "strip", z.ZodTypeAny, {
1492
- token: string;
1493
- from: string;
1494
- to: string;
1495
- amount: string;
1496
- }, {
1497
- token: string;
1498
- from: string;
1499
- to: string;
1500
- amount: string;
1501
- }>, "many">;
1502
- events: z.ZodArray<z.ZodObject<{
1503
- contract: z.ZodString;
1504
- topics: z.ZodArray<z.ZodString, "many">;
1505
- data: z.ZodType<unknown, z.ZodTypeDef, unknown>;
1506
- }, "strip", z.ZodTypeAny, {
1507
- contract: string;
1508
- topics: string[];
1509
- data?: unknown;
1510
- }, {
1511
- contract: string;
1512
- topics: string[];
1513
- data?: unknown;
1514
- }>, "many">;
1515
- authEntries: z.ZodArray<z.ZodUnknown, "many">;
1516
- ledgerSequence: z.ZodNumber;
1517
- fetchedAt: z.ZodNumber;
1518
- parseConfidence: z.ZodObject<{
1519
- overall: z.ZodNumber;
1520
- knownContracts: z.ZodArray<z.ZodString, "many">;
1521
- unknownContracts: z.ZodArray<z.ZodObject<{
1522
- contract: z.ZodString;
1523
- reason: z.ZodEnum<["no-abi", "version-mismatch", "opaque-result"]>;
1524
- }, "strip", z.ZodTypeAny, {
1525
- contract: string;
1526
- reason: "no-abi" | "version-mismatch" | "opaque-result";
1527
- }, {
1528
- contract: string;
1529
- reason: "no-abi" | "version-mismatch" | "opaque-result";
1530
- }>, "many">;
1531
- opaqueScVals: z.ZodArray<z.ZodObject<{
1532
- path: z.ZodString;
1533
- type: z.ZodString;
1534
- }, "strip", z.ZodTypeAny, {
1535
- path: string;
1536
- type: string;
1537
- }, {
1538
- path: string;
1539
- type: string;
1540
- }>, "many">;
1541
- thresholdUsed: z.ZodNumber;
1542
- }, "strip", z.ZodTypeAny, {
1543
- overall: number;
1544
- knownContracts: string[];
1545
- unknownContracts: {
1546
- contract: string;
1547
- reason: "no-abi" | "version-mismatch" | "opaque-result";
1548
- }[];
1549
- opaqueScVals: {
1550
- path: string;
1551
- type: string;
1552
- }[];
1553
- thresholdUsed: number;
1554
- }, {
1555
- overall: number;
1556
- knownContracts: string[];
1557
- unknownContracts: {
1558
- contract: string;
1559
- reason: "no-abi" | "version-mismatch" | "opaque-result";
1560
- }[];
1561
- opaqueScVals: {
1562
- path: string;
1563
- type: string;
1564
- }[];
1565
- thresholdUsed: number;
1566
- }>;
1567
- sourceAccount: z.ZodString;
1568
- }, z.ZodTypeAny, "passthrough">, z.objectInputType<{
1569
- network: z.ZodEnum<["mainnet", "testnet"]>;
1570
- signers: z.ZodArray<z.ZodString, "many">;
1571
- invocations: z.ZodArray<z.ZodType<unknown, z.ZodTypeDef, unknown>, "many">;
1572
- tokenMovements: z.ZodArray<z.ZodObject<{
1573
- token: z.ZodString;
1574
- from: z.ZodString;
1575
- to: z.ZodString;
1576
- amount: z.ZodString;
1577
- }, "strip", z.ZodTypeAny, {
1578
- token: string;
1579
- from: string;
1580
- to: string;
1581
- amount: string;
1582
- }, {
1583
- token: string;
1584
- from: string;
1585
- to: string;
1586
- amount: string;
1587
- }>, "many">;
1588
- events: z.ZodArray<z.ZodObject<{
1589
- contract: z.ZodString;
1590
- topics: z.ZodArray<z.ZodString, "many">;
1591
- data: z.ZodType<unknown, z.ZodTypeDef, unknown>;
1592
- }, "strip", z.ZodTypeAny, {
1593
- contract: string;
1594
- topics: string[];
1595
- data?: unknown;
1596
- }, {
1597
- contract: string;
1598
- topics: string[];
1599
- data?: unknown;
1600
- }>, "many">;
1601
- authEntries: z.ZodArray<z.ZodUnknown, "many">;
1602
- ledgerSequence: z.ZodNumber;
1603
- fetchedAt: z.ZodNumber;
1604
- parseConfidence: z.ZodObject<{
1605
- overall: z.ZodNumber;
1606
- knownContracts: z.ZodArray<z.ZodString, "many">;
1607
- unknownContracts: z.ZodArray<z.ZodObject<{
1608
- contract: z.ZodString;
1609
- reason: z.ZodEnum<["no-abi", "version-mismatch", "opaque-result"]>;
1610
- }, "strip", z.ZodTypeAny, {
1611
- contract: string;
1612
- reason: "no-abi" | "version-mismatch" | "opaque-result";
1613
- }, {
1614
- contract: string;
1615
- reason: "no-abi" | "version-mismatch" | "opaque-result";
1616
- }>, "many">;
1617
- opaqueScVals: z.ZodArray<z.ZodObject<{
1618
- path: z.ZodString;
1619
- type: z.ZodString;
1620
- }, "strip", z.ZodTypeAny, {
1621
- path: string;
1622
- type: string;
1623
- }, {
1624
- path: string;
1625
- type: string;
1626
- }>, "many">;
1627
- thresholdUsed: z.ZodNumber;
1628
- }, "strip", z.ZodTypeAny, {
1629
- overall: number;
1630
- knownContracts: string[];
1631
- unknownContracts: {
1632
- contract: string;
1633
- reason: "no-abi" | "version-mismatch" | "opaque-result";
1634
- }[];
1635
- opaqueScVals: {
1636
- path: string;
1637
- type: string;
1638
- }[];
1639
- thresholdUsed: number;
1640
- }, {
1641
- overall: number;
1642
- knownContracts: string[];
1643
- unknownContracts: {
1644
- contract: string;
1645
- reason: "no-abi" | "version-mismatch" | "opaque-result";
1646
- }[];
1647
- opaqueScVals: {
1648
- path: string;
1649
- type: string;
1650
- }[];
1651
- thresholdUsed: number;
1652
- }>;
1653
- sourceAccount: z.ZodString;
1654
- }, z.ZodTypeAny, "passthrough">>;
1655
- network: z.ZodEnum<["mainnet", "testnet"]>;
1656
- userResponses: z.ZodOptional<z.ZodObject<{
1657
- windowSeconds: z.ZodOptional<z.ZodNumber>;
1658
- validUntilLedger: z.ZodOptional<z.ZodNumber>;
1659
- limitAmount: z.ZodOptional<z.ZodString>;
1660
- invocationLimit: z.ZodOptional<z.ZodNumber>;
1661
- }, "passthrough", z.ZodTypeAny, z.objectOutputType<{
1662
- windowSeconds: z.ZodOptional<z.ZodNumber>;
1663
- validUntilLedger: z.ZodOptional<z.ZodNumber>;
1664
- limitAmount: z.ZodOptional<z.ZodString>;
1665
- invocationLimit: z.ZodOptional<z.ZodNumber>;
1666
- }, z.ZodTypeAny, "passthrough">, z.objectInputType<{
1667
- windowSeconds: z.ZodOptional<z.ZodNumber>;
1668
- validUntilLedger: z.ZodOptional<z.ZodNumber>;
1669
- limitAmount: z.ZodOptional<z.ZodString>;
1670
- invocationLimit: z.ZodOptional<z.ZodNumber>;
1671
- }, z.ZodTypeAny, "passthrough">>>;
1672
- confidenceOverride: z.ZodOptional<z.ZodObject<{
1673
- threshold: z.ZodNumber;
1674
- }, "strip", z.ZodTypeAny, {
1675
- threshold: number;
1676
- }, {
1677
- threshold: number;
1678
- }>>;
1679
- interpreter: z.ZodOptional<z.ZodObject<{
1680
- smartAccountAddress: z.ZodString;
1681
- installNonce: z.ZodOptional<z.ZodNumber>;
1682
- oracleParams: z.ZodOptional<z.ZodObject<{
1683
- maxStalenessSeconds: z.ZodOptional<z.ZodNumber>;
1684
- maxDeviationBps: z.ZodOptional<z.ZodNumber>;
1685
- }, "strip", z.ZodTypeAny, {
1686
- maxStalenessSeconds?: number | undefined;
1687
- maxDeviationBps?: number | undefined;
1688
- }, {
1689
- maxStalenessSeconds?: number | undefined;
1690
- maxDeviationBps?: number | undefined;
1691
- }>>;
1692
- }, "strip", z.ZodTypeAny, {
1693
- smartAccountAddress: string;
1694
- installNonce?: number | undefined;
1695
- oracleParams?: {
1696
- maxStalenessSeconds?: number | undefined;
1697
- maxDeviationBps?: number | undefined;
1698
- } | undefined;
1699
- }, {
1700
- smartAccountAddress: string;
1701
- installNonce?: number | undefined;
1702
- oracleParams?: {
1703
- maxStalenessSeconds?: number | undefined;
1704
- maxDeviationBps?: number | undefined;
1705
- } | undefined;
1706
- }>>;
1707
- ozConfig: z.ZodOptional<z.ZodObject<{
1708
- network: z.ZodEnum<["mainnet", "testnet"]>;
1709
- instances: z.ZodObject<{
1710
- spending_limit: z.ZodString;
1711
- simple_threshold: z.ZodString;
1712
- weighted_threshold: z.ZodString;
1713
- }, "strip", z.ZodTypeAny, {
1714
- spending_limit: string;
1715
- simple_threshold: string;
1716
- weighted_threshold: string;
1717
- }, {
1718
- spending_limit: string;
1719
- simple_threshold: string;
1720
- weighted_threshold: string;
1721
- }>;
1722
- }, "strip", z.ZodTypeAny, {
1723
- network: "mainnet" | "testnet";
1724
- instances: {
1725
- spending_limit: string;
1726
- simple_threshold: string;
1727
- weighted_threshold: string;
1728
- };
1729
- }, {
1730
- network: "mainnet" | "testnet";
1731
- instances: {
1732
- spending_limit: string;
1733
- simple_threshold: string;
1734
- weighted_threshold: string;
1735
- };
1736
- }>>;
1737
- }, "strip", z.ZodTypeAny, {
1738
- network: "mainnet" | "testnet";
1739
- source: "recording";
1740
- recordedTx: {
1741
- network: "mainnet" | "testnet";
1742
- signers: string[];
1743
- invocations: unknown[];
1744
- tokenMovements: {
1745
- token: string;
1746
- from: string;
1747
- to: string;
1748
- amount: string;
1749
- }[];
1750
- events: {
1751
- contract: string;
1752
- topics: string[];
1753
- data?: unknown;
1754
- }[];
1755
- authEntries: unknown[];
1756
- ledgerSequence: number;
1757
- fetchedAt: number;
1758
- parseConfidence: {
1759
- overall: number;
1760
- knownContracts: string[];
1761
- unknownContracts: {
1762
- contract: string;
1763
- reason: "no-abi" | "version-mismatch" | "opaque-result";
1764
- }[];
1765
- opaqueScVals: {
1766
- path: string;
1767
- type: string;
1768
- }[];
1769
- thresholdUsed: number;
1770
- };
1771
- sourceAccount: string;
1772
- } & {
1773
- [k: string]: unknown;
1774
- };
1775
- confidenceOverride?: {
1776
- threshold: number;
1777
- } | undefined;
1778
- ozConfig?: {
1779
- network: "mainnet" | "testnet";
1780
- instances: {
1781
- spending_limit: string;
1782
- simple_threshold: string;
1783
- weighted_threshold: string;
1784
- };
1785
- } | undefined;
1786
- userResponses?: z.objectOutputType<{
1787
- windowSeconds: z.ZodOptional<z.ZodNumber>;
1788
- validUntilLedger: z.ZodOptional<z.ZodNumber>;
1789
- limitAmount: z.ZodOptional<z.ZodString>;
1790
- invocationLimit: z.ZodOptional<z.ZodNumber>;
1791
- }, z.ZodTypeAny, "passthrough"> | undefined;
1792
- interpreter?: {
1793
- smartAccountAddress: string;
1794
- installNonce?: number | undefined;
1795
- oracleParams?: {
1796
- maxStalenessSeconds?: number | undefined;
1797
- maxDeviationBps?: number | undefined;
1798
- } | undefined;
1799
- } | undefined;
1800
- }, {
1801
- network: "mainnet" | "testnet";
1802
- source: "recording";
1803
- recordedTx: {
1804
- network: "mainnet" | "testnet";
1805
- signers: string[];
1806
- invocations: unknown[];
1807
- tokenMovements: {
1808
- token: string;
1809
- from: string;
1810
- to: string;
1811
- amount: string;
1812
- }[];
1813
- events: {
1814
- contract: string;
1815
- topics: string[];
1816
- data?: unknown;
1817
- }[];
1818
- authEntries: unknown[];
1819
- ledgerSequence: number;
1820
- fetchedAt: number;
1821
- parseConfidence: {
1822
- overall: number;
1823
- knownContracts: string[];
1824
- unknownContracts: {
1825
- contract: string;
1826
- reason: "no-abi" | "version-mismatch" | "opaque-result";
1827
- }[];
1828
- opaqueScVals: {
1829
- path: string;
1830
- type: string;
1831
- }[];
1832
- thresholdUsed: number;
1833
- };
1834
- sourceAccount: string;
1835
- } & {
1836
- [k: string]: unknown;
1837
- };
1838
- confidenceOverride?: {
1839
- threshold: number;
1840
- } | undefined;
1841
- ozConfig?: {
1842
- network: "mainnet" | "testnet";
1843
- instances: {
1844
- spending_limit: string;
1845
- simple_threshold: string;
1846
- weighted_threshold: string;
1847
- };
1848
- } | undefined;
1849
- userResponses?: z.objectInputType<{
1850
- windowSeconds: z.ZodOptional<z.ZodNumber>;
1851
- validUntilLedger: z.ZodOptional<z.ZodNumber>;
1852
- limitAmount: z.ZodOptional<z.ZodString>;
1853
- invocationLimit: z.ZodOptional<z.ZodNumber>;
1854
- }, z.ZodTypeAny, "passthrough"> | undefined;
1855
- interpreter?: {
1856
- smartAccountAddress: string;
1857
- installNonce?: number | undefined;
1858
- oracleParams?: {
1859
- maxStalenessSeconds?: number | undefined;
1860
- maxDeviationBps?: number | undefined;
1861
- } | undefined;
1862
- } | undefined;
1863
- }>]>;
1864
- export type SynthesizePolicyInput = z.infer<typeof SynthesizePolicyInputSchema>;
3
+ export { ComposeUserResponsesSchema, InterpreterOptionsSchema, MandateSpecSchema, NetworkSchema, OzAdapterConfigSchema, RecordedTransactionSchema, RecordTransactionInputSchema, SynthesizePolicyInputSchema, ToolErrorSchema, };
4
+ /** Flat ZodRawShape used for the MCP SDK tool registration. The body
5
+ * re-validates against `RecordTransactionInputSchema` so the mutual-exclusion
6
+ * rule still fires (the SDK does not invoke `.refine()` at registration time). */
7
+ export declare const RecordTransactionToolShape: {
8
+ readonly hash: z.ZodOptional<z.ZodString>;
9
+ readonly xdr: z.ZodOptional<z.ZodString>;
10
+ readonly network: z.ZodEnum<["mainnet", "testnet"]>;
11
+ readonly confidenceOverride: z.ZodOptional<z.ZodNumber>;
12
+ };
1865
13
  /** Flat ZodRawShape used for MCP tool registration. Every field is optional
1866
14
  * so the JSON-Schema the SDK exposes to clients does not forbid either
1867
15
  * front-end; the body re-validates against the discriminated union. */
@@ -1965,15 +113,15 @@ export declare const SynthesizePolicyToolShape: {
1965
113
  to: z.ZodString;
1966
114
  amount: z.ZodString;
1967
115
  }, "strip", z.ZodTypeAny, {
116
+ amount: string;
1968
117
  token: string;
1969
118
  from: string;
1970
119
  to: string;
1971
- amount: string;
1972
120
  }, {
121
+ amount: string;
1973
122
  token: string;
1974
123
  from: string;
1975
124
  to: string;
1976
- amount: string;
1977
125
  }>, "many">;
1978
126
  events: z.ZodArray<z.ZodObject<{
1979
127
  contract: z.ZodString;
@@ -2008,36 +156,36 @@ export declare const SynthesizePolicyToolShape: {
2008
156
  path: z.ZodString;
2009
157
  type: z.ZodString;
2010
158
  }, "strip", z.ZodTypeAny, {
2011
- path: string;
2012
159
  type: string;
2013
- }, {
2014
160
  path: string;
161
+ }, {
2015
162
  type: string;
163
+ path: string;
2016
164
  }>, "many">;
2017
165
  thresholdUsed: z.ZodNumber;
2018
166
  }, "strip", z.ZodTypeAny, {
2019
- overall: number;
2020
- knownContracts: string[];
167
+ opaqueScVals: {
168
+ type: string;
169
+ path: string;
170
+ }[];
2021
171
  unknownContracts: {
2022
172
  contract: string;
2023
173
  reason: "no-abi" | "version-mismatch" | "opaque-result";
2024
174
  }[];
175
+ overall: number;
176
+ knownContracts: string[];
177
+ thresholdUsed: number;
178
+ }, {
2025
179
  opaqueScVals: {
2026
- path: string;
2027
180
  type: string;
181
+ path: string;
2028
182
  }[];
2029
- thresholdUsed: number;
2030
- }, {
2031
- overall: number;
2032
- knownContracts: string[];
2033
183
  unknownContracts: {
2034
184
  contract: string;
2035
185
  reason: "no-abi" | "version-mismatch" | "opaque-result";
2036
186
  }[];
2037
- opaqueScVals: {
2038
- path: string;
2039
- type: string;
2040
- }[];
187
+ overall: number;
188
+ knownContracts: string[];
2041
189
  thresholdUsed: number;
2042
190
  }>;
2043
191
  sourceAccount: z.ZodString;
@@ -2051,15 +199,15 @@ export declare const SynthesizePolicyToolShape: {
2051
199
  to: z.ZodString;
2052
200
  amount: z.ZodString;
2053
201
  }, "strip", z.ZodTypeAny, {
202
+ amount: string;
2054
203
  token: string;
2055
204
  from: string;
2056
205
  to: string;
2057
- amount: string;
2058
206
  }, {
207
+ amount: string;
2059
208
  token: string;
2060
209
  from: string;
2061
210
  to: string;
2062
- amount: string;
2063
211
  }>, "many">;
2064
212
  events: z.ZodArray<z.ZodObject<{
2065
213
  contract: z.ZodString;
@@ -2094,36 +242,36 @@ export declare const SynthesizePolicyToolShape: {
2094
242
  path: z.ZodString;
2095
243
  type: z.ZodString;
2096
244
  }, "strip", z.ZodTypeAny, {
2097
- path: string;
2098
245
  type: string;
2099
- }, {
2100
246
  path: string;
247
+ }, {
2101
248
  type: string;
249
+ path: string;
2102
250
  }>, "many">;
2103
251
  thresholdUsed: z.ZodNumber;
2104
252
  }, "strip", z.ZodTypeAny, {
2105
- overall: number;
2106
- knownContracts: string[];
253
+ opaqueScVals: {
254
+ type: string;
255
+ path: string;
256
+ }[];
2107
257
  unknownContracts: {
2108
258
  contract: string;
2109
259
  reason: "no-abi" | "version-mismatch" | "opaque-result";
2110
260
  }[];
261
+ overall: number;
262
+ knownContracts: string[];
263
+ thresholdUsed: number;
264
+ }, {
2111
265
  opaqueScVals: {
2112
- path: string;
2113
266
  type: string;
267
+ path: string;
2114
268
  }[];
2115
- thresholdUsed: number;
2116
- }, {
2117
- overall: number;
2118
- knownContracts: string[];
2119
269
  unknownContracts: {
2120
270
  contract: string;
2121
271
  reason: "no-abi" | "version-mismatch" | "opaque-result";
2122
272
  }[];
2123
- opaqueScVals: {
2124
- path: string;
2125
- type: string;
2126
- }[];
273
+ overall: number;
274
+ knownContracts: string[];
2127
275
  thresholdUsed: number;
2128
276
  }>;
2129
277
  sourceAccount: z.ZodString;
@@ -2137,15 +285,15 @@ export declare const SynthesizePolicyToolShape: {
2137
285
  to: z.ZodString;
2138
286
  amount: z.ZodString;
2139
287
  }, "strip", z.ZodTypeAny, {
288
+ amount: string;
2140
289
  token: string;
2141
290
  from: string;
2142
291
  to: string;
2143
- amount: string;
2144
292
  }, {
293
+ amount: string;
2145
294
  token: string;
2146
295
  from: string;
2147
296
  to: string;
2148
- amount: string;
2149
297
  }>, "many">;
2150
298
  events: z.ZodArray<z.ZodObject<{
2151
299
  contract: z.ZodString;
@@ -2180,36 +328,36 @@ export declare const SynthesizePolicyToolShape: {
2180
328
  path: z.ZodString;
2181
329
  type: z.ZodString;
2182
330
  }, "strip", z.ZodTypeAny, {
2183
- path: string;
2184
331
  type: string;
2185
- }, {
2186
332
  path: string;
333
+ }, {
2187
334
  type: string;
335
+ path: string;
2188
336
  }>, "many">;
2189
337
  thresholdUsed: z.ZodNumber;
2190
338
  }, "strip", z.ZodTypeAny, {
2191
- overall: number;
2192
- knownContracts: string[];
339
+ opaqueScVals: {
340
+ type: string;
341
+ path: string;
342
+ }[];
2193
343
  unknownContracts: {
2194
344
  contract: string;
2195
345
  reason: "no-abi" | "version-mismatch" | "opaque-result";
2196
346
  }[];
347
+ overall: number;
348
+ knownContracts: string[];
349
+ thresholdUsed: number;
350
+ }, {
2197
351
  opaqueScVals: {
2198
- path: string;
2199
352
  type: string;
353
+ path: string;
2200
354
  }[];
2201
- thresholdUsed: number;
2202
- }, {
2203
- overall: number;
2204
- knownContracts: string[];
2205
355
  unknownContracts: {
2206
356
  contract: string;
2207
357
  reason: "no-abi" | "version-mismatch" | "opaque-result";
2208
358
  }[];
2209
- opaqueScVals: {
2210
- path: string;
2211
- type: string;
2212
- }[];
359
+ overall: number;
360
+ knownContracts: string[];
2213
361
  thresholdUsed: number;
2214
362
  }>;
2215
363
  sourceAccount: z.ZodString;
@@ -2220,16 +368,19 @@ export declare const SynthesizePolicyToolShape: {
2220
368
  validUntilLedger: z.ZodOptional<z.ZodNumber>;
2221
369
  limitAmount: z.ZodOptional<z.ZodString>;
2222
370
  invocationLimit: z.ZodOptional<z.ZodNumber>;
371
+ swapRecipientAllowlist: z.ZodOptional<z.ZodArray<z.ZodEffects<z.ZodString, string, string>, "many">>;
2223
372
  }, "passthrough", z.ZodTypeAny, z.objectOutputType<{
2224
373
  windowSeconds: z.ZodOptional<z.ZodNumber>;
2225
374
  validUntilLedger: z.ZodOptional<z.ZodNumber>;
2226
375
  limitAmount: z.ZodOptional<z.ZodString>;
2227
376
  invocationLimit: z.ZodOptional<z.ZodNumber>;
377
+ swapRecipientAllowlist: z.ZodOptional<z.ZodArray<z.ZodEffects<z.ZodString, string, string>, "many">>;
2228
378
  }, z.ZodTypeAny, "passthrough">, z.objectInputType<{
2229
379
  windowSeconds: z.ZodOptional<z.ZodNumber>;
2230
380
  validUntilLedger: z.ZodOptional<z.ZodNumber>;
2231
381
  limitAmount: z.ZodOptional<z.ZodString>;
2232
382
  invocationLimit: z.ZodOptional<z.ZodNumber>;
383
+ swapRecipientAllowlist: z.ZodOptional<z.ZodArray<z.ZodEffects<z.ZodString, string, string>, "many">>;
2233
384
  }, z.ZodTypeAny, "passthrough">>>;
2234
385
  readonly confidenceOverride: z.ZodOptional<z.ZodObject<{
2235
386
  threshold: z.ZodNumber;
@@ -2253,18 +404,18 @@ export declare const SynthesizePolicyToolShape: {
2253
404
  }>>;
2254
405
  }, "strip", z.ZodTypeAny, {
2255
406
  smartAccountAddress: string;
2256
- installNonce?: number | undefined;
2257
407
  oracleParams?: {
2258
408
  maxStalenessSeconds?: number | undefined;
2259
409
  maxDeviationBps?: number | undefined;
2260
410
  } | undefined;
411
+ installNonce?: number | undefined;
2261
412
  }, {
2262
413
  smartAccountAddress: string;
2263
- installNonce?: number | undefined;
2264
414
  oracleParams?: {
2265
415
  maxStalenessSeconds?: number | undefined;
2266
416
  maxDeviationBps?: number | undefined;
2267
417
  } | undefined;
418
+ installNonce?: number | undefined;
2268
419
  }>>;
2269
420
  readonly ozConfig: z.ZodOptional<z.ZodObject<{
2270
421
  network: z.ZodEnum<["mainnet", "testnet"]>;
@@ -2297,151 +448,3 @@ export declare const SynthesizePolicyToolShape: {
2297
448
  };
2298
449
  }>>;
2299
450
  };
2300
- export declare const ToolErrorSchema: z.ZodObject<{
2301
- code: z.ZodString;
2302
- message: z.ZodString;
2303
- severity: z.ZodEnum<["info", "warning", "error", "fatal"]>;
2304
- retryable: z.ZodBoolean;
2305
- remediation: z.ZodOptional<z.ZodObject<{
2306
- toolCall: z.ZodOptional<z.ZodObject<{
2307
- name: z.ZodString;
2308
- args: z.ZodRecord<z.ZodString, z.ZodUnknown>;
2309
- }, "strip", z.ZodTypeAny, {
2310
- args: Record<string, unknown>;
2311
- name: string;
2312
- }, {
2313
- args: Record<string, unknown>;
2314
- name: string;
2315
- }>>;
2316
- userQuestion: z.ZodOptional<z.ZodObject<{
2317
- code: z.ZodString;
2318
- question: z.ZodString;
2319
- }, "strip", z.ZodTypeAny, {
2320
- code: string;
2321
- question: string;
2322
- }, {
2323
- code: string;
2324
- question: string;
2325
- }>>;
2326
- docsUrl: z.ZodOptional<z.ZodString>;
2327
- }, "strip", z.ZodTypeAny, {
2328
- toolCall?: {
2329
- args: Record<string, unknown>;
2330
- name: string;
2331
- } | undefined;
2332
- userQuestion?: {
2333
- code: string;
2334
- question: string;
2335
- } | undefined;
2336
- docsUrl?: string | undefined;
2337
- }, {
2338
- toolCall?: {
2339
- args: Record<string, unknown>;
2340
- name: string;
2341
- } | undefined;
2342
- userQuestion?: {
2343
- code: string;
2344
- question: string;
2345
- } | undefined;
2346
- docsUrl?: string | undefined;
2347
- }>>;
2348
- details: z.ZodOptional<z.ZodUnknown>;
2349
- }, "passthrough", z.ZodTypeAny, z.objectOutputType<{
2350
- code: z.ZodString;
2351
- message: z.ZodString;
2352
- severity: z.ZodEnum<["info", "warning", "error", "fatal"]>;
2353
- retryable: z.ZodBoolean;
2354
- remediation: z.ZodOptional<z.ZodObject<{
2355
- toolCall: z.ZodOptional<z.ZodObject<{
2356
- name: z.ZodString;
2357
- args: z.ZodRecord<z.ZodString, z.ZodUnknown>;
2358
- }, "strip", z.ZodTypeAny, {
2359
- args: Record<string, unknown>;
2360
- name: string;
2361
- }, {
2362
- args: Record<string, unknown>;
2363
- name: string;
2364
- }>>;
2365
- userQuestion: z.ZodOptional<z.ZodObject<{
2366
- code: z.ZodString;
2367
- question: z.ZodString;
2368
- }, "strip", z.ZodTypeAny, {
2369
- code: string;
2370
- question: string;
2371
- }, {
2372
- code: string;
2373
- question: string;
2374
- }>>;
2375
- docsUrl: z.ZodOptional<z.ZodString>;
2376
- }, "strip", z.ZodTypeAny, {
2377
- toolCall?: {
2378
- args: Record<string, unknown>;
2379
- name: string;
2380
- } | undefined;
2381
- userQuestion?: {
2382
- code: string;
2383
- question: string;
2384
- } | undefined;
2385
- docsUrl?: string | undefined;
2386
- }, {
2387
- toolCall?: {
2388
- args: Record<string, unknown>;
2389
- name: string;
2390
- } | undefined;
2391
- userQuestion?: {
2392
- code: string;
2393
- question: string;
2394
- } | undefined;
2395
- docsUrl?: string | undefined;
2396
- }>>;
2397
- details: z.ZodOptional<z.ZodUnknown>;
2398
- }, z.ZodTypeAny, "passthrough">, z.objectInputType<{
2399
- code: z.ZodString;
2400
- message: z.ZodString;
2401
- severity: z.ZodEnum<["info", "warning", "error", "fatal"]>;
2402
- retryable: z.ZodBoolean;
2403
- remediation: z.ZodOptional<z.ZodObject<{
2404
- toolCall: z.ZodOptional<z.ZodObject<{
2405
- name: z.ZodString;
2406
- args: z.ZodRecord<z.ZodString, z.ZodUnknown>;
2407
- }, "strip", z.ZodTypeAny, {
2408
- args: Record<string, unknown>;
2409
- name: string;
2410
- }, {
2411
- args: Record<string, unknown>;
2412
- name: string;
2413
- }>>;
2414
- userQuestion: z.ZodOptional<z.ZodObject<{
2415
- code: z.ZodString;
2416
- question: z.ZodString;
2417
- }, "strip", z.ZodTypeAny, {
2418
- code: string;
2419
- question: string;
2420
- }, {
2421
- code: string;
2422
- question: string;
2423
- }>>;
2424
- docsUrl: z.ZodOptional<z.ZodString>;
2425
- }, "strip", z.ZodTypeAny, {
2426
- toolCall?: {
2427
- args: Record<string, unknown>;
2428
- name: string;
2429
- } | undefined;
2430
- userQuestion?: {
2431
- code: string;
2432
- question: string;
2433
- } | undefined;
2434
- docsUrl?: string | undefined;
2435
- }, {
2436
- toolCall?: {
2437
- args: Record<string, unknown>;
2438
- name: string;
2439
- } | undefined;
2440
- userQuestion?: {
2441
- code: string;
2442
- question: string;
2443
- } | undefined;
2444
- docsUrl?: string | undefined;
2445
- }>>;
2446
- details: z.ZodOptional<z.ZodUnknown>;
2447
- }, z.ZodTypeAny, "passthrough">>;