@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.
- package/dist/api-client/argument/batch.d.ts +46 -9
- package/dist/api-client/argument/batch.d.ts.map +1 -1
- package/dist/api-client/argument/claims.d.ts +192 -44
- package/dist/api-client/argument/claims.d.ts.map +1 -1
- package/dist/api-client/argument/index.d.ts +198 -50
- package/dist/api-client/argument/index.d.ts.map +1 -1
- package/dist/api-client/user/citations.d.ts +92 -18
- package/dist/api-client/user/citations.d.ts.map +1 -1
- package/dist/api-client/user/claims.d.ts +46 -9
- package/dist/api-client/user/claims.d.ts.map +1 -1
- package/dist/consts/axioms.d.ts +4 -0
- package/dist/consts/axioms.d.ts.map +1 -0
- package/dist/consts/axioms.js +17 -0
- package/dist/consts/axioms.js.map +1 -0
- package/dist/consts/index.d.ts +1 -0
- package/dist/consts/index.d.ts.map +1 -1
- package/dist/consts/index.js +1 -0
- package/dist/consts/index.js.map +1 -1
- package/dist/engine/engine.d.ts +14 -14
- package/dist/engine/engine.d.ts.map +1 -1
- package/dist/engine/engine.js +35 -35
- package/dist/engine/engine.js.map +1 -1
- package/dist/engine/library-adapters.d.ts +2 -2
- package/dist/engine/library-adapters.d.ts.map +1 -1
- package/dist/engine/library-adapters.js +2 -2
- package/dist/engine/library-adapters.js.map +1 -1
- package/dist/engine/mutations/premises.d.ts +2 -2
- package/dist/engine/mutations/premises.d.ts.map +1 -1
- package/dist/engine/mutations/premises.js +5 -5
- package/dist/engine/mutations/premises.js.map +1 -1
- package/dist/engine/optimistic/verification.d.ts.map +1 -1
- package/dist/engine/optimistic/verification.js +1 -2
- package/dist/engine/optimistic/verification.js.map +1 -1
- package/dist/engine/text-tree.d.ts +2 -1
- package/dist/engine/text-tree.d.ts.map +1 -1
- package/dist/engine/text-tree.js +8 -3
- package/dist/engine/text-tree.js.map +1 -1
- package/dist/schemas/api/argument/batch/provision.d.ts +46 -9
- package/dist/schemas/api/argument/batch/provision.d.ts.map +1 -1
- package/dist/schemas/api/argument/claims.d.ts +147 -35
- package/dist/schemas/api/argument/claims.d.ts.map +1 -1
- package/dist/schemas/api/argument/index.d.ts +51 -14
- package/dist/schemas/api/argument/index.d.ts.map +1 -1
- package/dist/schemas/api/argument/index.js +1 -1
- package/dist/schemas/api/argument/index.js.map +1 -1
- package/dist/schemas/api/citations.d.ts +230 -45
- package/dist/schemas/api/citations.d.ts.map +1 -1
- package/dist/schemas/api/claims.d.ts +92 -18
- package/dist/schemas/api/claims.d.ts.map +1 -1
- package/dist/schemas/model/arguments.d.ts +147 -36
- package/dist/schemas/model/arguments.d.ts.map +1 -1
- package/dist/schemas/model/arguments.js +1 -1
- package/dist/schemas/model/arguments.js.map +1 -1
- package/dist/schemas/model/citations.d.ts +4 -4
- package/dist/schemas/model/citations.js +2 -2
- package/dist/schemas/model/citations.js.map +1 -1
- package/dist/schemas/model/claims.d.ts +127 -22
- package/dist/schemas/model/claims.d.ts.map +1 -1
- package/dist/schemas/model/claims.js +85 -24
- package/dist/schemas/model/claims.js.map +1 -1
- 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
|
-
|
|
17
|
-
|
|
18
|
-
|
|
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
|
-
}>]>]
|
|
447
|
-
citationContentHash: Type.
|
|
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
|
-
|
|
575
|
-
|
|
576
|
-
|
|
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
|
-
}>]>]
|
|
1005
|
-
citationContentHash: Type.
|
|
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
|
|
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
|
-
|
|
142
|
-
|
|
143
|
-
|
|
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
|
-
}>]>]
|
|
572
|
-
citationContentHash: Type.
|
|
573
|
-
|
|
574
|
-
|
|
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
|
-
|
|
588
|
-
|
|
589
|
-
|
|
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
|
-
}>]>]
|
|
1018
|
-
citationContentHash: Type.
|
|
1019
|
-
|
|
1020
|
-
|
|
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
|
-
|
|
1034
|
-
|
|
1035
|
-
|
|
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
|
-
}>]>]
|
|
1464
|
-
citationContentHash: Type.
|
|
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
|
-
|
|
1820
|
+
citations: Type.TObject<{
|
|
1710
1821
|
added: Type.TArray<Type.TIntersect<[Type.TObject<{
|
|
1711
1822
|
id: Type.TString;
|
|
1712
|
-
|
|
1713
|
-
|
|
1714
|
-
|
|
1715
|
-
|
|
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
|
-
|
|
1724
|
-
|
|
1725
|
-
|
|
1726
|
-
|
|
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
|
|
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
|
-
|
|
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,
|
|
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
|
-
|
|
5
|
-
|
|
6
|
-
|
|
7
|
-
|
|
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 {
|
|
2
|
+
import { CoreClaimConnectionSchema } from "@proposit/proposit-core";
|
|
3
3
|
import { EncodableDate, UUID } from "../common.js";
|
|
4
4
|
export const ClaimCitationSchema = Type.Intersect([
|
|
5
|
-
|
|
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,
|
|
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"}
|