@proposit/shared 0.7.2 → 0.9.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 (83) 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/axioms.d.ts +4 -0
  12. package/dist/consts/axioms.d.ts.map +1 -0
  13. package/dist/consts/axioms.js +17 -0
  14. package/dist/consts/axioms.js.map +1 -0
  15. package/dist/consts/index.d.ts +1 -0
  16. package/dist/consts/index.d.ts.map +1 -1
  17. package/dist/consts/index.js +1 -0
  18. package/dist/consts/index.js.map +1 -1
  19. package/dist/engine/derivation.d.ts +1 -2
  20. package/dist/engine/derivation.d.ts.map +1 -1
  21. package/dist/engine/derivation.js +35 -1
  22. package/dist/engine/derivation.js.map +1 -1
  23. package/dist/engine/engine.d.ts +24 -22
  24. package/dist/engine/engine.d.ts.map +1 -1
  25. package/dist/engine/engine.js +78 -86
  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/expressions.d.ts.map +1 -1
  32. package/dist/engine/mutations/expressions.js +5 -3
  33. package/dist/engine/mutations/expressions.js.map +1 -1
  34. package/dist/engine/mutations/premises.d.ts +17 -2
  35. package/dist/engine/mutations/premises.d.ts.map +1 -1
  36. package/dist/engine/mutations/premises.js +86 -28
  37. package/dist/engine/mutations/premises.js.map +1 -1
  38. package/dist/engine/optimistic/verification.d.ts.map +1 -1
  39. package/dist/engine/optimistic/verification.js +9 -7
  40. package/dist/engine/optimistic/verification.js.map +1 -1
  41. package/dist/engine/review/review-engine.d.ts.map +1 -1
  42. package/dist/engine/review/review-engine.js +8 -1
  43. package/dist/engine/review/review-engine.js.map +1 -1
  44. package/dist/engine/text-tree.d.ts +2 -1
  45. package/dist/engine/text-tree.d.ts.map +1 -1
  46. package/dist/engine/text-tree.js +8 -3
  47. package/dist/engine/text-tree.js.map +1 -1
  48. package/dist/schemas/api/argument/batch/provision.d.ts +46 -9
  49. package/dist/schemas/api/argument/batch/provision.d.ts.map +1 -1
  50. package/dist/schemas/api/argument/claims.d.ts +147 -35
  51. package/dist/schemas/api/argument/claims.d.ts.map +1 -1
  52. package/dist/schemas/api/argument/index.d.ts +51 -14
  53. package/dist/schemas/api/argument/index.d.ts.map +1 -1
  54. package/dist/schemas/api/argument/index.js +1 -1
  55. package/dist/schemas/api/argument/index.js.map +1 -1
  56. package/dist/schemas/api/citations.d.ts +230 -45
  57. package/dist/schemas/api/citations.d.ts.map +1 -1
  58. package/dist/schemas/api/claims.d.ts +92 -18
  59. package/dist/schemas/api/claims.d.ts.map +1 -1
  60. package/dist/schemas/api/grammar-violations.d.ts +17 -0
  61. package/dist/schemas/api/grammar-violations.d.ts.map +1 -0
  62. package/dist/schemas/api/grammar-violations.js +18 -0
  63. package/dist/schemas/api/grammar-violations.js.map +1 -0
  64. package/dist/schemas/grammar/index.d.ts +3 -0
  65. package/dist/schemas/grammar/index.d.ts.map +1 -0
  66. package/dist/schemas/grammar/index.js +23 -0
  67. package/dist/schemas/grammar/index.js.map +1 -0
  68. package/dist/schemas/model/arguments.d.ts +147 -36
  69. package/dist/schemas/model/arguments.d.ts.map +1 -1
  70. package/dist/schemas/model/arguments.js +1 -1
  71. package/dist/schemas/model/arguments.js.map +1 -1
  72. package/dist/schemas/model/citations.d.ts +4 -4
  73. package/dist/schemas/model/citations.js +2 -2
  74. package/dist/schemas/model/citations.js.map +1 -1
  75. package/dist/schemas/model/claims.d.ts +127 -22
  76. package/dist/schemas/model/claims.d.ts.map +1 -1
  77. package/dist/schemas/model/claims.js +97 -24
  78. package/dist/schemas/model/claims.js.map +1 -1
  79. package/dist/schemas/review.d.ts +13 -13
  80. package/dist/schemas/review.d.ts.map +1 -1
  81. package/dist/schemas/review.js +10 -2
  82. package/dist/schemas/review.js.map +1 -1
  83. package/package.json +13 -3
package/dist/schemas/api/argument/claims.d.ts CHANGED
@@ -3,13 +3,30 @@ export declare const ClaimCreationRequestSchema: Type.TObject<{
3
3
  claimData: Type.TObject<{
4
4
  title: Type.TString;
5
5
  body: Type.TString;
6
+ titleContentHash: Type.TString;
6
7
  }>;
7
8
  }>;
8
9
  export type TClaimCreationRequestSchema = Static<typeof ClaimCreationRequestSchema>;
9
10
  export declare const ClaimCreationResponseSchema: Type.TObject<{
10
- newClaim: Type.TObject<{
11
+ newClaim: Type.TUnion<[Type.TObject<{
12
+ digest: Type.TString;
13
+ id: Type.TString;
14
+ argumentId: Type.TString;
15
+ version: Type.TNumber;
16
+ claimForkId: Type.TUnion<[Type.TString, Type.TNull]>;
17
+ creatorId: Type.TString;
18
+ createdOn: import("../../common.js").TDateType;
19
+ parentId: Type.TUnion<[Type.TString, Type.TNull]>;
11
20
  title: Type.TString;
12
21
  body: Type.TString;
22
+ titleContentHash: Type.TString;
23
+ type: Type.TLiteral<"normal">;
24
+ kind: Type.TUnion<[Type.TUnion<[Type.TLiteral<"definition">, Type.TLiteral<"criterion">]>, Type.TUnion<[Type.TLiteral<"conclusion">, Type.TLiteral<"claim">]>]>;
25
+ url: Type.TNull;
26
+ citation: Type.TNull;
27
+ citationContentHash: Type.TNull;
28
+ axiom: Type.TNull;
29
+ }>, Type.TObject<{
13
30
  digest: Type.TString;
14
31
  id: Type.TString;
15
32
  argumentId: Type.TString;
@@ -17,12 +34,14 @@ export declare const ClaimCreationResponseSchema: Type.TObject<{
17
34
  claimForkId: Type.TUnion<[Type.TString, Type.TNull]>;
18
35
  creatorId: Type.TString;
19
36
  createdOn: import("../../common.js").TDateType;
20
- kind: Type.TUnion<[Type.TUnion<[Type.TLiteral<"definition">, Type.TLiteral<"criterion">]>, Type.TUnion<[Type.TLiteral<"conclusion">, Type.TLiteral<"claim">]>]>;
21
- type: Type.TUnion<[Type.TLiteral<"normal">, Type.TLiteral<"citation">]>;
22
37
  parentId: Type.TUnion<[Type.TString, Type.TNull]>;
23
- titleContentHash: Type.TOptional<Type.TUnion<[Type.TString, Type.TNull]>>;
24
- url: Type.TOptional<Type.TUnion<[Type.TString, Type.TNull]>>;
25
- citation: Type.TOptional<Type.TUnion<[Type.TUnion<[Type.TIntersect<[Type.TObject<{
38
+ type: Type.TLiteral<"citation">;
39
+ kind: Type.TNull;
40
+ title: Type.TNull;
41
+ body: Type.TNull;
42
+ titleContentHash: Type.TNull;
43
+ url: Type.TString;
44
+ citation: Type.TUnion<[Type.TIntersect<[Type.TObject<{
26
45
  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">]>;
27
46
  }>, Type.TObject<{
28
47
  type: Type.TLiteral<"Book">;
@@ -450,9 +469,28 @@ export declare const ClaimCreationResponseSchema: Type.TObject<{
450
469
  type: Type.TLiteral<"UnparsedURL">;
451
470
  url: Type.TString;
452
471
  text: Type.TOptional<Type.TString>;
453
- }>]>]>, Type.TNull]>>;
454
- citationContentHash: Type.TOptional<Type.TUnion<[Type.TString, Type.TNull]>>;
455
- }>;
472
+ }>]>]>;
473
+ citationContentHash: Type.TString;
474
+ axiom: Type.TNull;
475
+ }>, Type.TObject<{
476
+ digest: Type.TString;
477
+ id: Type.TString;
478
+ argumentId: Type.TString;
479
+ version: Type.TNumber;
480
+ claimForkId: Type.TUnion<[Type.TString, Type.TNull]>;
481
+ creatorId: Type.TString;
482
+ createdOn: import("../../common.js").TDateType;
483
+ parentId: Type.TUnion<[Type.TString, Type.TNull]>;
484
+ type: Type.TLiteral<"axiomatic">;
485
+ kind: Type.TNull;
486
+ title: Type.TNull;
487
+ body: Type.TNull;
488
+ titleContentHash: Type.TNull;
489
+ url: Type.TNull;
490
+ citation: Type.TNull;
491
+ citationContentHash: Type.TNull;
492
+ 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">]>;
493
+ }>]>;
456
494
  newPropositionalVariable: Type.TUnion<[Type.TUnion<[Type.TIntersect<[Type.TObject<{
457
495
  claimId: Type.TString;
458
496
  claimVersion: Type.TNumber;
@@ -536,9 +574,25 @@ export declare const ClaimCreationResponseSchema: Type.TObject<{
536
574
  }>;
537
575
  export type TClaimCreationResponse = Static<typeof ClaimCreationResponseSchema>;
538
576
  export declare const ClaimDeletionResponseSchema: Type.TObject<{
539
- deletedClaims: Type.TArray<Type.TObject<{
577
+ deletedClaims: Type.TArray<Type.TUnion<[Type.TObject<{
578
+ digest: Type.TString;
579
+ id: Type.TString;
580
+ argumentId: Type.TString;
581
+ version: Type.TNumber;
582
+ claimForkId: Type.TUnion<[Type.TString, Type.TNull]>;
583
+ creatorId: Type.TString;
584
+ createdOn: import("../../common.js").TDateType;
585
+ parentId: Type.TUnion<[Type.TString, Type.TNull]>;
540
586
  title: Type.TString;
541
587
  body: Type.TString;
588
+ titleContentHash: Type.TString;
589
+ type: Type.TLiteral<"normal">;
590
+ kind: Type.TUnion<[Type.TUnion<[Type.TLiteral<"definition">, Type.TLiteral<"criterion">]>, Type.TUnion<[Type.TLiteral<"conclusion">, Type.TLiteral<"claim">]>]>;
591
+ url: Type.TNull;
592
+ citation: Type.TNull;
593
+ citationContentHash: Type.TNull;
594
+ axiom: Type.TNull;
595
+ }>, Type.TObject<{
542
596
  digest: Type.TString;
543
597
  id: Type.TString;
544
598
  argumentId: Type.TString;
@@ -546,12 +600,14 @@ export declare const ClaimDeletionResponseSchema: Type.TObject<{
546
600
  claimForkId: Type.TUnion<[Type.TString, Type.TNull]>;
547
601
  creatorId: Type.TString;
548
602
  createdOn: import("../../common.js").TDateType;
549
- kind: Type.TUnion<[Type.TUnion<[Type.TLiteral<"definition">, Type.TLiteral<"criterion">]>, Type.TUnion<[Type.TLiteral<"conclusion">, Type.TLiteral<"claim">]>]>;
550
- type: Type.TUnion<[Type.TLiteral<"normal">, Type.TLiteral<"citation">]>;
551
603
  parentId: Type.TUnion<[Type.TString, Type.TNull]>;
552
- titleContentHash: Type.TOptional<Type.TUnion<[Type.TString, Type.TNull]>>;
553
- url: Type.TOptional<Type.TUnion<[Type.TString, Type.TNull]>>;
554
- citation: Type.TOptional<Type.TUnion<[Type.TUnion<[Type.TIntersect<[Type.TObject<{
604
+ type: Type.TLiteral<"citation">;
605
+ kind: Type.TNull;
606
+ title: Type.TNull;
607
+ body: Type.TNull;
608
+ titleContentHash: Type.TNull;
609
+ url: Type.TString;
610
+ citation: Type.TUnion<[Type.TIntersect<[Type.TObject<{
555
611
  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">]>;
556
612
  }>, Type.TObject<{
557
613
  type: Type.TLiteral<"Book">;
@@ -979,15 +1035,50 @@ export declare const ClaimDeletionResponseSchema: Type.TObject<{
979
1035
  type: Type.TLiteral<"UnparsedURL">;
980
1036
  url: Type.TString;
981
1037
  text: Type.TOptional<Type.TString>;
982
- }>]>]>, Type.TNull]>>;
983
- citationContentHash: Type.TOptional<Type.TUnion<[Type.TString, Type.TNull]>>;
984
- }>>;
1038
+ }>]>]>;
1039
+ citationContentHash: Type.TString;
1040
+ axiom: Type.TNull;
1041
+ }>, Type.TObject<{
1042
+ digest: Type.TString;
1043
+ id: Type.TString;
1044
+ argumentId: Type.TString;
1045
+ version: Type.TNumber;
1046
+ claimForkId: Type.TUnion<[Type.TString, Type.TNull]>;
1047
+ creatorId: Type.TString;
1048
+ createdOn: import("../../common.js").TDateType;
1049
+ parentId: Type.TUnion<[Type.TString, Type.TNull]>;
1050
+ type: Type.TLiteral<"axiomatic">;
1051
+ kind: Type.TNull;
1052
+ title: Type.TNull;
1053
+ body: Type.TNull;
1054
+ titleContentHash: Type.TNull;
1055
+ url: Type.TNull;
1056
+ citation: Type.TNull;
1057
+ citationContentHash: Type.TNull;
1058
+ 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">]>;
1059
+ }>]>>;
985
1060
  }>;
986
1061
  export type TClaimDeletionResponse = Static<typeof ClaimDeletionResponseSchema>;
987
1062
  export declare const CitationCreationSchema: Type.TObject<{
988
- citation: Type.TObject<{
1063
+ citation: Type.TUnion<[Type.TObject<{
1064
+ digest: Type.TString;
1065
+ id: Type.TString;
1066
+ argumentId: Type.TString;
1067
+ version: Type.TNumber;
1068
+ claimForkId: Type.TUnion<[Type.TString, Type.TNull]>;
1069
+ creatorId: Type.TString;
1070
+ createdOn: import("../../common.js").TDateType;
1071
+ parentId: Type.TUnion<[Type.TString, Type.TNull]>;
989
1072
  title: Type.TString;
990
1073
  body: Type.TString;
1074
+ titleContentHash: Type.TString;
1075
+ type: Type.TLiteral<"normal">;
1076
+ kind: Type.TUnion<[Type.TUnion<[Type.TLiteral<"definition">, Type.TLiteral<"criterion">]>, Type.TUnion<[Type.TLiteral<"conclusion">, Type.TLiteral<"claim">]>]>;
1077
+ url: Type.TNull;
1078
+ citation: Type.TNull;
1079
+ citationContentHash: Type.TNull;
1080
+ axiom: Type.TNull;
1081
+ }>, Type.TObject<{
991
1082
  digest: Type.TString;
992
1083
  id: Type.TString;
993
1084
  argumentId: Type.TString;
@@ -995,12 +1086,14 @@ export declare const CitationCreationSchema: Type.TObject<{
995
1086
  claimForkId: Type.TUnion<[Type.TString, Type.TNull]>;
996
1087
  creatorId: Type.TString;
997
1088
  createdOn: import("../../common.js").TDateType;
998
- kind: Type.TUnion<[Type.TUnion<[Type.TLiteral<"definition">, Type.TLiteral<"criterion">]>, Type.TUnion<[Type.TLiteral<"conclusion">, Type.TLiteral<"claim">]>]>;
999
- type: Type.TUnion<[Type.TLiteral<"normal">, Type.TLiteral<"citation">]>;
1000
1089
  parentId: Type.TUnion<[Type.TString, Type.TNull]>;
1001
- titleContentHash: Type.TOptional<Type.TUnion<[Type.TString, Type.TNull]>>;
1002
- url: Type.TOptional<Type.TUnion<[Type.TString, Type.TNull]>>;
1003
- citation: Type.TOptional<Type.TUnion<[Type.TUnion<[Type.TIntersect<[Type.TObject<{
1090
+ type: Type.TLiteral<"citation">;
1091
+ kind: Type.TNull;
1092
+ title: Type.TNull;
1093
+ body: Type.TNull;
1094
+ titleContentHash: Type.TNull;
1095
+ url: Type.TString;
1096
+ citation: Type.TUnion<[Type.TIntersect<[Type.TObject<{
1004
1097
  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">]>;
1005
1098
  }>, Type.TObject<{
1006
1099
  type: Type.TLiteral<"Book">;
@@ -1428,15 +1521,34 @@ export declare const CitationCreationSchema: Type.TObject<{
1428
1521
  type: Type.TLiteral<"UnparsedURL">;
1429
1522
  url: Type.TString;
1430
1523
  text: Type.TOptional<Type.TString>;
1431
- }>]>]>, Type.TNull]>>;
1432
- citationContentHash: Type.TOptional<Type.TUnion<[Type.TString, Type.TNull]>>;
1433
- }>;
1524
+ }>]>]>;
1525
+ citationContentHash: Type.TString;
1526
+ axiom: Type.TNull;
1527
+ }>, Type.TObject<{
1528
+ digest: Type.TString;
1529
+ id: Type.TString;
1530
+ argumentId: Type.TString;
1531
+ version: Type.TNumber;
1532
+ claimForkId: Type.TUnion<[Type.TString, Type.TNull]>;
1533
+ creatorId: Type.TString;
1534
+ createdOn: import("../../common.js").TDateType;
1535
+ parentId: Type.TUnion<[Type.TString, Type.TNull]>;
1536
+ type: Type.TLiteral<"axiomatic">;
1537
+ kind: Type.TNull;
1538
+ title: Type.TNull;
1539
+ body: Type.TNull;
1540
+ titleContentHash: Type.TNull;
1541
+ url: Type.TNull;
1542
+ citation: Type.TNull;
1543
+ citationContentHash: Type.TNull;
1544
+ 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">]>;
1545
+ }>]>;
1434
1546
  citationEdge: Type.TIntersect<[Type.TObject<{
1435
1547
  id: Type.TString;
1436
- citingClaimId: Type.TString;
1437
- citingClaimVersion: Type.TNumber;
1438
- sourceClaimId: Type.TString;
1439
- sourceClaimVersion: Type.TNumber;
1548
+ claimId: Type.TString;
1549
+ claimVersion: Type.TNumber;
1550
+ supportingClaimId: Type.TString;
1551
+ supportingClaimVersion: Type.TNumber;
1440
1552
  checksum: Type.TString;
1441
1553
  }>, Type.TObject<{
1442
1554
  argumentId: Type.TString;
@@ -1447,10 +1559,10 @@ export type TCitationCreation = Static<typeof CitationCreationSchema>;
1447
1559
  export declare const ClaimCitationDeleteResponseSchema: Type.TObject<{
1448
1560
  deletedCitations: Type.TArray<Type.TIntersect<[Type.TObject<{
1449
1561
  id: Type.TString;
1450
- citingClaimId: Type.TString;
1451
- citingClaimVersion: Type.TNumber;
1452
- sourceClaimId: Type.TString;
1453
- sourceClaimVersion: Type.TNumber;
1562
+ claimId: Type.TString;
1563
+ claimVersion: Type.TNumber;
1564
+ supportingClaimId: Type.TString;
1565
+ supportingClaimVersion: Type.TNumber;
1454
1566
  checksum: Type.TString;
1455
1567
  }>, Type.TObject<{
1456
1568
  argumentId: Type.TString;
package/dist/schemas/api/argument/claims.d.ts.map CHANGED
@@ -1 +1 @@
1
- {"version":3,"file":"claims.d.ts","sourceRoot":"","sources":["../../../../src/schemas/api/argument/claims.ts"],"names":[],"mappings":"AAAA,OAAO,IAAI,EAAE,EAAE,KAAK,MAAM,EAAE,MAAM,SAAS,CAAA;AAS3C,eAAO,MAAM,0BAA0B;;;;;EAErC,CAAA;AACF,MAAM,MAAM,2BAA2B,GAAG,MAAM,CAC5C,OAAO,0BAA0B,CACpC,CAAA;AAED,eAAO,MAAM,2BAA2B;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;EAItC,CAAA;AACF,MAAM,MAAM,sBAAsB,GAAG,MAAM,CAAC,OAAO,2BAA2B,CAAC,CAAA;AAE/E,eAAO,MAAM,2BAA2B;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;EAEtC,CAAA;AACF,MAAM,MAAM,sBAAsB,GAAG,MAAM,CAAC,OAAO,2BAA2B,CAAC,CAAA;AAE/E,eAAO,MAAM,sBAAsB;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;EAGjC,CAAA;AACF,MAAM,MAAM,iBAAiB,GAAG,MAAM,CAAC,OAAO,sBAAsB,CAAC,CAAA;AAErE,eAAO,MAAM,iCAAiC;;;;;;;;;;;;EAE5C,CAAA;AACF,MAAM,MAAM,4BAA4B,GAAG,MAAM,CAC7C,OAAO,iCAAiC,CAC3C,CAAA"}
1
+ {"version":3,"file":"claims.d.ts","sourceRoot":"","sources":["../../../../src/schemas/api/argument/claims.ts"],"names":[],"mappings":"AAAA,OAAO,IAAI,EAAE,EAAE,KAAK,MAAM,EAAE,MAAM,SAAS,CAAA;AAS3C,eAAO,MAAM,0BAA0B;;;;;;EAErC,CAAA;AACF,MAAM,MAAM,2BAA2B,GAAG,MAAM,CAC5C,OAAO,0BAA0B,CACpC,CAAA;AAED,eAAO,MAAM,2BAA2B;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;EAItC,CAAA;AACF,MAAM,MAAM,sBAAsB,GAAG,MAAM,CAAC,OAAO,2BAA2B,CAAC,CAAA;AAE/E,eAAO,MAAM,2BAA2B;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;EAEtC,CAAA;AACF,MAAM,MAAM,sBAAsB,GAAG,MAAM,CAAC,OAAO,2BAA2B,CAAC,CAAA;AAE/E,eAAO,MAAM,sBAAsB;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;EAGjC,CAAA;AACF,MAAM,MAAM,iBAAiB,GAAG,MAAM,CAAC,OAAO,sBAAsB,CAAC,CAAA;AAErE,eAAO,MAAM,iCAAiC;;;;;;;;;;;;EAE5C,CAAA;AACF,MAAM,MAAM,4BAA4B,GAAG,MAAM,CAC7C,OAAO,iCAAiC,CAC3C,CAAA"}
package/dist/schemas/api/argument/index.d.ts CHANGED
@@ -53,9 +53,25 @@ export declare const FullArgumentSchema: Type.TObject<{
53
53
  titleContentHash: Type.TUnion<[Type.TString, Type.TNull]>;
54
54
  description: Type.TUnion<[Type.TString, Type.TNull]>;
55
55
  }>]>;
56
- claims: Type.TArray<Type.TObject<{
56
+ claims: Type.TArray<Type.TUnion<[Type.TObject<{
57
+ digest: Type.TString;
58
+ id: Type.TString;
59
+ argumentId: Type.TString;
60
+ version: Type.TNumber;
61
+ claimForkId: Type.TUnion<[Type.TString, Type.TNull]>;
62
+ creatorId: Type.TString;
63
+ createdOn: import("../../common.js").TDateType;
64
+ parentId: Type.TUnion<[Type.TString, Type.TNull]>;
57
65
  title: Type.TString;
58
66
  body: Type.TString;
67
+ titleContentHash: Type.TString;
68
+ type: Type.TLiteral<"normal">;
69
+ kind: Type.TUnion<[Type.TUnion<[Type.TLiteral<"definition">, Type.TLiteral<"criterion">]>, Type.TUnion<[Type.TLiteral<"conclusion">, Type.TLiteral<"claim">]>]>;
70
+ url: Type.TNull;
71
+ citation: Type.TNull;
72
+ citationContentHash: Type.TNull;
73
+ axiom: Type.TNull;
74
+ }>, Type.TObject<{
59
75
  digest: Type.TString;
60
76
  id: Type.TString;
61
77
  argumentId: Type.TString;
@@ -63,12 +79,14 @@ export declare const FullArgumentSchema: Type.TObject<{
63
79
  claimForkId: Type.TUnion<[Type.TString, Type.TNull]>;
64
80
  creatorId: Type.TString;
65
81
  createdOn: import("../../common.js").TDateType;
66
- kind: Type.TUnion<[Type.TUnion<[Type.TLiteral<"definition">, Type.TLiteral<"criterion">]>, Type.TUnion<[Type.TLiteral<"conclusion">, Type.TLiteral<"claim">]>]>;
67
- type: Type.TUnion<[Type.TLiteral<"normal">, Type.TLiteral<"citation">]>;
68
82
  parentId: Type.TUnion<[Type.TString, Type.TNull]>;
69
- titleContentHash: Type.TOptional<Type.TUnion<[Type.TString, Type.TNull]>>;
70
- url: Type.TOptional<Type.TUnion<[Type.TString, Type.TNull]>>;
71
- citation: Type.TOptional<Type.TUnion<[Type.TUnion<[Type.TIntersect<[Type.TObject<{
83
+ type: Type.TLiteral<"citation">;
84
+ kind: Type.TNull;
85
+ title: Type.TNull;
86
+ body: Type.TNull;
87
+ titleContentHash: Type.TNull;
88
+ url: Type.TString;
89
+ citation: Type.TUnion<[Type.TIntersect<[Type.TObject<{
72
90
  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">]>;
73
91
  }>, Type.TObject<{
74
92
  type: Type.TLiteral<"Book">;
@@ -496,9 +514,28 @@ export declare const FullArgumentSchema: Type.TObject<{
496
514
  type: Type.TLiteral<"UnparsedURL">;
497
515
  url: Type.TString;
498
516
  text: Type.TOptional<Type.TString>;
499
- }>]>]>, Type.TNull]>>;
500
- citationContentHash: Type.TOptional<Type.TUnion<[Type.TString, Type.TNull]>>;
501
- }>>;
517
+ }>]>]>;
518
+ citationContentHash: Type.TString;
519
+ axiom: Type.TNull;
520
+ }>, Type.TObject<{
521
+ digest: Type.TString;
522
+ id: Type.TString;
523
+ argumentId: Type.TString;
524
+ version: Type.TNumber;
525
+ claimForkId: Type.TUnion<[Type.TString, Type.TNull]>;
526
+ creatorId: Type.TString;
527
+ createdOn: import("../../common.js").TDateType;
528
+ parentId: Type.TUnion<[Type.TString, Type.TNull]>;
529
+ type: Type.TLiteral<"axiomatic">;
530
+ kind: Type.TNull;
531
+ title: Type.TNull;
532
+ body: Type.TNull;
533
+ titleContentHash: Type.TNull;
534
+ url: Type.TNull;
535
+ citation: Type.TNull;
536
+ citationContentHash: Type.TNull;
537
+ 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">]>;
538
+ }>]>>;
502
539
  propositionalLogic: Type.TObject<{
503
540
  argument: Type.TIntersect<[Type.TObject<{
504
541
  createdOn: import("../../common.js").TDateType;
@@ -658,12 +695,12 @@ export declare const FullArgumentSchema: Type.TObject<{
658
695
  conclusionPremiseId: Type.TOptional<Type.TString>;
659
696
  config: Type.TOptional<Type.TUnknown>;
660
697
  }>;
661
- claimCitations: Type.TArray<Type.TIntersect<[Type.TObject<{
698
+ citations: Type.TArray<Type.TIntersect<[Type.TObject<{
662
699
  id: Type.TString;
663
- citingClaimId: Type.TString;
664
- citingClaimVersion: Type.TNumber;
665
- sourceClaimId: Type.TString;
666
- sourceClaimVersion: Type.TNumber;
700
+ claimId: Type.TString;
701
+ claimVersion: Type.TNumber;
702
+ supportingClaimId: Type.TString;
703
+ supportingClaimVersion: Type.TNumber;
667
704
  checksum: Type.TString;
668
705
  }>, Type.TObject<{
669
706
  argumentId: Type.TString;
package/dist/schemas/api/argument/index.d.ts.map CHANGED
@@ -1 +1 @@
1
- {"version":3,"file":"index.d.ts","sourceRoot":"","sources":["../../../../src/schemas/api/argument/index.ts"],"names":[],"mappings":"AAAA,OAAO,EACH,cAAc,EAIjB,MAAM,gBAAgB,CAAA;AAIvB,OAAO,EAEH,KAAK,uBAAuB,EAC/B,MAAM,mBAAmB,CAAA;AAK1B,OAAO,IAAI,EAAE,EAAE,KAAK,MAAM,EAAE,MAAM,SAAS,CAAA;AAE3C,eAAO,MAAM,kBAAkB;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;EAU7B,CAAA;AACF,MAAM,MAAM,aAAa,GAAG,MAAM,CAAC,OAAO,kBAAkB,CAAC,CAAA;AAC7D,MAAM,MAAM,qBAAqB,GAAG,IAAI,CACpC,aAAa,EACb,UAAU,GAAG,iBAAiB,GAAG,kBAAkB,GAAG,oBAAoB,CAC7E,GAAG;IACA,QAAQ,EAAE,MAAM,CAAC,OAAO,cAAc,CAAC,GAAG,IAAI,CAAA;IAC9C,kBAAkB,EAAE,uBAAuB,GAAG,IAAI,CAAA;CACrD,CAAA;AAED,eAAO,MAAM,4BAA4B;;;;;;;;;;EAUvC,CAAA;AACF,MAAM,MAAM,uBAAuB,GAAG,MAAM,CACxC,OAAO,4BAA4B,CACtC,CAAA;AAED,eAAO,MAAM,2BAA2B;;;;;EAGtC,CAAA;AACF,MAAM,MAAM,sBAAsB,GAAG,MAAM,CAAC,OAAO,2BAA2B,CAAC,CAAA;AAS/E,eAAO,MAAM,gCAAgC;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;EAE3C,CAAA;AACF,MAAM,MAAM,2BAA2B,GAAG,MAAM,CAC5C,OAAO,gCAAgC,CAC1C,CAAA;AAED,eAAO,MAAM,oBAAoB;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;EAM/B,CAAA;AACF,MAAM,MAAM,eAAe,GAAG,MAAM,CAAC,OAAO,oBAAoB,CAAC,CAAA;AAEjE,eAAO,MAAM,qBAAqB;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;EAGhC,CAAA;AACF,MAAM,MAAM,gBAAgB,GAAG,MAAM,CAAC,OAAO,qBAAqB,CAAC,CAAA"}
1
+ {"version":3,"file":"index.d.ts","sourceRoot":"","sources":["../../../../src/schemas/api/argument/index.ts"],"names":[],"mappings":"AAAA,OAAO,EACH,cAAc,EAIjB,MAAM,gBAAgB,CAAA;AAIvB,OAAO,EAEH,KAAK,uBAAuB,EAC/B,MAAM,mBAAmB,CAAA;AAK1B,OAAO,IAAI,EAAE,EAAE,KAAK,MAAM,EAAE,MAAM,SAAS,CAAA;AAE3C,eAAO,MAAM,kBAAkB;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;EAU7B,CAAA;AACF,MAAM,MAAM,aAAa,GAAG,MAAM,CAAC,OAAO,kBAAkB,CAAC,CAAA;AAC7D,MAAM,MAAM,qBAAqB,GAAG,IAAI,CACpC,aAAa,EACb,UAAU,GAAG,iBAAiB,GAAG,kBAAkB,GAAG,oBAAoB,CAC7E,GAAG;IACA,QAAQ,EAAE,MAAM,CAAC,OAAO,cAAc,CAAC,GAAG,IAAI,CAAA;IAC9C,kBAAkB,EAAE,uBAAuB,GAAG,IAAI,CAAA;CACrD,CAAA;AAED,eAAO,MAAM,4BAA4B;;;;;;;;;;EAUvC,CAAA;AACF,MAAM,MAAM,uBAAuB,GAAG,MAAM,CACxC,OAAO,4BAA4B,CACtC,CAAA;AAED,eAAO,MAAM,2BAA2B;;;;;EAGtC,CAAA;AACF,MAAM,MAAM,sBAAsB,GAAG,MAAM,CAAC,OAAO,2BAA2B,CAAC,CAAA;AAS/E,eAAO,MAAM,gCAAgC;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;EAE3C,CAAA;AACF,MAAM,MAAM,2BAA2B,GAAG,MAAM,CAC5C,OAAO,gCAAgC,CAC1C,CAAA;AAED,eAAO,MAAM,oBAAoB;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;EAM/B,CAAA;AACF,MAAM,MAAM,eAAe,GAAG,MAAM,CAAC,OAAO,oBAAoB,CAAC,CAAA;AAEjE,eAAO,MAAM,qBAAqB;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;EAGhC,CAAA;AACF,MAAM,MAAM,gBAAgB,GAAG,MAAM,CAAC,OAAO,qBAAqB,CAAC,CAAA"}
package/dist/schemas/api/argument/index.js CHANGED
@@ -9,7 +9,7 @@ export const FullArgumentSchema = Type.Object({
9
9
  argument: ArgumentSchema,
10
10
  claims: Type.Array(ClaimSchema),
11
11
  propositionalLogic: ArgumentEngineSnapshotSchema,
12
- claimCitations: Type.Array(ClaimCitationSchema),
12
+ citations: Type.Array(ClaimCitationSchema),
13
13
  argumentHistory: Type.Array(ArgumentSchema),
14
14
  originalArgument: Nullable(ArgumentSchema),
15
15
  participants: Type.Array(ParticipantWithUserSchema),
package/dist/schemas/api/argument/index.js.map CHANGED
@@ -1 +1 @@
1
- {"version":3,"file":"index.js","sourceRoot":"","sources":["../../../../src/schemas/api/argument/index.ts"],"names":[],"mappings":"AAAA,OAAO,EACH,cAAc,EACd,2BAA2B,EAC3B,yBAAyB,EACzB,WAAW,GACd,MAAM,gBAAgB,CAAA;AACvB,OAAO,EAAE,mBAAmB,EAAE,MAAM,0BAA0B,CAAA;AAC9D,OAAO,EAAE,QAAQ,EAAE,IAAI,EAAE,MAAM,iBAAiB,CAAA;AAChD,OAAO,EAAE,UAAU,EAAE,MAAM,gBAAgB,CAAA;AAC3C,OAAO,EACH,4BAA4B,GAE/B,MAAM,mBAAmB,CAAA;AAC1B,OAAO,EACH,oBAAoB,EACpB,uBAAuB,GAC1B,MAAM,6BAA6B,CAAA;AACpC,OAAO,IAAI,EAAE,EAAe,MAAM,SAAS,CAAA;AAE3C,MAAM,CAAC,MAAM,kBAAkB,GAAG,IAAI,CAAC,MAAM,CAAC;IAC1C,QAAQ,EAAE,cAAc;IACxB,MAAM,EAAE,IAAI,CAAC,KAAK,CAAC,WAAW,CAAC;IAC/B,kBAAkB,EAAE,4BAA4B;IAChD,cAAc,EAAE,IAAI,CAAC,KAAK,CAAC,mBAAmB,CAAC;IAC/C,eAAe,EAAE,IAAI,CAAC,KAAK,CAAC,cAAc,CAAC;IAC3C,gBAAgB,EAAE,QAAQ,CAAC,cAAc,CAAC;IAC1C,YAAY,EAAE,IAAI,CAAC,KAAK,CAAC,yBAAyB,CAAC;IACnD,KAAK,EAAE,IAAI,CAAC,KAAK,CAAC,UAAU,CAAC;IAC7B,kBAAkB,EAAE,IAAI,CAAC,OAAO,EAAE;CACrC,CAAC,CAAA;AAUF,MAAM,CAAC,MAAM,4BAA4B,GAAG,IAAI,CAAC,MAAM,CAAC;IACpD,MAAM,EAAE,IAAI,CAAC,QAAQ,CAAC,IAAI,CAAC;IAC3B,QAAQ,EAAE,IAAI,CAAC,QAAQ,CAAC,IAAI,CAAC,MAAM,EAAE,CAAC;IACtC,KAAK,EAAE,IAAI,CAAC,QAAQ,CAAC,IAAI,CAAC,OAAO,EAAE,CAAC;IACpC,KAAK,EAAE,IAAI,CAAC,QAAQ,CAAC,IAAI,CAAC,MAAM,CAAC,EAAE,OAAO,EAAE,EAAE,EAAE,CAAC,CAAC;IAClD,MAAM,EAAE,IAAI,CAAC,QAAQ,CAAC,IAAI,CAAC,MAAM,EAAE,CAAC;IACpC,eAAe,EAAE,IAAI,CAAC,QAAQ,CAAC,IAAI,CAAC,OAAO,EAAE,CAAC;IAC9C,iBAAiB,EAAE,IAAI,CAAC,QAAQ,CAAC,IAAI,CAAC,OAAO,EAAE,CAAC;IAChD,oBAAoB,EAAE,IAAI,CAAC,QAAQ,CAAC,IAAI,CAAC,OAAO,EAAE,CAAC;IACnD,YAAY,EAAE,IAAI,CAAC,QAAQ,CAAC,IAAI,CAAC,MAAM,EAAE,CAAC;CAC7C,CAAC,CAAA;AAKF,MAAM,CAAC,MAAM,2BAA2B,GAAG,IAAI,CAAC,MAAM,CAAC;IACnD,OAAO,EAAE,2BAA2B;IACpC,aAAa,EAAE,IAAI,CAAC,MAAM,EAAE;CAC/B,CAAC,CAAA;AAGF,MAAM,wBAAwB,GAAG,IAAI,CAAC,SAAS,CAAC;IAC5C,cAAc;IACd,IAAI,CAAC,MAAM,CAAC;QACR,MAAM,EAAE,IAAI;KACf,CAAC;CACL,CAAC,CAAA;AAEF,MAAM,CAAC,MAAM,gCAAgC,GAAG,IAAI,CAAC,MAAM,CAAC;IACxD,SAAS,EAAE,IAAI,CAAC,KAAK,CAAC,wBAAwB,CAAC;CAClD,CAAC,CAAA;AAKF,MAAM,CAAC,MAAM,oBAAoB,GAAG,IAAI,CAAC,MAAM,CAAC;IAC5C,MAAM,EAAE,oBAAoB;IAC5B,IAAI,EAAE,IAAI,CAAC,KAAK,CACZ,uBAAuB,EACvB,IAAI,CAAC,KAAK,CAAC,uBAAuB,CAAC,CACtC;CACJ,CAAC,CAAA;AAGF,MAAM,CAAC,MAAM,qBAAqB,GAAG,IAAI,CAAC,MAAM,CAAC;IAC7C,SAAS,EAAE,cAAc;IACzB,KAAK,EAAE,cAAc;CACxB,CAAC,CAAA"}
1
+ {"version":3,"file":"index.js","sourceRoot":"","sources":["../../../../src/schemas/api/argument/index.ts"],"names":[],"mappings":"AAAA,OAAO,EACH,cAAc,EACd,2BAA2B,EAC3B,yBAAyB,EACzB,WAAW,GACd,MAAM,gBAAgB,CAAA;AACvB,OAAO,EAAE,mBAAmB,EAAE,MAAM,0BAA0B,CAAA;AAC9D,OAAO,EAAE,QAAQ,EAAE,IAAI,EAAE,MAAM,iBAAiB,CAAA;AAChD,OAAO,EAAE,UAAU,EAAE,MAAM,gBAAgB,CAAA;AAC3C,OAAO,EACH,4BAA4B,GAE/B,MAAM,mBAAmB,CAAA;AAC1B,OAAO,EACH,oBAAoB,EACpB,uBAAuB,GAC1B,MAAM,6BAA6B,CAAA;AACpC,OAAO,IAAI,EAAE,EAAe,MAAM,SAAS,CAAA;AAE3C,MAAM,CAAC,MAAM,kBAAkB,GAAG,IAAI,CAAC,MAAM,CAAC;IAC1C,QAAQ,EAAE,cAAc;IACxB,MAAM,EAAE,IAAI,CAAC,KAAK,CAAC,WAAW,CAAC;IAC/B,kBAAkB,EAAE,4BAA4B;IAChD,SAAS,EAAE,IAAI,CAAC,KAAK,CAAC,mBAAmB,CAAC;IAC1C,eAAe,EAAE,IAAI,CAAC,KAAK,CAAC,cAAc,CAAC;IAC3C,gBAAgB,EAAE,QAAQ,CAAC,cAAc,CAAC;IAC1C,YAAY,EAAE,IAAI,CAAC,KAAK,CAAC,yBAAyB,CAAC;IACnD,KAAK,EAAE,IAAI,CAAC,KAAK,CAAC,UAAU,CAAC;IAC7B,kBAAkB,EAAE,IAAI,CAAC,OAAO,EAAE;CACrC,CAAC,CAAA;AAUF,MAAM,CAAC,MAAM,4BAA4B,GAAG,IAAI,CAAC,MAAM,CAAC;IACpD,MAAM,EAAE,IAAI,CAAC,QAAQ,CAAC,IAAI,CAAC;IAC3B,QAAQ,EAAE,IAAI,CAAC,QAAQ,CAAC,IAAI,CAAC,MAAM,EAAE,CAAC;IACtC,KAAK,EAAE,IAAI,CAAC,QAAQ,CAAC,IAAI,CAAC,OAAO,EAAE,CAAC;IACpC,KAAK,EAAE,IAAI,CAAC,QAAQ,CAAC,IAAI,CAAC,MAAM,CAAC,EAAE,OAAO,EAAE,EAAE,EAAE,CAAC,CAAC;IAClD,MAAM,EAAE,IAAI,CAAC,QAAQ,CAAC,IAAI,CAAC,MAAM,EAAE,CAAC;IACpC,eAAe,EAAE,IAAI,CAAC,QAAQ,CAAC,IAAI,CAAC,OAAO,EAAE,CAAC;IAC9C,iBAAiB,EAAE,IAAI,CAAC,QAAQ,CAAC,IAAI,CAAC,OAAO,EAAE,CAAC;IAChD,oBAAoB,EAAE,IAAI,CAAC,QAAQ,CAAC,IAAI,CAAC,OAAO,EAAE,CAAC;IACnD,YAAY,EAAE,IAAI,CAAC,QAAQ,CAAC,IAAI,CAAC,MAAM,EAAE,CAAC;CAC7C,CAAC,CAAA;AAKF,MAAM,CAAC,MAAM,2BAA2B,GAAG,IAAI,CAAC,MAAM,CAAC;IACnD,OAAO,EAAE,2BAA2B;IACpC,aAAa,EAAE,IAAI,CAAC,MAAM,EAAE;CAC/B,CAAC,CAAA;AAGF,MAAM,wBAAwB,GAAG,IAAI,CAAC,SAAS,CAAC;IAC5C,cAAc;IACd,IAAI,CAAC,MAAM,CAAC;QACR,MAAM,EAAE,IAAI;KACf,CAAC;CACL,CAAC,CAAA;AAEF,MAAM,CAAC,MAAM,gCAAgC,GAAG,IAAI,CAAC,MAAM,CAAC;IACxD,SAAS,EAAE,IAAI,CAAC,KAAK,CAAC,wBAAwB,CAAC;CAClD,CAAC,CAAA;AAKF,MAAM,CAAC,MAAM,oBAAoB,GAAG,IAAI,CAAC,MAAM,CAAC;IAC5C,MAAM,EAAE,oBAAoB;IAC5B,IAAI,EAAE,IAAI,CAAC,KAAK,CACZ,uBAAuB,EACvB,IAAI,CAAC,KAAK,CAAC,uBAAuB,CAAC,CACtC;CACJ,CAAC,CAAA;AAGF,MAAM,CAAC,MAAM,qBAAqB,GAAG,IAAI,CAAC,MAAM,CAAC;IAC7C,SAAS,EAAE,cAAc;IACzB,KAAK,EAAE,cAAc;CACxB,CAAC,CAAA"}