@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.
- package/dist/api-client/argument/batch.d.ts +39 -0
- package/dist/api-client/argument/batch.d.ts.map +1 -1
- package/dist/api-client/argument/claims.d.ts +65 -0
- package/dist/api-client/argument/claims.d.ts.map +1 -1
- package/dist/api-client/argument/index.d.ts +169 -0
- package/dist/api-client/argument/index.d.ts.map +1 -1
- package/dist/api-client/argument/logic/index.d.ts +221 -0
- package/dist/api-client/argument/logic/index.d.ts.map +1 -1
- package/dist/api-client/argument/logic/repair.d.ts +13 -0
- package/dist/api-client/argument/logic/repair.d.ts.map +1 -1
- package/dist/api-client/argument/reactions.d.ts +26 -0
- package/dist/api-client/argument/reactions.d.ts.map +1 -1
- package/dist/api-client/argument/reviews.d.ts +78 -0
- package/dist/api-client/argument/reviews.d.ts.map +1 -1
- package/dist/api-client/search.d.ts +39 -0
- package/dist/api-client/search.d.ts.map +1 -1
- package/dist/api-client/user/citations.d.ts +13 -0
- package/dist/api-client/user/citations.d.ts.map +1 -1
- package/dist/api-client/user/claims.d.ts +13 -0
- package/dist/api-client/user/claims.d.ts.map +1 -1
- package/dist/api-client/user/delete-user.d.ts +13 -0
- package/dist/api-client/user/delete-user.d.ts.map +1 -1
- package/dist/utils/utils.d.ts +15 -1
- package/dist/utils/utils.d.ts.map +1 -1
- package/dist/utils/utils.js +10 -0
- package/dist/utils/utils.js.map +1 -1
- package/package.json +1 -1
|
@@ -5,6 +5,19 @@ export declare function provisionArgumentImpl(config: TApiClientConfig, argument
|
|
|
5
5
|
errorID: import("typebox").TNumber;
|
|
6
6
|
errorMessage: import("typebox").TString;
|
|
7
7
|
statusCode: import("typebox").TNumber;
|
|
8
|
+
}>> | import("../../schemas/common.js").ParsedError<import("typebox").TObject<{
|
|
9
|
+
error: import("typebox").TLiteral<"GRAMMAR_VIOLATIONS">;
|
|
10
|
+
tier: import("typebox").TUnion<[import("typebox").TLiteral<"structural">, import("typebox").TLiteral<"evaluable">, import("typebox").TLiteral<"derivable">, import("typebox").TLiteral<"presentable">]>;
|
|
11
|
+
violations: import("typebox").TArray<import("typebox").TObject<{
|
|
12
|
+
tier: import("typebox").TUnion<[import("typebox").TLiteral<"structural">, import("typebox").TLiteral<"evaluable">, import("typebox").TLiteral<"derivable">, import("typebox").TLiteral<"presentable">]>;
|
|
13
|
+
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">]>;
|
|
14
|
+
message: import("typebox").TString;
|
|
15
|
+
argumentId: import("typebox").TOptional<import("typebox").TString>;
|
|
16
|
+
premiseId: import("typebox").TOptional<import("typebox").TString>;
|
|
17
|
+
expressionId: import("typebox").TOptional<import("typebox").TString>;
|
|
18
|
+
variableId: import("typebox").TOptional<import("typebox").TString>;
|
|
19
|
+
claimId: import("typebox").TOptional<import("typebox").TString>;
|
|
20
|
+
}>>;
|
|
8
21
|
}>> | import("../../schemas/common.js").ParsedSuccess<import("typebox").TObject<{
|
|
9
22
|
claim: import("typebox").TUnion<[import("typebox").TObject<{
|
|
10
23
|
digest: import("typebox").TString;
|
|
@@ -597,6 +610,19 @@ export declare function createExpressionWithOperatorImpl(config: TApiClientConfi
|
|
|
597
610
|
errorID: import("typebox").TNumber;
|
|
598
611
|
errorMessage: import("typebox").TString;
|
|
599
612
|
statusCode: import("typebox").TNumber;
|
|
613
|
+
}>> | import("../../schemas/common.js").ParsedError<import("typebox").TObject<{
|
|
614
|
+
error: import("typebox").TLiteral<"GRAMMAR_VIOLATIONS">;
|
|
615
|
+
tier: import("typebox").TUnion<[import("typebox").TLiteral<"structural">, import("typebox").TLiteral<"evaluable">, import("typebox").TLiteral<"derivable">, import("typebox").TLiteral<"presentable">]>;
|
|
616
|
+
violations: import("typebox").TArray<import("typebox").TObject<{
|
|
617
|
+
tier: import("typebox").TUnion<[import("typebox").TLiteral<"structural">, import("typebox").TLiteral<"evaluable">, import("typebox").TLiteral<"derivable">, import("typebox").TLiteral<"presentable">]>;
|
|
618
|
+
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">]>;
|
|
619
|
+
message: import("typebox").TString;
|
|
620
|
+
argumentId: import("typebox").TOptional<import("typebox").TString>;
|
|
621
|
+
premiseId: import("typebox").TOptional<import("typebox").TString>;
|
|
622
|
+
expressionId: import("typebox").TOptional<import("typebox").TString>;
|
|
623
|
+
variableId: import("typebox").TOptional<import("typebox").TString>;
|
|
624
|
+
claimId: import("typebox").TOptional<import("typebox").TString>;
|
|
625
|
+
}>>;
|
|
600
626
|
}>> | import("../../schemas/common.js").ParsedSuccess<import("typebox").TObject<{
|
|
601
627
|
snapshot: import("typebox").TObject<{
|
|
602
628
|
argument: import("typebox").TIntersect<[import("typebox").TObject<{
|
|
@@ -866,6 +892,19 @@ export declare function changeEdgeOperatorImpl(config: TApiClientConfig, argumen
|
|
|
866
892
|
errorID: import("typebox").TNumber;
|
|
867
893
|
errorMessage: import("typebox").TString;
|
|
868
894
|
statusCode: import("typebox").TNumber;
|
|
895
|
+
}>> | import("../../schemas/common.js").ParsedError<import("typebox").TObject<{
|
|
896
|
+
error: import("typebox").TLiteral<"GRAMMAR_VIOLATIONS">;
|
|
897
|
+
tier: import("typebox").TUnion<[import("typebox").TLiteral<"structural">, import("typebox").TLiteral<"evaluable">, import("typebox").TLiteral<"derivable">, import("typebox").TLiteral<"presentable">]>;
|
|
898
|
+
violations: import("typebox").TArray<import("typebox").TObject<{
|
|
899
|
+
tier: import("typebox").TUnion<[import("typebox").TLiteral<"structural">, import("typebox").TLiteral<"evaluable">, import("typebox").TLiteral<"derivable">, import("typebox").TLiteral<"presentable">]>;
|
|
900
|
+
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">]>;
|
|
901
|
+
message: import("typebox").TString;
|
|
902
|
+
argumentId: import("typebox").TOptional<import("typebox").TString>;
|
|
903
|
+
premiseId: import("typebox").TOptional<import("typebox").TString>;
|
|
904
|
+
expressionId: import("typebox").TOptional<import("typebox").TString>;
|
|
905
|
+
variableId: import("typebox").TOptional<import("typebox").TString>;
|
|
906
|
+
claimId: import("typebox").TOptional<import("typebox").TString>;
|
|
907
|
+
}>>;
|
|
869
908
|
}>> | import("../../schemas/common.js").ParsedSuccess<import("typebox").TObject<{
|
|
870
909
|
snapshot: import("typebox").TObject<{
|
|
871
910
|
argument: import("typebox").TIntersect<[import("typebox").TObject<{
|
|
@@ -1 +1 @@
|
|
|
1
|
-
{"version":3,"file":"batch.d.ts","sourceRoot":"","sources":["../../../src/api-client/argument/batch.ts"],"names":[],"mappings":"AACA,OAAO,EAGH,KAAK,0BAA0B,EAClC,MAAM,0DAA0D,CAAA;AACjE,OAAO,EAGH,KAAK,oCAAoC,EAC5C,MAAM,qEAAqE,CAAA;AAE5E,OAAO,KAAK,EAAE,gBAAgB,EAAE,MAAM,cAAc,CAAA;AAGpD,wBAAsB,qBAAqB,CACvC,MAAM,EAAE,gBAAgB,EACxB,UAAU,EAAE,MAAM,EAClB,eAAe,EAAE,MAAM
|
|
1
|
+
{"version":3,"file":"batch.d.ts","sourceRoot":"","sources":["../../../src/api-client/argument/batch.ts"],"names":[],"mappings":"AACA,OAAO,EAGH,KAAK,0BAA0B,EAClC,MAAM,0DAA0D,CAAA;AACjE,OAAO,EAGH,KAAK,oCAAoC,EAC5C,MAAM,qEAAqE,CAAA;AAE5E,OAAO,KAAK,EAAE,gBAAgB,EAAE,MAAM,cAAc,CAAA;AAGpD,wBAAsB,qBAAqB,CACvC,MAAM,EAAE,gBAAgB,EACxB,UAAU,EAAE,MAAM,EAClB,eAAe,EAAE,MAAM;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;KAW1B;AAED,wBAAsB,gCAAgC,CAClD,MAAM,EAAE,gBAAgB,EACxB,UAAU,EAAE,MAAM,EAClB,eAAe,EAAE,MAAM,EACvB,IAAI,EAAE,oCAAoC;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;KAW7C;AAED,wBAAsB,sBAAsB,CACxC,MAAM,EAAE,gBAAgB,EACxB,UAAU,EAAE,MAAM,EAClB,eAAe,EAAE,MAAM,EACvB,IAAI,EAAE,0BAA0B;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;KAWnC"}
|
|
@@ -5,6 +5,19 @@ export declare function createClaimImpl(config: TApiClientConfig, argumentId: st
|
|
|
5
5
|
errorID: import("typebox").TNumber;
|
|
6
6
|
errorMessage: import("typebox").TString;
|
|
7
7
|
statusCode: import("typebox").TNumber;
|
|
8
|
+
}>> | import("../../schemas/common.js").ParsedError<import("typebox").TObject<{
|
|
9
|
+
error: import("typebox").TLiteral<"GRAMMAR_VIOLATIONS">;
|
|
10
|
+
tier: import("typebox").TUnion<[import("typebox").TLiteral<"structural">, import("typebox").TLiteral<"evaluable">, import("typebox").TLiteral<"derivable">, import("typebox").TLiteral<"presentable">]>;
|
|
11
|
+
violations: import("typebox").TArray<import("typebox").TObject<{
|
|
12
|
+
tier: import("typebox").TUnion<[import("typebox").TLiteral<"structural">, import("typebox").TLiteral<"evaluable">, import("typebox").TLiteral<"derivable">, import("typebox").TLiteral<"presentable">]>;
|
|
13
|
+
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">]>;
|
|
14
|
+
message: import("typebox").TString;
|
|
15
|
+
argumentId: import("typebox").TOptional<import("typebox").TString>;
|
|
16
|
+
premiseId: import("typebox").TOptional<import("typebox").TString>;
|
|
17
|
+
expressionId: import("typebox").TOptional<import("typebox").TString>;
|
|
18
|
+
variableId: import("typebox").TOptional<import("typebox").TString>;
|
|
19
|
+
claimId: import("typebox").TOptional<import("typebox").TString>;
|
|
20
|
+
}>>;
|
|
8
21
|
}>> | import("../../schemas/common.js").ParsedSuccess<import("typebox").TObject<{
|
|
9
22
|
newClaim: import("typebox").TUnion<[import("typebox").TObject<{
|
|
10
23
|
digest: import("typebox").TString;
|
|
@@ -574,6 +587,19 @@ export declare function deleteClaimImpl(config: TApiClientConfig, argumentId: st
|
|
|
574
587
|
errorID: import("typebox").TNumber;
|
|
575
588
|
errorMessage: import("typebox").TString;
|
|
576
589
|
statusCode: import("typebox").TNumber;
|
|
590
|
+
}>> | import("../../schemas/common.js").ParsedError<import("typebox").TObject<{
|
|
591
|
+
error: import("typebox").TLiteral<"GRAMMAR_VIOLATIONS">;
|
|
592
|
+
tier: import("typebox").TUnion<[import("typebox").TLiteral<"structural">, import("typebox").TLiteral<"evaluable">, import("typebox").TLiteral<"derivable">, import("typebox").TLiteral<"presentable">]>;
|
|
593
|
+
violations: import("typebox").TArray<import("typebox").TObject<{
|
|
594
|
+
tier: import("typebox").TUnion<[import("typebox").TLiteral<"structural">, import("typebox").TLiteral<"evaluable">, import("typebox").TLiteral<"derivable">, import("typebox").TLiteral<"presentable">]>;
|
|
595
|
+
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">]>;
|
|
596
|
+
message: import("typebox").TString;
|
|
597
|
+
argumentId: import("typebox").TOptional<import("typebox").TString>;
|
|
598
|
+
premiseId: import("typebox").TOptional<import("typebox").TString>;
|
|
599
|
+
expressionId: import("typebox").TOptional<import("typebox").TString>;
|
|
600
|
+
variableId: import("typebox").TOptional<import("typebox").TString>;
|
|
601
|
+
claimId: import("typebox").TOptional<import("typebox").TString>;
|
|
602
|
+
}>>;
|
|
577
603
|
}>> | import("../../schemas/common.js").ParsedSuccess<import("typebox").TObject<{
|
|
578
604
|
deletedClaims: import("typebox").TArray<import("typebox").TUnion<[import("typebox").TObject<{
|
|
579
605
|
digest: import("typebox").TString;
|
|
@@ -1063,6 +1089,19 @@ export declare function updateClaimImpl(config: TApiClientConfig, argumentId: st
|
|
|
1063
1089
|
errorID: import("typebox").TNumber;
|
|
1064
1090
|
errorMessage: import("typebox").TString;
|
|
1065
1091
|
statusCode: import("typebox").TNumber;
|
|
1092
|
+
}>> | import("../../schemas/common.js").ParsedError<import("typebox").TObject<{
|
|
1093
|
+
error: import("typebox").TLiteral<"GRAMMAR_VIOLATIONS">;
|
|
1094
|
+
tier: import("typebox").TUnion<[import("typebox").TLiteral<"structural">, import("typebox").TLiteral<"evaluable">, import("typebox").TLiteral<"derivable">, import("typebox").TLiteral<"presentable">]>;
|
|
1095
|
+
violations: import("typebox").TArray<import("typebox").TObject<{
|
|
1096
|
+
tier: import("typebox").TUnion<[import("typebox").TLiteral<"structural">, import("typebox").TLiteral<"evaluable">, import("typebox").TLiteral<"derivable">, import("typebox").TLiteral<"presentable">]>;
|
|
1097
|
+
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">]>;
|
|
1098
|
+
message: import("typebox").TString;
|
|
1099
|
+
argumentId: import("typebox").TOptional<import("typebox").TString>;
|
|
1100
|
+
premiseId: import("typebox").TOptional<import("typebox").TString>;
|
|
1101
|
+
expressionId: import("typebox").TOptional<import("typebox").TString>;
|
|
1102
|
+
variableId: import("typebox").TOptional<import("typebox").TString>;
|
|
1103
|
+
claimId: import("typebox").TOptional<import("typebox").TString>;
|
|
1104
|
+
}>>;
|
|
1066
1105
|
}>> | import("../../schemas/common.js").ParsedSuccess<import("typebox").TUnion<[import("typebox").TObject<{
|
|
1067
1106
|
digest: import("typebox").TString;
|
|
1068
1107
|
id: import("typebox").TString;
|
|
@@ -1550,6 +1589,19 @@ export declare function createClaimCitationImpl(config: TApiClientConfig, argume
|
|
|
1550
1589
|
errorID: import("typebox").TNumber;
|
|
1551
1590
|
errorMessage: import("typebox").TString;
|
|
1552
1591
|
statusCode: import("typebox").TNumber;
|
|
1592
|
+
}>> | import("../../schemas/common.js").ParsedError<import("typebox").TObject<{
|
|
1593
|
+
error: import("typebox").TLiteral<"GRAMMAR_VIOLATIONS">;
|
|
1594
|
+
tier: import("typebox").TUnion<[import("typebox").TLiteral<"structural">, import("typebox").TLiteral<"evaluable">, import("typebox").TLiteral<"derivable">, import("typebox").TLiteral<"presentable">]>;
|
|
1595
|
+
violations: import("typebox").TArray<import("typebox").TObject<{
|
|
1596
|
+
tier: import("typebox").TUnion<[import("typebox").TLiteral<"structural">, import("typebox").TLiteral<"evaluable">, import("typebox").TLiteral<"derivable">, import("typebox").TLiteral<"presentable">]>;
|
|
1597
|
+
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">]>;
|
|
1598
|
+
message: import("typebox").TString;
|
|
1599
|
+
argumentId: import("typebox").TOptional<import("typebox").TString>;
|
|
1600
|
+
premiseId: import("typebox").TOptional<import("typebox").TString>;
|
|
1601
|
+
expressionId: import("typebox").TOptional<import("typebox").TString>;
|
|
1602
|
+
variableId: import("typebox").TOptional<import("typebox").TString>;
|
|
1603
|
+
claimId: import("typebox").TOptional<import("typebox").TString>;
|
|
1604
|
+
}>>;
|
|
1553
1605
|
}>> | import("../../schemas/common.js").ParsedSuccess<import("typebox").TObject<{
|
|
1554
1606
|
citation: import("typebox").TUnion<[import("typebox").TObject<{
|
|
1555
1607
|
digest: import("typebox").TString;
|
|
@@ -2050,6 +2102,19 @@ export declare function deleteClaimCitationImpl(config: TApiClientConfig, argume
|
|
|
2050
2102
|
errorID: import("typebox").TNumber;
|
|
2051
2103
|
errorMessage: import("typebox").TString;
|
|
2052
2104
|
statusCode: import("typebox").TNumber;
|
|
2105
|
+
}>> | import("../../schemas/common.js").ParsedError<import("typebox").TObject<{
|
|
2106
|
+
error: import("typebox").TLiteral<"GRAMMAR_VIOLATIONS">;
|
|
2107
|
+
tier: import("typebox").TUnion<[import("typebox").TLiteral<"structural">, import("typebox").TLiteral<"evaluable">, import("typebox").TLiteral<"derivable">, import("typebox").TLiteral<"presentable">]>;
|
|
2108
|
+
violations: import("typebox").TArray<import("typebox").TObject<{
|
|
2109
|
+
tier: import("typebox").TUnion<[import("typebox").TLiteral<"structural">, import("typebox").TLiteral<"evaluable">, import("typebox").TLiteral<"derivable">, import("typebox").TLiteral<"presentable">]>;
|
|
2110
|
+
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">]>;
|
|
2111
|
+
message: import("typebox").TString;
|
|
2112
|
+
argumentId: import("typebox").TOptional<import("typebox").TString>;
|
|
2113
|
+
premiseId: import("typebox").TOptional<import("typebox").TString>;
|
|
2114
|
+
expressionId: import("typebox").TOptional<import("typebox").TString>;
|
|
2115
|
+
variableId: import("typebox").TOptional<import("typebox").TString>;
|
|
2116
|
+
claimId: import("typebox").TOptional<import("typebox").TString>;
|
|
2117
|
+
}>>;
|
|
2053
2118
|
}>> | import("../../schemas/common.js").ParsedSuccess<import("typebox").TObject<{
|
|
2054
2119
|
deletedCitations: import("typebox").TArray<import("typebox").TIntersect<[import("typebox").TObject<{
|
|
2055
2120
|
id: import("typebox").TString;
|
|
@@ -1 +1 @@
|
|
|
1
|
-
{"version":3,"file":"claims.d.ts","sourceRoot":"","sources":["../../../src/api-client/argument/claims.ts"],"names":[],"mappings":"AAAA,OAAO,KAAK,EACR,mBAAmB,EACnB,kBAAkB,EACrB,MAAM,+BAA+B,CAAA;AAStC,OAAO,EAEH,KAAK,cAAc,EACtB,MAAM,mCAAmC,CAAA;AAE1C,OAAO,KAAK,EAAE,gBAAgB,EAAE,MAAM,cAAc,CAAA;AAGpD,wBAAsB,eAAe,CACjC,MAAM,EAAE,gBAAgB,EACxB,UAAU,EAAE,MAAM,EAClB,OAAO,EAAE,MAAM,EACf,SAAS,EAAE,mBAAmB
|
|
1
|
+
{"version":3,"file":"claims.d.ts","sourceRoot":"","sources":["../../../src/api-client/argument/claims.ts"],"names":[],"mappings":"AAAA,OAAO,KAAK,EACR,mBAAmB,EACnB,kBAAkB,EACrB,MAAM,+BAA+B,CAAA;AAStC,OAAO,EAEH,KAAK,cAAc,EACtB,MAAM,mCAAmC,CAAA;AAE1C,OAAO,KAAK,EAAE,gBAAgB,EAAE,MAAM,cAAc,CAAA;AAGpD,wBAAsB,eAAe,CACjC,MAAM,EAAE,gBAAgB,EACxB,UAAU,EAAE,MAAM,EAClB,OAAO,EAAE,MAAM,EACf,SAAS,EAAE,mBAAmB;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;KAWjC;AAED,wBAAsB,eAAe,CACjC,MAAM,EAAE,gBAAgB,EACxB,UAAU,EAAE,MAAM,EAClB,OAAO,EAAE,MAAM,EACf,OAAO,EAAE,MAAM;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;KAUlB;AAED,wBAAsB,eAAe,CACjC,MAAM,EAAE,gBAAgB,EACxB,UAAU,EAAE,MAAM,EAClB,OAAO,EAAE,MAAM,EACf,OAAO,EAAE,MAAM,EACf,IAAI,EAAE,kBAAkB;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;OAW3B;AAED,wBAAsB,uBAAuB,CACzC,MAAM,EAAE,gBAAgB,EACxB,UAAU,EAAE,MAAM,EAClB,OAAO,EAAE,MAAM,EACf,aAAa,EAAE,MAAM,EACrB,QAAQ,EAAE,cAAc;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;KAW3B;AAED,wBAAsB,uBAAuB,CACzC,MAAM,EAAE,gBAAgB,EACxB,UAAU,EAAE,MAAM,EAClB,OAAO,EAAE,MAAM,EACf,MAAM,EAAE,MAAM;;;;;;;;;;;;;;;;;;;;;;;;;;;;;KAUjB"}
|
|
@@ -5,6 +5,19 @@ export declare function getArgumentImpl(config: TApiClientConfig, argumentId: st
|
|
|
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.TIntersect<[Type.TObject<{
|
|
9
22
|
id: Type.TString;
|
|
10
23
|
version: Type.TNumber;
|
|
@@ -60,6 +73,19 @@ export declare function publishArgumentImpl(config: TApiClientConfig, argumentId
|
|
|
60
73
|
errorID: Type.TNumber;
|
|
61
74
|
errorMessage: Type.TString;
|
|
62
75
|
statusCode: Type.TNumber;
|
|
76
|
+
}>> | import("../../schemas/common.js").ParsedError<Type.TObject<{
|
|
77
|
+
error: Type.TLiteral<"GRAMMAR_VIOLATIONS">;
|
|
78
|
+
tier: Type.TUnion<[Type.TLiteral<"structural">, Type.TLiteral<"evaluable">, Type.TLiteral<"derivable">, Type.TLiteral<"presentable">]>;
|
|
79
|
+
violations: Type.TArray<Type.TObject<{
|
|
80
|
+
tier: Type.TUnion<[Type.TLiteral<"structural">, Type.TLiteral<"evaluable">, Type.TLiteral<"derivable">, Type.TLiteral<"presentable">]>;
|
|
81
|
+
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">]>;
|
|
82
|
+
message: Type.TString;
|
|
83
|
+
argumentId: Type.TOptional<Type.TString>;
|
|
84
|
+
premiseId: Type.TOptional<Type.TString>;
|
|
85
|
+
expressionId: Type.TOptional<Type.TString>;
|
|
86
|
+
variableId: Type.TOptional<Type.TString>;
|
|
87
|
+
claimId: Type.TOptional<Type.TString>;
|
|
88
|
+
}>>;
|
|
63
89
|
}>> | import("../../schemas/common.js").ParsedSuccess<Type.TObject<{
|
|
64
90
|
published: Type.TIntersect<[Type.TObject<{
|
|
65
91
|
id: Type.TString;
|
|
@@ -168,6 +194,19 @@ export declare function resetArgumentImpl(config: TApiClientConfig, argumentId:
|
|
|
168
194
|
errorID: Type.TNumber;
|
|
169
195
|
errorMessage: Type.TString;
|
|
170
196
|
statusCode: Type.TNumber;
|
|
197
|
+
}>> | import("../../schemas/common.js").ParsedError<Type.TObject<{
|
|
198
|
+
error: Type.TLiteral<"GRAMMAR_VIOLATIONS">;
|
|
199
|
+
tier: Type.TUnion<[Type.TLiteral<"structural">, Type.TLiteral<"evaluable">, Type.TLiteral<"derivable">, Type.TLiteral<"presentable">]>;
|
|
200
|
+
violations: Type.TArray<Type.TObject<{
|
|
201
|
+
tier: Type.TUnion<[Type.TLiteral<"structural">, Type.TLiteral<"evaluable">, Type.TLiteral<"derivable">, Type.TLiteral<"presentable">]>;
|
|
202
|
+
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">]>;
|
|
203
|
+
message: Type.TString;
|
|
204
|
+
argumentId: Type.TOptional<Type.TString>;
|
|
205
|
+
premiseId: Type.TOptional<Type.TString>;
|
|
206
|
+
expressionId: Type.TOptional<Type.TString>;
|
|
207
|
+
variableId: Type.TOptional<Type.TString>;
|
|
208
|
+
claimId: Type.TOptional<Type.TString>;
|
|
209
|
+
}>>;
|
|
171
210
|
}>> | import("../../schemas/common.js").ParsedSuccess<Type.TIntersect<[Type.TObject<{
|
|
172
211
|
id: Type.TString;
|
|
173
212
|
version: Type.TNumber;
|
|
@@ -223,6 +262,19 @@ export declare function forkArgumentImpl(config: TApiClientConfig, argumentId: s
|
|
|
223
262
|
errorID: Type.TNumber;
|
|
224
263
|
errorMessage: Type.TString;
|
|
225
264
|
statusCode: Type.TNumber;
|
|
265
|
+
}>> | import("../../schemas/common.js").ParsedError<Type.TObject<{
|
|
266
|
+
error: Type.TLiteral<"GRAMMAR_VIOLATIONS">;
|
|
267
|
+
tier: Type.TUnion<[Type.TLiteral<"structural">, Type.TLiteral<"evaluable">, Type.TLiteral<"derivable">, Type.TLiteral<"presentable">]>;
|
|
268
|
+
violations: Type.TArray<Type.TObject<{
|
|
269
|
+
tier: Type.TUnion<[Type.TLiteral<"structural">, Type.TLiteral<"evaluable">, Type.TLiteral<"derivable">, Type.TLiteral<"presentable">]>;
|
|
270
|
+
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">]>;
|
|
271
|
+
message: Type.TString;
|
|
272
|
+
argumentId: Type.TOptional<Type.TString>;
|
|
273
|
+
premiseId: Type.TOptional<Type.TString>;
|
|
274
|
+
expressionId: Type.TOptional<Type.TString>;
|
|
275
|
+
variableId: Type.TOptional<Type.TString>;
|
|
276
|
+
claimId: Type.TOptional<Type.TString>;
|
|
277
|
+
}>>;
|
|
226
278
|
}>> | import("../../schemas/common.js").ParsedSuccess<Type.TIntersect<[Type.TObject<{
|
|
227
279
|
id: Type.TString;
|
|
228
280
|
version: Type.TNumber;
|
|
@@ -278,6 +330,19 @@ export declare function getArgumentDiffImpl(config: TApiClientConfig, argumentId
|
|
|
278
330
|
errorID: Type.TNumber;
|
|
279
331
|
errorMessage: Type.TString;
|
|
280
332
|
statusCode: Type.TNumber;
|
|
333
|
+
}>> | import("../../schemas/common.js").ParsedError<Type.TObject<{
|
|
334
|
+
error: Type.TLiteral<"GRAMMAR_VIOLATIONS">;
|
|
335
|
+
tier: Type.TUnion<[Type.TLiteral<"structural">, Type.TLiteral<"evaluable">, Type.TLiteral<"derivable">, Type.TLiteral<"presentable">]>;
|
|
336
|
+
violations: Type.TArray<Type.TObject<{
|
|
337
|
+
tier: Type.TUnion<[Type.TLiteral<"structural">, Type.TLiteral<"evaluable">, Type.TLiteral<"derivable">, Type.TLiteral<"presentable">]>;
|
|
338
|
+
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">]>;
|
|
339
|
+
message: Type.TString;
|
|
340
|
+
argumentId: Type.TOptional<Type.TString>;
|
|
341
|
+
premiseId: Type.TOptional<Type.TString>;
|
|
342
|
+
expressionId: Type.TOptional<Type.TString>;
|
|
343
|
+
variableId: Type.TOptional<Type.TString>;
|
|
344
|
+
claimId: Type.TOptional<Type.TString>;
|
|
345
|
+
}>>;
|
|
281
346
|
}>> | import("../../schemas/common.js").ParsedSuccess<Type.TObject<{
|
|
282
347
|
claims: Type.TObject<{
|
|
283
348
|
added: Type.TArray<Type.TUnion<[Type.TObject<{
|
|
@@ -2001,6 +2066,19 @@ export declare function getArgumentForksImpl(config: TApiClientConfig, argumentI
|
|
|
2001
2066
|
errorID: Type.TNumber;
|
|
2002
2067
|
errorMessage: Type.TString;
|
|
2003
2068
|
statusCode: Type.TNumber;
|
|
2069
|
+
}>> | import("../../schemas/common.js").ParsedError<Type.TObject<{
|
|
2070
|
+
error: Type.TLiteral<"GRAMMAR_VIOLATIONS">;
|
|
2071
|
+
tier: Type.TUnion<[Type.TLiteral<"structural">, Type.TLiteral<"evaluable">, Type.TLiteral<"derivable">, Type.TLiteral<"presentable">]>;
|
|
2072
|
+
violations: Type.TArray<Type.TObject<{
|
|
2073
|
+
tier: Type.TUnion<[Type.TLiteral<"structural">, Type.TLiteral<"evaluable">, Type.TLiteral<"derivable">, Type.TLiteral<"presentable">]>;
|
|
2074
|
+
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">]>;
|
|
2075
|
+
message: Type.TString;
|
|
2076
|
+
argumentId: Type.TOptional<Type.TString>;
|
|
2077
|
+
premiseId: Type.TOptional<Type.TString>;
|
|
2078
|
+
expressionId: Type.TOptional<Type.TString>;
|
|
2079
|
+
variableId: Type.TOptional<Type.TString>;
|
|
2080
|
+
claimId: Type.TOptional<Type.TString>;
|
|
2081
|
+
}>>;
|
|
2004
2082
|
}>> | import("../../schemas/common.js").ParsedSuccess<Type.TObject<{
|
|
2005
2083
|
arguments: Type.TArray<Type.TIntersect<[Type.TIntersect<[Type.TObject<{
|
|
2006
2084
|
id: Type.TString;
|
|
@@ -2068,6 +2146,19 @@ export declare function getAllArgumentsImpl(config: TApiClientConfig, params?: G
|
|
|
2068
2146
|
errorID: Type.TNumber;
|
|
2069
2147
|
errorMessage: Type.TString;
|
|
2070
2148
|
statusCode: Type.TNumber;
|
|
2149
|
+
}>> | import("../../schemas/common.js").ParsedError<Type.TObject<{
|
|
2150
|
+
error: Type.TLiteral<"GRAMMAR_VIOLATIONS">;
|
|
2151
|
+
tier: Type.TUnion<[Type.TLiteral<"structural">, Type.TLiteral<"evaluable">, Type.TLiteral<"derivable">, Type.TLiteral<"presentable">]>;
|
|
2152
|
+
violations: Type.TArray<Type.TObject<{
|
|
2153
|
+
tier: Type.TUnion<[Type.TLiteral<"structural">, Type.TLiteral<"evaluable">, Type.TLiteral<"derivable">, Type.TLiteral<"presentable">]>;
|
|
2154
|
+
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">]>;
|
|
2155
|
+
message: Type.TString;
|
|
2156
|
+
argumentId: Type.TOptional<Type.TString>;
|
|
2157
|
+
premiseId: Type.TOptional<Type.TString>;
|
|
2158
|
+
expressionId: Type.TOptional<Type.TString>;
|
|
2159
|
+
variableId: Type.TOptional<Type.TString>;
|
|
2160
|
+
claimId: Type.TOptional<Type.TString>;
|
|
2161
|
+
}>>;
|
|
2071
2162
|
}>> | import("../../schemas/common.js").ParsedSuccess<Type.TArray<Type.TIntersect<[Type.TIntersect<[Type.TObject<{
|
|
2072
2163
|
id: Type.TString;
|
|
2073
2164
|
version: Type.TNumber;
|
|
@@ -2126,6 +2217,19 @@ export declare function createArgumentImpl(config: TApiClientConfig, data: TCrea
|
|
|
2126
2217
|
errorID: Type.TNumber;
|
|
2127
2218
|
errorMessage: Type.TString;
|
|
2128
2219
|
statusCode: Type.TNumber;
|
|
2220
|
+
}>> | import("../../schemas/common.js").ParsedError<Type.TObject<{
|
|
2221
|
+
error: Type.TLiteral<"GRAMMAR_VIOLATIONS">;
|
|
2222
|
+
tier: Type.TUnion<[Type.TLiteral<"structural">, Type.TLiteral<"evaluable">, Type.TLiteral<"derivable">, Type.TLiteral<"presentable">]>;
|
|
2223
|
+
violations: Type.TArray<Type.TObject<{
|
|
2224
|
+
tier: Type.TUnion<[Type.TLiteral<"structural">, Type.TLiteral<"evaluable">, Type.TLiteral<"derivable">, Type.TLiteral<"presentable">]>;
|
|
2225
|
+
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">]>;
|
|
2226
|
+
message: Type.TString;
|
|
2227
|
+
argumentId: Type.TOptional<Type.TString>;
|
|
2228
|
+
premiseId: Type.TOptional<Type.TString>;
|
|
2229
|
+
expressionId: Type.TOptional<Type.TString>;
|
|
2230
|
+
variableId: Type.TOptional<Type.TString>;
|
|
2231
|
+
claimId: Type.TOptional<Type.TString>;
|
|
2232
|
+
}>>;
|
|
2129
2233
|
}>> | import("../../schemas/common.js").ParsedSuccess<Type.TIntersect<[Type.TObject<{
|
|
2130
2234
|
id: Type.TString;
|
|
2131
2235
|
version: Type.TNumber;
|
|
@@ -2181,6 +2285,19 @@ export declare function getLatestArgumentImpl(config: TApiClientConfig, argument
|
|
|
2181
2285
|
errorID: Type.TNumber;
|
|
2182
2286
|
errorMessage: Type.TString;
|
|
2183
2287
|
statusCode: Type.TNumber;
|
|
2288
|
+
}>> | import("../../schemas/common.js").ParsedError<Type.TObject<{
|
|
2289
|
+
error: Type.TLiteral<"GRAMMAR_VIOLATIONS">;
|
|
2290
|
+
tier: Type.TUnion<[Type.TLiteral<"structural">, Type.TLiteral<"evaluable">, Type.TLiteral<"derivable">, Type.TLiteral<"presentable">]>;
|
|
2291
|
+
violations: Type.TArray<Type.TObject<{
|
|
2292
|
+
tier: Type.TUnion<[Type.TLiteral<"structural">, Type.TLiteral<"evaluable">, Type.TLiteral<"derivable">, Type.TLiteral<"presentable">]>;
|
|
2293
|
+
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">]>;
|
|
2294
|
+
message: Type.TString;
|
|
2295
|
+
argumentId: Type.TOptional<Type.TString>;
|
|
2296
|
+
premiseId: Type.TOptional<Type.TString>;
|
|
2297
|
+
expressionId: Type.TOptional<Type.TString>;
|
|
2298
|
+
variableId: Type.TOptional<Type.TString>;
|
|
2299
|
+
claimId: Type.TOptional<Type.TString>;
|
|
2300
|
+
}>>;
|
|
2184
2301
|
}>> | import("../../schemas/common.js").ParsedSuccess<Type.TIntersect<[Type.TObject<{
|
|
2185
2302
|
id: Type.TString;
|
|
2186
2303
|
version: Type.TNumber;
|
|
@@ -2236,6 +2353,19 @@ export declare function updateArgumentImpl(config: TApiClientConfig, argumentId:
|
|
|
2236
2353
|
errorID: Type.TNumber;
|
|
2237
2354
|
errorMessage: Type.TString;
|
|
2238
2355
|
statusCode: Type.TNumber;
|
|
2356
|
+
}>> | import("../../schemas/common.js").ParsedError<Type.TObject<{
|
|
2357
|
+
error: Type.TLiteral<"GRAMMAR_VIOLATIONS">;
|
|
2358
|
+
tier: Type.TUnion<[Type.TLiteral<"structural">, Type.TLiteral<"evaluable">, Type.TLiteral<"derivable">, Type.TLiteral<"presentable">]>;
|
|
2359
|
+
violations: Type.TArray<Type.TObject<{
|
|
2360
|
+
tier: Type.TUnion<[Type.TLiteral<"structural">, Type.TLiteral<"evaluable">, Type.TLiteral<"derivable">, Type.TLiteral<"presentable">]>;
|
|
2361
|
+
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">]>;
|
|
2362
|
+
message: Type.TString;
|
|
2363
|
+
argumentId: Type.TOptional<Type.TString>;
|
|
2364
|
+
premiseId: Type.TOptional<Type.TString>;
|
|
2365
|
+
expressionId: Type.TOptional<Type.TString>;
|
|
2366
|
+
variableId: Type.TOptional<Type.TString>;
|
|
2367
|
+
claimId: Type.TOptional<Type.TString>;
|
|
2368
|
+
}>>;
|
|
2239
2369
|
}>> | import("../../schemas/common.js").ParsedSuccess<Type.TIntersect<[Type.TObject<{
|
|
2240
2370
|
id: Type.TString;
|
|
2241
2371
|
version: Type.TNumber;
|
|
@@ -2291,16 +2421,55 @@ export declare function archiveArgumentImpl(config: TApiClientConfig, argumentId
|
|
|
2291
2421
|
errorID: Type.TNumber;
|
|
2292
2422
|
errorMessage: Type.TString;
|
|
2293
2423
|
statusCode: Type.TNumber;
|
|
2424
|
+
}>> | import("../../schemas/common.js").ParsedError<Type.TObject<{
|
|
2425
|
+
error: Type.TLiteral<"GRAMMAR_VIOLATIONS">;
|
|
2426
|
+
tier: Type.TUnion<[Type.TLiteral<"structural">, Type.TLiteral<"evaluable">, Type.TLiteral<"derivable">, Type.TLiteral<"presentable">]>;
|
|
2427
|
+
violations: Type.TArray<Type.TObject<{
|
|
2428
|
+
tier: Type.TUnion<[Type.TLiteral<"structural">, Type.TLiteral<"evaluable">, Type.TLiteral<"derivable">, Type.TLiteral<"presentable">]>;
|
|
2429
|
+
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">]>;
|
|
2430
|
+
message: Type.TString;
|
|
2431
|
+
argumentId: Type.TOptional<Type.TString>;
|
|
2432
|
+
premiseId: Type.TOptional<Type.TString>;
|
|
2433
|
+
expressionId: Type.TOptional<Type.TString>;
|
|
2434
|
+
variableId: Type.TOptional<Type.TString>;
|
|
2435
|
+
claimId: Type.TOptional<Type.TString>;
|
|
2436
|
+
}>>;
|
|
2294
2437
|
}>> | import("../../schemas/common.js").ParsedSuccess<Type.TBoolean>>;
|
|
2295
2438
|
export declare function deleteArgumentImpl(config: TApiClientConfig, argumentId: string, version: number): Promise<import("../../schemas/common.js").ParsedError<Type.TObject<{
|
|
2296
2439
|
errorID: Type.TNumber;
|
|
2297
2440
|
errorMessage: Type.TString;
|
|
2298
2441
|
statusCode: Type.TNumber;
|
|
2442
|
+
}>> | import("../../schemas/common.js").ParsedError<Type.TObject<{
|
|
2443
|
+
error: Type.TLiteral<"GRAMMAR_VIOLATIONS">;
|
|
2444
|
+
tier: Type.TUnion<[Type.TLiteral<"structural">, Type.TLiteral<"evaluable">, Type.TLiteral<"derivable">, Type.TLiteral<"presentable">]>;
|
|
2445
|
+
violations: Type.TArray<Type.TObject<{
|
|
2446
|
+
tier: Type.TUnion<[Type.TLiteral<"structural">, Type.TLiteral<"evaluable">, Type.TLiteral<"derivable">, Type.TLiteral<"presentable">]>;
|
|
2447
|
+
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">]>;
|
|
2448
|
+
message: Type.TString;
|
|
2449
|
+
argumentId: Type.TOptional<Type.TString>;
|
|
2450
|
+
premiseId: Type.TOptional<Type.TString>;
|
|
2451
|
+
expressionId: Type.TOptional<Type.TString>;
|
|
2452
|
+
variableId: Type.TOptional<Type.TString>;
|
|
2453
|
+
claimId: Type.TOptional<Type.TString>;
|
|
2454
|
+
}>>;
|
|
2299
2455
|
}>> | import("../../schemas/common.js").ParsedSuccess<Type.TBoolean>>;
|
|
2300
2456
|
export declare function getEntireArgumentImpl(config: TApiClientConfig, argumentId: string, version: number): Promise<import("../../schemas/common.js").ParsedError<Type.TObject<{
|
|
2301
2457
|
errorID: Type.TNumber;
|
|
2302
2458
|
errorMessage: Type.TString;
|
|
2303
2459
|
statusCode: Type.TNumber;
|
|
2460
|
+
}>> | import("../../schemas/common.js").ParsedError<Type.TObject<{
|
|
2461
|
+
error: Type.TLiteral<"GRAMMAR_VIOLATIONS">;
|
|
2462
|
+
tier: Type.TUnion<[Type.TLiteral<"structural">, Type.TLiteral<"evaluable">, Type.TLiteral<"derivable">, Type.TLiteral<"presentable">]>;
|
|
2463
|
+
violations: Type.TArray<Type.TObject<{
|
|
2464
|
+
tier: Type.TUnion<[Type.TLiteral<"structural">, Type.TLiteral<"evaluable">, Type.TLiteral<"derivable">, Type.TLiteral<"presentable">]>;
|
|
2465
|
+
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">]>;
|
|
2466
|
+
message: Type.TString;
|
|
2467
|
+
argumentId: Type.TOptional<Type.TString>;
|
|
2468
|
+
premiseId: Type.TOptional<Type.TString>;
|
|
2469
|
+
expressionId: Type.TOptional<Type.TString>;
|
|
2470
|
+
variableId: Type.TOptional<Type.TString>;
|
|
2471
|
+
claimId: Type.TOptional<Type.TString>;
|
|
2472
|
+
}>>;
|
|
2304
2473
|
}>> | import("../../schemas/common.js").ParsedSuccess<Type.TObject<{
|
|
2305
2474
|
argument: Type.TIntersect<[Type.TObject<{
|
|
2306
2475
|
id: Type.TString;
|
|
@@ -1 +1 @@
|
|
|
1
|
-
{"version":3,"file":"index.d.ts","sourceRoot":"","sources":["../../../src/api-client/argument/index.ts"],"names":[],"mappings":"AASA,OAAO,EAIH,KAAK,sBAAsB,EAE3B,KAAK,eAAe,EAEvB,MAAM,qCAAqC,CAAA;AAE5C,OAAO,EAAE,IAAI,EAAE,MAAM,SAAS,CAAA;AAC9B,OAAO,KAAK,EAAE,gBAAgB,EAAE,MAAM,cAAc,CAAA;AAGpD,wBAAsB,eAAe,CACjC,MAAM,EAAE,gBAAgB,EACxB,UAAU,EAAE,MAAM,EAClB,OAAO,EAAE,MAAM
|
|
1
|
+
{"version":3,"file":"index.d.ts","sourceRoot":"","sources":["../../../src/api-client/argument/index.ts"],"names":[],"mappings":"AASA,OAAO,EAIH,KAAK,sBAAsB,EAE3B,KAAK,eAAe,EAEvB,MAAM,qCAAqC,CAAA;AAE5C,OAAO,EAAE,IAAI,EAAE,MAAM,SAAS,CAAA;AAC9B,OAAO,KAAK,EAAE,gBAAgB,EAAE,MAAM,cAAc,CAAA;AAGpD,wBAAsB,eAAe,CACjC,MAAM,EAAE,gBAAgB,EACxB,UAAU,EAAE,MAAM,EAClB,OAAO,EAAE,MAAM;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;OAelB;AAED,wBAAsB,mBAAmB,CACrC,MAAM,EAAE,gBAAgB,EACxB,UAAU,EAAE,MAAM,EAClB,OAAO,EAAE,MAAM;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;KAUlB;AAED,wBAAsB,iBAAiB,CACnC,MAAM,EAAE,gBAAgB,EACxB,UAAU,EAAE,MAAM,EAClB,OAAO,EAAE,MAAM;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;OAUlB;AAED,wBAAsB,gBAAgB,CAClC,MAAM,EAAE,gBAAgB,EACxB,UAAU,EAAE,MAAM,EAClB,OAAO,EAAE,MAAM;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;OAUlB;AAED,wBAAsB,mBAAmB,CACrC,MAAM,EAAE,gBAAgB,EACxB,UAAU,EAAE,MAAM,EAClB,OAAO,EAAE,MAAM,EACf,UAAU,EAAE,MAAM,EAClB,eAAe,EAAE,MAAM;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;KAW1B;AAED,wBAAsB,oBAAoB,CACtC,MAAM,EAAE,gBAAgB,EACxB,UAAU,EAAE,MAAM,EAClB,OAAO,EAAE,MAAM;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;KAUlB;AAED,wBAAsB,wBAAwB,CAC1C,MAAM,EAAE,gBAAgB,EACxB,UAAU,EAAE,MAAM,EAClB,OAAO,EAAE,MAAM,iBAOlB;AAED,MAAM,MAAM,qBAAqB,GAAG;IAChC,KAAK,CAAC,EAAE,OAAO,CAAA;IACf,KAAK,CAAC,EAAE,MAAM,CAAA;IACd,MAAM,CAAC,EAAE,MAAM,CAAA;IACf,YAAY,CAAC,EAAE,MAAM,CAAA;IACrB,iBAAiB,CAAC,EAAE,OAAO,CAAA;CAC9B,CAAA;AAED,wBAAsB,mBAAmB,CACrC,MAAM,EAAE,gBAAgB,EACxB,MAAM,GAAE,qBAA0B;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;QAarC;AAED,wBAAsB,kBAAkB,CACpC,MAAM,EAAE,gBAAgB,EACxB,IAAI,EAAE,eAAe;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;OAWxB;AAED,wBAAsB,qBAAqB,CACvC,MAAM,EAAE,gBAAgB,EACxB,UAAU,EAAE,MAAM;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;OAWrB;AAED,wBAAsB,kBAAkB,CACpC,MAAM,EAAE,gBAAgB,EACxB,UAAU,EAAE,MAAM,EAClB,OAAO,EAAE,MAAM,EACf,IAAI,EAAE,sBAAsB;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;OAW/B;AAED,wBAAsB,mBAAmB,CACrC,MAAM,EAAE,gBAAgB,EACxB,UAAU,EAAE,MAAM,EAClB,OAAO,EAAE,MAAM;;;;;;;;;;;;;;;;;sEAYlB;AAED,wBAAsB,kBAAkB,CACpC,MAAM,EAAE,gBAAgB,EACxB,UAAU,EAAE,MAAM,EAClB,OAAO,EAAE,MAAM;;;;;;;;;;;;;;;;;sEAUlB;AAED,wBAAsB,qBAAqB,CACvC,MAAM,EAAE,gBAAgB,EACxB,UAAU,EAAE,MAAM,EAClB,OAAO,EAAE,MAAM;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;KAWlB"}
|