@proposit/shared 0.7.1 → 0.8.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.
Files changed (65) hide show
  1. package/dist/api-client/argument/batch.d.ts +46 -9
  2. package/dist/api-client/argument/batch.d.ts.map +1 -1
  3. package/dist/api-client/argument/claims.d.ts +192 -44
  4. package/dist/api-client/argument/claims.d.ts.map +1 -1
  5. package/dist/api-client/argument/index.d.ts +198 -50
  6. package/dist/api-client/argument/index.d.ts.map +1 -1
  7. package/dist/api-client/user/citations.d.ts +92 -18
  8. package/dist/api-client/user/citations.d.ts.map +1 -1
  9. package/dist/api-client/user/claims.d.ts +46 -9
  10. package/dist/api-client/user/claims.d.ts.map +1 -1
  11. package/dist/consts/argument.d.ts +3 -1
  12. package/dist/consts/argument.d.ts.map +1 -1
  13. package/dist/consts/argument.js +3 -1
  14. package/dist/consts/argument.js.map +1 -1
  15. package/dist/consts/axioms.d.ts +4 -0
  16. package/dist/consts/axioms.d.ts.map +1 -0
  17. package/dist/consts/axioms.js +17 -0
  18. package/dist/consts/axioms.js.map +1 -0
  19. package/dist/consts/index.d.ts +1 -0
  20. package/dist/consts/index.d.ts.map +1 -1
  21. package/dist/consts/index.js +1 -0
  22. package/dist/consts/index.js.map +1 -1
  23. package/dist/engine/engine.d.ts +14 -14
  24. package/dist/engine/engine.d.ts.map +1 -1
  25. package/dist/engine/engine.js +35 -35
  26. package/dist/engine/engine.js.map +1 -1
  27. package/dist/engine/library-adapters.d.ts +2 -2
  28. package/dist/engine/library-adapters.d.ts.map +1 -1
  29. package/dist/engine/library-adapters.js +2 -2
  30. package/dist/engine/library-adapters.js.map +1 -1
  31. package/dist/engine/mutations/premises.d.ts +2 -2
  32. package/dist/engine/mutations/premises.d.ts.map +1 -1
  33. package/dist/engine/mutations/premises.js +5 -5
  34. package/dist/engine/mutations/premises.js.map +1 -1
  35. package/dist/engine/optimistic/verification.d.ts.map +1 -1
  36. package/dist/engine/optimistic/verification.js +1 -2
  37. package/dist/engine/optimistic/verification.js.map +1 -1
  38. package/dist/engine/text-tree.d.ts +2 -1
  39. package/dist/engine/text-tree.d.ts.map +1 -1
  40. package/dist/engine/text-tree.js +8 -3
  41. package/dist/engine/text-tree.js.map +1 -1
  42. package/dist/schemas/api/argument/batch/provision.d.ts +46 -9
  43. package/dist/schemas/api/argument/batch/provision.d.ts.map +1 -1
  44. package/dist/schemas/api/argument/claims.d.ts +147 -35
  45. package/dist/schemas/api/argument/claims.d.ts.map +1 -1
  46. package/dist/schemas/api/argument/index.d.ts +51 -14
  47. package/dist/schemas/api/argument/index.d.ts.map +1 -1
  48. package/dist/schemas/api/argument/index.js +1 -1
  49. package/dist/schemas/api/argument/index.js.map +1 -1
  50. package/dist/schemas/api/citations.d.ts +230 -45
  51. package/dist/schemas/api/citations.d.ts.map +1 -1
  52. package/dist/schemas/api/claims.d.ts +92 -18
  53. package/dist/schemas/api/claims.d.ts.map +1 -1
  54. package/dist/schemas/model/arguments.d.ts +147 -36
  55. package/dist/schemas/model/arguments.d.ts.map +1 -1
  56. package/dist/schemas/model/arguments.js +1 -1
  57. package/dist/schemas/model/arguments.js.map +1 -1
  58. package/dist/schemas/model/citations.d.ts +4 -4
  59. package/dist/schemas/model/citations.js +2 -2
  60. package/dist/schemas/model/citations.js.map +1 -1
  61. package/dist/schemas/model/claims.d.ts +127 -22
  62. package/dist/schemas/model/claims.d.ts.map +1 -1
  63. package/dist/schemas/model/claims.js +85 -24
  64. package/dist/schemas/model/claims.js.map +1 -1
  65. package/package.json +3 -3
package/dist/api-client/argument/index.d.ts CHANGED
@@ -280,9 +280,25 @@ export declare function getArgumentDiffImpl(config: TApiClientConfig, argumentId
280
280
  statusCode: Type.TNumber;
281
281
  }>> | import("../../schemas/common.js").ParsedSuccess<Type.TObject<{
282
282
  claims: Type.TObject<{
283
- added: Type.TArray<Type.TObject<{
283
+ added: Type.TArray<Type.TUnion<[Type.TObject<{
284
+ digest: Type.TString;
285
+ id: Type.TString;
286
+ argumentId: Type.TString;
287
+ version: Type.TNumber;
288
+ claimForkId: Type.TUnion<[Type.TString, Type.TNull]>;
289
+ creatorId: Type.TString;
290
+ createdOn: import("../../schemas/common.js").TDateType;
291
+ parentId: Type.TUnion<[Type.TString, Type.TNull]>;
284
292
  title: Type.TString;
285
293
  body: Type.TString;
294
+ titleContentHash: Type.TString;
295
+ type: Type.TLiteral<"normal">;
296
+ kind: Type.TUnion<[Type.TUnion<[Type.TLiteral<"definition">, Type.TLiteral<"criterion">]>, Type.TUnion<[Type.TLiteral<"conclusion">, Type.TLiteral<"claim">]>]>;
297
+ url: Type.TNull;
298
+ citation: Type.TNull;
299
+ citationContentHash: Type.TNull;
300
+ axiom: Type.TNull;
301
+ }>, Type.TObject<{
286
302
  digest: Type.TString;
287
303
  id: Type.TString;
288
304
  argumentId: Type.TString;
@@ -290,12 +306,14 @@ export declare function getArgumentDiffImpl(config: TApiClientConfig, argumentId
290
306
  claimForkId: Type.TUnion<[Type.TString, Type.TNull]>;
291
307
  creatorId: Type.TString;
292
308
  createdOn: import("../../schemas/common.js").TDateType;
293
- kind: Type.TUnion<[Type.TUnion<[Type.TLiteral<"definition">, Type.TLiteral<"criterion">]>, Type.TUnion<[Type.TLiteral<"conclusion">, Type.TLiteral<"claim">]>]>;
294
- type: Type.TUnion<[Type.TLiteral<"normal">, Type.TLiteral<"citation">]>;
295
309
  parentId: Type.TUnion<[Type.TString, Type.TNull]>;
296
- titleContentHash: Type.TOptional<Type.TUnion<[Type.TString, Type.TNull]>>;
297
- url: Type.TOptional<Type.TUnion<[Type.TString, Type.TNull]>>;
298
- citation: Type.TOptional<Type.TUnion<[Type.TUnion<[Type.TIntersect<[Type.TObject<{
310
+ type: Type.TLiteral<"citation">;
311
+ kind: Type.TNull;
312
+ title: Type.TNull;
313
+ body: Type.TNull;
314
+ titleContentHash: Type.TNull;
315
+ url: Type.TString;
316
+ citation: Type.TUnion<[Type.TIntersect<[Type.TObject<{
299
317
  type: Type.TUnion<[Type.TLiteral<"Book">, Type.TLiteral<"Website">, Type.TLiteral<"BookChapter">, Type.TLiteral<"Handbook">, Type.TLiteral<"TechnicalReport">, Type.TLiteral<"Standard">, Type.TLiteral<"Thesis">, Type.TLiteral<"Patent">, Type.TLiteral<"Dictionary">, Type.TLiteral<"Encyclopedia">, Type.TLiteral<"JournalArticle">, Type.TLiteral<"MagazineArticle">, Type.TLiteral<"NewspaperArticle">, Type.TLiteral<"ConferencePaper">, Type.TLiteral<"ConferenceProceedings">, Type.TLiteral<"Dataset">, Type.TLiteral<"Software">, Type.TLiteral<"OnlineDocument">, Type.TLiteral<"Blog">, Type.TLiteral<"SocialMedia">, Type.TLiteral<"Preprint">, Type.TLiteral<"Video">, Type.TLiteral<"Podcast">, Type.TLiteral<"Course">, Type.TLiteral<"Presentation">, Type.TLiteral<"Interview">, Type.TLiteral<"PersonalCommunication">, Type.TLiteral<"Email">, Type.TLiteral<"Law">, Type.TLiteral<"CourtCase">, Type.TLiteral<"GovernmentPublication">, Type.TLiteral<"Datasheet">, Type.TLiteral<"ProductManual">, Type.TLiteral<"UnparsedURL">]>;
300
318
  }>, Type.TObject<{
301
319
  type: Type.TLiteral<"Book">;
@@ -723,12 +741,47 @@ export declare function getArgumentDiffImpl(config: TApiClientConfig, argumentId
723
741
  type: Type.TLiteral<"UnparsedURL">;
724
742
  url: Type.TString;
725
743
  text: Type.TOptional<Type.TString>;
726
- }>]>]>, Type.TNull]>>;
727
- citationContentHash: Type.TOptional<Type.TUnion<[Type.TString, Type.TNull]>>;
728
- }>>;
729
- removed: Type.TArray<Type.TObject<{
744
+ }>]>]>;
745
+ citationContentHash: Type.TString;
746
+ axiom: Type.TNull;
747
+ }>, Type.TObject<{
748
+ digest: Type.TString;
749
+ id: Type.TString;
750
+ argumentId: Type.TString;
751
+ version: Type.TNumber;
752
+ claimForkId: Type.TUnion<[Type.TString, Type.TNull]>;
753
+ creatorId: Type.TString;
754
+ createdOn: import("../../schemas/common.js").TDateType;
755
+ parentId: Type.TUnion<[Type.TString, Type.TNull]>;
756
+ type: Type.TLiteral<"axiomatic">;
757
+ kind: Type.TNull;
758
+ title: Type.TNull;
759
+ body: Type.TNull;
760
+ titleContentHash: Type.TNull;
761
+ url: Type.TNull;
762
+ citation: Type.TNull;
763
+ citationContentHash: Type.TNull;
764
+ axiom: Type.TUnion<[Type.TLiteral<"definition">, Type.TLiteral<"stipulation">, Type.TLiteral<"logical-principle">, Type.TLiteral<"mathematical-principle">, Type.TLiteral<"domain-rule">, Type.TLiteral<"background-assumption">]>;
765
+ }>]>>;
766
+ removed: Type.TArray<Type.TUnion<[Type.TObject<{
767
+ digest: Type.TString;
768
+ id: Type.TString;
769
+ argumentId: Type.TString;
770
+ version: Type.TNumber;
771
+ claimForkId: Type.TUnion<[Type.TString, Type.TNull]>;
772
+ creatorId: Type.TString;
773
+ createdOn: import("../../schemas/common.js").TDateType;
774
+ parentId: Type.TUnion<[Type.TString, Type.TNull]>;
730
775
  title: Type.TString;
731
776
  body: Type.TString;
777
+ titleContentHash: Type.TString;
778
+ type: Type.TLiteral<"normal">;
779
+ kind: Type.TUnion<[Type.TUnion<[Type.TLiteral<"definition">, Type.TLiteral<"criterion">]>, Type.TUnion<[Type.TLiteral<"conclusion">, Type.TLiteral<"claim">]>]>;
780
+ url: Type.TNull;
781
+ citation: Type.TNull;
782
+ citationContentHash: Type.TNull;
783
+ axiom: Type.TNull;
784
+ }>, Type.TObject<{
732
785
  digest: Type.TString;
733
786
  id: Type.TString;
734
787
  argumentId: Type.TString;
@@ -736,12 +789,14 @@ export declare function getArgumentDiffImpl(config: TApiClientConfig, argumentId
736
789
  claimForkId: Type.TUnion<[Type.TString, Type.TNull]>;
737
790
  creatorId: Type.TString;
738
791
  createdOn: import("../../schemas/common.js").TDateType;
739
- kind: Type.TUnion<[Type.TUnion<[Type.TLiteral<"definition">, Type.TLiteral<"criterion">]>, Type.TUnion<[Type.TLiteral<"conclusion">, Type.TLiteral<"claim">]>]>;
740
- type: Type.TUnion<[Type.TLiteral<"normal">, Type.TLiteral<"citation">]>;
741
792
  parentId: Type.TUnion<[Type.TString, Type.TNull]>;
742
- titleContentHash: Type.TOptional<Type.TUnion<[Type.TString, Type.TNull]>>;
743
- url: Type.TOptional<Type.TUnion<[Type.TString, Type.TNull]>>;
744
- citation: Type.TOptional<Type.TUnion<[Type.TUnion<[Type.TIntersect<[Type.TObject<{
793
+ type: Type.TLiteral<"citation">;
794
+ kind: Type.TNull;
795
+ title: Type.TNull;
796
+ body: Type.TNull;
797
+ titleContentHash: Type.TNull;
798
+ url: Type.TString;
799
+ citation: Type.TUnion<[Type.TIntersect<[Type.TObject<{
745
800
  type: Type.TUnion<[Type.TLiteral<"Book">, Type.TLiteral<"Website">, Type.TLiteral<"BookChapter">, Type.TLiteral<"Handbook">, Type.TLiteral<"TechnicalReport">, Type.TLiteral<"Standard">, Type.TLiteral<"Thesis">, Type.TLiteral<"Patent">, Type.TLiteral<"Dictionary">, Type.TLiteral<"Encyclopedia">, Type.TLiteral<"JournalArticle">, Type.TLiteral<"MagazineArticle">, Type.TLiteral<"NewspaperArticle">, Type.TLiteral<"ConferencePaper">, Type.TLiteral<"ConferenceProceedings">, Type.TLiteral<"Dataset">, Type.TLiteral<"Software">, Type.TLiteral<"OnlineDocument">, Type.TLiteral<"Blog">, Type.TLiteral<"SocialMedia">, Type.TLiteral<"Preprint">, Type.TLiteral<"Video">, Type.TLiteral<"Podcast">, Type.TLiteral<"Course">, Type.TLiteral<"Presentation">, Type.TLiteral<"Interview">, Type.TLiteral<"PersonalCommunication">, Type.TLiteral<"Email">, Type.TLiteral<"Law">, Type.TLiteral<"CourtCase">, Type.TLiteral<"GovernmentPublication">, Type.TLiteral<"Datasheet">, Type.TLiteral<"ProductManual">, Type.TLiteral<"UnparsedURL">]>;
746
801
  }>, Type.TObject<{
747
802
  type: Type.TLiteral<"Book">;
@@ -1169,12 +1224,47 @@ export declare function getArgumentDiffImpl(config: TApiClientConfig, argumentId
1169
1224
  type: Type.TLiteral<"UnparsedURL">;
1170
1225
  url: Type.TString;
1171
1226
  text: Type.TOptional<Type.TString>;
1172
- }>]>]>, Type.TNull]>>;
1173
- citationContentHash: Type.TOptional<Type.TUnion<[Type.TString, Type.TNull]>>;
1174
- }>>;
1175
- updated: Type.TArray<Type.TObject<{
1227
+ }>]>]>;
1228
+ citationContentHash: Type.TString;
1229
+ axiom: Type.TNull;
1230
+ }>, Type.TObject<{
1231
+ digest: Type.TString;
1232
+ id: Type.TString;
1233
+ argumentId: Type.TString;
1234
+ version: Type.TNumber;
1235
+ claimForkId: Type.TUnion<[Type.TString, Type.TNull]>;
1236
+ creatorId: Type.TString;
1237
+ createdOn: import("../../schemas/common.js").TDateType;
1238
+ parentId: Type.TUnion<[Type.TString, Type.TNull]>;
1239
+ type: Type.TLiteral<"axiomatic">;
1240
+ kind: Type.TNull;
1241
+ title: Type.TNull;
1242
+ body: Type.TNull;
1243
+ titleContentHash: Type.TNull;
1244
+ url: Type.TNull;
1245
+ citation: Type.TNull;
1246
+ citationContentHash: Type.TNull;
1247
+ axiom: Type.TUnion<[Type.TLiteral<"definition">, Type.TLiteral<"stipulation">, Type.TLiteral<"logical-principle">, Type.TLiteral<"mathematical-principle">, Type.TLiteral<"domain-rule">, Type.TLiteral<"background-assumption">]>;
1248
+ }>]>>;
1249
+ updated: Type.TArray<Type.TUnion<[Type.TObject<{
1250
+ digest: Type.TString;
1251
+ id: Type.TString;
1252
+ argumentId: Type.TString;
1253
+ version: Type.TNumber;
1254
+ claimForkId: Type.TUnion<[Type.TString, Type.TNull]>;
1255
+ creatorId: Type.TString;
1256
+ createdOn: import("../../schemas/common.js").TDateType;
1257
+ parentId: Type.TUnion<[Type.TString, Type.TNull]>;
1176
1258
  title: Type.TString;
1177
1259
  body: Type.TString;
1260
+ titleContentHash: Type.TString;
1261
+ type: Type.TLiteral<"normal">;
1262
+ kind: Type.TUnion<[Type.TUnion<[Type.TLiteral<"definition">, Type.TLiteral<"criterion">]>, Type.TUnion<[Type.TLiteral<"conclusion">, Type.TLiteral<"claim">]>]>;
1263
+ url: Type.TNull;
1264
+ citation: Type.TNull;
1265
+ citationContentHash: Type.TNull;
1266
+ axiom: Type.TNull;
1267
+ }>, Type.TObject<{
1178
1268
  digest: Type.TString;
1179
1269
  id: Type.TString;
1180
1270
  argumentId: Type.TString;
@@ -1182,12 +1272,14 @@ export declare function getArgumentDiffImpl(config: TApiClientConfig, argumentId
1182
1272
  claimForkId: Type.TUnion<[Type.TString, Type.TNull]>;
1183
1273
  creatorId: Type.TString;
1184
1274
  createdOn: import("../../schemas/common.js").TDateType;
1185
- kind: Type.TUnion<[Type.TUnion<[Type.TLiteral<"definition">, Type.TLiteral<"criterion">]>, Type.TUnion<[Type.TLiteral<"conclusion">, Type.TLiteral<"claim">]>]>;
1186
- type: Type.TUnion<[Type.TLiteral<"normal">, Type.TLiteral<"citation">]>;
1187
1275
  parentId: Type.TUnion<[Type.TString, Type.TNull]>;
1188
- titleContentHash: Type.TOptional<Type.TUnion<[Type.TString, Type.TNull]>>;
1189
- url: Type.TOptional<Type.TUnion<[Type.TString, Type.TNull]>>;
1190
- citation: Type.TOptional<Type.TUnion<[Type.TUnion<[Type.TIntersect<[Type.TObject<{
1276
+ type: Type.TLiteral<"citation">;
1277
+ kind: Type.TNull;
1278
+ title: Type.TNull;
1279
+ body: Type.TNull;
1280
+ titleContentHash: Type.TNull;
1281
+ url: Type.TString;
1282
+ citation: Type.TUnion<[Type.TIntersect<[Type.TObject<{
1191
1283
  type: Type.TUnion<[Type.TLiteral<"Book">, Type.TLiteral<"Website">, Type.TLiteral<"BookChapter">, Type.TLiteral<"Handbook">, Type.TLiteral<"TechnicalReport">, Type.TLiteral<"Standard">, Type.TLiteral<"Thesis">, Type.TLiteral<"Patent">, Type.TLiteral<"Dictionary">, Type.TLiteral<"Encyclopedia">, Type.TLiteral<"JournalArticle">, Type.TLiteral<"MagazineArticle">, Type.TLiteral<"NewspaperArticle">, Type.TLiteral<"ConferencePaper">, Type.TLiteral<"ConferenceProceedings">, Type.TLiteral<"Dataset">, Type.TLiteral<"Software">, Type.TLiteral<"OnlineDocument">, Type.TLiteral<"Blog">, Type.TLiteral<"SocialMedia">, Type.TLiteral<"Preprint">, Type.TLiteral<"Video">, Type.TLiteral<"Podcast">, Type.TLiteral<"Course">, Type.TLiteral<"Presentation">, Type.TLiteral<"Interview">, Type.TLiteral<"PersonalCommunication">, Type.TLiteral<"Email">, Type.TLiteral<"Law">, Type.TLiteral<"CourtCase">, Type.TLiteral<"GovernmentPublication">, Type.TLiteral<"Datasheet">, Type.TLiteral<"ProductManual">, Type.TLiteral<"UnparsedURL">]>;
1192
1284
  }>, Type.TObject<{
1193
1285
  type: Type.TLiteral<"Book">;
@@ -1615,9 +1707,28 @@ export declare function getArgumentDiffImpl(config: TApiClientConfig, argumentId
1615
1707
  type: Type.TLiteral<"UnparsedURL">;
1616
1708
  url: Type.TString;
1617
1709
  text: Type.TOptional<Type.TString>;
1618
- }>]>]>, Type.TNull]>>;
1619
- citationContentHash: Type.TOptional<Type.TUnion<[Type.TString, Type.TNull]>>;
1620
- }>>;
1710
+ }>]>]>;
1711
+ citationContentHash: Type.TString;
1712
+ axiom: Type.TNull;
1713
+ }>, Type.TObject<{
1714
+ digest: Type.TString;
1715
+ id: Type.TString;
1716
+ argumentId: Type.TString;
1717
+ version: Type.TNumber;
1718
+ claimForkId: Type.TUnion<[Type.TString, Type.TNull]>;
1719
+ creatorId: Type.TString;
1720
+ createdOn: import("../../schemas/common.js").TDateType;
1721
+ parentId: Type.TUnion<[Type.TString, Type.TNull]>;
1722
+ type: Type.TLiteral<"axiomatic">;
1723
+ kind: Type.TNull;
1724
+ title: Type.TNull;
1725
+ body: Type.TNull;
1726
+ titleContentHash: Type.TNull;
1727
+ url: Type.TNull;
1728
+ citation: Type.TNull;
1729
+ citationContentHash: Type.TNull;
1730
+ axiom: Type.TUnion<[Type.TLiteral<"definition">, Type.TLiteral<"stipulation">, Type.TLiteral<"logical-principle">, Type.TLiteral<"mathematical-principle">, Type.TLiteral<"domain-rule">, Type.TLiteral<"background-assumption">]>;
1731
+ }>]>>;
1621
1732
  }>;
1622
1733
  propositionalLogic: Type.TObject<{
1623
1734
  variables: Type.TObject<{
@@ -1861,13 +1972,13 @@ export declare function getArgumentDiffImpl(config: TApiClientConfig, argumentId
1861
1972
  }>]>>;
1862
1973
  }>;
1863
1974
  }>;
1864
- claimCitations: Type.TObject<{
1975
+ citations: Type.TObject<{
1865
1976
  added: Type.TArray<Type.TIntersect<[Type.TObject<{
1866
1977
  id: Type.TString;
1867
- citingClaimId: Type.TString;
1868
- citingClaimVersion: Type.TNumber;
1869
- sourceClaimId: Type.TString;
1870
- sourceClaimVersion: Type.TNumber;
1978
+ claimId: Type.TString;
1979
+ claimVersion: Type.TNumber;
1980
+ supportingClaimId: Type.TString;
1981
+ supportingClaimVersion: Type.TNumber;
1871
1982
  checksum: Type.TString;
1872
1983
  }>, Type.TObject<{
1873
1984
  argumentId: Type.TString;
@@ -1875,10 +1986,10 @@ export declare function getArgumentDiffImpl(config: TApiClientConfig, argumentId
1875
1986
  }>]>>;
1876
1987
  removed: Type.TArray<Type.TIntersect<[Type.TObject<{
1877
1988
  id: Type.TString;
1878
- citingClaimId: Type.TString;
1879
- citingClaimVersion: Type.TNumber;
1880
- sourceClaimId: Type.TString;
1881
- sourceClaimVersion: Type.TNumber;
1989
+ claimId: Type.TString;
1990
+ claimVersion: Type.TNumber;
1991
+ supportingClaimId: Type.TString;
1992
+ supportingClaimVersion: Type.TNumber;
1882
1993
  checksum: Type.TString;
1883
1994
  }>, Type.TObject<{
1884
1995
  argumentId: Type.TString;
@@ -2242,9 +2353,25 @@ export declare function getEntireArgumentImpl(config: TApiClientConfig, argument
2242
2353
  titleContentHash: Type.TUnion<[Type.TString, Type.TNull]>;
2243
2354
  description: Type.TUnion<[Type.TString, Type.TNull]>;
2244
2355
  }>]>;
2245
- claims: Type.TArray<Type.TObject<{
2356
+ claims: Type.TArray<Type.TUnion<[Type.TObject<{
2357
+ digest: Type.TString;
2358
+ id: Type.TString;
2359
+ argumentId: Type.TString;
2360
+ version: Type.TNumber;
2361
+ claimForkId: Type.TUnion<[Type.TString, Type.TNull]>;
2362
+ creatorId: Type.TString;
2363
+ createdOn: import("../../schemas/common.js").TDateType;
2364
+ parentId: Type.TUnion<[Type.TString, Type.TNull]>;
2246
2365
  title: Type.TString;
2247
2366
  body: Type.TString;
2367
+ titleContentHash: Type.TString;
2368
+ type: Type.TLiteral<"normal">;
2369
+ kind: Type.TUnion<[Type.TUnion<[Type.TLiteral<"definition">, Type.TLiteral<"criterion">]>, Type.TUnion<[Type.TLiteral<"conclusion">, Type.TLiteral<"claim">]>]>;
2370
+ url: Type.TNull;
2371
+ citation: Type.TNull;
2372
+ citationContentHash: Type.TNull;
2373
+ axiom: Type.TNull;
2374
+ }>, Type.TObject<{
2248
2375
  digest: Type.TString;
2249
2376
  id: Type.TString;
2250
2377
  argumentId: Type.TString;
@@ -2252,12 +2379,14 @@ export declare function getEntireArgumentImpl(config: TApiClientConfig, argument
2252
2379
  claimForkId: Type.TUnion<[Type.TString, Type.TNull]>;
2253
2380
  creatorId: Type.TString;
2254
2381
  createdOn: import("../../schemas/common.js").TDateType;
2255
- kind: Type.TUnion<[Type.TUnion<[Type.TLiteral<"definition">, Type.TLiteral<"criterion">]>, Type.TUnion<[Type.TLiteral<"conclusion">, Type.TLiteral<"claim">]>]>;
2256
- type: Type.TUnion<[Type.TLiteral<"normal">, Type.TLiteral<"citation">]>;
2257
2382
  parentId: Type.TUnion<[Type.TString, Type.TNull]>;
2258
- titleContentHash: Type.TOptional<Type.TUnion<[Type.TString, Type.TNull]>>;
2259
- url: Type.TOptional<Type.TUnion<[Type.TString, Type.TNull]>>;
2260
- citation: Type.TOptional<Type.TUnion<[Type.TUnion<[Type.TIntersect<[Type.TObject<{
2383
+ type: Type.TLiteral<"citation">;
2384
+ kind: Type.TNull;
2385
+ title: Type.TNull;
2386
+ body: Type.TNull;
2387
+ titleContentHash: Type.TNull;
2388
+ url: Type.TString;
2389
+ citation: Type.TUnion<[Type.TIntersect<[Type.TObject<{
2261
2390
  type: Type.TUnion<[Type.TLiteral<"Book">, Type.TLiteral<"Website">, Type.TLiteral<"BookChapter">, Type.TLiteral<"Handbook">, Type.TLiteral<"TechnicalReport">, Type.TLiteral<"Standard">, Type.TLiteral<"Thesis">, Type.TLiteral<"Patent">, Type.TLiteral<"Dictionary">, Type.TLiteral<"Encyclopedia">, Type.TLiteral<"JournalArticle">, Type.TLiteral<"MagazineArticle">, Type.TLiteral<"NewspaperArticle">, Type.TLiteral<"ConferencePaper">, Type.TLiteral<"ConferenceProceedings">, Type.TLiteral<"Dataset">, Type.TLiteral<"Software">, Type.TLiteral<"OnlineDocument">, Type.TLiteral<"Blog">, Type.TLiteral<"SocialMedia">, Type.TLiteral<"Preprint">, Type.TLiteral<"Video">, Type.TLiteral<"Podcast">, Type.TLiteral<"Course">, Type.TLiteral<"Presentation">, Type.TLiteral<"Interview">, Type.TLiteral<"PersonalCommunication">, Type.TLiteral<"Email">, Type.TLiteral<"Law">, Type.TLiteral<"CourtCase">, Type.TLiteral<"GovernmentPublication">, Type.TLiteral<"Datasheet">, Type.TLiteral<"ProductManual">, Type.TLiteral<"UnparsedURL">]>;
2262
2391
  }>, Type.TObject<{
2263
2392
  type: Type.TLiteral<"Book">;
@@ -2685,9 +2814,28 @@ export declare function getEntireArgumentImpl(config: TApiClientConfig, argument
2685
2814
  type: Type.TLiteral<"UnparsedURL">;
2686
2815
  url: Type.TString;
2687
2816
  text: Type.TOptional<Type.TString>;
2688
- }>]>]>, Type.TNull]>>;
2689
- citationContentHash: Type.TOptional<Type.TUnion<[Type.TString, Type.TNull]>>;
2690
- }>>;
2817
+ }>]>]>;
2818
+ citationContentHash: Type.TString;
2819
+ axiom: Type.TNull;
2820
+ }>, Type.TObject<{
2821
+ digest: Type.TString;
2822
+ id: Type.TString;
2823
+ argumentId: Type.TString;
2824
+ version: Type.TNumber;
2825
+ claimForkId: Type.TUnion<[Type.TString, Type.TNull]>;
2826
+ creatorId: Type.TString;
2827
+ createdOn: import("../../schemas/common.js").TDateType;
2828
+ parentId: Type.TUnion<[Type.TString, Type.TNull]>;
2829
+ type: Type.TLiteral<"axiomatic">;
2830
+ kind: Type.TNull;
2831
+ title: Type.TNull;
2832
+ body: Type.TNull;
2833
+ titleContentHash: Type.TNull;
2834
+ url: Type.TNull;
2835
+ citation: Type.TNull;
2836
+ citationContentHash: Type.TNull;
2837
+ axiom: Type.TUnion<[Type.TLiteral<"definition">, Type.TLiteral<"stipulation">, Type.TLiteral<"logical-principle">, Type.TLiteral<"mathematical-principle">, Type.TLiteral<"domain-rule">, Type.TLiteral<"background-assumption">]>;
2838
+ }>]>>;
2691
2839
  propositionalLogic: Type.TObject<{
2692
2840
  argument: Type.TIntersect<[Type.TObject<{
2693
2841
  createdOn: import("../../schemas/common.js").TDateType;
@@ -2847,12 +2995,12 @@ export declare function getEntireArgumentImpl(config: TApiClientConfig, argument
2847
2995
  conclusionPremiseId: Type.TOptional<Type.TString>;
2848
2996
  config: Type.TOptional<Type.TUnknown>;
2849
2997
  }>;
2850
- claimCitations: Type.TArray<Type.TIntersect<[Type.TObject<{
2998
+ citations: Type.TArray<Type.TIntersect<[Type.TObject<{
2851
2999
  id: Type.TString;
2852
- citingClaimId: Type.TString;
2853
- citingClaimVersion: Type.TNumber;
2854
- sourceClaimId: Type.TString;
2855
- sourceClaimVersion: Type.TNumber;
3000
+ claimId: Type.TString;
3001
+ claimVersion: Type.TNumber;
3002
+ supportingClaimId: Type.TString;
3003
+ supportingClaimVersion: Type.TNumber;
2856
3004
  checksum: Type.TString;
2857
3005
  }>, Type.TObject<{
2858
3006
  argumentId: Type.TString;
package/dist/api-client/argument/index.d.ts.map CHANGED
@@ -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;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;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"}
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"}
package/dist/api-client/user/citations.d.ts CHANGED
@@ -4,9 +4,25 @@ export declare function getUserCitationsImpl(config: TApiClientConfig): Promise<
4
4
  errorMessage: import("typebox").TString;
5
5
  statusCode: import("typebox").TNumber;
6
6
  }>> | import("../../schemas/common.js").ParsedSuccess<import("typebox").TArray<import("typebox").TObject<{
7
- citation: import("typebox").TObject<{
7
+ citation: import("typebox").TUnion<[import("typebox").TObject<{
8
+ digest: import("typebox").TString;
9
+ id: import("typebox").TString;
10
+ argumentId: import("typebox").TString;
11
+ version: import("typebox").TNumber;
12
+ claimForkId: import("typebox").TUnion<[import("typebox").TString, import("typebox").TNull]>;
13
+ creatorId: import("typebox").TString;
14
+ createdOn: import("../../schemas/common.js").TDateType;
15
+ parentId: import("typebox").TUnion<[import("typebox").TString, import("typebox").TNull]>;
8
16
  title: import("typebox").TString;
9
17
  body: import("typebox").TString;
18
+ titleContentHash: import("typebox").TString;
19
+ type: import("typebox").TLiteral<"normal">;
20
+ kind: import("typebox").TUnion<[import("typebox").TUnion<[import("typebox").TLiteral<"definition">, import("typebox").TLiteral<"criterion">]>, import("typebox").TUnion<[import("typebox").TLiteral<"conclusion">, import("typebox").TLiteral<"claim">]>]>;
21
+ url: import("typebox").TNull;
22
+ citation: import("typebox").TNull;
23
+ citationContentHash: import("typebox").TNull;
24
+ axiom: import("typebox").TNull;
25
+ }>, import("typebox").TObject<{
10
26
  digest: import("typebox").TString;
11
27
  id: import("typebox").TString;
12
28
  argumentId: import("typebox").TString;
@@ -14,12 +30,14 @@ export declare function getUserCitationsImpl(config: TApiClientConfig): Promise<
14
30
  claimForkId: import("typebox").TUnion<[import("typebox").TString, import("typebox").TNull]>;
15
31
  creatorId: import("typebox").TString;
16
32
  createdOn: import("../../schemas/common.js").TDateType;
17
- kind: import("typebox").TUnion<[import("typebox").TUnion<[import("typebox").TLiteral<"definition">, import("typebox").TLiteral<"criterion">]>, import("typebox").TUnion<[import("typebox").TLiteral<"conclusion">, import("typebox").TLiteral<"claim">]>]>;
18
- type: import("typebox").TUnion<[import("typebox").TLiteral<"normal">, import("typebox").TLiteral<"citation">]>;
19
33
  parentId: import("typebox").TUnion<[import("typebox").TString, import("typebox").TNull]>;
20
- titleContentHash: import("typebox").TOptional<import("typebox").TUnion<[import("typebox").TString, import("typebox").TNull]>>;
21
- url: import("typebox").TOptional<import("typebox").TUnion<[import("typebox").TString, import("typebox").TNull]>>;
22
- citation: import("typebox").TOptional<import("typebox").TUnion<[import("typebox").TUnion<[import("typebox").TIntersect<[import("typebox").TObject<{
34
+ type: import("typebox").TLiteral<"citation">;
35
+ kind: import("typebox").TNull;
36
+ title: import("typebox").TNull;
37
+ body: import("typebox").TNull;
38
+ titleContentHash: import("typebox").TNull;
39
+ url: import("typebox").TString;
40
+ citation: import("typebox").TUnion<[import("typebox").TIntersect<[import("typebox").TObject<{
23
41
  type: import("typebox").TUnion<[import("typebox").TLiteral<"Book">, import("typebox").TLiteral<"Website">, import("typebox").TLiteral<"BookChapter">, import("typebox").TLiteral<"Handbook">, import("typebox").TLiteral<"TechnicalReport">, import("typebox").TLiteral<"Standard">, import("typebox").TLiteral<"Thesis">, import("typebox").TLiteral<"Patent">, import("typebox").TLiteral<"Dictionary">, import("typebox").TLiteral<"Encyclopedia">, import("typebox").TLiteral<"JournalArticle">, import("typebox").TLiteral<"MagazineArticle">, import("typebox").TLiteral<"NewspaperArticle">, import("typebox").TLiteral<"ConferencePaper">, import("typebox").TLiteral<"ConferenceProceedings">, import("typebox").TLiteral<"Dataset">, import("typebox").TLiteral<"Software">, import("typebox").TLiteral<"OnlineDocument">, import("typebox").TLiteral<"Blog">, import("typebox").TLiteral<"SocialMedia">, import("typebox").TLiteral<"Preprint">, import("typebox").TLiteral<"Video">, import("typebox").TLiteral<"Podcast">, import("typebox").TLiteral<"Course">, import("typebox").TLiteral<"Presentation">, import("typebox").TLiteral<"Interview">, import("typebox").TLiteral<"PersonalCommunication">, import("typebox").TLiteral<"Email">, import("typebox").TLiteral<"Law">, import("typebox").TLiteral<"CourtCase">, import("typebox").TLiteral<"GovernmentPublication">, import("typebox").TLiteral<"Datasheet">, import("typebox").TLiteral<"ProductManual">, import("typebox").TLiteral<"UnparsedURL">]>;
24
42
  }>, import("typebox").TObject<{
25
43
  type: import("typebox").TLiteral<"Book">;
@@ -447,9 +465,28 @@ export declare function getUserCitationsImpl(config: TApiClientConfig): Promise<
447
465
  type: import("typebox").TLiteral<"UnparsedURL">;
448
466
  url: import("typebox").TString;
449
467
  text: import("typebox").TOptional<import("typebox").TString>;
450
- }>]>]>, import("typebox").TNull]>>;
451
- citationContentHash: import("typebox").TOptional<import("typebox").TUnion<[import("typebox").TString, import("typebox").TNull]>>;
452
- }>;
468
+ }>]>]>;
469
+ citationContentHash: import("typebox").TString;
470
+ axiom: import("typebox").TNull;
471
+ }>, import("typebox").TObject<{
472
+ digest: import("typebox").TString;
473
+ id: import("typebox").TString;
474
+ argumentId: import("typebox").TString;
475
+ version: import("typebox").TNumber;
476
+ claimForkId: import("typebox").TUnion<[import("typebox").TString, import("typebox").TNull]>;
477
+ creatorId: import("typebox").TString;
478
+ createdOn: import("../../schemas/common.js").TDateType;
479
+ parentId: import("typebox").TUnion<[import("typebox").TString, import("typebox").TNull]>;
480
+ type: import("typebox").TLiteral<"axiomatic">;
481
+ kind: import("typebox").TNull;
482
+ title: import("typebox").TNull;
483
+ body: import("typebox").TNull;
484
+ titleContentHash: import("typebox").TNull;
485
+ url: import("typebox").TNull;
486
+ citation: import("typebox").TNull;
487
+ citationContentHash: import("typebox").TNull;
488
+ axiom: import("typebox").TUnion<[import("typebox").TLiteral<"definition">, import("typebox").TLiteral<"stipulation">, import("typebox").TLiteral<"logical-principle">, import("typebox").TLiteral<"mathematical-principle">, import("typebox").TLiteral<"domain-rule">, import("typebox").TLiteral<"background-assumption">]>;
489
+ }>]>;
453
490
  usages: import("typebox").TArray<import("typebox").TObject<{
454
491
  argument: import("typebox").TObject<{
455
492
  id: import("typebox").TString;
@@ -457,9 +494,25 @@ export declare function getUserCitationsImpl(config: TApiClientConfig): Promise<
457
494
  published: import("typebox").TBoolean;
458
495
  }>;
459
496
  version: import("typebox").TNumber;
460
- claim: import("typebox").TObject<{
497
+ claim: import("typebox").TUnion<[import("typebox").TObject<{
498
+ digest: import("typebox").TString;
499
+ id: import("typebox").TString;
500
+ argumentId: import("typebox").TString;
501
+ version: import("typebox").TNumber;
502
+ claimForkId: import("typebox").TUnion<[import("typebox").TString, import("typebox").TNull]>;
503
+ creatorId: import("typebox").TString;
504
+ createdOn: import("../../schemas/common.js").TDateType;
505
+ parentId: import("typebox").TUnion<[import("typebox").TString, import("typebox").TNull]>;
461
506
  title: import("typebox").TString;
462
507
  body: import("typebox").TString;
508
+ titleContentHash: import("typebox").TString;
509
+ type: import("typebox").TLiteral<"normal">;
510
+ kind: import("typebox").TUnion<[import("typebox").TUnion<[import("typebox").TLiteral<"definition">, import("typebox").TLiteral<"criterion">]>, import("typebox").TUnion<[import("typebox").TLiteral<"conclusion">, import("typebox").TLiteral<"claim">]>]>;
511
+ url: import("typebox").TNull;
512
+ citation: import("typebox").TNull;
513
+ citationContentHash: import("typebox").TNull;
514
+ axiom: import("typebox").TNull;
515
+ }>, import("typebox").TObject<{
463
516
  digest: import("typebox").TString;
464
517
  id: import("typebox").TString;
465
518
  argumentId: import("typebox").TString;
@@ -467,12 +520,14 @@ export declare function getUserCitationsImpl(config: TApiClientConfig): Promise<
467
520
  claimForkId: import("typebox").TUnion<[import("typebox").TString, import("typebox").TNull]>;
468
521
  creatorId: import("typebox").TString;
469
522
  createdOn: import("../../schemas/common.js").TDateType;
470
- kind: import("typebox").TUnion<[import("typebox").TUnion<[import("typebox").TLiteral<"definition">, import("typebox").TLiteral<"criterion">]>, import("typebox").TUnion<[import("typebox").TLiteral<"conclusion">, import("typebox").TLiteral<"claim">]>]>;
471
- type: import("typebox").TUnion<[import("typebox").TLiteral<"normal">, import("typebox").TLiteral<"citation">]>;
472
523
  parentId: import("typebox").TUnion<[import("typebox").TString, import("typebox").TNull]>;
473
- titleContentHash: import("typebox").TOptional<import("typebox").TUnion<[import("typebox").TString, import("typebox").TNull]>>;
474
- url: import("typebox").TOptional<import("typebox").TUnion<[import("typebox").TString, import("typebox").TNull]>>;
475
- citation: import("typebox").TOptional<import("typebox").TUnion<[import("typebox").TUnion<[import("typebox").TIntersect<[import("typebox").TObject<{
524
+ type: import("typebox").TLiteral<"citation">;
525
+ kind: import("typebox").TNull;
526
+ title: import("typebox").TNull;
527
+ body: import("typebox").TNull;
528
+ titleContentHash: import("typebox").TNull;
529
+ url: import("typebox").TString;
530
+ citation: import("typebox").TUnion<[import("typebox").TIntersect<[import("typebox").TObject<{
476
531
  type: import("typebox").TUnion<[import("typebox").TLiteral<"Book">, import("typebox").TLiteral<"Website">, import("typebox").TLiteral<"BookChapter">, import("typebox").TLiteral<"Handbook">, import("typebox").TLiteral<"TechnicalReport">, import("typebox").TLiteral<"Standard">, import("typebox").TLiteral<"Thesis">, import("typebox").TLiteral<"Patent">, import("typebox").TLiteral<"Dictionary">, import("typebox").TLiteral<"Encyclopedia">, import("typebox").TLiteral<"JournalArticle">, import("typebox").TLiteral<"MagazineArticle">, import("typebox").TLiteral<"NewspaperArticle">, import("typebox").TLiteral<"ConferencePaper">, import("typebox").TLiteral<"ConferenceProceedings">, import("typebox").TLiteral<"Dataset">, import("typebox").TLiteral<"Software">, import("typebox").TLiteral<"OnlineDocument">, import("typebox").TLiteral<"Blog">, import("typebox").TLiteral<"SocialMedia">, import("typebox").TLiteral<"Preprint">, import("typebox").TLiteral<"Video">, import("typebox").TLiteral<"Podcast">, import("typebox").TLiteral<"Course">, import("typebox").TLiteral<"Presentation">, import("typebox").TLiteral<"Interview">, import("typebox").TLiteral<"PersonalCommunication">, import("typebox").TLiteral<"Email">, import("typebox").TLiteral<"Law">, import("typebox").TLiteral<"CourtCase">, import("typebox").TLiteral<"GovernmentPublication">, import("typebox").TLiteral<"Datasheet">, import("typebox").TLiteral<"ProductManual">, import("typebox").TLiteral<"UnparsedURL">]>;
477
532
  }>, import("typebox").TObject<{
478
533
  type: import("typebox").TLiteral<"Book">;
@@ -900,9 +955,28 @@ export declare function getUserCitationsImpl(config: TApiClientConfig): Promise<
900
955
  type: import("typebox").TLiteral<"UnparsedURL">;
901
956
  url: import("typebox").TString;
902
957
  text: import("typebox").TOptional<import("typebox").TString>;
903
- }>]>]>, import("typebox").TNull]>>;
904
- citationContentHash: import("typebox").TOptional<import("typebox").TUnion<[import("typebox").TString, import("typebox").TNull]>>;
905
- }>;
958
+ }>]>]>;
959
+ citationContentHash: import("typebox").TString;
960
+ axiom: import("typebox").TNull;
961
+ }>, import("typebox").TObject<{
962
+ digest: import("typebox").TString;
963
+ id: import("typebox").TString;
964
+ argumentId: import("typebox").TString;
965
+ version: import("typebox").TNumber;
966
+ claimForkId: import("typebox").TUnion<[import("typebox").TString, import("typebox").TNull]>;
967
+ creatorId: import("typebox").TString;
968
+ createdOn: import("../../schemas/common.js").TDateType;
969
+ parentId: import("typebox").TUnion<[import("typebox").TString, import("typebox").TNull]>;
970
+ type: import("typebox").TLiteral<"axiomatic">;
971
+ kind: import("typebox").TNull;
972
+ title: import("typebox").TNull;
973
+ body: import("typebox").TNull;
974
+ titleContentHash: import("typebox").TNull;
975
+ url: import("typebox").TNull;
976
+ citation: import("typebox").TNull;
977
+ citationContentHash: import("typebox").TNull;
978
+ axiom: import("typebox").TUnion<[import("typebox").TLiteral<"definition">, import("typebox").TLiteral<"stipulation">, import("typebox").TLiteral<"logical-principle">, import("typebox").TLiteral<"mathematical-principle">, import("typebox").TLiteral<"domain-rule">, import("typebox").TLiteral<"background-assumption">]>;
979
+ }>]>;
906
980
  expressions: import("typebox").TArray<import("typebox").TObject<{
907
981
  id: import("typebox").TString;
908
982
  premiseId: import("typebox").TString;
package/dist/api-client/user/citations.d.ts.map CHANGED
@@ -1 +1 @@
1
- {"version":3,"file":"citations.d.ts","sourceRoot":"","sources":["../../../src/api-client/user/citations.ts"],"names":[],"mappings":"AAEA,OAAO,KAAK,EAAE,gBAAgB,EAAE,MAAM,cAAc,CAAA;AAGpD,wBAAsB,oBAAoB,CAAC,MAAM,EAAE,gBAAgB;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;MAQlE"}
1
+ {"version":3,"file":"citations.d.ts","sourceRoot":"","sources":["../../../src/api-client/user/citations.ts"],"names":[],"mappings":"AAEA,OAAO,KAAK,EAAE,gBAAgB,EAAE,MAAM,cAAc,CAAA;AAGpD,wBAAsB,oBAAoB,CAAC,MAAM,EAAE,gBAAgB;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;MAQlE"}