@proposit/shared 0.7.2 → 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 (61) 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/engine.d.ts +14 -14
  20. package/dist/engine/engine.d.ts.map +1 -1
  21. package/dist/engine/engine.js +35 -35
  22. package/dist/engine/engine.js.map +1 -1
  23. package/dist/engine/library-adapters.d.ts +2 -2
  24. package/dist/engine/library-adapters.d.ts.map +1 -1
  25. package/dist/engine/library-adapters.js +2 -2
  26. package/dist/engine/library-adapters.js.map +1 -1
  27. package/dist/engine/mutations/premises.d.ts +2 -2
  28. package/dist/engine/mutations/premises.d.ts.map +1 -1
  29. package/dist/engine/mutations/premises.js +5 -5
  30. package/dist/engine/mutations/premises.js.map +1 -1
  31. package/dist/engine/optimistic/verification.d.ts.map +1 -1
  32. package/dist/engine/optimistic/verification.js +1 -2
  33. package/dist/engine/optimistic/verification.js.map +1 -1
  34. package/dist/engine/text-tree.d.ts +2 -1
  35. package/dist/engine/text-tree.d.ts.map +1 -1
  36. package/dist/engine/text-tree.js +8 -3
  37. package/dist/engine/text-tree.js.map +1 -1
  38. package/dist/schemas/api/argument/batch/provision.d.ts +46 -9
  39. package/dist/schemas/api/argument/batch/provision.d.ts.map +1 -1
  40. package/dist/schemas/api/argument/claims.d.ts +147 -35
  41. package/dist/schemas/api/argument/claims.d.ts.map +1 -1
  42. package/dist/schemas/api/argument/index.d.ts +51 -14
  43. package/dist/schemas/api/argument/index.d.ts.map +1 -1
  44. package/dist/schemas/api/argument/index.js +1 -1
  45. package/dist/schemas/api/argument/index.js.map +1 -1
  46. package/dist/schemas/api/citations.d.ts +230 -45
  47. package/dist/schemas/api/citations.d.ts.map +1 -1
  48. package/dist/schemas/api/claims.d.ts +92 -18
  49. package/dist/schemas/api/claims.d.ts.map +1 -1
  50. package/dist/schemas/model/arguments.d.ts +147 -36
  51. package/dist/schemas/model/arguments.d.ts.map +1 -1
  52. package/dist/schemas/model/arguments.js +1 -1
  53. package/dist/schemas/model/arguments.js.map +1 -1
  54. package/dist/schemas/model/citations.d.ts +4 -4
  55. package/dist/schemas/model/citations.js +2 -2
  56. package/dist/schemas/model/citations.js.map +1 -1
  57. package/dist/schemas/model/claims.d.ts +127 -22
  58. package/dist/schemas/model/claims.d.ts.map +1 -1
  59. package/dist/schemas/model/claims.js +85 -24
  60. package/dist/schemas/model/claims.js.map +1 -1
  61. package/package.json +3 -3
@@ -1,8 +1,24 @@
1
1
  import Type, { type Static } from "typebox";
2
2
  export declare const ClaimWithContextSchema: Type.TObject<{
3
- claim: Type.TObject<{
3
+ claim: Type.TUnion<[Type.TObject<{
4
+ digest: Type.TString;
5
+ id: Type.TString;
6
+ argumentId: Type.TString;
7
+ version: Type.TNumber;
8
+ claimForkId: Type.TUnion<[Type.TString, Type.TNull]>;
9
+ creatorId: Type.TString;
10
+ createdOn: import("../common.js").TDateType;
11
+ parentId: Type.TUnion<[Type.TString, Type.TNull]>;
4
12
  title: Type.TString;
5
13
  body: Type.TString;
14
+ titleContentHash: Type.TString;
15
+ type: Type.TLiteral<"normal">;
16
+ kind: Type.TUnion<[Type.TUnion<[Type.TLiteral<"definition">, Type.TLiteral<"criterion">]>, Type.TUnion<[Type.TLiteral<"conclusion">, Type.TLiteral<"claim">]>]>;
17
+ url: Type.TNull;
18
+ citation: Type.TNull;
19
+ citationContentHash: Type.TNull;
20
+ axiom: Type.TNull;
21
+ }>, Type.TObject<{
6
22
  digest: Type.TString;
7
23
  id: Type.TString;
8
24
  argumentId: Type.TString;
@@ -10,12 +26,14 @@ export declare const ClaimWithContextSchema: Type.TObject<{
10
26
  claimForkId: Type.TUnion<[Type.TString, Type.TNull]>;
11
27
  creatorId: Type.TString;
12
28
  createdOn: import("../common.js").TDateType;
13
- kind: Type.TUnion<[Type.TUnion<[Type.TLiteral<"definition">, Type.TLiteral<"criterion">]>, Type.TUnion<[Type.TLiteral<"conclusion">, Type.TLiteral<"claim">]>]>;
14
- type: Type.TUnion<[Type.TLiteral<"normal">, Type.TLiteral<"citation">]>;
15
29
  parentId: Type.TUnion<[Type.TString, Type.TNull]>;
16
- titleContentHash: Type.TOptional<Type.TUnion<[Type.TString, Type.TNull]>>;
17
- url: Type.TOptional<Type.TUnion<[Type.TString, Type.TNull]>>;
18
- citation: Type.TOptional<Type.TUnion<[Type.TUnion<[Type.TIntersect<[Type.TObject<{
30
+ type: Type.TLiteral<"citation">;
31
+ kind: Type.TNull;
32
+ title: Type.TNull;
33
+ body: Type.TNull;
34
+ titleContentHash: Type.TNull;
35
+ url: Type.TString;
36
+ citation: Type.TUnion<[Type.TIntersect<[Type.TObject<{
19
37
  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">]>;
20
38
  }>, Type.TObject<{
21
39
  type: Type.TLiteral<"Book">;
@@ -443,9 +461,28 @@ export declare const ClaimWithContextSchema: Type.TObject<{
443
461
  type: Type.TLiteral<"UnparsedURL">;
444
462
  url: Type.TString;
445
463
  text: Type.TOptional<Type.TString>;
446
- }>]>]>, Type.TNull]>>;
447
- citationContentHash: Type.TOptional<Type.TUnion<[Type.TString, Type.TNull]>>;
448
- }>;
464
+ }>]>]>;
465
+ citationContentHash: Type.TString;
466
+ axiom: Type.TNull;
467
+ }>, Type.TObject<{
468
+ digest: Type.TString;
469
+ id: Type.TString;
470
+ argumentId: Type.TString;
471
+ version: Type.TNumber;
472
+ claimForkId: Type.TUnion<[Type.TString, Type.TNull]>;
473
+ creatorId: Type.TString;
474
+ createdOn: import("../common.js").TDateType;
475
+ parentId: Type.TUnion<[Type.TString, Type.TNull]>;
476
+ type: Type.TLiteral<"axiomatic">;
477
+ kind: Type.TNull;
478
+ title: Type.TNull;
479
+ body: Type.TNull;
480
+ titleContentHash: Type.TNull;
481
+ url: Type.TNull;
482
+ citation: Type.TNull;
483
+ citationContentHash: Type.TNull;
484
+ 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">]>;
485
+ }>]>;
449
486
  argument: Type.TObject<{
450
487
  id: Type.TString;
451
488
  title: Type.TString;
@@ -558,9 +595,25 @@ export declare const ClaimWithContextSchema: Type.TObject<{
558
595
  }>;
559
596
  export type TClaimWithContext = Static<typeof ClaimWithContextSchema>;
560
597
  export declare const UserClaimsResponseSchema: Type.TArray<Type.TObject<{
561
- claim: Type.TObject<{
598
+ claim: Type.TUnion<[Type.TObject<{
599
+ digest: Type.TString;
600
+ id: Type.TString;
601
+ argumentId: Type.TString;
602
+ version: Type.TNumber;
603
+ claimForkId: Type.TUnion<[Type.TString, Type.TNull]>;
604
+ creatorId: Type.TString;
605
+ createdOn: import("../common.js").TDateType;
606
+ parentId: Type.TUnion<[Type.TString, Type.TNull]>;
562
607
  title: Type.TString;
563
608
  body: Type.TString;
609
+ titleContentHash: Type.TString;
610
+ type: Type.TLiteral<"normal">;
611
+ kind: Type.TUnion<[Type.TUnion<[Type.TLiteral<"definition">, Type.TLiteral<"criterion">]>, Type.TUnion<[Type.TLiteral<"conclusion">, Type.TLiteral<"claim">]>]>;
612
+ url: Type.TNull;
613
+ citation: Type.TNull;
614
+ citationContentHash: Type.TNull;
615
+ axiom: Type.TNull;
616
+ }>, Type.TObject<{
564
617
  digest: Type.TString;
565
618
  id: Type.TString;
566
619
  argumentId: Type.TString;
@@ -568,12 +621,14 @@ export declare const UserClaimsResponseSchema: Type.TArray<Type.TObject<{
568
621
  claimForkId: Type.TUnion<[Type.TString, Type.TNull]>;
569
622
  creatorId: Type.TString;
570
623
  createdOn: import("../common.js").TDateType;
571
- kind: Type.TUnion<[Type.TUnion<[Type.TLiteral<"definition">, Type.TLiteral<"criterion">]>, Type.TUnion<[Type.TLiteral<"conclusion">, Type.TLiteral<"claim">]>]>;
572
- type: Type.TUnion<[Type.TLiteral<"normal">, Type.TLiteral<"citation">]>;
573
624
  parentId: Type.TUnion<[Type.TString, Type.TNull]>;
574
- titleContentHash: Type.TOptional<Type.TUnion<[Type.TString, Type.TNull]>>;
575
- url: Type.TOptional<Type.TUnion<[Type.TString, Type.TNull]>>;
576
- citation: Type.TOptional<Type.TUnion<[Type.TUnion<[Type.TIntersect<[Type.TObject<{
625
+ type: Type.TLiteral<"citation">;
626
+ kind: Type.TNull;
627
+ title: Type.TNull;
628
+ body: Type.TNull;
629
+ titleContentHash: Type.TNull;
630
+ url: Type.TString;
631
+ citation: Type.TUnion<[Type.TIntersect<[Type.TObject<{
577
632
  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">]>;
578
633
  }>, Type.TObject<{
579
634
  type: Type.TLiteral<"Book">;
@@ -1001,9 +1056,28 @@ export declare const UserClaimsResponseSchema: Type.TArray<Type.TObject<{
1001
1056
  type: Type.TLiteral<"UnparsedURL">;
1002
1057
  url: Type.TString;
1003
1058
  text: Type.TOptional<Type.TString>;
1004
- }>]>]>, Type.TNull]>>;
1005
- citationContentHash: Type.TOptional<Type.TUnion<[Type.TString, Type.TNull]>>;
1006
- }>;
1059
+ }>]>]>;
1060
+ citationContentHash: Type.TString;
1061
+ axiom: Type.TNull;
1062
+ }>, Type.TObject<{
1063
+ digest: Type.TString;
1064
+ id: Type.TString;
1065
+ argumentId: Type.TString;
1066
+ version: Type.TNumber;
1067
+ claimForkId: Type.TUnion<[Type.TString, Type.TNull]>;
1068
+ creatorId: Type.TString;
1069
+ createdOn: import("../common.js").TDateType;
1070
+ parentId: Type.TUnion<[Type.TString, Type.TNull]>;
1071
+ type: Type.TLiteral<"axiomatic">;
1072
+ kind: Type.TNull;
1073
+ title: Type.TNull;
1074
+ body: Type.TNull;
1075
+ titleContentHash: Type.TNull;
1076
+ url: Type.TNull;
1077
+ citation: Type.TNull;
1078
+ citationContentHash: Type.TNull;
1079
+ 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">]>;
1080
+ }>]>;
1007
1081
  argument: Type.TObject<{
1008
1082
  id: Type.TString;
1009
1083
  title: Type.TString;
@@ -1 +1 @@
1
- {"version":3,"file":"claims.d.ts","sourceRoot":"","sources":["../../../src/schemas/api/claims.ts"],"names":[],"mappings":"AAAA,OAAO,IAAI,EAAE,EAAE,KAAK,MAAM,EAAE,MAAM,SAAS,CAAA;AAS3C,eAAO,MAAM,sBAAsB;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;EAWjC,CAAA;AACF,MAAM,MAAM,iBAAiB,GAAG,MAAM,CAAC,OAAO,sBAAsB,CAAC,CAAA;AAErE,eAAO,MAAM,wBAAwB;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;GAAqC,CAAA;AAC1E,MAAM,MAAM,mBAAmB,GAAG,MAAM,CAAC,OAAO,wBAAwB,CAAC,CAAA"}
1
+ {"version":3,"file":"claims.d.ts","sourceRoot":"","sources":["../../../src/schemas/api/claims.ts"],"names":[],"mappings":"AAAA,OAAO,IAAI,EAAE,EAAE,KAAK,MAAM,EAAE,MAAM,SAAS,CAAA;AAS3C,eAAO,MAAM,sBAAsB;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;EAWjC,CAAA;AACF,MAAM,MAAM,iBAAiB,GAAG,MAAM,CAAC,OAAO,sBAAsB,CAAC,CAAA;AAErE,eAAO,MAAM,wBAAwB;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;GAAqC,CAAA;AAC1E,MAAM,MAAM,mBAAmB,GAAG,MAAM,CAAC,OAAO,wBAAwB,CAAC,CAAA"}
@@ -125,9 +125,25 @@ export type TReaction = Static<typeof ReactionSchema>;
125
125
  export type TReactionSafe = Omit<TReaction, "userId" | "createdOn">;
126
126
  export declare const ArgumentDiffSchema: Type.TObject<{
127
127
  claims: Type.TObject<{
128
- added: Type.TArray<Type.TObject<{
128
+ added: Type.TArray<Type.TUnion<[Type.TObject<{
129
+ digest: Type.TString;
130
+ id: Type.TString;
131
+ argumentId: Type.TString;
132
+ version: Type.TNumber;
133
+ claimForkId: Type.TUnion<[Type.TString, Type.TNull]>;
134
+ creatorId: Type.TString;
135
+ createdOn: import("../common.js").TDateType;
136
+ parentId: Type.TUnion<[Type.TString, Type.TNull]>;
129
137
  title: Type.TString;
130
138
  body: Type.TString;
139
+ titleContentHash: Type.TString;
140
+ type: Type.TLiteral<"normal">;
141
+ kind: Type.TUnion<[Type.TUnion<[Type.TLiteral<"definition">, Type.TLiteral<"criterion">]>, Type.TUnion<[Type.TLiteral<"conclusion">, Type.TLiteral<"claim">]>]>;
142
+ url: Type.TNull;
143
+ citation: Type.TNull;
144
+ citationContentHash: Type.TNull;
145
+ axiom: Type.TNull;
146
+ }>, Type.TObject<{
131
147
  digest: Type.TString;
132
148
  id: Type.TString;
133
149
  argumentId: Type.TString;
@@ -135,12 +151,14 @@ export declare const ArgumentDiffSchema: Type.TObject<{
135
151
  claimForkId: Type.TUnion<[Type.TString, Type.TNull]>;
136
152
  creatorId: Type.TString;
137
153
  createdOn: import("../common.js").TDateType;
138
- kind: Type.TUnion<[Type.TUnion<[Type.TLiteral<"definition">, Type.TLiteral<"criterion">]>, Type.TUnion<[Type.TLiteral<"conclusion">, Type.TLiteral<"claim">]>]>;
139
- type: Type.TUnion<[Type.TLiteral<"normal">, Type.TLiteral<"citation">]>;
140
154
  parentId: Type.TUnion<[Type.TString, Type.TNull]>;
141
- titleContentHash: Type.TOptional<Type.TUnion<[Type.TString, Type.TNull]>>;
142
- url: Type.TOptional<Type.TUnion<[Type.TString, Type.TNull]>>;
143
- citation: Type.TOptional<Type.TUnion<[Type.TUnion<[Type.TIntersect<[Type.TObject<{
155
+ type: Type.TLiteral<"citation">;
156
+ kind: Type.TNull;
157
+ title: Type.TNull;
158
+ body: Type.TNull;
159
+ titleContentHash: Type.TNull;
160
+ url: Type.TString;
161
+ citation: Type.TUnion<[Type.TIntersect<[Type.TObject<{
144
162
  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">]>;
145
163
  }>, Type.TObject<{
146
164
  type: Type.TLiteral<"Book">;
@@ -568,12 +586,47 @@ export declare const ArgumentDiffSchema: Type.TObject<{
568
586
  type: Type.TLiteral<"UnparsedURL">;
569
587
  url: Type.TString;
570
588
  text: Type.TOptional<Type.TString>;
571
- }>]>]>, Type.TNull]>>;
572
- citationContentHash: Type.TOptional<Type.TUnion<[Type.TString, Type.TNull]>>;
573
- }>>;
574
- removed: Type.TArray<Type.TObject<{
589
+ }>]>]>;
590
+ citationContentHash: Type.TString;
591
+ axiom: Type.TNull;
592
+ }>, Type.TObject<{
593
+ digest: Type.TString;
594
+ id: Type.TString;
595
+ argumentId: Type.TString;
596
+ version: Type.TNumber;
597
+ claimForkId: Type.TUnion<[Type.TString, Type.TNull]>;
598
+ creatorId: Type.TString;
599
+ createdOn: import("../common.js").TDateType;
600
+ parentId: Type.TUnion<[Type.TString, Type.TNull]>;
601
+ type: Type.TLiteral<"axiomatic">;
602
+ kind: Type.TNull;
603
+ title: Type.TNull;
604
+ body: Type.TNull;
605
+ titleContentHash: Type.TNull;
606
+ url: Type.TNull;
607
+ citation: Type.TNull;
608
+ citationContentHash: Type.TNull;
609
+ 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">]>;
610
+ }>]>>;
611
+ removed: Type.TArray<Type.TUnion<[Type.TObject<{
612
+ digest: Type.TString;
613
+ id: Type.TString;
614
+ argumentId: Type.TString;
615
+ version: Type.TNumber;
616
+ claimForkId: Type.TUnion<[Type.TString, Type.TNull]>;
617
+ creatorId: Type.TString;
618
+ createdOn: import("../common.js").TDateType;
619
+ parentId: Type.TUnion<[Type.TString, Type.TNull]>;
575
620
  title: Type.TString;
576
621
  body: Type.TString;
622
+ titleContentHash: Type.TString;
623
+ type: Type.TLiteral<"normal">;
624
+ kind: Type.TUnion<[Type.TUnion<[Type.TLiteral<"definition">, Type.TLiteral<"criterion">]>, Type.TUnion<[Type.TLiteral<"conclusion">, Type.TLiteral<"claim">]>]>;
625
+ url: Type.TNull;
626
+ citation: Type.TNull;
627
+ citationContentHash: Type.TNull;
628
+ axiom: Type.TNull;
629
+ }>, Type.TObject<{
577
630
  digest: Type.TString;
578
631
  id: Type.TString;
579
632
  argumentId: Type.TString;
@@ -581,12 +634,14 @@ export declare const ArgumentDiffSchema: Type.TObject<{
581
634
  claimForkId: Type.TUnion<[Type.TString, Type.TNull]>;
582
635
  creatorId: Type.TString;
583
636
  createdOn: import("../common.js").TDateType;
584
- kind: Type.TUnion<[Type.TUnion<[Type.TLiteral<"definition">, Type.TLiteral<"criterion">]>, Type.TUnion<[Type.TLiteral<"conclusion">, Type.TLiteral<"claim">]>]>;
585
- type: Type.TUnion<[Type.TLiteral<"normal">, Type.TLiteral<"citation">]>;
586
637
  parentId: Type.TUnion<[Type.TString, Type.TNull]>;
587
- titleContentHash: Type.TOptional<Type.TUnion<[Type.TString, Type.TNull]>>;
588
- url: Type.TOptional<Type.TUnion<[Type.TString, Type.TNull]>>;
589
- citation: Type.TOptional<Type.TUnion<[Type.TUnion<[Type.TIntersect<[Type.TObject<{
638
+ type: Type.TLiteral<"citation">;
639
+ kind: Type.TNull;
640
+ title: Type.TNull;
641
+ body: Type.TNull;
642
+ titleContentHash: Type.TNull;
643
+ url: Type.TString;
644
+ citation: Type.TUnion<[Type.TIntersect<[Type.TObject<{
590
645
  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">]>;
591
646
  }>, Type.TObject<{
592
647
  type: Type.TLiteral<"Book">;
@@ -1014,12 +1069,47 @@ export declare const ArgumentDiffSchema: Type.TObject<{
1014
1069
  type: Type.TLiteral<"UnparsedURL">;
1015
1070
  url: Type.TString;
1016
1071
  text: Type.TOptional<Type.TString>;
1017
- }>]>]>, Type.TNull]>>;
1018
- citationContentHash: Type.TOptional<Type.TUnion<[Type.TString, Type.TNull]>>;
1019
- }>>;
1020
- updated: Type.TArray<Type.TObject<{
1072
+ }>]>]>;
1073
+ citationContentHash: Type.TString;
1074
+ axiom: Type.TNull;
1075
+ }>, Type.TObject<{
1076
+ digest: Type.TString;
1077
+ id: Type.TString;
1078
+ argumentId: Type.TString;
1079
+ version: Type.TNumber;
1080
+ claimForkId: Type.TUnion<[Type.TString, Type.TNull]>;
1081
+ creatorId: Type.TString;
1082
+ createdOn: import("../common.js").TDateType;
1083
+ parentId: Type.TUnion<[Type.TString, Type.TNull]>;
1084
+ type: Type.TLiteral<"axiomatic">;
1085
+ kind: Type.TNull;
1086
+ title: Type.TNull;
1087
+ body: Type.TNull;
1088
+ titleContentHash: Type.TNull;
1089
+ url: Type.TNull;
1090
+ citation: Type.TNull;
1091
+ citationContentHash: Type.TNull;
1092
+ 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">]>;
1093
+ }>]>>;
1094
+ updated: Type.TArray<Type.TUnion<[Type.TObject<{
1095
+ digest: Type.TString;
1096
+ id: Type.TString;
1097
+ argumentId: Type.TString;
1098
+ version: Type.TNumber;
1099
+ claimForkId: Type.TUnion<[Type.TString, Type.TNull]>;
1100
+ creatorId: Type.TString;
1101
+ createdOn: import("../common.js").TDateType;
1102
+ parentId: Type.TUnion<[Type.TString, Type.TNull]>;
1021
1103
  title: Type.TString;
1022
1104
  body: Type.TString;
1105
+ titleContentHash: Type.TString;
1106
+ type: Type.TLiteral<"normal">;
1107
+ kind: Type.TUnion<[Type.TUnion<[Type.TLiteral<"definition">, Type.TLiteral<"criterion">]>, Type.TUnion<[Type.TLiteral<"conclusion">, Type.TLiteral<"claim">]>]>;
1108
+ url: Type.TNull;
1109
+ citation: Type.TNull;
1110
+ citationContentHash: Type.TNull;
1111
+ axiom: Type.TNull;
1112
+ }>, Type.TObject<{
1023
1113
  digest: Type.TString;
1024
1114
  id: Type.TString;
1025
1115
  argumentId: Type.TString;
@@ -1027,12 +1117,14 @@ export declare const ArgumentDiffSchema: Type.TObject<{
1027
1117
  claimForkId: Type.TUnion<[Type.TString, Type.TNull]>;
1028
1118
  creatorId: Type.TString;
1029
1119
  createdOn: import("../common.js").TDateType;
1030
- kind: Type.TUnion<[Type.TUnion<[Type.TLiteral<"definition">, Type.TLiteral<"criterion">]>, Type.TUnion<[Type.TLiteral<"conclusion">, Type.TLiteral<"claim">]>]>;
1031
- type: Type.TUnion<[Type.TLiteral<"normal">, Type.TLiteral<"citation">]>;
1032
1120
  parentId: Type.TUnion<[Type.TString, Type.TNull]>;
1033
- titleContentHash: Type.TOptional<Type.TUnion<[Type.TString, Type.TNull]>>;
1034
- url: Type.TOptional<Type.TUnion<[Type.TString, Type.TNull]>>;
1035
- citation: Type.TOptional<Type.TUnion<[Type.TUnion<[Type.TIntersect<[Type.TObject<{
1121
+ type: Type.TLiteral<"citation">;
1122
+ kind: Type.TNull;
1123
+ title: Type.TNull;
1124
+ body: Type.TNull;
1125
+ titleContentHash: Type.TNull;
1126
+ url: Type.TString;
1127
+ citation: Type.TUnion<[Type.TIntersect<[Type.TObject<{
1036
1128
  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">]>;
1037
1129
  }>, Type.TObject<{
1038
1130
  type: Type.TLiteral<"Book">;
@@ -1460,9 +1552,28 @@ export declare const ArgumentDiffSchema: Type.TObject<{
1460
1552
  type: Type.TLiteral<"UnparsedURL">;
1461
1553
  url: Type.TString;
1462
1554
  text: Type.TOptional<Type.TString>;
1463
- }>]>]>, Type.TNull]>>;
1464
- citationContentHash: Type.TOptional<Type.TUnion<[Type.TString, Type.TNull]>>;
1465
- }>>;
1555
+ }>]>]>;
1556
+ citationContentHash: Type.TString;
1557
+ axiom: Type.TNull;
1558
+ }>, Type.TObject<{
1559
+ digest: Type.TString;
1560
+ id: Type.TString;
1561
+ argumentId: Type.TString;
1562
+ version: Type.TNumber;
1563
+ claimForkId: Type.TUnion<[Type.TString, Type.TNull]>;
1564
+ creatorId: Type.TString;
1565
+ createdOn: import("../common.js").TDateType;
1566
+ parentId: Type.TUnion<[Type.TString, Type.TNull]>;
1567
+ type: Type.TLiteral<"axiomatic">;
1568
+ kind: Type.TNull;
1569
+ title: Type.TNull;
1570
+ body: Type.TNull;
1571
+ titleContentHash: Type.TNull;
1572
+ url: Type.TNull;
1573
+ citation: Type.TNull;
1574
+ citationContentHash: Type.TNull;
1575
+ 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">]>;
1576
+ }>]>>;
1466
1577
  }>;
1467
1578
  propositionalLogic: Type.TObject<{
1468
1579
  variables: Type.TObject<{
@@ -1706,13 +1817,13 @@ export declare const ArgumentDiffSchema: Type.TObject<{
1706
1817
  }>]>>;
1707
1818
  }>;
1708
1819
  }>;
1709
- claimCitations: Type.TObject<{
1820
+ citations: Type.TObject<{
1710
1821
  added: Type.TArray<Type.TIntersect<[Type.TObject<{
1711
1822
  id: Type.TString;
1712
- citingClaimId: Type.TString;
1713
- citingClaimVersion: Type.TNumber;
1714
- sourceClaimId: Type.TString;
1715
- sourceClaimVersion: Type.TNumber;
1823
+ claimId: Type.TString;
1824
+ claimVersion: Type.TNumber;
1825
+ supportingClaimId: Type.TString;
1826
+ supportingClaimVersion: Type.TNumber;
1716
1827
  checksum: Type.TString;
1717
1828
  }>, Type.TObject<{
1718
1829
  argumentId: Type.TString;
@@ -1720,10 +1831,10 @@ export declare const ArgumentDiffSchema: Type.TObject<{
1720
1831
  }>]>>;
1721
1832
  removed: Type.TArray<Type.TIntersect<[Type.TObject<{
1722
1833
  id: Type.TString;
1723
- citingClaimId: Type.TString;
1724
- citingClaimVersion: Type.TNumber;
1725
- sourceClaimId: Type.TString;
1726
- sourceClaimVersion: Type.TNumber;
1834
+ claimId: Type.TString;
1835
+ claimVersion: Type.TNumber;
1836
+ supportingClaimId: Type.TString;
1837
+ supportingClaimVersion: Type.TNumber;
1727
1838
  checksum: Type.TString;
1728
1839
  }>, Type.TObject<{
1729
1840
  argumentId: Type.TString;
@@ -1 +1 @@
1
- {"version":3,"file":"arguments.d.ts","sourceRoot":"","sources":["../../../src/schemas/model/arguments.ts"],"names":[],"mappings":"AAAA,OAAO,IAAI,EAAE,EAAE,KAAK,MAAM,EAAE,MAAM,SAAS,CAAA;AAe3C,OAAO,EAAE,kBAAkB,EAAE,KAAK,aAAa,EAAE,MAAM,YAAY,CAAA;AAEnE,eAAO,MAAM,2BAA2B;;EAEtC,CAAA;AACF,MAAM,MAAM,sBAAsB,GAAG,MAAM,CAAC,OAAO,2BAA2B,CAAC,CAAA;AAE/E,eAAO,MAAM,cAAc;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;IAiBzB,CAAA;AACF,MAAM,MAAM,SAAS,GAAG,MAAM,CAAC,OAAO,cAAc,CAAC,CAAA;AAErD,eAAO,MAAM,0BAA0B;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;IAMrC,CAAA;AACF,MAAM,MAAM,qBAAqB,GAAG,MAAM,CAAC,OAAO,0BAA0B,CAAC,CAAA;AAE7E,eAAO,MAAM,QAAQ,mEAGnB,CAAA;AACF,MAAM,MAAM,cAAc,GAAG,MAAM,CAAC,OAAO,QAAQ,CAAC,CAAA;AAEpD,eAAO,MAAM,cAAc;;;;;;;EAOzB,CAAA;AACF,MAAM,MAAM,SAAS,GAAG,MAAM,CAAC,OAAO,cAAc,CAAC,CAAA;AACrD,MAAM,MAAM,aAAa,GAAG,IAAI,CAAC,SAAS,EAAE,QAAQ,GAAG,WAAW,CAAC,CAAA;AAEnE,eAAO,MAAM,kBAAkB;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;EA4B7B,CAAA;AACF,MAAM,MAAM,aAAa,GAAG,MAAM,CAAC,OAAO,kBAAkB,CAAC,CAAA;AAE7D,eAAO,MAAM,qBAAqB;;;;;;EAMhC,CAAA;AACF,MAAM,MAAM,gBAAgB,GAAG,MAAM,CAAC,OAAO,qBAAqB,CAAC,CAAA;AAEnE,eAAO,MAAM,iBAAiB;;;;;;EAM5B,CAAA;AACF,MAAM,MAAM,YAAY,GAAG,MAAM,CAAC,OAAO,iBAAiB,CAAC,CAAA;AAE3D,eAAO,MAAM,yBAAyB;;;;;;;;;;IAGpC,CAAA;AACF,MAAM,MAAM,oBAAoB,GAAG,MAAM,CAAC,OAAO,yBAAyB,CAAC,CAAA"}
1
+ {"version":3,"file":"arguments.d.ts","sourceRoot":"","sources":["../../../src/schemas/model/arguments.ts"],"names":[],"mappings":"AAAA,OAAO,IAAI,EAAE,EAAE,KAAK,MAAM,EAAE,MAAM,SAAS,CAAA;AAe3C,OAAO,EAAE,kBAAkB,EAAE,KAAK,aAAa,EAAE,MAAM,YAAY,CAAA;AAEnE,eAAO,MAAM,2BAA2B;;EAEtC,CAAA;AACF,MAAM,MAAM,sBAAsB,GAAG,MAAM,CAAC,OAAO,2BAA2B,CAAC,CAAA;AAE/E,eAAO,MAAM,cAAc;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;IAiBzB,CAAA;AACF,MAAM,MAAM,SAAS,GAAG,MAAM,CAAC,OAAO,cAAc,CAAC,CAAA;AAErD,eAAO,MAAM,0BAA0B;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;IAMrC,CAAA;AACF,MAAM,MAAM,qBAAqB,GAAG,MAAM,CAAC,OAAO,0BAA0B,CAAC,CAAA;AAE7E,eAAO,MAAM,QAAQ,mEAGnB,CAAA;AACF,MAAM,MAAM,cAAc,GAAG,MAAM,CAAC,OAAO,QAAQ,CAAC,CAAA;AAEpD,eAAO,MAAM,cAAc;;;;;;;EAOzB,CAAA;AACF,MAAM,MAAM,SAAS,GAAG,MAAM,CAAC,OAAO,cAAc,CAAC,CAAA;AACrD,MAAM,MAAM,aAAa,GAAG,IAAI,CAAC,SAAS,EAAE,QAAQ,GAAG,WAAW,CAAC,CAAA;AAEnE,eAAO,MAAM,kBAAkB;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;EA4B7B,CAAA;AACF,MAAM,MAAM,aAAa,GAAG,MAAM,CAAC,OAAO,kBAAkB,CAAC,CAAA;AAE7D,eAAO,MAAM,qBAAqB;;;;;;EAMhC,CAAA;AACF,MAAM,MAAM,gBAAgB,GAAG,MAAM,CAAC,OAAO,qBAAqB,CAAC,CAAA;AAEnE,eAAO,MAAM,iBAAiB;;;;;;EAM5B,CAAA;AACF,MAAM,MAAM,YAAY,GAAG,MAAM,CAAC,OAAO,iBAAiB,CAAC,CAAA;AAE3D,eAAO,MAAM,yBAAyB;;;;;;;;;;IAGpC,CAAA;AACF,MAAM,MAAM,oBAAoB,GAAG,MAAM,CAAC,OAAO,yBAAyB,CAAC,CAAA"}
@@ -70,7 +70,7 @@ export const ArgumentDiffSchema = Type.Object({
70
70
  removed: Type.Array(PropositionalPremiseSchema),
71
71
  }),
72
72
  }),
73
- claimCitations: Type.Object({
73
+ citations: Type.Object({
74
74
  added: Type.Array(ClaimCitationSchema),
75
75
  removed: Type.Array(ClaimCitationSchema),
76
76
  }),
@@ -1 +1 @@
1
- {"version":3,"file":"arguments.js","sourceRoot":"","sources":["../../../src/schemas/model/arguments.ts"],"names":[],"mappings":"AAAA,OAAO,IAAI,EAAE,EAAe,MAAM,SAAS,CAAA;AAC3C,OAAO,EAAE,kBAAkB,EAAE,MAAM,yBAAyB,CAAA;AAC5D,OAAO,EACH,oBAAoB,EACpB,oBAAoB,GACvB,MAAM,0BAA0B,CAAA;AACjC,OAAO,EAAE,aAAa,EAAE,QAAQ,EAAE,IAAI,EAAE,MAAM,cAAc,CAAA;AAC5D,OAAO,EAAE,sBAAsB,EAAE,MAAM,YAAY,CAAA;AACnD,OAAO,EAAE,WAAW,EAAE,MAAM,aAAa,CAAA;AACzC,OAAO,EAAE,mBAAmB,EAAE,MAAM,gBAAgB,CAAA;AACpD,OAAO,EACH,2BAA2B,EAC3B,6BAA6B,EAC7B,0BAA0B,GAC7B,MAAM,aAAa,CAAA;AACpB,OAAO,EAAE,kBAAkB,EAAsB,MAAM,YAAY,CAAA;AAEnE,MAAM,CAAC,MAAM,2BAA2B,GAAG,IAAI,CAAC,MAAM,CAAC;IACnD,KAAK,EAAE,IAAI,CAAC,MAAM,EAAE;CACvB,CAAC,CAAA;AAGF,MAAM,CAAC,MAAM,cAAc,GAAG,IAAI,CAAC,SAAS,CAAC;IACzC,kBAAkB;IAClB,IAAI,CAAC,MAAM,CAAC;QACR,KAAK,EAAE,IAAI,CAAC,MAAM,EAAE;QACpB,SAAS,EAAE,IAAI,CAAC,OAAO,EAAE;QACzB,SAAS,EAAE,IAAI;QACf,SAAS,EAAE,aAAa;QACxB,WAAW,EAAE,QAAQ,CAAC,aAAa,CAAC;QACpC,MAAM,EAAE,QAAQ,CAAC,IAAI,CAAC;QACtB,MAAM,EAAE,IAAI,CAAC,MAAM,EAAE;QACrB,UAAU,EAAE,IAAI,CAAC,MAAM,EAAE;QACzB,QAAQ,EAAE,oBAAoB;QAC9B,YAAY,EAAE,QAAQ,CAAC,oBAAoB,CAAC;QAC5C,gBAAgB,EAAE,QAAQ,CAAC,IAAI,CAAC,MAAM,EAAE,CAAC;QACzC,gBAAgB,EAAE,QAAQ,CAAC,IAAI,CAAC,MAAM,EAAE,CAAC;QACzC,WAAW,EAAE,QAAQ,CAAC,IAAI,CAAC,MAAM,EAAE,CAAC;KACvC,CAAC;CACL,CAAC,CAAA;AAGF,MAAM,CAAC,MAAM,0BAA0B,GAAG,IAAI,CAAC,SAAS,CAAC;IACrD,cAAc;IACd,IAAI,CAAC,MAAM,CAAC;QACR,OAAO,EAAE,IAAI,CAAC,MAAM,EAAE;QACtB,SAAS,EAAE,IAAI,CAAC,MAAM,EAAE;KAC3B,CAAC;CACL,CAAC,CAAA;AAGF,MAAM,CAAC,MAAM,QAAQ,GAAG,IAAI,CAAC,KAAK,CAAC;IAC/B,IAAI,CAAC,OAAO,CAAC,QAAQ,CAAC;IACtB,IAAI,CAAC,OAAO,CAAC,UAAU,CAAC;CAC3B,CAAC,CAAA;AAGF,MAAM,CAAC,MAAM,cAAc,GAAG,IAAI,CAAC,MAAM,CAAC;IACtC,EAAE,EAAE,IAAI;IACR,UAAU,EAAE,IAAI;IAChB,OAAO,EAAE,IAAI,CAAC,MAAM,EAAE;IACtB,QAAQ,EAAE,QAAQ;IAClB,MAAM,EAAE,IAAI;IACZ,SAAS,EAAE,aAAa;CAC3B,CAAC,CAAA;AAIF,MAAM,CAAC,MAAM,kBAAkB,GAAG,IAAI,CAAC,MAAM,CAAC;IAC1C,MAAM,EAAE,IAAI,CAAC,MAAM,CAAC;QAChB,KAAK,EAAE,IAAI,CAAC,KAAK,CAAC,WAAW,CAAC;QAC9B,OAAO,EAAE,IAAI,CAAC,KAAK,CAAC,WAAW,CAAC;QAChC,OAAO,EAAE,IAAI,CAAC,KAAK,CAAC,WAAW,CAAC;KACnC,CAAC;IACF,kBAAkB,EAAE,IAAI,CAAC,MAAM,CAAC;QAC5B,SAAS,EAAE,IAAI,CAAC,MAAM,CAAC;YACnB,KAAK,EAAE,IAAI,CAAC,KAAK,CAAC,2BAA2B,CAAC;YAC9C,OAAO,EAAE,IAAI,CAAC,KAAK,CAAC,2BAA2B,CAAC;YAChD,OAAO,EAAE,IAAI,CAAC,KAAK,CAAC,2BAA2B,EAAE;gBAC7C,WAAW,EACP,gFAAgF;aACvF,CAAC;SACL,CAAC;QACF,WAAW,EAAE,IAAI,CAAC,MAAM,CAAC;YACrB,KAAK,EAAE,IAAI,CAAC,KAAK,CAAC,6BAA6B,CAAC;YAChD,OAAO,EAAE,IAAI,CAAC,KAAK,CAAC,6BAA6B,CAAC;SACrD,CAAC;QACF,QAAQ,EAAE,IAAI,CAAC,MAAM,CAAC;YAClB,KAAK,EAAE,IAAI,CAAC,KAAK,CAAC,0BAA0B,CAAC;YAC7C,OAAO,EAAE,IAAI,CAAC,KAAK,CAAC,0BAA0B,CAAC;SAClD,CAAC;KACL,CAAC;IACF,cAAc,EAAE,IAAI,CAAC,MAAM,CAAC;QACxB,KAAK,EAAE,IAAI,CAAC,KAAK,CAAC,mBAAmB,CAAC;QACtC,OAAO,EAAE,IAAI,CAAC,KAAK,CAAC,mBAAmB,CAAC;KAC3C,CAAC;CACL,CAAC,CAAA;AAGF,MAAM,CAAC,MAAM,qBAAqB,GAAG,IAAI,CAAC,MAAM,CAAC;IAC7C,UAAU,EAAE,IAAI;IAChB,OAAO,EAAE,IAAI,CAAC,MAAM,EAAE;IACtB,QAAQ,EAAE,IAAI,CAAC,MAAM,EAAE;IACvB,gBAAgB,EAAE,IAAI,CAAC,MAAM,EAAE;IAC/B,MAAM,EAAE,QAAQ,CAAC,IAAI,CAAC;CACzB,CAAC,CAAA;AAGF,MAAM,CAAC,MAAM,iBAAiB,GAAG,IAAI,CAAC,MAAM,CAAC;IACzC,UAAU,EAAE,IAAI;IAChB,OAAO,EAAE,IAAI,CAAC,MAAM,EAAE;IACtB,MAAM,EAAE,IAAI;IACZ,SAAS,EAAE,aAAa;IACxB,IAAI,EAAE,IAAI,CAAC,MAAM,EAAE;CACtB,CAAC,CAAA;AAGF,MAAM,CAAC,MAAM,yBAAyB,GAAG,IAAI,CAAC,SAAS,CAAC;IACpD,iBAAiB;IACjB,sBAAsB;CACzB,CAAC,CAAA"}
1
+ {"version":3,"file":"arguments.js","sourceRoot":"","sources":["../../../src/schemas/model/arguments.ts"],"names":[],"mappings":"AAAA,OAAO,IAAI,EAAE,EAAe,MAAM,SAAS,CAAA;AAC3C,OAAO,EAAE,kBAAkB,EAAE,MAAM,yBAAyB,CAAA;AAC5D,OAAO,EACH,oBAAoB,EACpB,oBAAoB,GACvB,MAAM,0BAA0B,CAAA;AACjC,OAAO,EAAE,aAAa,EAAE,QAAQ,EAAE,IAAI,EAAE,MAAM,cAAc,CAAA;AAC5D,OAAO,EAAE,sBAAsB,EAAE,MAAM,YAAY,CAAA;AACnD,OAAO,EAAE,WAAW,EAAE,MAAM,aAAa,CAAA;AACzC,OAAO,EAAE,mBAAmB,EAAE,MAAM,gBAAgB,CAAA;AACpD,OAAO,EACH,2BAA2B,EAC3B,6BAA6B,EAC7B,0BAA0B,GAC7B,MAAM,aAAa,CAAA;AACpB,OAAO,EAAE,kBAAkB,EAAsB,MAAM,YAAY,CAAA;AAEnE,MAAM,CAAC,MAAM,2BAA2B,GAAG,IAAI,CAAC,MAAM,CAAC;IACnD,KAAK,EAAE,IAAI,CAAC,MAAM,EAAE;CACvB,CAAC,CAAA;AAGF,MAAM,CAAC,MAAM,cAAc,GAAG,IAAI,CAAC,SAAS,CAAC;IACzC,kBAAkB;IAClB,IAAI,CAAC,MAAM,CAAC;QACR,KAAK,EAAE,IAAI,CAAC,MAAM,EAAE;QACpB,SAAS,EAAE,IAAI,CAAC,OAAO,EAAE;QACzB,SAAS,EAAE,IAAI;QACf,SAAS,EAAE,aAAa;QACxB,WAAW,EAAE,QAAQ,CAAC,aAAa,CAAC;QACpC,MAAM,EAAE,QAAQ,CAAC,IAAI,CAAC;QACtB,MAAM,EAAE,IAAI,CAAC,MAAM,EAAE;QACrB,UAAU,EAAE,IAAI,CAAC,MAAM,EAAE;QACzB,QAAQ,EAAE,oBAAoB;QAC9B,YAAY,EAAE,QAAQ,CAAC,oBAAoB,CAAC;QAC5C,gBAAgB,EAAE,QAAQ,CAAC,IAAI,CAAC,MAAM,EAAE,CAAC;QACzC,gBAAgB,EAAE,QAAQ,CAAC,IAAI,CAAC,MAAM,EAAE,CAAC;QACzC,WAAW,EAAE,QAAQ,CAAC,IAAI,CAAC,MAAM,EAAE,CAAC;KACvC,CAAC;CACL,CAAC,CAAA;AAGF,MAAM,CAAC,MAAM,0BAA0B,GAAG,IAAI,CAAC,SAAS,CAAC;IACrD,cAAc;IACd,IAAI,CAAC,MAAM,CAAC;QACR,OAAO,EAAE,IAAI,CAAC,MAAM,EAAE;QACtB,SAAS,EAAE,IAAI,CAAC,MAAM,EAAE;KAC3B,CAAC;CACL,CAAC,CAAA;AAGF,MAAM,CAAC,MAAM,QAAQ,GAAG,IAAI,CAAC,KAAK,CAAC;IAC/B,IAAI,CAAC,OAAO,CAAC,QAAQ,CAAC;IACtB,IAAI,CAAC,OAAO,CAAC,UAAU,CAAC;CAC3B,CAAC,CAAA;AAGF,MAAM,CAAC,MAAM,cAAc,GAAG,IAAI,CAAC,MAAM,CAAC;IACtC,EAAE,EAAE,IAAI;IACR,UAAU,EAAE,IAAI;IAChB,OAAO,EAAE,IAAI,CAAC,MAAM,EAAE;IACtB,QAAQ,EAAE,QAAQ;IAClB,MAAM,EAAE,IAAI;IACZ,SAAS,EAAE,aAAa;CAC3B,CAAC,CAAA;AAIF,MAAM,CAAC,MAAM,kBAAkB,GAAG,IAAI,CAAC,MAAM,CAAC;IAC1C,MAAM,EAAE,IAAI,CAAC,MAAM,CAAC;QAChB,KAAK,EAAE,IAAI,CAAC,KAAK,CAAC,WAAW,CAAC;QAC9B,OAAO,EAAE,IAAI,CAAC,KAAK,CAAC,WAAW,CAAC;QAChC,OAAO,EAAE,IAAI,CAAC,KAAK,CAAC,WAAW,CAAC;KACnC,CAAC;IACF,kBAAkB,EAAE,IAAI,CAAC,MAAM,CAAC;QAC5B,SAAS,EAAE,IAAI,CAAC,MAAM,CAAC;YACnB,KAAK,EAAE,IAAI,CAAC,KAAK,CAAC,2BAA2B,CAAC;YAC9C,OAAO,EAAE,IAAI,CAAC,KAAK,CAAC,2BAA2B,CAAC;YAChD,OAAO,EAAE,IAAI,CAAC,KAAK,CAAC,2BAA2B,EAAE;gBAC7C,WAAW,EACP,gFAAgF;aACvF,CAAC;SACL,CAAC;QACF,WAAW,EAAE,IAAI,CAAC,MAAM,CAAC;YACrB,KAAK,EAAE,IAAI,CAAC,KAAK,CAAC,6BAA6B,CAAC;YAChD,OAAO,EAAE,IAAI,CAAC,KAAK,CAAC,6BAA6B,CAAC;SACrD,CAAC;QACF,QAAQ,EAAE,IAAI,CAAC,MAAM,CAAC;YAClB,KAAK,EAAE,IAAI,CAAC,KAAK,CAAC,0BAA0B,CAAC;YAC7C,OAAO,EAAE,IAAI,CAAC,KAAK,CAAC,0BAA0B,CAAC;SAClD,CAAC;KACL,CAAC;IACF,SAAS,EAAE,IAAI,CAAC,MAAM,CAAC;QACnB,KAAK,EAAE,IAAI,CAAC,KAAK,CAAC,mBAAmB,CAAC;QACtC,OAAO,EAAE,IAAI,CAAC,KAAK,CAAC,mBAAmB,CAAC;KAC3C,CAAC;CACL,CAAC,CAAA;AAGF,MAAM,CAAC,MAAM,qBAAqB,GAAG,IAAI,CAAC,MAAM,CAAC;IAC7C,UAAU,EAAE,IAAI;IAChB,OAAO,EAAE,IAAI,CAAC,MAAM,EAAE;IACtB,QAAQ,EAAE,IAAI,CAAC,MAAM,EAAE;IACvB,gBAAgB,EAAE,IAAI,CAAC,MAAM,EAAE;IAC/B,MAAM,EAAE,QAAQ,CAAC,IAAI,CAAC;CACzB,CAAC,CAAA;AAGF,MAAM,CAAC,MAAM,iBAAiB,GAAG,IAAI,CAAC,MAAM,CAAC;IACzC,UAAU,EAAE,IAAI;IAChB,OAAO,EAAE,IAAI,CAAC,MAAM,EAAE;IACtB,MAAM,EAAE,IAAI;IACZ,SAAS,EAAE,aAAa;IACxB,IAAI,EAAE,IAAI,CAAC,MAAM,EAAE;CACtB,CAAC,CAAA;AAGF,MAAM,CAAC,MAAM,yBAAyB,GAAG,IAAI,CAAC,SAAS,CAAC;IACpD,iBAAiB;IACjB,sBAAsB;CACzB,CAAC,CAAA"}
@@ -1,10 +1,10 @@
1
1
  import Type, { type Static } from "typebox";
2
2
  export declare const ClaimCitationSchema: Type.TIntersect<[Type.TObject<{
3
3
  id: Type.TString;
4
- citingClaimId: Type.TString;
5
- citingClaimVersion: Type.TNumber;
6
- sourceClaimId: Type.TString;
7
- sourceClaimVersion: Type.TNumber;
4
+ claimId: Type.TString;
5
+ claimVersion: Type.TNumber;
6
+ supportingClaimId: Type.TString;
7
+ supportingClaimVersion: Type.TNumber;
8
8
  checksum: Type.TString;
9
9
  }>, Type.TObject<{
10
10
  argumentId: Type.TString;
@@ -1,8 +1,8 @@
1
1
  import Type, {} from "typebox";
2
- import { CoreClaimCitationSchema } from "@proposit/proposit-core";
2
+ import { CoreClaimConnectionSchema } from "@proposit/proposit-core";
3
3
  import { EncodableDate, UUID } from "../common.js";
4
4
  export const ClaimCitationSchema = Type.Intersect([
5
- CoreClaimCitationSchema,
5
+ CoreClaimConnectionSchema,
6
6
  Type.Object({
7
7
  argumentId: UUID,
8
8
  createdOn: EncodableDate,
@@ -1 +1 @@
1
- {"version":3,"file":"citations.js","sourceRoot":"","sources":["../../../src/schemas/model/citations.ts"],"names":[],"mappings":"AAAA,OAAO,IAAI,EAAE,EAAe,MAAM,SAAS,CAAA;AAC3C,OAAO,EAAE,uBAAuB,EAAE,MAAM,yBAAyB,CAAA;AACjE,OAAO,EAAE,aAAa,EAAE,IAAI,EAAE,MAAM,cAAc,CAAA;AAElD,MAAM,CAAC,MAAM,mBAAmB,GAAG,IAAI,CAAC,SAAS,CAAC;IAC9C,uBAAuB;IACvB,IAAI,CAAC,MAAM,CAAC;QACR,UAAU,EAAE,IAAI;QAChB,SAAS,EAAE,aAAa;KAC3B,CAAC;CACL,CAAC,CAAA"}
1
+ {"version":3,"file":"citations.js","sourceRoot":"","sources":["../../../src/schemas/model/citations.ts"],"names":[],"mappings":"AAAA,OAAO,IAAI,EAAE,EAAe,MAAM,SAAS,CAAA;AAC3C,OAAO,EAAE,yBAAyB,EAAE,MAAM,yBAAyB,CAAA;AACnE,OAAO,EAAE,aAAa,EAAE,IAAI,EAAE,MAAM,cAAc,CAAA;AAElD,MAAM,CAAC,MAAM,mBAAmB,GAAG,IAAI,CAAC,SAAS,CAAC;IAC9C,yBAAyB;IACzB,IAAI,CAAC,MAAM,CAAC;QACR,UAAU,EAAE,IAAI;QAChB,SAAS,EAAE,aAAa;KAC3B,CAAC;CACL,CAAC,CAAA"}