@proposit/shared 0.5.0 → 0.5.1

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 (36) hide show
  1. package/dist/api-client/argument/batch.d.ts +12 -12
  2. package/dist/api-client/argument/claims.d.ts +8 -10
  3. package/dist/api-client/argument/claims.d.ts.map +1 -1
  4. package/dist/api-client/argument/index.d.ts +13 -16
  5. package/dist/api-client/argument/index.d.ts.map +1 -1
  6. package/dist/api-client/argument/logic/index.d.ts +10 -10
  7. package/dist/api-client/argument/logic/repair.d.ts +5 -5
  8. package/dist/api-client/user/citations.d.ts +4 -4
  9. package/dist/api-client/user/claims.d.ts +2 -2
  10. package/dist/checksum.d.ts.map +1 -1
  11. package/dist/checksum.js +7 -8
  12. package/dist/checksum.js.map +1 -1
  13. package/dist/schemas/api/argument/batch/change-edge-operator.d.ts +5 -5
  14. package/dist/schemas/api/argument/batch/create-expression-with-operator.d.ts +5 -5
  15. package/dist/schemas/api/argument/batch/provision.d.ts +2 -2
  16. package/dist/schemas/api/argument/claims.d.ts +6 -8
  17. package/dist/schemas/api/argument/claims.d.ts.map +1 -1
  18. package/dist/schemas/api/argument/index.d.ts +7 -8
  19. package/dist/schemas/api/argument/index.d.ts.map +1 -1
  20. package/dist/schemas/api/argument/repair.d.ts +5 -5
  21. package/dist/schemas/api/citations.d.ts +10 -10
  22. package/dist/schemas/api/claims.d.ts +4 -4
  23. package/dist/schemas/model/arguments.d.ts +6 -8
  24. package/dist/schemas/model/arguments.d.ts.map +1 -1
  25. package/dist/schemas/model/citations.d.ts +0 -1
  26. package/dist/schemas/model/citations.d.ts.map +1 -1
  27. package/dist/schemas/model/citations.js +0 -1
  28. package/dist/schemas/model/citations.js.map +1 -1
  29. package/dist/schemas/model/claims.d.ts +4 -4
  30. package/dist/schemas/model/claims.js +1 -1
  31. package/dist/schemas/model/claims.js.map +1 -1
  32. package/dist/schemas/snapshot.d.ts +5 -5
  33. package/dist/schemas/snapshot.d.ts.map +1 -1
  34. package/dist/schemas/snapshot.js +6 -0
  35. package/dist/schemas/snapshot.js.map +1 -1
  36. package/package.json +1 -1
package/dist/checksum.js CHANGED
@@ -10,14 +10,13 @@ export const CHECKSUM_CONFIG = createChecksumConfig({
10
10
  "createdOn",
11
11
  "creatorId",
12
12
  ]),
13
- premiseFields: new Set([
14
- "argumentId",
15
- "argumentVersion",
16
- "role",
17
- "createdOn",
18
- "creatorId",
19
- "title",
20
- ]),
13
+ // In proposit-core@0.11+, the engine's internal PremiseEngine strips
14
+ // extra fields (role, title, creatorId, createdOn) before computing
15
+ // premise checksums — only the 4 core fields (argumentId, argumentVersion,
16
+ // type, derivedClaimId) are hashed. Matching the DEFAULT_CHECKSUM_CONFIG
17
+ // premise fields here ensures client (PropositArgumentEngine) and server
18
+ // agree on premise checksums regardless of what extra fields are present.
19
+ // premiseFields intentionally omitted: falls back to DEFAULT (4 core fields)
21
20
  argumentFields: new Set([
22
21
  "title",
23
22
  "published",
package/dist/checksum.js.map CHANGED
@@ -1 +1 @@
1
- {"version":3,"file":"checksum.js","sourceRoot":"","sources":["../src/checksum.ts"],"names":[],"mappings":"AAAA,OAAO,EAAE,oBAAoB,EAAE,MAAM,yBAAyB,CAAA;AAE9D,MAAM,CAAC,MAAM,eAAe,GAAG,oBAAoB,CAAC;IAChD,gBAAgB,EAAE,IAAI,GAAG,CAAC,CAAC,WAAW,EAAE,WAAW,EAAE,WAAW,CAAC,CAAC;IAClE,cAAc,EAAE,IAAI,GAAG,CAAC;QACpB,SAAS;QACT,cAAc;QACd,gBAAgB;QAChB,iBAAiB;QACjB,sBAAsB;QACtB,WAAW;QACX,WAAW;KACd,CAAC;IACF,aAAa,EAAE,IAAI,GAAG,CAAC;QACnB,YAAY;QACZ,iBAAiB;QACjB,MAAM;QACN,WAAW;QACX,WAAW;QACX,OAAO;KACV,CAAC;IACF,cAAc,EAAE,IAAI,GAAG,CAAC;QACpB,OAAO;QACP,WAAW;QACX,WAAW;QACX,WAAW;QACX,aAAa;QACb,QAAQ;QACR,QAAQ;QACR,aAAa;KAChB,CAAC;CACL,CAAC,CAAA"}
1
+ {"version":3,"file":"checksum.js","sourceRoot":"","sources":["../src/checksum.ts"],"names":[],"mappings":"AAAA,OAAO,EAAE,oBAAoB,EAAE,MAAM,yBAAyB,CAAA;AAE9D,MAAM,CAAC,MAAM,eAAe,GAAG,oBAAoB,CAAC;IAChD,gBAAgB,EAAE,IAAI,GAAG,CAAC,CAAC,WAAW,EAAE,WAAW,EAAE,WAAW,CAAC,CAAC;IAClE,cAAc,EAAE,IAAI,GAAG,CAAC;QACpB,SAAS;QACT,cAAc;QACd,gBAAgB;QAChB,iBAAiB;QACjB,sBAAsB;QACtB,WAAW;QACX,WAAW;KACd,CAAC;IACF,qEAAqE;IACrE,oEAAoE;IACpE,2EAA2E;IAC3E,yEAAyE;IACzE,yEAAyE;IACzE,0EAA0E;IAC1E,6EAA6E;IAC7E,cAAc,EAAE,IAAI,GAAG,CAAC;QACpB,OAAO;QACP,WAAW;QACX,WAAW;QACX,WAAW;QACX,aAAa;QACb,QAAQ;QACR,QAAQ;QACR,aAAa;KAChB,CAAC;CACL,CAAC,CAAA"}
package/dist/schemas/api/argument/batch/change-edge-operator.d.ts CHANGED
@@ -68,9 +68,9 @@ export declare const ChangeEdgeOperatorResponseSchema: Type.TObject<{
68
68
  creatorId: Type.TString;
69
69
  claimId: Type.TString;
70
70
  claimVersion: Type.TNumber;
71
+ id: Type.TString;
71
72
  argumentId: Type.TString;
72
73
  argumentVersion: Type.TNumber;
73
- id: Type.TString;
74
74
  }>, Type.TObject<{
75
75
  checksum: Type.TOptional<Type.TString>;
76
76
  descendantChecksum: Type.TOptional<Type.TUnion<[Type.TString, Type.TNull]>>;
@@ -82,9 +82,9 @@ export declare const ChangeEdgeOperatorResponseSchema: Type.TObject<{
82
82
  boundPremiseId: Type.TString;
83
83
  boundArgumentId: Type.TString;
84
84
  boundArgumentVersion: Type.TNumber;
85
+ id: Type.TString;
85
86
  argumentId: Type.TString;
86
87
  argumentVersion: Type.TNumber;
87
- id: Type.TString;
88
88
  }>, Type.TObject<{
89
89
  checksum: Type.TOptional<Type.TString>;
90
90
  descendantChecksum: Type.TOptional<Type.TUnion<[Type.TString, Type.TNull]>>;
@@ -96,16 +96,16 @@ export declare const ChangeEdgeOperatorResponseSchema: Type.TObject<{
96
96
  premise: Type.TIntersect<[Type.TObject<{
97
97
  createdOn: Type.TOptional<import("../../../common.js").TDateType>;
98
98
  creatorId: Type.TOptional<Type.TString>;
99
- argumentId: Type.TString;
100
- argumentVersion: Type.TNumber;
101
- role: Type.TUnion<[Type.TLiteral<"conclusion">, Type.TLiteral<"supporting">]>;
102
99
  title: Type.TOptional<Type.TUnion<[Type.TString, Type.TNull]>>;
103
100
  type: Type.TUnion<[Type.TLiteral<"freeform">, Type.TLiteral<"derivation">]>;
104
101
  id: Type.TString;
102
+ argumentId: Type.TString;
103
+ argumentVersion: Type.TNumber;
105
104
  }>, Type.TObject<{
106
105
  checksum: Type.TOptional<Type.TString>;
107
106
  descendantChecksum: Type.TOptional<Type.TUnion<[Type.TString, Type.TNull]>>;
108
107
  combinedChecksum: Type.TOptional<Type.TString>;
108
+ role: Type.TOptional<Type.TUnion<[Type.TLiteral<"conclusion">, Type.TLiteral<"supporting">]>>;
109
109
  }>]>;
110
110
  rootExpressionId: Type.TOptional<Type.TString>;
111
111
  expressions: Type.TObject<{
package/dist/schemas/api/argument/batch/create-expression-with-operator.d.ts CHANGED
@@ -68,9 +68,9 @@ export declare const CreateExpressionWithOperatorResponseSchema: Type.TObject<{
68
68
  creatorId: Type.TString;
69
69
  claimId: Type.TString;
70
70
  claimVersion: Type.TNumber;
71
+ id: Type.TString;
71
72
  argumentId: Type.TString;
72
73
  argumentVersion: Type.TNumber;
73
- id: Type.TString;
74
74
  }>, Type.TObject<{
75
75
  checksum: Type.TOptional<Type.TString>;
76
76
  descendantChecksum: Type.TOptional<Type.TUnion<[Type.TString, Type.TNull]>>;
@@ -82,9 +82,9 @@ export declare const CreateExpressionWithOperatorResponseSchema: Type.TObject<{
82
82
  boundPremiseId: Type.TString;
83
83
  boundArgumentId: Type.TString;
84
84
  boundArgumentVersion: Type.TNumber;
85
+ id: Type.TString;
85
86
  argumentId: Type.TString;
86
87
  argumentVersion: Type.TNumber;
87
- id: Type.TString;
88
88
  }>, Type.TObject<{
89
89
  checksum: Type.TOptional<Type.TString>;
90
90
  descendantChecksum: Type.TOptional<Type.TUnion<[Type.TString, Type.TNull]>>;
@@ -96,16 +96,16 @@ export declare const CreateExpressionWithOperatorResponseSchema: Type.TObject<{
96
96
  premise: Type.TIntersect<[Type.TObject<{
97
97
  createdOn: Type.TOptional<import("../../../common.js").TDateType>;
98
98
  creatorId: Type.TOptional<Type.TString>;
99
- argumentId: Type.TString;
100
- argumentVersion: Type.TNumber;
101
- role: Type.TUnion<[Type.TLiteral<"conclusion">, Type.TLiteral<"supporting">]>;
102
99
  title: Type.TOptional<Type.TUnion<[Type.TString, Type.TNull]>>;
103
100
  type: Type.TUnion<[Type.TLiteral<"freeform">, Type.TLiteral<"derivation">]>;
104
101
  id: Type.TString;
102
+ argumentId: Type.TString;
103
+ argumentVersion: Type.TNumber;
105
104
  }>, Type.TObject<{
106
105
  checksum: Type.TOptional<Type.TString>;
107
106
  descendantChecksum: Type.TOptional<Type.TUnion<[Type.TString, Type.TNull]>>;
108
107
  combinedChecksum: Type.TOptional<Type.TString>;
108
+ role: Type.TOptional<Type.TUnion<[Type.TLiteral<"conclusion">, Type.TLiteral<"supporting">]>>;
109
109
  }>]>;
110
110
  rootExpressionId: Type.TOptional<Type.TString>;
111
111
  expressions: Type.TObject<{
package/dist/schemas/api/argument/batch/provision.d.ts CHANGED
@@ -15,7 +15,7 @@ export declare const ProvisionResponseSchema: Type.TObject<{
15
15
  parentId: Type.TUnion<[Type.TString, Type.TNull]>;
16
16
  titleContentHash: Type.TOptional<Type.TUnion<[Type.TString, Type.TNull]>>;
17
17
  url: Type.TOptional<Type.TUnion<[Type.TString, Type.TNull]>>;
18
- citation: Type.TOptional<Type.TUnion<[Type.TIntersect<[Type.TObject<{
18
+ citation: Type.TOptional<Type.TUnion<[Type.TUnion<[Type.TIntersect<[Type.TObject<{
19
19
  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
20
  }>, Type.TObject<{
21
21
  type: Type.TLiteral<"Book">;
@@ -443,7 +443,7 @@ export declare const ProvisionResponseSchema: Type.TObject<{
443
443
  type: Type.TLiteral<"UnparsedURL">;
444
444
  url: Type.TString;
445
445
  text: Type.TOptional<Type.TString>;
446
- }>]>]>>;
446
+ }>]>]>, Type.TNull]>>;
447
447
  citationContentHash: Type.TOptional<Type.TUnion<[Type.TString, Type.TNull]>>;
448
448
  }>;
449
449
  premise: Type.TIntersect<[Type.TUnion<[Type.TObject<{
package/dist/schemas/api/argument/claims.d.ts CHANGED
@@ -22,7 +22,7 @@ export declare const ClaimCreationResponseSchema: Type.TObject<{
22
22
  parentId: Type.TUnion<[Type.TString, Type.TNull]>;
23
23
  titleContentHash: Type.TOptional<Type.TUnion<[Type.TString, Type.TNull]>>;
24
24
  url: Type.TOptional<Type.TUnion<[Type.TString, Type.TNull]>>;
25
- citation: Type.TOptional<Type.TUnion<[Type.TIntersect<[Type.TObject<{
25
+ citation: Type.TOptional<Type.TUnion<[Type.TUnion<[Type.TIntersect<[Type.TObject<{
26
26
  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
27
  }>, Type.TObject<{
28
28
  type: Type.TLiteral<"Book">;
@@ -450,7 +450,7 @@ export declare const ClaimCreationResponseSchema: Type.TObject<{
450
450
  type: Type.TLiteral<"UnparsedURL">;
451
451
  url: Type.TString;
452
452
  text: Type.TOptional<Type.TString>;
453
- }>]>]>>;
453
+ }>]>]>, Type.TNull]>>;
454
454
  citationContentHash: Type.TOptional<Type.TUnion<[Type.TString, Type.TNull]>>;
455
455
  }>;
456
456
  newPropositionalVariable: Type.TUnion<[Type.TUnion<[Type.TIntersect<[Type.TObject<{
@@ -551,7 +551,7 @@ export declare const ClaimDeletionResponseSchema: Type.TObject<{
551
551
  parentId: Type.TUnion<[Type.TString, Type.TNull]>;
552
552
  titleContentHash: Type.TOptional<Type.TUnion<[Type.TString, Type.TNull]>>;
553
553
  url: Type.TOptional<Type.TUnion<[Type.TString, Type.TNull]>>;
554
- citation: Type.TOptional<Type.TUnion<[Type.TIntersect<[Type.TObject<{
554
+ citation: Type.TOptional<Type.TUnion<[Type.TUnion<[Type.TIntersect<[Type.TObject<{
555
555
  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
556
  }>, Type.TObject<{
557
557
  type: Type.TLiteral<"Book">;
@@ -979,7 +979,7 @@ export declare const ClaimDeletionResponseSchema: Type.TObject<{
979
979
  type: Type.TLiteral<"UnparsedURL">;
980
980
  url: Type.TString;
981
981
  text: Type.TOptional<Type.TString>;
982
- }>]>]>>;
982
+ }>]>]>, Type.TNull]>>;
983
983
  citationContentHash: Type.TOptional<Type.TUnion<[Type.TString, Type.TNull]>>;
984
984
  }>>;
985
985
  }>;
@@ -1000,7 +1000,7 @@ export declare const CitationCreationSchema: Type.TObject<{
1000
1000
  parentId: Type.TUnion<[Type.TString, Type.TNull]>;
1001
1001
  titleContentHash: Type.TOptional<Type.TUnion<[Type.TString, Type.TNull]>>;
1002
1002
  url: Type.TOptional<Type.TUnion<[Type.TString, Type.TNull]>>;
1003
- citation: Type.TOptional<Type.TUnion<[Type.TIntersect<[Type.TObject<{
1003
+ citation: Type.TOptional<Type.TUnion<[Type.TUnion<[Type.TIntersect<[Type.TObject<{
1004
1004
  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
1005
  }>, Type.TObject<{
1006
1006
  type: Type.TLiteral<"Book">;
@@ -1428,7 +1428,7 @@ export declare const CitationCreationSchema: Type.TObject<{
1428
1428
  type: Type.TLiteral<"UnparsedURL">;
1429
1429
  url: Type.TString;
1430
1430
  text: Type.TOptional<Type.TString>;
1431
- }>]>]>>;
1431
+ }>]>]>, Type.TNull]>>;
1432
1432
  citationContentHash: Type.TOptional<Type.TUnion<[Type.TString, Type.TNull]>>;
1433
1433
  }>;
1434
1434
  citationEdge: Type.TIntersect<[Type.TObject<{
@@ -1440,7 +1440,6 @@ export declare const CitationCreationSchema: Type.TObject<{
1440
1440
  checksum: Type.TString;
1441
1441
  }>, Type.TObject<{
1442
1442
  argumentId: Type.TString;
1443
- version: Type.TNumber;
1444
1443
  createdOn: import("../../common.js").TDateType;
1445
1444
  }>]>;
1446
1445
  }>;
@@ -1455,7 +1454,6 @@ export declare const ClaimCitationDeleteResponseSchema: Type.TObject<{
1455
1454
  checksum: Type.TString;
1456
1455
  }>, Type.TObject<{
1457
1456
  argumentId: Type.TString;
1458
- version: Type.TNumber;
1459
1457
  createdOn: import("../../common.js").TDateType;
1460
1458
  }>]>>;
1461
1459
  }>;
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
@@ -68,7 +68,7 @@ export declare const FullArgumentSchema: Type.TObject<{
68
68
  parentId: Type.TUnion<[Type.TString, Type.TNull]>;
69
69
  titleContentHash: Type.TOptional<Type.TUnion<[Type.TString, Type.TNull]>>;
70
70
  url: Type.TOptional<Type.TUnion<[Type.TString, Type.TNull]>>;
71
- citation: Type.TOptional<Type.TUnion<[Type.TIntersect<[Type.TObject<{
71
+ citation: Type.TOptional<Type.TUnion<[Type.TUnion<[Type.TIntersect<[Type.TObject<{
72
72
  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
73
  }>, Type.TObject<{
74
74
  type: Type.TLiteral<"Book">;
@@ -496,7 +496,7 @@ export declare const FullArgumentSchema: Type.TObject<{
496
496
  type: Type.TLiteral<"UnparsedURL">;
497
497
  url: Type.TString;
498
498
  text: Type.TOptional<Type.TString>;
499
- }>]>]>>;
499
+ }>]>]>, Type.TNull]>>;
500
500
  citationContentHash: Type.TOptional<Type.TUnion<[Type.TString, Type.TNull]>>;
501
501
  }>>;
502
502
  propositionalLogic: Type.TObject<{
@@ -558,9 +558,9 @@ export declare const FullArgumentSchema: Type.TObject<{
558
558
  creatorId: Type.TString;
559
559
  claimId: Type.TString;
560
560
  claimVersion: Type.TNumber;
561
+ id: Type.TString;
561
562
  argumentId: Type.TString;
562
563
  argumentVersion: Type.TNumber;
563
- id: Type.TString;
564
564
  }>, Type.TObject<{
565
565
  checksum: Type.TOptional<Type.TString>;
566
566
  descendantChecksum: Type.TOptional<Type.TUnion<[Type.TString, Type.TNull]>>;
@@ -572,9 +572,9 @@ export declare const FullArgumentSchema: Type.TObject<{
572
572
  boundPremiseId: Type.TString;
573
573
  boundArgumentId: Type.TString;
574
574
  boundArgumentVersion: Type.TNumber;
575
+ id: Type.TString;
575
576
  argumentId: Type.TString;
576
577
  argumentVersion: Type.TNumber;
577
- id: Type.TString;
578
578
  }>, Type.TObject<{
579
579
  checksum: Type.TOptional<Type.TString>;
580
580
  descendantChecksum: Type.TOptional<Type.TUnion<[Type.TString, Type.TNull]>>;
@@ -586,16 +586,16 @@ export declare const FullArgumentSchema: Type.TObject<{
586
586
  premise: Type.TIntersect<[Type.TObject<{
587
587
  createdOn: Type.TOptional<import("../../common.js").TDateType>;
588
588
  creatorId: Type.TOptional<Type.TString>;
589
- argumentId: Type.TString;
590
- argumentVersion: Type.TNumber;
591
- role: Type.TUnion<[Type.TLiteral<"conclusion">, Type.TLiteral<"supporting">]>;
592
589
  title: Type.TOptional<Type.TUnion<[Type.TString, Type.TNull]>>;
593
590
  type: Type.TUnion<[Type.TLiteral<"freeform">, Type.TLiteral<"derivation">]>;
594
591
  id: Type.TString;
592
+ argumentId: Type.TString;
593
+ argumentVersion: Type.TNumber;
595
594
  }>, Type.TObject<{
596
595
  checksum: Type.TOptional<Type.TString>;
597
596
  descendantChecksum: Type.TOptional<Type.TUnion<[Type.TString, Type.TNull]>>;
598
597
  combinedChecksum: Type.TOptional<Type.TString>;
598
+ role: Type.TOptional<Type.TUnion<[Type.TLiteral<"conclusion">, Type.TLiteral<"supporting">]>>;
599
599
  }>]>;
600
600
  rootExpressionId: Type.TOptional<Type.TString>;
601
601
  expressions: Type.TObject<{
@@ -667,7 +667,6 @@ export declare const FullArgumentSchema: Type.TObject<{
667
667
  checksum: Type.TString;
668
668
  }>, Type.TObject<{
669
669
  argumentId: Type.TString;
670
- version: Type.TNumber;
671
670
  createdOn: import("../../common.js").TDateType;
672
671
  }>]>>;
673
672
  argumentHistory: Type.TArray<Type.TIntersect<[Type.TObject<{
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/repair.d.ts CHANGED
@@ -75,9 +75,9 @@ export declare const RepairResponseSchema: Type.TObject<{
75
75
  creatorId: Type.TString;
76
76
  claimId: Type.TString;
77
77
  claimVersion: Type.TNumber;
78
+ id: Type.TString;
78
79
  argumentId: Type.TString;
79
80
  argumentVersion: Type.TNumber;
80
- id: Type.TString;
81
81
  }>, Type.TObject<{
82
82
  checksum: Type.TOptional<Type.TString>;
83
83
  descendantChecksum: Type.TOptional<Type.TUnion<[Type.TString, Type.TNull]>>;
@@ -89,9 +89,9 @@ export declare const RepairResponseSchema: Type.TObject<{
89
89
  boundPremiseId: Type.TString;
90
90
  boundArgumentId: Type.TString;
91
91
  boundArgumentVersion: Type.TNumber;
92
+ id: Type.TString;
92
93
  argumentId: Type.TString;
93
94
  argumentVersion: Type.TNumber;
94
- id: Type.TString;
95
95
  }>, Type.TObject<{
96
96
  checksum: Type.TOptional<Type.TString>;
97
97
  descendantChecksum: Type.TOptional<Type.TUnion<[Type.TString, Type.TNull]>>;
@@ -103,16 +103,16 @@ export declare const RepairResponseSchema: Type.TObject<{
103
103
  premise: Type.TIntersect<[Type.TObject<{
104
104
  createdOn: Type.TOptional<import("../../common.js").TDateType>;
105
105
  creatorId: Type.TOptional<Type.TString>;
106
- argumentId: Type.TString;
107
- argumentVersion: Type.TNumber;
108
- role: Type.TUnion<[Type.TLiteral<"conclusion">, Type.TLiteral<"supporting">]>;
109
106
  title: Type.TOptional<Type.TUnion<[Type.TString, Type.TNull]>>;
110
107
  type: Type.TUnion<[Type.TLiteral<"freeform">, Type.TLiteral<"derivation">]>;
111
108
  id: Type.TString;
109
+ argumentId: Type.TString;
110
+ argumentVersion: Type.TNumber;
112
111
  }>, Type.TObject<{
113
112
  checksum: Type.TOptional<Type.TString>;
114
113
  descendantChecksum: Type.TOptional<Type.TUnion<[Type.TString, Type.TNull]>>;
115
114
  combinedChecksum: Type.TOptional<Type.TString>;
115
+ role: Type.TOptional<Type.TUnion<[Type.TLiteral<"conclusion">, Type.TLiteral<"supporting">]>>;
116
116
  }>]>;
117
117
  rootExpressionId: Type.TOptional<Type.TString>;
118
118
  expressions: Type.TObject<{
package/dist/schemas/api/citations.d.ts CHANGED
@@ -26,7 +26,7 @@ export declare const CitationUsageSchema: Type.TObject<{
26
26
  parentId: Type.TUnion<[Type.TString, Type.TNull]>;
27
27
  titleContentHash: Type.TOptional<Type.TUnion<[Type.TString, Type.TNull]>>;
28
28
  url: Type.TOptional<Type.TUnion<[Type.TString, Type.TNull]>>;
29
- citation: Type.TOptional<Type.TUnion<[Type.TIntersect<[Type.TObject<{
29
+ citation: Type.TOptional<Type.TUnion<[Type.TUnion<[Type.TIntersect<[Type.TObject<{
30
30
  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">]>;
31
31
  }>, Type.TObject<{
32
32
  type: Type.TLiteral<"Book">;
@@ -454,7 +454,7 @@ export declare const CitationUsageSchema: Type.TObject<{
454
454
  type: Type.TLiteral<"UnparsedURL">;
455
455
  url: Type.TString;
456
456
  text: Type.TOptional<Type.TString>;
457
- }>]>]>>;
457
+ }>]>]>, Type.TNull]>>;
458
458
  citationContentHash: Type.TOptional<Type.TUnion<[Type.TString, Type.TNull]>>;
459
459
  }>;
460
460
  expressions: Type.TArray<Type.TObject<{
@@ -479,7 +479,7 @@ export declare const CitationWithContextSchema: Type.TObject<{
479
479
  parentId: Type.TUnion<[Type.TString, Type.TNull]>;
480
480
  titleContentHash: Type.TOptional<Type.TUnion<[Type.TString, Type.TNull]>>;
481
481
  url: Type.TOptional<Type.TUnion<[Type.TString, Type.TNull]>>;
482
- citation: Type.TOptional<Type.TUnion<[Type.TIntersect<[Type.TObject<{
482
+ citation: Type.TOptional<Type.TUnion<[Type.TUnion<[Type.TIntersect<[Type.TObject<{
483
483
  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">]>;
484
484
  }>, Type.TObject<{
485
485
  type: Type.TLiteral<"Book">;
@@ -907,7 +907,7 @@ export declare const CitationWithContextSchema: Type.TObject<{
907
907
  type: Type.TLiteral<"UnparsedURL">;
908
908
  url: Type.TString;
909
909
  text: Type.TOptional<Type.TString>;
910
- }>]>]>>;
910
+ }>]>]>, Type.TNull]>>;
911
911
  citationContentHash: Type.TOptional<Type.TUnion<[Type.TString, Type.TNull]>>;
912
912
  }>;
913
913
  usages: Type.TArray<Type.TObject<{
@@ -932,7 +932,7 @@ export declare const CitationWithContextSchema: Type.TObject<{
932
932
  parentId: Type.TUnion<[Type.TString, Type.TNull]>;
933
933
  titleContentHash: Type.TOptional<Type.TUnion<[Type.TString, Type.TNull]>>;
934
934
  url: Type.TOptional<Type.TUnion<[Type.TString, Type.TNull]>>;
935
- citation: Type.TOptional<Type.TUnion<[Type.TIntersect<[Type.TObject<{
935
+ citation: Type.TOptional<Type.TUnion<[Type.TUnion<[Type.TIntersect<[Type.TObject<{
936
936
  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">]>;
937
937
  }>, Type.TObject<{
938
938
  type: Type.TLiteral<"Book">;
@@ -1360,7 +1360,7 @@ export declare const CitationWithContextSchema: Type.TObject<{
1360
1360
  type: Type.TLiteral<"UnparsedURL">;
1361
1361
  url: Type.TString;
1362
1362
  text: Type.TOptional<Type.TString>;
1363
- }>]>]>>;
1363
+ }>]>]>, Type.TNull]>>;
1364
1364
  citationContentHash: Type.TOptional<Type.TUnion<[Type.TString, Type.TNull]>>;
1365
1365
  }>;
1366
1366
  expressions: Type.TArray<Type.TObject<{
@@ -1386,7 +1386,7 @@ export declare const UserCitationsResponseSchema: Type.TArray<Type.TObject<{
1386
1386
  parentId: Type.TUnion<[Type.TString, Type.TNull]>;
1387
1387
  titleContentHash: Type.TOptional<Type.TUnion<[Type.TString, Type.TNull]>>;
1388
1388
  url: Type.TOptional<Type.TUnion<[Type.TString, Type.TNull]>>;
1389
- citation: Type.TOptional<Type.TUnion<[Type.TIntersect<[Type.TObject<{
1389
+ citation: Type.TOptional<Type.TUnion<[Type.TUnion<[Type.TIntersect<[Type.TObject<{
1390
1390
  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">]>;
1391
1391
  }>, Type.TObject<{
1392
1392
  type: Type.TLiteral<"Book">;
@@ -1814,7 +1814,7 @@ export declare const UserCitationsResponseSchema: Type.TArray<Type.TObject<{
1814
1814
  type: Type.TLiteral<"UnparsedURL">;
1815
1815
  url: Type.TString;
1816
1816
  text: Type.TOptional<Type.TString>;
1817
- }>]>]>>;
1817
+ }>]>]>, Type.TNull]>>;
1818
1818
  citationContentHash: Type.TOptional<Type.TUnion<[Type.TString, Type.TNull]>>;
1819
1819
  }>;
1820
1820
  usages: Type.TArray<Type.TObject<{
@@ -1839,7 +1839,7 @@ export declare const UserCitationsResponseSchema: Type.TArray<Type.TObject<{
1839
1839
  parentId: Type.TUnion<[Type.TString, Type.TNull]>;
1840
1840
  titleContentHash: Type.TOptional<Type.TUnion<[Type.TString, Type.TNull]>>;
1841
1841
  url: Type.TOptional<Type.TUnion<[Type.TString, Type.TNull]>>;
1842
- citation: Type.TOptional<Type.TUnion<[Type.TIntersect<[Type.TObject<{
1842
+ citation: Type.TOptional<Type.TUnion<[Type.TUnion<[Type.TIntersect<[Type.TObject<{
1843
1843
  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">]>;
1844
1844
  }>, Type.TObject<{
1845
1845
  type: Type.TLiteral<"Book">;
@@ -2267,7 +2267,7 @@ export declare const UserCitationsResponseSchema: Type.TArray<Type.TObject<{
2267
2267
  type: Type.TLiteral<"UnparsedURL">;
2268
2268
  url: Type.TString;
2269
2269
  text: Type.TOptional<Type.TString>;
2270
- }>]>]>>;
2270
+ }>]>]>, Type.TNull]>>;
2271
2271
  citationContentHash: Type.TOptional<Type.TUnion<[Type.TString, Type.TNull]>>;
2272
2272
  }>;
2273
2273
  expressions: Type.TArray<Type.TObject<{
package/dist/schemas/api/claims.d.ts CHANGED
@@ -15,7 +15,7 @@ export declare const ClaimWithContextSchema: Type.TObject<{
15
15
  parentId: Type.TUnion<[Type.TString, Type.TNull]>;
16
16
  titleContentHash: Type.TOptional<Type.TUnion<[Type.TString, Type.TNull]>>;
17
17
  url: Type.TOptional<Type.TUnion<[Type.TString, Type.TNull]>>;
18
- citation: Type.TOptional<Type.TUnion<[Type.TIntersect<[Type.TObject<{
18
+ citation: Type.TOptional<Type.TUnion<[Type.TUnion<[Type.TIntersect<[Type.TObject<{
19
19
  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
20
  }>, Type.TObject<{
21
21
  type: Type.TLiteral<"Book">;
@@ -443,7 +443,7 @@ export declare const ClaimWithContextSchema: Type.TObject<{
443
443
  type: Type.TLiteral<"UnparsedURL">;
444
444
  url: Type.TString;
445
445
  text: Type.TOptional<Type.TString>;
446
- }>]>]>>;
446
+ }>]>]>, Type.TNull]>>;
447
447
  citationContentHash: Type.TOptional<Type.TUnion<[Type.TString, Type.TNull]>>;
448
448
  }>;
449
449
  argument: Type.TObject<{
@@ -573,7 +573,7 @@ export declare const UserClaimsResponseSchema: Type.TArray<Type.TObject<{
573
573
  parentId: Type.TUnion<[Type.TString, Type.TNull]>;
574
574
  titleContentHash: Type.TOptional<Type.TUnion<[Type.TString, Type.TNull]>>;
575
575
  url: Type.TOptional<Type.TUnion<[Type.TString, Type.TNull]>>;
576
- citation: Type.TOptional<Type.TUnion<[Type.TIntersect<[Type.TObject<{
576
+ citation: Type.TOptional<Type.TUnion<[Type.TUnion<[Type.TIntersect<[Type.TObject<{
577
577
  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
578
  }>, Type.TObject<{
579
579
  type: Type.TLiteral<"Book">;
@@ -1001,7 +1001,7 @@ export declare const UserClaimsResponseSchema: Type.TArray<Type.TObject<{
1001
1001
  type: Type.TLiteral<"UnparsedURL">;
1002
1002
  url: Type.TString;
1003
1003
  text: Type.TOptional<Type.TString>;
1004
- }>]>]>>;
1004
+ }>]>]>, Type.TNull]>>;
1005
1005
  citationContentHash: Type.TOptional<Type.TUnion<[Type.TString, Type.TNull]>>;
1006
1006
  }>;
1007
1007
  argument: Type.TObject<{
package/dist/schemas/model/arguments.d.ts CHANGED
@@ -140,7 +140,7 @@ export declare const ArgumentDiffSchema: Type.TObject<{
140
140
  parentId: Type.TUnion<[Type.TString, Type.TNull]>;
141
141
  titleContentHash: Type.TOptional<Type.TUnion<[Type.TString, Type.TNull]>>;
142
142
  url: Type.TOptional<Type.TUnion<[Type.TString, Type.TNull]>>;
143
- citation: Type.TOptional<Type.TUnion<[Type.TIntersect<[Type.TObject<{
143
+ citation: Type.TOptional<Type.TUnion<[Type.TUnion<[Type.TIntersect<[Type.TObject<{
144
144
  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
145
  }>, Type.TObject<{
146
146
  type: Type.TLiteral<"Book">;
@@ -568,7 +568,7 @@ export declare const ArgumentDiffSchema: Type.TObject<{
568
568
  type: Type.TLiteral<"UnparsedURL">;
569
569
  url: Type.TString;
570
570
  text: Type.TOptional<Type.TString>;
571
- }>]>]>>;
571
+ }>]>]>, Type.TNull]>>;
572
572
  citationContentHash: Type.TOptional<Type.TUnion<[Type.TString, Type.TNull]>>;
573
573
  }>>;
574
574
  removed: Type.TArray<Type.TObject<{
@@ -586,7 +586,7 @@ export declare const ArgumentDiffSchema: Type.TObject<{
586
586
  parentId: Type.TUnion<[Type.TString, Type.TNull]>;
587
587
  titleContentHash: Type.TOptional<Type.TUnion<[Type.TString, Type.TNull]>>;
588
588
  url: Type.TOptional<Type.TUnion<[Type.TString, Type.TNull]>>;
589
- citation: Type.TOptional<Type.TUnion<[Type.TIntersect<[Type.TObject<{
589
+ citation: Type.TOptional<Type.TUnion<[Type.TUnion<[Type.TIntersect<[Type.TObject<{
590
590
  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
591
  }>, Type.TObject<{
592
592
  type: Type.TLiteral<"Book">;
@@ -1014,7 +1014,7 @@ export declare const ArgumentDiffSchema: Type.TObject<{
1014
1014
  type: Type.TLiteral<"UnparsedURL">;
1015
1015
  url: Type.TString;
1016
1016
  text: Type.TOptional<Type.TString>;
1017
- }>]>]>>;
1017
+ }>]>]>, Type.TNull]>>;
1018
1018
  citationContentHash: Type.TOptional<Type.TUnion<[Type.TString, Type.TNull]>>;
1019
1019
  }>>;
1020
1020
  updated: Type.TArray<Type.TObject<{
@@ -1032,7 +1032,7 @@ export declare const ArgumentDiffSchema: Type.TObject<{
1032
1032
  parentId: Type.TUnion<[Type.TString, Type.TNull]>;
1033
1033
  titleContentHash: Type.TOptional<Type.TUnion<[Type.TString, Type.TNull]>>;
1034
1034
  url: Type.TOptional<Type.TUnion<[Type.TString, Type.TNull]>>;
1035
- citation: Type.TOptional<Type.TUnion<[Type.TIntersect<[Type.TObject<{
1035
+ citation: Type.TOptional<Type.TUnion<[Type.TUnion<[Type.TIntersect<[Type.TObject<{
1036
1036
  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
1037
  }>, Type.TObject<{
1038
1038
  type: Type.TLiteral<"Book">;
@@ -1460,7 +1460,7 @@ export declare const ArgumentDiffSchema: Type.TObject<{
1460
1460
  type: Type.TLiteral<"UnparsedURL">;
1461
1461
  url: Type.TString;
1462
1462
  text: Type.TOptional<Type.TString>;
1463
- }>]>]>>;
1463
+ }>]>]>, Type.TNull]>>;
1464
1464
  citationContentHash: Type.TOptional<Type.TUnion<[Type.TString, Type.TNull]>>;
1465
1465
  }>>;
1466
1466
  }>;
@@ -1716,7 +1716,6 @@ export declare const ArgumentDiffSchema: Type.TObject<{
1716
1716
  checksum: Type.TString;
1717
1717
  }>, Type.TObject<{
1718
1718
  argumentId: Type.TString;
1719
- version: Type.TNumber;
1720
1719
  createdOn: import("../common.js").TDateType;
1721
1720
  }>]>>;
1722
1721
  removed: Type.TArray<Type.TIntersect<[Type.TObject<{
@@ -1728,7 +1727,6 @@ export declare const ArgumentDiffSchema: Type.TObject<{
1728
1727
  checksum: Type.TString;
1729
1728
  }>, Type.TObject<{
1730
1729
  argumentId: Type.TString;
1731
- version: Type.TNumber;
1732
1730
  createdOn: import("../common.js").TDateType;
1733
1731
  }>]>>;
1734
1732
  }>;
package/dist/schemas/model/arguments.d.ts.map CHANGED
@@ -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"}
package/dist/schemas/model/citations.d.ts CHANGED
@@ -8,7 +8,6 @@ export declare const ClaimCitationSchema: Type.TIntersect<[Type.TObject<{
8
8
  checksum: Type.TString;
9
9
  }>, Type.TObject<{
10
10
  argumentId: Type.TString;
11
- version: Type.TNumber;
12
11
  createdOn: import("../common.js").TDateType;
13
12
  }>]>;
14
13
  export type TClaimCitation = Static<typeof ClaimCitationSchema>;
package/dist/schemas/model/citations.d.ts.map CHANGED
@@ -1 +1 @@
1
- {"version":3,"file":"citations.d.ts","sourceRoot":"","sources":["../../../src/schemas/model/citations.ts"],"names":[],"mappings":"AAAA,OAAO,IAAI,EAAE,EAAE,KAAK,MAAM,EAAE,MAAM,SAAS,CAAA;AAI3C,eAAO,MAAM,mBAAmB;;;;;;;;;;;IAO9B,CAAA;AACF,MAAM,MAAM,cAAc,GAAG,MAAM,CAAC,OAAO,mBAAmB,CAAC,CAAA"}
1
+ {"version":3,"file":"citations.d.ts","sourceRoot":"","sources":["../../../src/schemas/model/citations.ts"],"names":[],"mappings":"AAAA,OAAO,IAAI,EAAE,EAAE,KAAK,MAAM,EAAE,MAAM,SAAS,CAAA;AAI3C,eAAO,MAAM,mBAAmB;;;;;;;;;;IAM9B,CAAA;AACF,MAAM,MAAM,cAAc,GAAG,MAAM,CAAC,OAAO,mBAAmB,CAAC,CAAA"}
package/dist/schemas/model/citations.js CHANGED
@@ -5,7 +5,6 @@ export const ClaimCitationSchema = Type.Intersect([
5
5
  CoreClaimCitationSchema,
6
6
  Type.Object({
7
7
  argumentId: UUID,
8
- version: Type.Number(),
9
8
  createdOn: EncodableDate,
10
9
  }),
11
10
  ]);
package/dist/schemas/model/citations.js.map CHANGED
@@ -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,OAAO,EAAE,IAAI,CAAC,MAAM,EAAE;QACtB,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,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"}