@proposit/shared 0.10.0 → 0.11.0

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.
@@ -5,6 +5,19 @@ export declare function getLogicDataImpl(config: TApiClientConfig, argumentId: s
5
5
  errorID: Type.TNumber;
6
6
  errorMessage: Type.TString;
7
7
  statusCode: Type.TNumber;
8
+ }>> | import("../../../schemas/common.js").ParsedError<Type.TObject<{
9
+ error: Type.TLiteral<"GRAMMAR_VIOLATIONS">;
10
+ tier: Type.TUnion<[Type.TLiteral<"structural">, Type.TLiteral<"evaluable">, Type.TLiteral<"derivable">, Type.TLiteral<"presentable">]>;
11
+ violations: Type.TArray<Type.TObject<{
12
+ tier: Type.TUnion<[Type.TLiteral<"structural">, Type.TLiteral<"evaluable">, Type.TLiteral<"derivable">, Type.TLiteral<"presentable">]>;
13
+ code: Type.TUnion<[Type.TLiteral<"S-1">, Type.TLiteral<"S-2">, Type.TLiteral<"S-3">, Type.TLiteral<"S-4">, Type.TLiteral<"S-5">, Type.TLiteral<"S-6">, Type.TLiteral<"S-7">, Type.TLiteral<"S-8">, Type.TLiteral<"S-9">, Type.TLiteral<"S-10">, Type.TLiteral<"S-11">, Type.TLiteral<"S-12">, Type.TLiteral<"S-13">, Type.TLiteral<"S-14">, Type.TLiteral<"E-1">, Type.TLiteral<"E-3">, Type.TLiteral<"E-4">, Type.TLiteral<"E-5">, Type.TLiteral<"E-6">, Type.TLiteral<"E-7">, Type.TLiteral<"D-1">, Type.TLiteral<"D-2">, Type.TLiteral<"D-3">, Type.TLiteral<"D-4">, Type.TLiteral<"D-5">, Type.TLiteral<"D-6">, Type.TLiteral<"P-1">, Type.TLiteral<"P-2">, Type.TLiteral<"P-3">, Type.TLiteral<"P-4">, Type.TLiteral<"P-5">]>;
14
+ message: Type.TString;
15
+ argumentId: Type.TOptional<Type.TString>;
16
+ premiseId: Type.TOptional<Type.TString>;
17
+ expressionId: Type.TOptional<Type.TString>;
18
+ variableId: Type.TOptional<Type.TString>;
19
+ claimId: Type.TOptional<Type.TString>;
20
+ }>>;
8
21
  }>> | import("../../../schemas/common.js").ParsedSuccess<Type.TObject<{
9
22
  argument: Type.TIntersect<[Type.TObject<{
10
23
  createdOn: import("../../../schemas/common.js").TDateType;
@@ -168,6 +181,19 @@ export declare function getPremisesImpl(config: TApiClientConfig, argumentId: st
168
181
  errorID: Type.TNumber;
169
182
  errorMessage: Type.TString;
170
183
  statusCode: Type.TNumber;
184
+ }>> | import("../../../schemas/common.js").ParsedError<Type.TObject<{
185
+ error: Type.TLiteral<"GRAMMAR_VIOLATIONS">;
186
+ tier: Type.TUnion<[Type.TLiteral<"structural">, Type.TLiteral<"evaluable">, Type.TLiteral<"derivable">, Type.TLiteral<"presentable">]>;
187
+ violations: Type.TArray<Type.TObject<{
188
+ tier: Type.TUnion<[Type.TLiteral<"structural">, Type.TLiteral<"evaluable">, Type.TLiteral<"derivable">, Type.TLiteral<"presentable">]>;
189
+ code: Type.TUnion<[Type.TLiteral<"S-1">, Type.TLiteral<"S-2">, Type.TLiteral<"S-3">, Type.TLiteral<"S-4">, Type.TLiteral<"S-5">, Type.TLiteral<"S-6">, Type.TLiteral<"S-7">, Type.TLiteral<"S-8">, Type.TLiteral<"S-9">, Type.TLiteral<"S-10">, Type.TLiteral<"S-11">, Type.TLiteral<"S-12">, Type.TLiteral<"S-13">, Type.TLiteral<"S-14">, Type.TLiteral<"E-1">, Type.TLiteral<"E-3">, Type.TLiteral<"E-4">, Type.TLiteral<"E-5">, Type.TLiteral<"E-6">, Type.TLiteral<"E-7">, Type.TLiteral<"D-1">, Type.TLiteral<"D-2">, Type.TLiteral<"D-3">, Type.TLiteral<"D-4">, Type.TLiteral<"D-5">, Type.TLiteral<"D-6">, Type.TLiteral<"P-1">, Type.TLiteral<"P-2">, Type.TLiteral<"P-3">, Type.TLiteral<"P-4">, Type.TLiteral<"P-5">]>;
190
+ message: Type.TString;
191
+ argumentId: Type.TOptional<Type.TString>;
192
+ premiseId: Type.TOptional<Type.TString>;
193
+ expressionId: Type.TOptional<Type.TString>;
194
+ variableId: Type.TOptional<Type.TString>;
195
+ claimId: Type.TOptional<Type.TString>;
196
+ }>>;
171
197
  }>> | import("../../../schemas/common.js").ParsedSuccess<Type.TArray<Type.TIntersect<[Type.TUnion<[Type.TObject<{
172
198
  type: Type.TLiteral<"freeform">;
173
199
  id: Type.TString;
@@ -195,6 +221,19 @@ export declare function createPremiseImpl(config: TApiClientConfig, argumentId:
195
221
  errorID: Type.TNumber;
196
222
  errorMessage: Type.TString;
197
223
  statusCode: Type.TNumber;
224
+ }>> | import("../../../schemas/common.js").ParsedError<Type.TObject<{
225
+ error: Type.TLiteral<"GRAMMAR_VIOLATIONS">;
226
+ tier: Type.TUnion<[Type.TLiteral<"structural">, Type.TLiteral<"evaluable">, Type.TLiteral<"derivable">, Type.TLiteral<"presentable">]>;
227
+ violations: Type.TArray<Type.TObject<{
228
+ tier: Type.TUnion<[Type.TLiteral<"structural">, Type.TLiteral<"evaluable">, Type.TLiteral<"derivable">, Type.TLiteral<"presentable">]>;
229
+ code: Type.TUnion<[Type.TLiteral<"S-1">, Type.TLiteral<"S-2">, Type.TLiteral<"S-3">, Type.TLiteral<"S-4">, Type.TLiteral<"S-5">, Type.TLiteral<"S-6">, Type.TLiteral<"S-7">, Type.TLiteral<"S-8">, Type.TLiteral<"S-9">, Type.TLiteral<"S-10">, Type.TLiteral<"S-11">, Type.TLiteral<"S-12">, Type.TLiteral<"S-13">, Type.TLiteral<"S-14">, Type.TLiteral<"E-1">, Type.TLiteral<"E-3">, Type.TLiteral<"E-4">, Type.TLiteral<"E-5">, Type.TLiteral<"E-6">, Type.TLiteral<"E-7">, Type.TLiteral<"D-1">, Type.TLiteral<"D-2">, Type.TLiteral<"D-3">, Type.TLiteral<"D-4">, Type.TLiteral<"D-5">, Type.TLiteral<"D-6">, Type.TLiteral<"P-1">, Type.TLiteral<"P-2">, Type.TLiteral<"P-3">, Type.TLiteral<"P-4">, Type.TLiteral<"P-5">]>;
230
+ message: Type.TString;
231
+ argumentId: Type.TOptional<Type.TString>;
232
+ premiseId: Type.TOptional<Type.TString>;
233
+ expressionId: Type.TOptional<Type.TString>;
234
+ variableId: Type.TOptional<Type.TString>;
235
+ claimId: Type.TOptional<Type.TString>;
236
+ }>>;
198
237
  }>> | import("../../../schemas/common.js").ParsedSuccess<Type.TObject<{
199
238
  premise: Type.TIntersect<[Type.TUnion<[Type.TObject<{
200
239
  type: Type.TLiteral<"freeform">;
@@ -252,6 +291,19 @@ export declare function updatePremiseImpl(config: TApiClientConfig, argumentId:
252
291
  errorID: Type.TNumber;
253
292
  errorMessage: Type.TString;
254
293
  statusCode: Type.TNumber;
294
+ }>> | import("../../../schemas/common.js").ParsedError<Type.TObject<{
295
+ error: Type.TLiteral<"GRAMMAR_VIOLATIONS">;
296
+ tier: Type.TUnion<[Type.TLiteral<"structural">, Type.TLiteral<"evaluable">, Type.TLiteral<"derivable">, Type.TLiteral<"presentable">]>;
297
+ violations: Type.TArray<Type.TObject<{
298
+ tier: Type.TUnion<[Type.TLiteral<"structural">, Type.TLiteral<"evaluable">, Type.TLiteral<"derivable">, Type.TLiteral<"presentable">]>;
299
+ code: Type.TUnion<[Type.TLiteral<"S-1">, Type.TLiteral<"S-2">, Type.TLiteral<"S-3">, Type.TLiteral<"S-4">, Type.TLiteral<"S-5">, Type.TLiteral<"S-6">, Type.TLiteral<"S-7">, Type.TLiteral<"S-8">, Type.TLiteral<"S-9">, Type.TLiteral<"S-10">, Type.TLiteral<"S-11">, Type.TLiteral<"S-12">, Type.TLiteral<"S-13">, Type.TLiteral<"S-14">, Type.TLiteral<"E-1">, Type.TLiteral<"E-3">, Type.TLiteral<"E-4">, Type.TLiteral<"E-5">, Type.TLiteral<"E-6">, Type.TLiteral<"E-7">, Type.TLiteral<"D-1">, Type.TLiteral<"D-2">, Type.TLiteral<"D-3">, Type.TLiteral<"D-4">, Type.TLiteral<"D-5">, Type.TLiteral<"D-6">, Type.TLiteral<"P-1">, Type.TLiteral<"P-2">, Type.TLiteral<"P-3">, Type.TLiteral<"P-4">, Type.TLiteral<"P-5">]>;
300
+ message: Type.TString;
301
+ argumentId: Type.TOptional<Type.TString>;
302
+ premiseId: Type.TOptional<Type.TString>;
303
+ expressionId: Type.TOptional<Type.TString>;
304
+ variableId: Type.TOptional<Type.TString>;
305
+ claimId: Type.TOptional<Type.TString>;
306
+ }>>;
255
307
  }>> | import("../../../schemas/common.js").ParsedSuccess<Type.TIntersect<[Type.TUnion<[Type.TObject<{
256
308
  type: Type.TLiteral<"freeform">;
257
309
  id: Type.TString;
@@ -279,6 +331,19 @@ export declare function deletePremiseImpl(config: TApiClientConfig, argumentId:
279
331
  errorID: Type.TNumber;
280
332
  errorMessage: Type.TString;
281
333
  statusCode: Type.TNumber;
334
+ }>> | import("../../../schemas/common.js").ParsedError<Type.TObject<{
335
+ error: Type.TLiteral<"GRAMMAR_VIOLATIONS">;
336
+ tier: Type.TUnion<[Type.TLiteral<"structural">, Type.TLiteral<"evaluable">, Type.TLiteral<"derivable">, Type.TLiteral<"presentable">]>;
337
+ violations: Type.TArray<Type.TObject<{
338
+ tier: Type.TUnion<[Type.TLiteral<"structural">, Type.TLiteral<"evaluable">, Type.TLiteral<"derivable">, Type.TLiteral<"presentable">]>;
339
+ code: Type.TUnion<[Type.TLiteral<"S-1">, Type.TLiteral<"S-2">, Type.TLiteral<"S-3">, Type.TLiteral<"S-4">, Type.TLiteral<"S-5">, Type.TLiteral<"S-6">, Type.TLiteral<"S-7">, Type.TLiteral<"S-8">, Type.TLiteral<"S-9">, Type.TLiteral<"S-10">, Type.TLiteral<"S-11">, Type.TLiteral<"S-12">, Type.TLiteral<"S-13">, Type.TLiteral<"S-14">, Type.TLiteral<"E-1">, Type.TLiteral<"E-3">, Type.TLiteral<"E-4">, Type.TLiteral<"E-5">, Type.TLiteral<"E-6">, Type.TLiteral<"E-7">, Type.TLiteral<"D-1">, Type.TLiteral<"D-2">, Type.TLiteral<"D-3">, Type.TLiteral<"D-4">, Type.TLiteral<"D-5">, Type.TLiteral<"D-6">, Type.TLiteral<"P-1">, Type.TLiteral<"P-2">, Type.TLiteral<"P-3">, Type.TLiteral<"P-4">, Type.TLiteral<"P-5">]>;
340
+ message: Type.TString;
341
+ argumentId: Type.TOptional<Type.TString>;
342
+ premiseId: Type.TOptional<Type.TString>;
343
+ expressionId: Type.TOptional<Type.TString>;
344
+ variableId: Type.TOptional<Type.TString>;
345
+ claimId: Type.TOptional<Type.TString>;
346
+ }>>;
282
347
  }>> | import("../../../schemas/common.js").ParsedSuccess<Type.TObject<{
283
348
  deleted: Type.TBoolean;
284
349
  }>>>;
@@ -286,6 +351,19 @@ export declare function getPremiseImpl(config: TApiClientConfig, argumentId: str
286
351
  errorID: Type.TNumber;
287
352
  errorMessage: Type.TString;
288
353
  statusCode: Type.TNumber;
354
+ }>> | import("../../../schemas/common.js").ParsedError<Type.TObject<{
355
+ error: Type.TLiteral<"GRAMMAR_VIOLATIONS">;
356
+ tier: Type.TUnion<[Type.TLiteral<"structural">, Type.TLiteral<"evaluable">, Type.TLiteral<"derivable">, Type.TLiteral<"presentable">]>;
357
+ violations: Type.TArray<Type.TObject<{
358
+ tier: Type.TUnion<[Type.TLiteral<"structural">, Type.TLiteral<"evaluable">, Type.TLiteral<"derivable">, Type.TLiteral<"presentable">]>;
359
+ code: Type.TUnion<[Type.TLiteral<"S-1">, Type.TLiteral<"S-2">, Type.TLiteral<"S-3">, Type.TLiteral<"S-4">, Type.TLiteral<"S-5">, Type.TLiteral<"S-6">, Type.TLiteral<"S-7">, Type.TLiteral<"S-8">, Type.TLiteral<"S-9">, Type.TLiteral<"S-10">, Type.TLiteral<"S-11">, Type.TLiteral<"S-12">, Type.TLiteral<"S-13">, Type.TLiteral<"S-14">, Type.TLiteral<"E-1">, Type.TLiteral<"E-3">, Type.TLiteral<"E-4">, Type.TLiteral<"E-5">, Type.TLiteral<"E-6">, Type.TLiteral<"E-7">, Type.TLiteral<"D-1">, Type.TLiteral<"D-2">, Type.TLiteral<"D-3">, Type.TLiteral<"D-4">, Type.TLiteral<"D-5">, Type.TLiteral<"D-6">, Type.TLiteral<"P-1">, Type.TLiteral<"P-2">, Type.TLiteral<"P-3">, Type.TLiteral<"P-4">, Type.TLiteral<"P-5">]>;
360
+ message: Type.TString;
361
+ argumentId: Type.TOptional<Type.TString>;
362
+ premiseId: Type.TOptional<Type.TString>;
363
+ expressionId: Type.TOptional<Type.TString>;
364
+ variableId: Type.TOptional<Type.TString>;
365
+ claimId: Type.TOptional<Type.TString>;
366
+ }>>;
289
367
  }>> | import("../../../schemas/common.js").ParsedSuccess<Type.TIntersect<[Type.TUnion<[Type.TObject<{
290
368
  type: Type.TLiteral<"freeform">;
291
369
  id: Type.TString;
@@ -313,6 +391,19 @@ export declare function getExpressionsImpl(config: TApiClientConfig, argumentId:
313
391
  errorID: Type.TNumber;
314
392
  errorMessage: Type.TString;
315
393
  statusCode: Type.TNumber;
394
+ }>> | import("../../../schemas/common.js").ParsedError<Type.TObject<{
395
+ error: Type.TLiteral<"GRAMMAR_VIOLATIONS">;
396
+ tier: Type.TUnion<[Type.TLiteral<"structural">, Type.TLiteral<"evaluable">, Type.TLiteral<"derivable">, Type.TLiteral<"presentable">]>;
397
+ violations: Type.TArray<Type.TObject<{
398
+ tier: Type.TUnion<[Type.TLiteral<"structural">, Type.TLiteral<"evaluable">, Type.TLiteral<"derivable">, Type.TLiteral<"presentable">]>;
399
+ code: Type.TUnion<[Type.TLiteral<"S-1">, Type.TLiteral<"S-2">, Type.TLiteral<"S-3">, Type.TLiteral<"S-4">, Type.TLiteral<"S-5">, Type.TLiteral<"S-6">, Type.TLiteral<"S-7">, Type.TLiteral<"S-8">, Type.TLiteral<"S-9">, Type.TLiteral<"S-10">, Type.TLiteral<"S-11">, Type.TLiteral<"S-12">, Type.TLiteral<"S-13">, Type.TLiteral<"S-14">, Type.TLiteral<"E-1">, Type.TLiteral<"E-3">, Type.TLiteral<"E-4">, Type.TLiteral<"E-5">, Type.TLiteral<"E-6">, Type.TLiteral<"E-7">, Type.TLiteral<"D-1">, Type.TLiteral<"D-2">, Type.TLiteral<"D-3">, Type.TLiteral<"D-4">, Type.TLiteral<"D-5">, Type.TLiteral<"D-6">, Type.TLiteral<"P-1">, Type.TLiteral<"P-2">, Type.TLiteral<"P-3">, Type.TLiteral<"P-4">, Type.TLiteral<"P-5">]>;
400
+ message: Type.TString;
401
+ argumentId: Type.TOptional<Type.TString>;
402
+ premiseId: Type.TOptional<Type.TString>;
403
+ expressionId: Type.TOptional<Type.TString>;
404
+ variableId: Type.TOptional<Type.TString>;
405
+ claimId: Type.TOptional<Type.TString>;
406
+ }>>;
316
407
  }>> | import("../../../schemas/common.js").ParsedSuccess<Type.TArray<Type.TUnion<[Type.TIntersect<[Type.TObject<{
317
408
  id: Type.TString;
318
409
  argumentId: Type.TString;
@@ -369,6 +460,19 @@ export declare function createExpressionImpl(config: TApiClientConfig, argumentI
369
460
  errorID: Type.TNumber;
370
461
  errorMessage: Type.TString;
371
462
  statusCode: Type.TNumber;
463
+ }>> | import("../../../schemas/common.js").ParsedError<Type.TObject<{
464
+ error: Type.TLiteral<"GRAMMAR_VIOLATIONS">;
465
+ tier: Type.TUnion<[Type.TLiteral<"structural">, Type.TLiteral<"evaluable">, Type.TLiteral<"derivable">, Type.TLiteral<"presentable">]>;
466
+ violations: Type.TArray<Type.TObject<{
467
+ tier: Type.TUnion<[Type.TLiteral<"structural">, Type.TLiteral<"evaluable">, Type.TLiteral<"derivable">, Type.TLiteral<"presentable">]>;
468
+ code: Type.TUnion<[Type.TLiteral<"S-1">, Type.TLiteral<"S-2">, Type.TLiteral<"S-3">, Type.TLiteral<"S-4">, Type.TLiteral<"S-5">, Type.TLiteral<"S-6">, Type.TLiteral<"S-7">, Type.TLiteral<"S-8">, Type.TLiteral<"S-9">, Type.TLiteral<"S-10">, Type.TLiteral<"S-11">, Type.TLiteral<"S-12">, Type.TLiteral<"S-13">, Type.TLiteral<"S-14">, Type.TLiteral<"E-1">, Type.TLiteral<"E-3">, Type.TLiteral<"E-4">, Type.TLiteral<"E-5">, Type.TLiteral<"E-6">, Type.TLiteral<"E-7">, Type.TLiteral<"D-1">, Type.TLiteral<"D-2">, Type.TLiteral<"D-3">, Type.TLiteral<"D-4">, Type.TLiteral<"D-5">, Type.TLiteral<"D-6">, Type.TLiteral<"P-1">, Type.TLiteral<"P-2">, Type.TLiteral<"P-3">, Type.TLiteral<"P-4">, Type.TLiteral<"P-5">]>;
469
+ message: Type.TString;
470
+ argumentId: Type.TOptional<Type.TString>;
471
+ premiseId: Type.TOptional<Type.TString>;
472
+ expressionId: Type.TOptional<Type.TString>;
473
+ variableId: Type.TOptional<Type.TString>;
474
+ claimId: Type.TOptional<Type.TString>;
475
+ }>>;
372
476
  }>> | import("../../../schemas/common.js").ParsedSuccess<Type.TObject<{
373
477
  created: Type.TUnion<[Type.TIntersect<[Type.TObject<{
374
478
  id: Type.TString;
@@ -479,6 +583,19 @@ export declare function updateExpressionImpl(config: TApiClientConfig, argumentI
479
583
  errorID: Type.TNumber;
480
584
  errorMessage: Type.TString;
481
585
  statusCode: Type.TNumber;
586
+ }>> | import("../../../schemas/common.js").ParsedError<Type.TObject<{
587
+ error: Type.TLiteral<"GRAMMAR_VIOLATIONS">;
588
+ tier: Type.TUnion<[Type.TLiteral<"structural">, Type.TLiteral<"evaluable">, Type.TLiteral<"derivable">, Type.TLiteral<"presentable">]>;
589
+ violations: Type.TArray<Type.TObject<{
590
+ tier: Type.TUnion<[Type.TLiteral<"structural">, Type.TLiteral<"evaluable">, Type.TLiteral<"derivable">, Type.TLiteral<"presentable">]>;
591
+ code: Type.TUnion<[Type.TLiteral<"S-1">, Type.TLiteral<"S-2">, Type.TLiteral<"S-3">, Type.TLiteral<"S-4">, Type.TLiteral<"S-5">, Type.TLiteral<"S-6">, Type.TLiteral<"S-7">, Type.TLiteral<"S-8">, Type.TLiteral<"S-9">, Type.TLiteral<"S-10">, Type.TLiteral<"S-11">, Type.TLiteral<"S-12">, Type.TLiteral<"S-13">, Type.TLiteral<"S-14">, Type.TLiteral<"E-1">, Type.TLiteral<"E-3">, Type.TLiteral<"E-4">, Type.TLiteral<"E-5">, Type.TLiteral<"E-6">, Type.TLiteral<"E-7">, Type.TLiteral<"D-1">, Type.TLiteral<"D-2">, Type.TLiteral<"D-3">, Type.TLiteral<"D-4">, Type.TLiteral<"D-5">, Type.TLiteral<"D-6">, Type.TLiteral<"P-1">, Type.TLiteral<"P-2">, Type.TLiteral<"P-3">, Type.TLiteral<"P-4">, Type.TLiteral<"P-5">]>;
592
+ message: Type.TString;
593
+ argumentId: Type.TOptional<Type.TString>;
594
+ premiseId: Type.TOptional<Type.TString>;
595
+ expressionId: Type.TOptional<Type.TString>;
596
+ variableId: Type.TOptional<Type.TString>;
597
+ claimId: Type.TOptional<Type.TString>;
598
+ }>>;
482
599
  }>> | import("../../../schemas/common.js").ParsedSuccess<Type.TUnion<[Type.TIntersect<[Type.TObject<{
483
600
  id: Type.TString;
484
601
  argumentId: Type.TString;
@@ -535,6 +652,19 @@ export declare function deleteExpressionImpl(config: TApiClientConfig, argumentI
535
652
  errorID: Type.TNumber;
536
653
  errorMessage: Type.TString;
537
654
  statusCode: Type.TNumber;
655
+ }>> | import("../../../schemas/common.js").ParsedError<Type.TObject<{
656
+ error: Type.TLiteral<"GRAMMAR_VIOLATIONS">;
657
+ tier: Type.TUnion<[Type.TLiteral<"structural">, Type.TLiteral<"evaluable">, Type.TLiteral<"derivable">, Type.TLiteral<"presentable">]>;
658
+ violations: Type.TArray<Type.TObject<{
659
+ tier: Type.TUnion<[Type.TLiteral<"structural">, Type.TLiteral<"evaluable">, Type.TLiteral<"derivable">, Type.TLiteral<"presentable">]>;
660
+ code: Type.TUnion<[Type.TLiteral<"S-1">, Type.TLiteral<"S-2">, Type.TLiteral<"S-3">, Type.TLiteral<"S-4">, Type.TLiteral<"S-5">, Type.TLiteral<"S-6">, Type.TLiteral<"S-7">, Type.TLiteral<"S-8">, Type.TLiteral<"S-9">, Type.TLiteral<"S-10">, Type.TLiteral<"S-11">, Type.TLiteral<"S-12">, Type.TLiteral<"S-13">, Type.TLiteral<"S-14">, Type.TLiteral<"E-1">, Type.TLiteral<"E-3">, Type.TLiteral<"E-4">, Type.TLiteral<"E-5">, Type.TLiteral<"E-6">, Type.TLiteral<"E-7">, Type.TLiteral<"D-1">, Type.TLiteral<"D-2">, Type.TLiteral<"D-3">, Type.TLiteral<"D-4">, Type.TLiteral<"D-5">, Type.TLiteral<"D-6">, Type.TLiteral<"P-1">, Type.TLiteral<"P-2">, Type.TLiteral<"P-3">, Type.TLiteral<"P-4">, Type.TLiteral<"P-5">]>;
661
+ message: Type.TString;
662
+ argumentId: Type.TOptional<Type.TString>;
663
+ premiseId: Type.TOptional<Type.TString>;
664
+ expressionId: Type.TOptional<Type.TString>;
665
+ variableId: Type.TOptional<Type.TString>;
666
+ claimId: Type.TOptional<Type.TString>;
667
+ }>>;
538
668
  }>> | import("../../../schemas/common.js").ParsedSuccess<Type.TObject<{
539
669
  deleted: Type.TBoolean;
540
670
  }>>>;
@@ -542,6 +672,19 @@ export declare function getExpressionImpl(config: TApiClientConfig, argumentId:
542
672
  errorID: Type.TNumber;
543
673
  errorMessage: Type.TString;
544
674
  statusCode: Type.TNumber;
675
+ }>> | import("../../../schemas/common.js").ParsedError<Type.TObject<{
676
+ error: Type.TLiteral<"GRAMMAR_VIOLATIONS">;
677
+ tier: Type.TUnion<[Type.TLiteral<"structural">, Type.TLiteral<"evaluable">, Type.TLiteral<"derivable">, Type.TLiteral<"presentable">]>;
678
+ violations: Type.TArray<Type.TObject<{
679
+ tier: Type.TUnion<[Type.TLiteral<"structural">, Type.TLiteral<"evaluable">, Type.TLiteral<"derivable">, Type.TLiteral<"presentable">]>;
680
+ code: Type.TUnion<[Type.TLiteral<"S-1">, Type.TLiteral<"S-2">, Type.TLiteral<"S-3">, Type.TLiteral<"S-4">, Type.TLiteral<"S-5">, Type.TLiteral<"S-6">, Type.TLiteral<"S-7">, Type.TLiteral<"S-8">, Type.TLiteral<"S-9">, Type.TLiteral<"S-10">, Type.TLiteral<"S-11">, Type.TLiteral<"S-12">, Type.TLiteral<"S-13">, Type.TLiteral<"S-14">, Type.TLiteral<"E-1">, Type.TLiteral<"E-3">, Type.TLiteral<"E-4">, Type.TLiteral<"E-5">, Type.TLiteral<"E-6">, Type.TLiteral<"E-7">, Type.TLiteral<"D-1">, Type.TLiteral<"D-2">, Type.TLiteral<"D-3">, Type.TLiteral<"D-4">, Type.TLiteral<"D-5">, Type.TLiteral<"D-6">, Type.TLiteral<"P-1">, Type.TLiteral<"P-2">, Type.TLiteral<"P-3">, Type.TLiteral<"P-4">, Type.TLiteral<"P-5">]>;
681
+ message: Type.TString;
682
+ argumentId: Type.TOptional<Type.TString>;
683
+ premiseId: Type.TOptional<Type.TString>;
684
+ expressionId: Type.TOptional<Type.TString>;
685
+ variableId: Type.TOptional<Type.TString>;
686
+ claimId: Type.TOptional<Type.TString>;
687
+ }>>;
545
688
  }>> | import("../../../schemas/common.js").ParsedSuccess<Type.TUnion<[Type.TIntersect<[Type.TObject<{
546
689
  id: Type.TString;
547
690
  argumentId: Type.TString;
@@ -598,6 +741,19 @@ export declare function toggleNegationImpl(config: TApiClientConfig, argumentId:
598
741
  errorID: Type.TNumber;
599
742
  errorMessage: Type.TString;
600
743
  statusCode: Type.TNumber;
744
+ }>> | import("../../../schemas/common.js").ParsedError<Type.TObject<{
745
+ error: Type.TLiteral<"GRAMMAR_VIOLATIONS">;
746
+ tier: Type.TUnion<[Type.TLiteral<"structural">, Type.TLiteral<"evaluable">, Type.TLiteral<"derivable">, Type.TLiteral<"presentable">]>;
747
+ violations: Type.TArray<Type.TObject<{
748
+ tier: Type.TUnion<[Type.TLiteral<"structural">, Type.TLiteral<"evaluable">, Type.TLiteral<"derivable">, Type.TLiteral<"presentable">]>;
749
+ code: Type.TUnion<[Type.TLiteral<"S-1">, Type.TLiteral<"S-2">, Type.TLiteral<"S-3">, Type.TLiteral<"S-4">, Type.TLiteral<"S-5">, Type.TLiteral<"S-6">, Type.TLiteral<"S-7">, Type.TLiteral<"S-8">, Type.TLiteral<"S-9">, Type.TLiteral<"S-10">, Type.TLiteral<"S-11">, Type.TLiteral<"S-12">, Type.TLiteral<"S-13">, Type.TLiteral<"S-14">, Type.TLiteral<"E-1">, Type.TLiteral<"E-3">, Type.TLiteral<"E-4">, Type.TLiteral<"E-5">, Type.TLiteral<"E-6">, Type.TLiteral<"E-7">, Type.TLiteral<"D-1">, Type.TLiteral<"D-2">, Type.TLiteral<"D-3">, Type.TLiteral<"D-4">, Type.TLiteral<"D-5">, Type.TLiteral<"D-6">, Type.TLiteral<"P-1">, Type.TLiteral<"P-2">, Type.TLiteral<"P-3">, Type.TLiteral<"P-4">, Type.TLiteral<"P-5">]>;
750
+ message: Type.TString;
751
+ argumentId: Type.TOptional<Type.TString>;
752
+ premiseId: Type.TOptional<Type.TString>;
753
+ expressionId: Type.TOptional<Type.TString>;
754
+ variableId: Type.TOptional<Type.TString>;
755
+ claimId: Type.TOptional<Type.TString>;
756
+ }>>;
601
757
  }>> | import("../../../schemas/common.js").ParsedSuccess<Type.TObject<{
602
758
  argument: Type.TIntersect<[Type.TObject<{
603
759
  createdOn: import("../../../schemas/common.js").TDateType;
@@ -761,6 +917,19 @@ export declare function getVariablesImpl(config: TApiClientConfig, argumentId: s
761
917
  errorID: Type.TNumber;
762
918
  errorMessage: Type.TString;
763
919
  statusCode: Type.TNumber;
920
+ }>> | import("../../../schemas/common.js").ParsedError<Type.TObject<{
921
+ error: Type.TLiteral<"GRAMMAR_VIOLATIONS">;
922
+ tier: Type.TUnion<[Type.TLiteral<"structural">, Type.TLiteral<"evaluable">, Type.TLiteral<"derivable">, Type.TLiteral<"presentable">]>;
923
+ violations: Type.TArray<Type.TObject<{
924
+ tier: Type.TUnion<[Type.TLiteral<"structural">, Type.TLiteral<"evaluable">, Type.TLiteral<"derivable">, Type.TLiteral<"presentable">]>;
925
+ code: Type.TUnion<[Type.TLiteral<"S-1">, Type.TLiteral<"S-2">, Type.TLiteral<"S-3">, Type.TLiteral<"S-4">, Type.TLiteral<"S-5">, Type.TLiteral<"S-6">, Type.TLiteral<"S-7">, Type.TLiteral<"S-8">, Type.TLiteral<"S-9">, Type.TLiteral<"S-10">, Type.TLiteral<"S-11">, Type.TLiteral<"S-12">, Type.TLiteral<"S-13">, Type.TLiteral<"S-14">, Type.TLiteral<"E-1">, Type.TLiteral<"E-3">, Type.TLiteral<"E-4">, Type.TLiteral<"E-5">, Type.TLiteral<"E-6">, Type.TLiteral<"E-7">, Type.TLiteral<"D-1">, Type.TLiteral<"D-2">, Type.TLiteral<"D-3">, Type.TLiteral<"D-4">, Type.TLiteral<"D-5">, Type.TLiteral<"D-6">, Type.TLiteral<"P-1">, Type.TLiteral<"P-2">, Type.TLiteral<"P-3">, Type.TLiteral<"P-4">, Type.TLiteral<"P-5">]>;
926
+ message: Type.TString;
927
+ argumentId: Type.TOptional<Type.TString>;
928
+ premiseId: Type.TOptional<Type.TString>;
929
+ expressionId: Type.TOptional<Type.TString>;
930
+ variableId: Type.TOptional<Type.TString>;
931
+ claimId: Type.TOptional<Type.TString>;
932
+ }>>;
764
933
  }>> | import("../../../schemas/common.js").ParsedSuccess<Type.TArray<Type.TUnion<[Type.TIntersect<[Type.TObject<{
765
934
  claimId: Type.TString;
766
935
  claimVersion: Type.TNumber;
@@ -793,6 +962,19 @@ export declare function createVariableImpl(config: TApiClientConfig, argumentId:
793
962
  errorID: Type.TNumber;
794
963
  errorMessage: Type.TString;
795
964
  statusCode: Type.TNumber;
965
+ }>> | import("../../../schemas/common.js").ParsedError<Type.TObject<{
966
+ error: Type.TLiteral<"GRAMMAR_VIOLATIONS">;
967
+ tier: Type.TUnion<[Type.TLiteral<"structural">, Type.TLiteral<"evaluable">, Type.TLiteral<"derivable">, Type.TLiteral<"presentable">]>;
968
+ violations: Type.TArray<Type.TObject<{
969
+ tier: Type.TUnion<[Type.TLiteral<"structural">, Type.TLiteral<"evaluable">, Type.TLiteral<"derivable">, Type.TLiteral<"presentable">]>;
970
+ code: Type.TUnion<[Type.TLiteral<"S-1">, Type.TLiteral<"S-2">, Type.TLiteral<"S-3">, Type.TLiteral<"S-4">, Type.TLiteral<"S-5">, Type.TLiteral<"S-6">, Type.TLiteral<"S-7">, Type.TLiteral<"S-8">, Type.TLiteral<"S-9">, Type.TLiteral<"S-10">, Type.TLiteral<"S-11">, Type.TLiteral<"S-12">, Type.TLiteral<"S-13">, Type.TLiteral<"S-14">, Type.TLiteral<"E-1">, Type.TLiteral<"E-3">, Type.TLiteral<"E-4">, Type.TLiteral<"E-5">, Type.TLiteral<"E-6">, Type.TLiteral<"E-7">, Type.TLiteral<"D-1">, Type.TLiteral<"D-2">, Type.TLiteral<"D-3">, Type.TLiteral<"D-4">, Type.TLiteral<"D-5">, Type.TLiteral<"D-6">, Type.TLiteral<"P-1">, Type.TLiteral<"P-2">, Type.TLiteral<"P-3">, Type.TLiteral<"P-4">, Type.TLiteral<"P-5">]>;
971
+ message: Type.TString;
972
+ argumentId: Type.TOptional<Type.TString>;
973
+ premiseId: Type.TOptional<Type.TString>;
974
+ expressionId: Type.TOptional<Type.TString>;
975
+ variableId: Type.TOptional<Type.TString>;
976
+ claimId: Type.TOptional<Type.TString>;
977
+ }>>;
796
978
  }>> | import("../../../schemas/common.js").ParsedSuccess<Type.TUnion<[Type.TIntersect<[Type.TObject<{
797
979
  claimId: Type.TString;
798
980
  claimVersion: Type.TNumber;
@@ -825,6 +1007,19 @@ export declare function updateVariableImpl(config: TApiClientConfig, argumentId:
825
1007
  errorID: Type.TNumber;
826
1008
  errorMessage: Type.TString;
827
1009
  statusCode: Type.TNumber;
1010
+ }>> | import("../../../schemas/common.js").ParsedError<Type.TObject<{
1011
+ error: Type.TLiteral<"GRAMMAR_VIOLATIONS">;
1012
+ tier: Type.TUnion<[Type.TLiteral<"structural">, Type.TLiteral<"evaluable">, Type.TLiteral<"derivable">, Type.TLiteral<"presentable">]>;
1013
+ violations: Type.TArray<Type.TObject<{
1014
+ tier: Type.TUnion<[Type.TLiteral<"structural">, Type.TLiteral<"evaluable">, Type.TLiteral<"derivable">, Type.TLiteral<"presentable">]>;
1015
+ code: Type.TUnion<[Type.TLiteral<"S-1">, Type.TLiteral<"S-2">, Type.TLiteral<"S-3">, Type.TLiteral<"S-4">, Type.TLiteral<"S-5">, Type.TLiteral<"S-6">, Type.TLiteral<"S-7">, Type.TLiteral<"S-8">, Type.TLiteral<"S-9">, Type.TLiteral<"S-10">, Type.TLiteral<"S-11">, Type.TLiteral<"S-12">, Type.TLiteral<"S-13">, Type.TLiteral<"S-14">, Type.TLiteral<"E-1">, Type.TLiteral<"E-3">, Type.TLiteral<"E-4">, Type.TLiteral<"E-5">, Type.TLiteral<"E-6">, Type.TLiteral<"E-7">, Type.TLiteral<"D-1">, Type.TLiteral<"D-2">, Type.TLiteral<"D-3">, Type.TLiteral<"D-4">, Type.TLiteral<"D-5">, Type.TLiteral<"D-6">, Type.TLiteral<"P-1">, Type.TLiteral<"P-2">, Type.TLiteral<"P-3">, Type.TLiteral<"P-4">, Type.TLiteral<"P-5">]>;
1016
+ message: Type.TString;
1017
+ argumentId: Type.TOptional<Type.TString>;
1018
+ premiseId: Type.TOptional<Type.TString>;
1019
+ expressionId: Type.TOptional<Type.TString>;
1020
+ variableId: Type.TOptional<Type.TString>;
1021
+ claimId: Type.TOptional<Type.TString>;
1022
+ }>>;
828
1023
  }>> | import("../../../schemas/common.js").ParsedSuccess<Type.TUnion<[Type.TIntersect<[Type.TObject<{
829
1024
  claimId: Type.TString;
830
1025
  claimVersion: Type.TNumber;
@@ -857,6 +1052,19 @@ export declare function deleteVariableImpl(config: TApiClientConfig, argumentId:
857
1052
  errorID: Type.TNumber;
858
1053
  errorMessage: Type.TString;
859
1054
  statusCode: Type.TNumber;
1055
+ }>> | import("../../../schemas/common.js").ParsedError<Type.TObject<{
1056
+ error: Type.TLiteral<"GRAMMAR_VIOLATIONS">;
1057
+ tier: Type.TUnion<[Type.TLiteral<"structural">, Type.TLiteral<"evaluable">, Type.TLiteral<"derivable">, Type.TLiteral<"presentable">]>;
1058
+ violations: Type.TArray<Type.TObject<{
1059
+ tier: Type.TUnion<[Type.TLiteral<"structural">, Type.TLiteral<"evaluable">, Type.TLiteral<"derivable">, Type.TLiteral<"presentable">]>;
1060
+ code: Type.TUnion<[Type.TLiteral<"S-1">, Type.TLiteral<"S-2">, Type.TLiteral<"S-3">, Type.TLiteral<"S-4">, Type.TLiteral<"S-5">, Type.TLiteral<"S-6">, Type.TLiteral<"S-7">, Type.TLiteral<"S-8">, Type.TLiteral<"S-9">, Type.TLiteral<"S-10">, Type.TLiteral<"S-11">, Type.TLiteral<"S-12">, Type.TLiteral<"S-13">, Type.TLiteral<"S-14">, Type.TLiteral<"E-1">, Type.TLiteral<"E-3">, Type.TLiteral<"E-4">, Type.TLiteral<"E-5">, Type.TLiteral<"E-6">, Type.TLiteral<"E-7">, Type.TLiteral<"D-1">, Type.TLiteral<"D-2">, Type.TLiteral<"D-3">, Type.TLiteral<"D-4">, Type.TLiteral<"D-5">, Type.TLiteral<"D-6">, Type.TLiteral<"P-1">, Type.TLiteral<"P-2">, Type.TLiteral<"P-3">, Type.TLiteral<"P-4">, Type.TLiteral<"P-5">]>;
1061
+ message: Type.TString;
1062
+ argumentId: Type.TOptional<Type.TString>;
1063
+ premiseId: Type.TOptional<Type.TString>;
1064
+ expressionId: Type.TOptional<Type.TString>;
1065
+ variableId: Type.TOptional<Type.TString>;
1066
+ claimId: Type.TOptional<Type.TString>;
1067
+ }>>;
860
1068
  }>> | import("../../../schemas/common.js").ParsedSuccess<Type.TObject<{
861
1069
  deleted: Type.TBoolean;
862
1070
  }>>>;
@@ -864,6 +1072,19 @@ export declare function getVariableImpl(config: TApiClientConfig, argumentId: st
864
1072
  errorID: Type.TNumber;
865
1073
  errorMessage: Type.TString;
866
1074
  statusCode: Type.TNumber;
1075
+ }>> | import("../../../schemas/common.js").ParsedError<Type.TObject<{
1076
+ error: Type.TLiteral<"GRAMMAR_VIOLATIONS">;
1077
+ tier: Type.TUnion<[Type.TLiteral<"structural">, Type.TLiteral<"evaluable">, Type.TLiteral<"derivable">, Type.TLiteral<"presentable">]>;
1078
+ violations: Type.TArray<Type.TObject<{
1079
+ tier: Type.TUnion<[Type.TLiteral<"structural">, Type.TLiteral<"evaluable">, Type.TLiteral<"derivable">, Type.TLiteral<"presentable">]>;
1080
+ code: Type.TUnion<[Type.TLiteral<"S-1">, Type.TLiteral<"S-2">, Type.TLiteral<"S-3">, Type.TLiteral<"S-4">, Type.TLiteral<"S-5">, Type.TLiteral<"S-6">, Type.TLiteral<"S-7">, Type.TLiteral<"S-8">, Type.TLiteral<"S-9">, Type.TLiteral<"S-10">, Type.TLiteral<"S-11">, Type.TLiteral<"S-12">, Type.TLiteral<"S-13">, Type.TLiteral<"S-14">, Type.TLiteral<"E-1">, Type.TLiteral<"E-3">, Type.TLiteral<"E-4">, Type.TLiteral<"E-5">, Type.TLiteral<"E-6">, Type.TLiteral<"E-7">, Type.TLiteral<"D-1">, Type.TLiteral<"D-2">, Type.TLiteral<"D-3">, Type.TLiteral<"D-4">, Type.TLiteral<"D-5">, Type.TLiteral<"D-6">, Type.TLiteral<"P-1">, Type.TLiteral<"P-2">, Type.TLiteral<"P-3">, Type.TLiteral<"P-4">, Type.TLiteral<"P-5">]>;
1081
+ message: Type.TString;
1082
+ argumentId: Type.TOptional<Type.TString>;
1083
+ premiseId: Type.TOptional<Type.TString>;
1084
+ expressionId: Type.TOptional<Type.TString>;
1085
+ variableId: Type.TOptional<Type.TString>;
1086
+ claimId: Type.TOptional<Type.TString>;
1087
+ }>>;
867
1088
  }>> | import("../../../schemas/common.js").ParsedSuccess<Type.TUnion<[Type.TIntersect<[Type.TObject<{
868
1089
  claimId: Type.TString;
869
1090
  claimVersion: Type.TNumber;
@@ -1 +1 @@
1
- {"version":3,"file":"index.d.ts","sourceRoot":"","sources":["../../../../src/api-client/argument/logic/index.ts"],"names":[],"mappings":"AAAA,OAAO,KAAK,EACR,mBAAmB,EACnB,iBAAiB,EACjB,gBAAgB,EAChB,cAAc,EACd,iBAAiB,EACjB,eAAe,EAClB,MAAM,wCAAwC,CAAA;AAkB/C,OAAO,EAAE,IAAI,EAAE,MAAM,SAAS,CAAA;AAC9B,OAAO,KAAK,EAAE,gBAAgB,EAAE,MAAM,iBAAiB,CAAA;AAevD,wBAAsB,gBAAgB,CAClC,MAAM,EAAE,gBAAgB,EACxB,UAAU,EAAE,MAAM,EAClB,eAAe,EAAE,MAAM;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;KAW1B;AAID,wBAAsB,eAAe,CACjC,MAAM,EAAE,gBAAgB,EACxB,UAAU,EAAE,MAAM,EAClB,eAAe,EAAE,MAAM;;;;;;;;;;;;;;;;;;;;;;;;;;QAY1B;AAED,wBAAsB,iBAAiB,CACnC,MAAM,EAAE,gBAAgB,EACxB,UAAU,EAAE,MAAM,EAClB,eAAe,EAAE,MAAM,EACvB,IAAI,EAAE,gBAAgB;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;KAWzB;AAED,wBAAsB,iBAAiB,CACnC,MAAM,EAAE,gBAAgB,EACxB,UAAU,EAAE,MAAM,EAClB,eAAe,EAAE,MAAM,EACvB,SAAS,EAAE,MAAM,EACjB,IAAI,EAAE,cAAc;;;;;;;;;;;;;;;;;;;;;;;;;;OAWvB;AAED,wBAAsB,iBAAiB,CACnC,MAAM,EAAE,gBAAgB,EACxB,UAAU,EAAE,MAAM,EAClB,eAAe,EAAE,MAAM,EACvB,SAAS,EAAE,MAAM,EACjB,QAAQ,EAAE,MAAM;;;;;;KAUnB;AAED,wBAAsB,cAAc,CAChC,MAAM,EAAE,gBAAgB,EACxB,UAAU,EAAE,MAAM,EAClB,eAAe,EAAE,MAAM,EACvB,SAAS,EAAE,MAAM;;;;;;;;;;;;;;;;;;;;;;;;;;OAUpB;AAID,wBAAsB,kBAAkB,CACpC,MAAM,EAAE,gBAAgB,EACxB,UAAU,EAAE,MAAM,EAClB,eAAe,EAAE,MAAM,EACvB,SAAS,CAAC,EAAE,MAAM;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;UAWrB;AAED,wBAAsB,oBAAoB,CACtC,MAAM,EAAE,gBAAgB,EACxB,UAAU,EAAE,MAAM,EAClB,eAAe,EAAE,MAAM,EACvB,IAAI,EAAE,mBAAmB;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;KAW5B;AAED,wBAAsB,oBAAoB,CACtC,MAAM,EAAE,gBAAgB,EACxB,UAAU,EAAE,MAAM,EAClB,eAAe,EAAE,MAAM,EACvB,YAAY,EAAE,MAAM,EACpB,IAAI,EAAE,iBAAiB;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;SAW1B;AAED,wBAAsB,oBAAoB,CACtC,MAAM,EAAE,gBAAgB,EACxB,UAAU,EAAE,MAAM,EAClB,eAAe,EAAE,MAAM,EACvB,YAAY,EAAE,MAAM,EACpB,QAAQ,EAAE,MAAM;;;;;;KAUnB;AAED,wBAAsB,iBAAiB,CACnC,MAAM,EAAE,gBAAgB,EACxB,UAAU,EAAE,MAAM,EAClB,eAAe,EAAE,MAAM,EACvB,YAAY,EAAE,MAAM;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;SAUvB;AAED,wBAAsB,kBAAkB,CACpC,MAAM,EAAE,gBAAgB,EACxB,UAAU,EAAE,MAAM,EAClB,eAAe,EAAE,MAAM,EACvB,YAAY,EAAE,MAAM;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;KAUvB;AAID,wBAAsB,gBAAgB,CAClC,MAAM,EAAE,gBAAgB,EACxB,UAAU,EAAE,MAAM,EAClB,eAAe,EAAE,MAAM;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;UAY1B;AAED,wBAAsB,kBAAkB,CACpC,MAAM,EAAE,gBAAgB,EACxB,UAAU,EAAE,MAAM,EAClB,eAAe,EAAE,MAAM,EACvB,IAAI,EAAE,iBAAiB;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;SAW1B;AAED,wBAAsB,kBAAkB,CACpC,MAAM,EAAE,gBAAgB,EACxB,UAAU,EAAE,MAAM,EAClB,eAAe,EAAE,MAAM,EACvB,UAAU,EAAE,MAAM,EAClB,IAAI,EAAE,eAAe;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;SAWxB;AAED,wBAAsB,kBAAkB,CACpC,MAAM,EAAE,gBAAgB,EACxB,UAAU,EAAE,MAAM,EAClB,eAAe,EAAE,MAAM,EACvB,UAAU,EAAE,MAAM,EAClB,QAAQ,EAAE,MAAM;;;;;;KAUnB;AAED,wBAAsB,eAAe,CACjC,MAAM,EAAE,gBAAgB,EACxB,UAAU,EAAE,MAAM,EAClB,eAAe,EAAE,MAAM,EACvB,UAAU,EAAE,MAAM;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;SAUrB;AAED,OAAO,EAAE,kBAAkB,EAAE,MAAM,aAAa,CAAA"}
1
+ {"version":3,"file":"index.d.ts","sourceRoot":"","sources":["../../../../src/api-client/argument/logic/index.ts"],"names":[],"mappings":"AAAA,OAAO,KAAK,EACR,mBAAmB,EACnB,iBAAiB,EACjB,gBAAgB,EAChB,cAAc,EACd,iBAAiB,EACjB,eAAe,EAClB,MAAM,wCAAwC,CAAA;AAkB/C,OAAO,EAAE,IAAI,EAAE,MAAM,SAAS,CAAA;AAC9B,OAAO,KAAK,EAAE,gBAAgB,EAAE,MAAM,iBAAiB,CAAA;AAevD,wBAAsB,gBAAgB,CAClC,MAAM,EAAE,gBAAgB,EACxB,UAAU,EAAE,MAAM,EAClB,eAAe,EAAE,MAAM;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;KAW1B;AAID,wBAAsB,eAAe,CACjC,MAAM,EAAE,gBAAgB,EACxB,UAAU,EAAE,MAAM,EAClB,eAAe,EAAE,MAAM;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;QAY1B;AAED,wBAAsB,iBAAiB,CACnC,MAAM,EAAE,gBAAgB,EACxB,UAAU,EAAE,MAAM,EAClB,eAAe,EAAE,MAAM,EACvB,IAAI,EAAE,gBAAgB;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;KAWzB;AAED,wBAAsB,iBAAiB,CACnC,MAAM,EAAE,gBAAgB,EACxB,UAAU,EAAE,MAAM,EAClB,eAAe,EAAE,MAAM,EACvB,SAAS,EAAE,MAAM,EACjB,IAAI,EAAE,cAAc;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;OAWvB;AAED,wBAAsB,iBAAiB,CACnC,MAAM,EAAE,gBAAgB,EACxB,UAAU,EAAE,MAAM,EAClB,eAAe,EAAE,MAAM,EACvB,SAAS,EAAE,MAAM,EACjB,QAAQ,EAAE,MAAM;;;;;;;;;;;;;;;;;;;KAUnB;AAED,wBAAsB,cAAc,CAChC,MAAM,EAAE,gBAAgB,EACxB,UAAU,EAAE,MAAM,EAClB,eAAe,EAAE,MAAM,EACvB,SAAS,EAAE,MAAM;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;OAUpB;AAID,wBAAsB,kBAAkB,CACpC,MAAM,EAAE,gBAAgB,EACxB,UAAU,EAAE,MAAM,EAClB,eAAe,EAAE,MAAM,EACvB,SAAS,CAAC,EAAE,MAAM;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;UAWrB;AAED,wBAAsB,oBAAoB,CACtC,MAAM,EAAE,gBAAgB,EACxB,UAAU,EAAE,MAAM,EAClB,eAAe,EAAE,MAAM,EACvB,IAAI,EAAE,mBAAmB;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;KAW5B;AAED,wBAAsB,oBAAoB,CACtC,MAAM,EAAE,gBAAgB,EACxB,UAAU,EAAE,MAAM,EAClB,eAAe,EAAE,MAAM,EACvB,YAAY,EAAE,MAAM,EACpB,IAAI,EAAE,iBAAiB;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;SAW1B;AAED,wBAAsB,oBAAoB,CACtC,MAAM,EAAE,gBAAgB,EACxB,UAAU,EAAE,MAAM,EAClB,eAAe,EAAE,MAAM,EACvB,YAAY,EAAE,MAAM,EACpB,QAAQ,EAAE,MAAM;;;;;;;;;;;;;;;;;;;KAUnB;AAED,wBAAsB,iBAAiB,CACnC,MAAM,EAAE,gBAAgB,EACxB,UAAU,EAAE,MAAM,EAClB,eAAe,EAAE,MAAM,EACvB,YAAY,EAAE,MAAM;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;SAUvB;AAED,wBAAsB,kBAAkB,CACpC,MAAM,EAAE,gBAAgB,EACxB,UAAU,EAAE,MAAM,EAClB,eAAe,EAAE,MAAM,EACvB,YAAY,EAAE,MAAM;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;KAUvB;AAID,wBAAsB,gBAAgB,CAClC,MAAM,EAAE,gBAAgB,EACxB,UAAU,EAAE,MAAM,EAClB,eAAe,EAAE,MAAM;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;UAY1B;AAED,wBAAsB,kBAAkB,CACpC,MAAM,EAAE,gBAAgB,EACxB,UAAU,EAAE,MAAM,EAClB,eAAe,EAAE,MAAM,EACvB,IAAI,EAAE,iBAAiB;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;SAW1B;AAED,wBAAsB,kBAAkB,CACpC,MAAM,EAAE,gBAAgB,EACxB,UAAU,EAAE,MAAM,EAClB,eAAe,EAAE,MAAM,EACvB,UAAU,EAAE,MAAM,EAClB,IAAI,EAAE,eAAe;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;SAWxB;AAED,wBAAsB,kBAAkB,CACpC,MAAM,EAAE,gBAAgB,EACxB,UAAU,EAAE,MAAM,EAClB,eAAe,EAAE,MAAM,EACvB,UAAU,EAAE,MAAM,EAClB,QAAQ,EAAE,MAAM;;;;;;;;;;;;;;;;;;;KAUnB;AAED,wBAAsB,eAAe,CACjC,MAAM,EAAE,gBAAgB,EACxB,UAAU,EAAE,MAAM,EAClB,eAAe,EAAE,MAAM,EACvB,UAAU,EAAE,MAAM;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;SAUrB;AAED,OAAO,EAAE,kBAAkB,EAAE,MAAM,aAAa,CAAA"}
@@ -4,6 +4,19 @@ export declare function repairArgumentImpl(config: TApiClientConfig, argumentId:
4
4
  errorID: import("typebox").TNumber;
5
5
  errorMessage: import("typebox").TString;
6
6
  statusCode: import("typebox").TNumber;
7
+ }>> | import("../../../schemas/common.js").ParsedError<import("typebox").TObject<{
8
+ error: import("typebox").TLiteral<"GRAMMAR_VIOLATIONS">;
9
+ tier: import("typebox").TUnion<[import("typebox").TLiteral<"structural">, import("typebox").TLiteral<"evaluable">, import("typebox").TLiteral<"derivable">, import("typebox").TLiteral<"presentable">]>;
10
+ violations: import("typebox").TArray<import("typebox").TObject<{
11
+ tier: import("typebox").TUnion<[import("typebox").TLiteral<"structural">, import("typebox").TLiteral<"evaluable">, import("typebox").TLiteral<"derivable">, import("typebox").TLiteral<"presentable">]>;
12
+ code: import("typebox").TUnion<[import("typebox").TLiteral<"S-1">, import("typebox").TLiteral<"S-2">, import("typebox").TLiteral<"S-3">, import("typebox").TLiteral<"S-4">, import("typebox").TLiteral<"S-5">, import("typebox").TLiteral<"S-6">, import("typebox").TLiteral<"S-7">, import("typebox").TLiteral<"S-8">, import("typebox").TLiteral<"S-9">, import("typebox").TLiteral<"S-10">, import("typebox").TLiteral<"S-11">, import("typebox").TLiteral<"S-12">, import("typebox").TLiteral<"S-13">, import("typebox").TLiteral<"S-14">, import("typebox").TLiteral<"E-1">, import("typebox").TLiteral<"E-3">, import("typebox").TLiteral<"E-4">, import("typebox").TLiteral<"E-5">, import("typebox").TLiteral<"E-6">, import("typebox").TLiteral<"E-7">, import("typebox").TLiteral<"D-1">, import("typebox").TLiteral<"D-2">, import("typebox").TLiteral<"D-3">, import("typebox").TLiteral<"D-4">, import("typebox").TLiteral<"D-5">, import("typebox").TLiteral<"D-6">, import("typebox").TLiteral<"P-1">, import("typebox").TLiteral<"P-2">, import("typebox").TLiteral<"P-3">, import("typebox").TLiteral<"P-4">, import("typebox").TLiteral<"P-5">]>;
13
+ message: import("typebox").TString;
14
+ argumentId: import("typebox").TOptional<import("typebox").TString>;
15
+ premiseId: import("typebox").TOptional<import("typebox").TString>;
16
+ expressionId: import("typebox").TOptional<import("typebox").TString>;
17
+ variableId: import("typebox").TOptional<import("typebox").TString>;
18
+ claimId: import("typebox").TOptional<import("typebox").TString>;
19
+ }>>;
7
20
  }>> | import("../../../schemas/common.js").ParsedSuccess<import("typebox").TObject<{
8
21
  snapshot: import("typebox").TObject<{
9
22
  argument: import("typebox").TIntersect<[import("typebox").TObject<{
@@ -1 +1 @@
1
- {"version":3,"file":"repair.d.ts","sourceRoot":"","sources":["../../../../src/api-client/argument/logic/repair.ts"],"names":[],"mappings":"AAAA,OAAO,EAGH,KAAK,cAAc,EACtB,MAAM,yCAAyC,CAAA;AAEhD,OAAO,KAAK,EAAE,gBAAgB,EAAE,MAAM,iBAAiB,CAAA;AAWvD,wBAAsB,kBAAkB,CACpC,MAAM,EAAE,gBAAgB,EACxB,UAAU,EAAE,MAAM,EAClB,eAAe,EAAE,MAAM,EACvB,IAAI,EAAE,cAAc;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;KAWvB"}
1
+ {"version":3,"file":"repair.d.ts","sourceRoot":"","sources":["../../../../src/api-client/argument/logic/repair.ts"],"names":[],"mappings":"AAAA,OAAO,EAGH,KAAK,cAAc,EACtB,MAAM,yCAAyC,CAAA;AAEhD,OAAO,KAAK,EAAE,gBAAgB,EAAE,MAAM,iBAAiB,CAAA;AAWvD,wBAAsB,kBAAkB,CACpC,MAAM,EAAE,gBAAgB,EACxB,UAAU,EAAE,MAAM,EAClB,eAAe,EAAE,MAAM,EACvB,IAAI,EAAE,cAAc;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;KAWvB"}
@@ -4,6 +4,19 @@ export declare function createReactionImpl(config: TApiClientConfig, argumentId:
4
4
  errorID: import("typebox").TNumber;
5
5
  errorMessage: import("typebox").TString;
6
6
  statusCode: import("typebox").TNumber;
7
+ }>> | import("../../schemas/common.js").ParsedError<import("typebox").TObject<{
8
+ error: import("typebox").TLiteral<"GRAMMAR_VIOLATIONS">;
9
+ tier: import("typebox").TUnion<[import("typebox").TLiteral<"structural">, import("typebox").TLiteral<"evaluable">, import("typebox").TLiteral<"derivable">, import("typebox").TLiteral<"presentable">]>;
10
+ violations: import("typebox").TArray<import("typebox").TObject<{
11
+ tier: import("typebox").TUnion<[import("typebox").TLiteral<"structural">, import("typebox").TLiteral<"evaluable">, import("typebox").TLiteral<"derivable">, import("typebox").TLiteral<"presentable">]>;
12
+ code: import("typebox").TUnion<[import("typebox").TLiteral<"S-1">, import("typebox").TLiteral<"S-2">, import("typebox").TLiteral<"S-3">, import("typebox").TLiteral<"S-4">, import("typebox").TLiteral<"S-5">, import("typebox").TLiteral<"S-6">, import("typebox").TLiteral<"S-7">, import("typebox").TLiteral<"S-8">, import("typebox").TLiteral<"S-9">, import("typebox").TLiteral<"S-10">, import("typebox").TLiteral<"S-11">, import("typebox").TLiteral<"S-12">, import("typebox").TLiteral<"S-13">, import("typebox").TLiteral<"S-14">, import("typebox").TLiteral<"E-1">, import("typebox").TLiteral<"E-3">, import("typebox").TLiteral<"E-4">, import("typebox").TLiteral<"E-5">, import("typebox").TLiteral<"E-6">, import("typebox").TLiteral<"E-7">, import("typebox").TLiteral<"D-1">, import("typebox").TLiteral<"D-2">, import("typebox").TLiteral<"D-3">, import("typebox").TLiteral<"D-4">, import("typebox").TLiteral<"D-5">, import("typebox").TLiteral<"D-6">, import("typebox").TLiteral<"P-1">, import("typebox").TLiteral<"P-2">, import("typebox").TLiteral<"P-3">, import("typebox").TLiteral<"P-4">, import("typebox").TLiteral<"P-5">]>;
13
+ message: import("typebox").TString;
14
+ argumentId: import("typebox").TOptional<import("typebox").TString>;
15
+ premiseId: import("typebox").TOptional<import("typebox").TString>;
16
+ expressionId: import("typebox").TOptional<import("typebox").TString>;
17
+ variableId: import("typebox").TOptional<import("typebox").TString>;
18
+ claimId: import("typebox").TOptional<import("typebox").TString>;
19
+ }>>;
7
20
  }>> | import("../../schemas/common.js").ParsedSuccess<import("typebox").TObject<{
8
21
  addedReaction: import("typebox").TObject<{
9
22
  id: import("typebox").TString;
@@ -26,6 +39,19 @@ export declare function deleteReactionImpl(config: TApiClientConfig, argumentId:
26
39
  errorID: import("typebox").TNumber;
27
40
  errorMessage: import("typebox").TString;
28
41
  statusCode: import("typebox").TNumber;
42
+ }>> | import("../../schemas/common.js").ParsedError<import("typebox").TObject<{
43
+ error: import("typebox").TLiteral<"GRAMMAR_VIOLATIONS">;
44
+ tier: import("typebox").TUnion<[import("typebox").TLiteral<"structural">, import("typebox").TLiteral<"evaluable">, import("typebox").TLiteral<"derivable">, import("typebox").TLiteral<"presentable">]>;
45
+ violations: import("typebox").TArray<import("typebox").TObject<{
46
+ tier: import("typebox").TUnion<[import("typebox").TLiteral<"structural">, import("typebox").TLiteral<"evaluable">, import("typebox").TLiteral<"derivable">, import("typebox").TLiteral<"presentable">]>;
47
+ code: import("typebox").TUnion<[import("typebox").TLiteral<"S-1">, import("typebox").TLiteral<"S-2">, import("typebox").TLiteral<"S-3">, import("typebox").TLiteral<"S-4">, import("typebox").TLiteral<"S-5">, import("typebox").TLiteral<"S-6">, import("typebox").TLiteral<"S-7">, import("typebox").TLiteral<"S-8">, import("typebox").TLiteral<"S-9">, import("typebox").TLiteral<"S-10">, import("typebox").TLiteral<"S-11">, import("typebox").TLiteral<"S-12">, import("typebox").TLiteral<"S-13">, import("typebox").TLiteral<"S-14">, import("typebox").TLiteral<"E-1">, import("typebox").TLiteral<"E-3">, import("typebox").TLiteral<"E-4">, import("typebox").TLiteral<"E-5">, import("typebox").TLiteral<"E-6">, import("typebox").TLiteral<"E-7">, import("typebox").TLiteral<"D-1">, import("typebox").TLiteral<"D-2">, import("typebox").TLiteral<"D-3">, import("typebox").TLiteral<"D-4">, import("typebox").TLiteral<"D-5">, import("typebox").TLiteral<"D-6">, import("typebox").TLiteral<"P-1">, import("typebox").TLiteral<"P-2">, import("typebox").TLiteral<"P-3">, import("typebox").TLiteral<"P-4">, import("typebox").TLiteral<"P-5">]>;
48
+ message: import("typebox").TString;
49
+ argumentId: import("typebox").TOptional<import("typebox").TString>;
50
+ premiseId: import("typebox").TOptional<import("typebox").TString>;
51
+ expressionId: import("typebox").TOptional<import("typebox").TString>;
52
+ variableId: import("typebox").TOptional<import("typebox").TString>;
53
+ claimId: import("typebox").TOptional<import("typebox").TString>;
54
+ }>>;
29
55
  }>> | import("../../schemas/common.js").ParsedSuccess<import("typebox").TObject<{
30
56
  removedReactions: import("typebox").TArray<import("typebox").TObject<{
31
57
  id: import("typebox").TString;
@@ -1 +1 @@
1
- {"version":3,"file":"reactions.d.ts","sourceRoot":"","sources":["../../../src/api-client/argument/reactions.ts"],"names":[],"mappings":"AAAA,OAAO,EAIH,KAAK,sBAAsB,EAC9B,MAAM,qCAAqC,CAAA;AAE5C,OAAO,KAAK,EAAE,gBAAgB,EAAE,MAAM,cAAc,CAAA;AAGpD,wBAAsB,kBAAkB,CACpC,MAAM,EAAE,gBAAgB,EACxB,UAAU,EAAE,MAAM,EAClB,OAAO,EAAE,MAAM,EACf,IAAI,EAAE,sBAAsB;;;;;;;;;;;;;;;;;;;;;KAW/B;AAED,wBAAsB,kBAAkB,CACpC,MAAM,EAAE,gBAAgB,EACxB,UAAU,EAAE,MAAM,EAClB,OAAO,EAAE,MAAM,EACf,UAAU,EAAE,MAAM;;;;;;;;;;;;;KAUrB"}
1
+ {"version":3,"file":"reactions.d.ts","sourceRoot":"","sources":["../../../src/api-client/argument/reactions.ts"],"names":[],"mappings":"AAAA,OAAO,EAIH,KAAK,sBAAsB,EAC9B,MAAM,qCAAqC,CAAA;AAE5C,OAAO,KAAK,EAAE,gBAAgB,EAAE,MAAM,cAAc,CAAA;AAGpD,wBAAsB,kBAAkB,CACpC,MAAM,EAAE,gBAAgB,EACxB,UAAU,EAAE,MAAM,EAClB,OAAO,EAAE,MAAM,EACf,IAAI,EAAE,sBAAsB;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;KAW/B;AAED,wBAAsB,kBAAkB,CACpC,MAAM,EAAE,gBAAgB,EACxB,UAAU,EAAE,MAAM,EAClB,OAAO,EAAE,MAAM,EACf,UAAU,EAAE,MAAM;;;;;;;;;;;;;;;;;;;;;;;;;;KAUrB"}