@proposit/shared 0.4.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 (129) hide show
  1. package/dist/api-client/argument/batch.d.ts +456 -20
  2. package/dist/api-client/argument/batch.d.ts.map +1 -1
  3. package/dist/api-client/argument/claims.d.ts +1761 -19
  4. package/dist/api-client/argument/claims.d.ts.map +1 -1
  5. package/dist/api-client/argument/claims.js +5 -5
  6. package/dist/api-client/argument/claims.js.map +1 -1
  7. package/dist/api-client/argument/index.d.ts +1788 -57
  8. package/dist/api-client/argument/index.d.ts.map +1 -1
  9. package/dist/api-client/argument/logic/index.d.ts +56 -22
  10. package/dist/api-client/argument/logic/index.d.ts.map +1 -1
  11. package/dist/api-client/argument/logic/repair.d.ts +6 -9
  12. package/dist/api-client/argument/logic/repair.d.ts.map +1 -1
  13. package/dist/api-client/factory.d.ts +7 -7
  14. package/dist/api-client/factory.d.ts.map +1 -1
  15. package/dist/api-client/factory.js +7 -7
  16. package/dist/api-client/factory.js.map +1 -1
  17. package/dist/api-client/search.d.ts +4 -4
  18. package/dist/api-client/search.d.ts.map +1 -1
  19. package/dist/api-client/search.js +3 -3
  20. package/dist/api-client/search.js.map +1 -1
  21. package/dist/api-client/user/citations.d.ts +912 -0
  22. package/dist/api-client/user/citations.d.ts.map +1 -0
  23. package/dist/api-client/user/citations.js +9 -0
  24. package/dist/api-client/user/citations.js.map +1 -0
  25. package/dist/api-client/user/claims.d.ts +444 -10
  26. package/dist/api-client/user/claims.d.ts.map +1 -1
  27. package/dist/checksum.d.ts.map +1 -1
  28. package/dist/checksum.js +7 -8
  29. package/dist/checksum.js.map +1 -1
  30. package/dist/consts/user-tiers.js +7 -7
  31. package/dist/consts/user-tiers.js.map +1 -1
  32. package/dist/engine/derivation.d.ts +3 -0
  33. package/dist/engine/derivation.d.ts.map +1 -0
  34. package/dist/engine/derivation.js +2 -0
  35. package/dist/engine/derivation.js.map +1 -0
  36. package/dist/engine/engine.d.ts +16 -32
  37. package/dist/engine/engine.d.ts.map +1 -1
  38. package/dist/engine/engine.js +65 -84
  39. package/dist/engine/engine.js.map +1 -1
  40. package/dist/engine/library-adapters.d.ts +3 -7
  41. package/dist/engine/library-adapters.d.ts.map +1 -1
  42. package/dist/engine/library-adapters.js +16 -8
  43. package/dist/engine/library-adapters.js.map +1 -1
  44. package/dist/engine/mutations/premises.d.ts.map +1 -1
  45. package/dist/engine/mutations/premises.js +4 -1
  46. package/dist/engine/mutations/premises.js.map +1 -1
  47. package/dist/engine/optimistic/verification.d.ts.map +1 -1
  48. package/dist/engine/optimistic/verification.js +2 -2
  49. package/dist/engine/optimistic/verification.js.map +1 -1
  50. package/dist/schemas/api/argument/batch/change-edge-operator.d.ts +6 -9
  51. package/dist/schemas/api/argument/batch/change-edge-operator.d.ts.map +1 -1
  52. package/dist/schemas/api/argument/batch/create-expression-with-operator.d.ts +6 -9
  53. package/dist/schemas/api/argument/batch/create-expression-with-operator.d.ts.map +1 -1
  54. package/dist/schemas/api/argument/batch/provision.d.ts +444 -2
  55. package/dist/schemas/api/argument/batch/provision.d.ts.map +1 -1
  56. package/dist/schemas/api/argument/claims.d.ts +1330 -20
  57. package/dist/schemas/api/argument/claims.d.ts.map +1 -1
  58. package/dist/schemas/api/argument/claims.js +6 -6
  59. package/dist/schemas/api/argument/claims.js.map +1 -1
  60. package/dist/schemas/api/argument/index.d.ts +448 -23
  61. package/dist/schemas/api/argument/index.d.ts.map +1 -1
  62. package/dist/schemas/api/argument/index.js +3 -3
  63. package/dist/schemas/api/argument/index.js.map +1 -1
  64. package/dist/schemas/api/argument/logic.d.ts +11 -1
  65. package/dist/schemas/api/argument/logic.d.ts.map +1 -1
  66. package/dist/schemas/api/argument/repair.d.ts +6 -9
  67. package/dist/schemas/api/argument/repair.d.ts.map +1 -1
  68. package/dist/schemas/api/citations.d.ts +2280 -0
  69. package/dist/schemas/api/citations.d.ts.map +1 -0
  70. package/dist/schemas/api/{sources.js → citations.js} +8 -9
  71. package/dist/schemas/api/citations.js.map +1 -0
  72. package/dist/schemas/api/claims.d.ts +888 -20
  73. package/dist/schemas/api/claims.d.ts.map +1 -1
  74. package/dist/schemas/api/claims.js +0 -2
  75. package/dist/schemas/api/claims.js.map +1 -1
  76. package/dist/schemas/api/search.d.ts +10 -10
  77. package/dist/schemas/api/search.d.ts.map +1 -1
  78. package/dist/schemas/api/search.js +6 -6
  79. package/dist/schemas/api/search.js.map +1 -1
  80. package/dist/schemas/logic.d.ts +11 -1
  81. package/dist/schemas/logic.d.ts.map +1 -1
  82. package/dist/schemas/model/arguments.d.ts +1340 -34
  83. package/dist/schemas/model/arguments.d.ts.map +1 -1
  84. package/dist/schemas/model/arguments.js +4 -8
  85. package/dist/schemas/model/arguments.js.map +1 -1
  86. package/dist/schemas/model/citations.d.ts +14 -0
  87. package/dist/schemas/model/citations.d.ts.map +1 -0
  88. package/dist/schemas/model/citations.js +11 -0
  89. package/dist/schemas/model/citations.js.map +1 -0
  90. package/dist/schemas/model/claims.d.ts +872 -6
  91. package/dist/schemas/model/claims.d.ts.map +1 -1
  92. package/dist/schemas/model/claims.js +21 -10
  93. package/dist/schemas/model/claims.js.map +1 -1
  94. package/dist/schemas/model/forks.d.ts +2 -2
  95. package/dist/schemas/model/forks.d.ts.map +1 -1
  96. package/dist/schemas/model/forks.js +2 -2
  97. package/dist/schemas/model/forks.js.map +1 -1
  98. package/dist/schemas/model/index.d.ts +1 -1
  99. package/dist/schemas/model/index.d.ts.map +1 -1
  100. package/dist/schemas/model/index.js +1 -1
  101. package/dist/schemas/model/index.js.map +1 -1
  102. package/dist/schemas/model/users.d.ts +3 -3
  103. package/dist/schemas/model/users.d.ts.map +1 -1
  104. package/dist/schemas/model/users.js +2 -2
  105. package/dist/schemas/model/users.js.map +1 -1
  106. package/dist/schemas/review.d.ts +13 -13
  107. package/dist/schemas/review.d.ts.map +1 -1
  108. package/dist/schemas/review.js +2 -1
  109. package/dist/schemas/review.js.map +1 -1
  110. package/dist/schemas/snapshot.d.ts +6 -9
  111. package/dist/schemas/snapshot.d.ts.map +1 -1
  112. package/dist/schemas/snapshot.js +6 -5
  113. package/dist/schemas/snapshot.js.map +1 -1
  114. package/dist/utils/embedding-text.d.ts +1 -1
  115. package/dist/utils/embedding-text.d.ts.map +1 -1
  116. package/dist/utils/embedding-text.js +1 -1
  117. package/dist/utils/embedding-text.js.map +1 -1
  118. package/package.json +3 -3
  119. package/dist/api-client/user/sources.d.ts +0 -42
  120. package/dist/api-client/user/sources.d.ts.map +0 -1
  121. package/dist/api-client/user/sources.js +0 -9
  122. package/dist/api-client/user/sources.js.map +0 -1
  123. package/dist/schemas/api/sources.d.ts +0 -108
  124. package/dist/schemas/api/sources.d.ts.map +0 -1
  125. package/dist/schemas/api/sources.js.map +0 -1
  126. package/dist/schemas/model/sources.d.ts +0 -456
  127. package/dist/schemas/model/sources.d.ts.map +0 -1
  128. package/dist/schemas/model/sources.js +0 -27
  129. package/dist/schemas/model/sources.js.map +0 -1
@@ -16,11 +16,444 @@ export declare function provisionArgumentImpl(config: TApiClientConfig, argument
16
16
  claimForkId: import("typebox").TUnion<[import("typebox").TString, import("typebox").TNull]>;
17
17
  creatorId: import("typebox").TString;
18
18
  createdOn: import("../../schemas/common.js").TDateType;
19
- type: import("typebox").TUnion<[import("typebox").TUnion<[import("typebox").TLiteral<"definition">, import("typebox").TLiteral<"criterion">]>, import("typebox").TUnion<[import("typebox").TLiteral<"conclusion">, import("typebox").TLiteral<"claim">]>]>;
19
+ kind: import("typebox").TUnion<[import("typebox").TUnion<[import("typebox").TLiteral<"definition">, import("typebox").TLiteral<"criterion">]>, import("typebox").TUnion<[import("typebox").TLiteral<"conclusion">, import("typebox").TLiteral<"claim">]>]>;
20
+ type: import("typebox").TUnion<[import("typebox").TLiteral<"normal">, import("typebox").TLiteral<"citation">]>;
20
21
  parentId: import("typebox").TUnion<[import("typebox").TString, import("typebox").TNull]>;
21
22
  titleContentHash: import("typebox").TOptional<import("typebox").TUnion<[import("typebox").TString, import("typebox").TNull]>>;
23
+ url: import("typebox").TOptional<import("typebox").TUnion<[import("typebox").TString, import("typebox").TNull]>>;
24
+ citation: import("typebox").TOptional<import("typebox").TUnion<[import("typebox").TUnion<[import("typebox").TIntersect<[import("typebox").TObject<{
25
+ type: import("typebox").TUnion<[import("typebox").TLiteral<"Book">, import("typebox").TLiteral<"Website">, import("typebox").TLiteral<"BookChapter">, import("typebox").TLiteral<"Handbook">, import("typebox").TLiteral<"TechnicalReport">, import("typebox").TLiteral<"Standard">, import("typebox").TLiteral<"Thesis">, import("typebox").TLiteral<"Patent">, import("typebox").TLiteral<"Dictionary">, import("typebox").TLiteral<"Encyclopedia">, import("typebox").TLiteral<"JournalArticle">, import("typebox").TLiteral<"MagazineArticle">, import("typebox").TLiteral<"NewspaperArticle">, import("typebox").TLiteral<"ConferencePaper">, import("typebox").TLiteral<"ConferenceProceedings">, import("typebox").TLiteral<"Dataset">, import("typebox").TLiteral<"Software">, import("typebox").TLiteral<"OnlineDocument">, import("typebox").TLiteral<"Blog">, import("typebox").TLiteral<"SocialMedia">, import("typebox").TLiteral<"Preprint">, import("typebox").TLiteral<"Video">, import("typebox").TLiteral<"Podcast">, import("typebox").TLiteral<"Course">, import("typebox").TLiteral<"Presentation">, import("typebox").TLiteral<"Interview">, import("typebox").TLiteral<"PersonalCommunication">, import("typebox").TLiteral<"Email">, import("typebox").TLiteral<"Law">, import("typebox").TLiteral<"CourtCase">, import("typebox").TLiteral<"GovernmentPublication">, import("typebox").TLiteral<"Datasheet">, import("typebox").TLiteral<"ProductManual">, import("typebox").TLiteral<"UnparsedURL">]>;
26
+ }>, import("typebox").TObject<{
27
+ type: import("typebox").TLiteral<"Book">;
28
+ title: import("typebox").TString;
29
+ year: import("typebox").TString;
30
+ authors: import("typebox").TArray<import("typebox").TObject<{
31
+ givenNames: import("typebox").TString;
32
+ familyName: import("typebox").TString;
33
+ suffix: import("typebox").TOptional<import("typebox").TString>;
34
+ }>>;
35
+ edition: import("typebox").TOptional<import("typebox").TString>;
36
+ publisher: import("typebox").TString;
37
+ location: import("typebox").TOptional<import("typebox").TString>;
38
+ isbn: import("typebox").TOptional<import("typebox").TString>;
39
+ }>]>, import("typebox").TIntersect<[import("typebox").TObject<{
40
+ type: import("typebox").TUnion<[import("typebox").TLiteral<"Book">, import("typebox").TLiteral<"Website">, import("typebox").TLiteral<"BookChapter">, import("typebox").TLiteral<"Handbook">, import("typebox").TLiteral<"TechnicalReport">, import("typebox").TLiteral<"Standard">, import("typebox").TLiteral<"Thesis">, import("typebox").TLiteral<"Patent">, import("typebox").TLiteral<"Dictionary">, import("typebox").TLiteral<"Encyclopedia">, import("typebox").TLiteral<"JournalArticle">, import("typebox").TLiteral<"MagazineArticle">, import("typebox").TLiteral<"NewspaperArticle">, import("typebox").TLiteral<"ConferencePaper">, import("typebox").TLiteral<"ConferenceProceedings">, import("typebox").TLiteral<"Dataset">, import("typebox").TLiteral<"Software">, import("typebox").TLiteral<"OnlineDocument">, import("typebox").TLiteral<"Blog">, import("typebox").TLiteral<"SocialMedia">, import("typebox").TLiteral<"Preprint">, import("typebox").TLiteral<"Video">, import("typebox").TLiteral<"Podcast">, import("typebox").TLiteral<"Course">, import("typebox").TLiteral<"Presentation">, import("typebox").TLiteral<"Interview">, import("typebox").TLiteral<"PersonalCommunication">, import("typebox").TLiteral<"Email">, import("typebox").TLiteral<"Law">, import("typebox").TLiteral<"CourtCase">, import("typebox").TLiteral<"GovernmentPublication">, import("typebox").TLiteral<"Datasheet">, import("typebox").TLiteral<"ProductManual">, import("typebox").TLiteral<"UnparsedURL">]>;
41
+ }>, import("typebox").TObject<{
42
+ type: import("typebox").TLiteral<"Website">;
43
+ authors: import("typebox").TArray<import("typebox").TObject<{
44
+ givenNames: import("typebox").TString;
45
+ familyName: import("typebox").TString;
46
+ suffix: import("typebox").TOptional<import("typebox").TString>;
47
+ }>>;
48
+ pageTitle: import("typebox").TString;
49
+ websiteTitle: import("typebox").TString;
50
+ accessedDate: import("@proposit/proposit-core").TDateType;
51
+ url: import("typebox").TString;
52
+ }>]>, import("typebox").TIntersect<[import("typebox").TObject<{
53
+ type: import("typebox").TUnion<[import("typebox").TLiteral<"Book">, import("typebox").TLiteral<"Website">, import("typebox").TLiteral<"BookChapter">, import("typebox").TLiteral<"Handbook">, import("typebox").TLiteral<"TechnicalReport">, import("typebox").TLiteral<"Standard">, import("typebox").TLiteral<"Thesis">, import("typebox").TLiteral<"Patent">, import("typebox").TLiteral<"Dictionary">, import("typebox").TLiteral<"Encyclopedia">, import("typebox").TLiteral<"JournalArticle">, import("typebox").TLiteral<"MagazineArticle">, import("typebox").TLiteral<"NewspaperArticle">, import("typebox").TLiteral<"ConferencePaper">, import("typebox").TLiteral<"ConferenceProceedings">, import("typebox").TLiteral<"Dataset">, import("typebox").TLiteral<"Software">, import("typebox").TLiteral<"OnlineDocument">, import("typebox").TLiteral<"Blog">, import("typebox").TLiteral<"SocialMedia">, import("typebox").TLiteral<"Preprint">, import("typebox").TLiteral<"Video">, import("typebox").TLiteral<"Podcast">, import("typebox").TLiteral<"Course">, import("typebox").TLiteral<"Presentation">, import("typebox").TLiteral<"Interview">, import("typebox").TLiteral<"PersonalCommunication">, import("typebox").TLiteral<"Email">, import("typebox").TLiteral<"Law">, import("typebox").TLiteral<"CourtCase">, import("typebox").TLiteral<"GovernmentPublication">, import("typebox").TLiteral<"Datasheet">, import("typebox").TLiteral<"ProductManual">, import("typebox").TLiteral<"UnparsedURL">]>;
54
+ }>, import("typebox").TObject<{
55
+ type: import("typebox").TLiteral<"BookChapter">;
56
+ chapterTitle: import("typebox").TString;
57
+ year: import("typebox").TString;
58
+ authors: import("typebox").TArray<import("typebox").TObject<{
59
+ givenNames: import("typebox").TString;
60
+ familyName: import("typebox").TString;
61
+ suffix: import("typebox").TOptional<import("typebox").TString>;
62
+ }>>;
63
+ bookTitle: import("typebox").TString;
64
+ editors: import("typebox").TOptional<import("typebox").TArray<import("typebox").TObject<{
65
+ givenNames: import("typebox").TString;
66
+ familyName: import("typebox").TString;
67
+ suffix: import("typebox").TOptional<import("typebox").TString>;
68
+ }>>>;
69
+ publisher: import("typebox").TString;
70
+ location: import("typebox").TString;
71
+ pages: import("typebox").TOptional<import("typebox").TString>;
72
+ isbn: import("typebox").TOptional<import("typebox").TString>;
73
+ }>]>, import("typebox").TIntersect<[import("typebox").TObject<{
74
+ type: import("typebox").TUnion<[import("typebox").TLiteral<"Book">, import("typebox").TLiteral<"Website">, import("typebox").TLiteral<"BookChapter">, import("typebox").TLiteral<"Handbook">, import("typebox").TLiteral<"TechnicalReport">, import("typebox").TLiteral<"Standard">, import("typebox").TLiteral<"Thesis">, import("typebox").TLiteral<"Patent">, import("typebox").TLiteral<"Dictionary">, import("typebox").TLiteral<"Encyclopedia">, import("typebox").TLiteral<"JournalArticle">, import("typebox").TLiteral<"MagazineArticle">, import("typebox").TLiteral<"NewspaperArticle">, import("typebox").TLiteral<"ConferencePaper">, import("typebox").TLiteral<"ConferenceProceedings">, import("typebox").TLiteral<"Dataset">, import("typebox").TLiteral<"Software">, import("typebox").TLiteral<"OnlineDocument">, import("typebox").TLiteral<"Blog">, import("typebox").TLiteral<"SocialMedia">, import("typebox").TLiteral<"Preprint">, import("typebox").TLiteral<"Video">, import("typebox").TLiteral<"Podcast">, import("typebox").TLiteral<"Course">, import("typebox").TLiteral<"Presentation">, import("typebox").TLiteral<"Interview">, import("typebox").TLiteral<"PersonalCommunication">, import("typebox").TLiteral<"Email">, import("typebox").TLiteral<"Law">, import("typebox").TLiteral<"CourtCase">, import("typebox").TLiteral<"GovernmentPublication">, import("typebox").TLiteral<"Datasheet">, import("typebox").TLiteral<"ProductManual">, import("typebox").TLiteral<"UnparsedURL">]>;
75
+ }>, import("typebox").TObject<{
76
+ type: import("typebox").TLiteral<"Handbook">;
77
+ title: import("typebox").TString;
78
+ year: import("typebox").TString;
79
+ publisher: import("typebox").TString;
80
+ edition: import("typebox").TOptional<import("typebox").TString>;
81
+ location: import("typebox").TString;
82
+ isbn: import("typebox").TOptional<import("typebox").TString>;
83
+ }>]>, import("typebox").TIntersect<[import("typebox").TObject<{
84
+ type: import("typebox").TUnion<[import("typebox").TLiteral<"Book">, import("typebox").TLiteral<"Website">, import("typebox").TLiteral<"BookChapter">, import("typebox").TLiteral<"Handbook">, import("typebox").TLiteral<"TechnicalReport">, import("typebox").TLiteral<"Standard">, import("typebox").TLiteral<"Thesis">, import("typebox").TLiteral<"Patent">, import("typebox").TLiteral<"Dictionary">, import("typebox").TLiteral<"Encyclopedia">, import("typebox").TLiteral<"JournalArticle">, import("typebox").TLiteral<"MagazineArticle">, import("typebox").TLiteral<"NewspaperArticle">, import("typebox").TLiteral<"ConferencePaper">, import("typebox").TLiteral<"ConferenceProceedings">, import("typebox").TLiteral<"Dataset">, import("typebox").TLiteral<"Software">, import("typebox").TLiteral<"OnlineDocument">, import("typebox").TLiteral<"Blog">, import("typebox").TLiteral<"SocialMedia">, import("typebox").TLiteral<"Preprint">, import("typebox").TLiteral<"Video">, import("typebox").TLiteral<"Podcast">, import("typebox").TLiteral<"Course">, import("typebox").TLiteral<"Presentation">, import("typebox").TLiteral<"Interview">, import("typebox").TLiteral<"PersonalCommunication">, import("typebox").TLiteral<"Email">, import("typebox").TLiteral<"Law">, import("typebox").TLiteral<"CourtCase">, import("typebox").TLiteral<"GovernmentPublication">, import("typebox").TLiteral<"Datasheet">, import("typebox").TLiteral<"ProductManual">, import("typebox").TLiteral<"UnparsedURL">]>;
85
+ }>, import("typebox").TObject<{
86
+ type: import("typebox").TLiteral<"TechnicalReport">;
87
+ title: import("typebox").TString;
88
+ year: import("typebox").TString;
89
+ authors: import("typebox").TArray<import("typebox").TObject<{
90
+ givenNames: import("typebox").TString;
91
+ familyName: import("typebox").TString;
92
+ suffix: import("typebox").TOptional<import("typebox").TString>;
93
+ }>>;
94
+ reportNumber: import("typebox").TString;
95
+ institution: import("typebox").TString;
96
+ location: import("typebox").TString;
97
+ }>]>, import("typebox").TIntersect<[import("typebox").TObject<{
98
+ type: import("typebox").TUnion<[import("typebox").TLiteral<"Book">, import("typebox").TLiteral<"Website">, import("typebox").TLiteral<"BookChapter">, import("typebox").TLiteral<"Handbook">, import("typebox").TLiteral<"TechnicalReport">, import("typebox").TLiteral<"Standard">, import("typebox").TLiteral<"Thesis">, import("typebox").TLiteral<"Patent">, import("typebox").TLiteral<"Dictionary">, import("typebox").TLiteral<"Encyclopedia">, import("typebox").TLiteral<"JournalArticle">, import("typebox").TLiteral<"MagazineArticle">, import("typebox").TLiteral<"NewspaperArticle">, import("typebox").TLiteral<"ConferencePaper">, import("typebox").TLiteral<"ConferenceProceedings">, import("typebox").TLiteral<"Dataset">, import("typebox").TLiteral<"Software">, import("typebox").TLiteral<"OnlineDocument">, import("typebox").TLiteral<"Blog">, import("typebox").TLiteral<"SocialMedia">, import("typebox").TLiteral<"Preprint">, import("typebox").TLiteral<"Video">, import("typebox").TLiteral<"Podcast">, import("typebox").TLiteral<"Course">, import("typebox").TLiteral<"Presentation">, import("typebox").TLiteral<"Interview">, import("typebox").TLiteral<"PersonalCommunication">, import("typebox").TLiteral<"Email">, import("typebox").TLiteral<"Law">, import("typebox").TLiteral<"CourtCase">, import("typebox").TLiteral<"GovernmentPublication">, import("typebox").TLiteral<"Datasheet">, import("typebox").TLiteral<"ProductManual">, import("typebox").TLiteral<"UnparsedURL">]>;
99
+ }>, import("typebox").TObject<{
100
+ type: import("typebox").TLiteral<"Standard">;
101
+ organization: import("typebox").TString;
102
+ standardNumber: import("typebox").TString;
103
+ title: import("typebox").TString;
104
+ date: import("@proposit/proposit-core").TDateType;
105
+ }>]>, import("typebox").TIntersect<[import("typebox").TObject<{
106
+ type: import("typebox").TUnion<[import("typebox").TLiteral<"Book">, import("typebox").TLiteral<"Website">, import("typebox").TLiteral<"BookChapter">, import("typebox").TLiteral<"Handbook">, import("typebox").TLiteral<"TechnicalReport">, import("typebox").TLiteral<"Standard">, import("typebox").TLiteral<"Thesis">, import("typebox").TLiteral<"Patent">, import("typebox").TLiteral<"Dictionary">, import("typebox").TLiteral<"Encyclopedia">, import("typebox").TLiteral<"JournalArticle">, import("typebox").TLiteral<"MagazineArticle">, import("typebox").TLiteral<"NewspaperArticle">, import("typebox").TLiteral<"ConferencePaper">, import("typebox").TLiteral<"ConferenceProceedings">, import("typebox").TLiteral<"Dataset">, import("typebox").TLiteral<"Software">, import("typebox").TLiteral<"OnlineDocument">, import("typebox").TLiteral<"Blog">, import("typebox").TLiteral<"SocialMedia">, import("typebox").TLiteral<"Preprint">, import("typebox").TLiteral<"Video">, import("typebox").TLiteral<"Podcast">, import("typebox").TLiteral<"Course">, import("typebox").TLiteral<"Presentation">, import("typebox").TLiteral<"Interview">, import("typebox").TLiteral<"PersonalCommunication">, import("typebox").TLiteral<"Email">, import("typebox").TLiteral<"Law">, import("typebox").TLiteral<"CourtCase">, import("typebox").TLiteral<"GovernmentPublication">, import("typebox").TLiteral<"Datasheet">, import("typebox").TLiteral<"ProductManual">, import("typebox").TLiteral<"UnparsedURL">]>;
107
+ }>, import("typebox").TObject<{
108
+ type: import("typebox").TLiteral<"Thesis">;
109
+ title: import("typebox").TString;
110
+ year: import("typebox").TString;
111
+ authors: import("typebox").TArray<import("typebox").TObject<{
112
+ givenNames: import("typebox").TString;
113
+ familyName: import("typebox").TString;
114
+ suffix: import("typebox").TOptional<import("typebox").TString>;
115
+ }>>;
116
+ degree: import("typebox").TString;
117
+ institution: import("typebox").TString;
118
+ location: import("typebox").TString;
119
+ }>]>, import("typebox").TIntersect<[import("typebox").TObject<{
120
+ type: import("typebox").TUnion<[import("typebox").TLiteral<"Book">, import("typebox").TLiteral<"Website">, import("typebox").TLiteral<"BookChapter">, import("typebox").TLiteral<"Handbook">, import("typebox").TLiteral<"TechnicalReport">, import("typebox").TLiteral<"Standard">, import("typebox").TLiteral<"Thesis">, import("typebox").TLiteral<"Patent">, import("typebox").TLiteral<"Dictionary">, import("typebox").TLiteral<"Encyclopedia">, import("typebox").TLiteral<"JournalArticle">, import("typebox").TLiteral<"MagazineArticle">, import("typebox").TLiteral<"NewspaperArticle">, import("typebox").TLiteral<"ConferencePaper">, import("typebox").TLiteral<"ConferenceProceedings">, import("typebox").TLiteral<"Dataset">, import("typebox").TLiteral<"Software">, import("typebox").TLiteral<"OnlineDocument">, import("typebox").TLiteral<"Blog">, import("typebox").TLiteral<"SocialMedia">, import("typebox").TLiteral<"Preprint">, import("typebox").TLiteral<"Video">, import("typebox").TLiteral<"Podcast">, import("typebox").TLiteral<"Course">, import("typebox").TLiteral<"Presentation">, import("typebox").TLiteral<"Interview">, import("typebox").TLiteral<"PersonalCommunication">, import("typebox").TLiteral<"Email">, import("typebox").TLiteral<"Law">, import("typebox").TLiteral<"CourtCase">, import("typebox").TLiteral<"GovernmentPublication">, import("typebox").TLiteral<"Datasheet">, import("typebox").TLiteral<"ProductManual">, import("typebox").TLiteral<"UnparsedURL">]>;
121
+ }>, import("typebox").TObject<{
122
+ type: import("typebox").TLiteral<"Patent">;
123
+ title: import("typebox").TString;
124
+ inventors: import("typebox").TArray<import("typebox").TObject<{
125
+ givenNames: import("typebox").TString;
126
+ familyName: import("typebox").TString;
127
+ suffix: import("typebox").TOptional<import("typebox").TString>;
128
+ }>>;
129
+ country: import("typebox").TString;
130
+ patentNumber: import("typebox").TString;
131
+ date: import("@proposit/proposit-core").TDateType;
132
+ }>]>, import("typebox").TIntersect<[import("typebox").TObject<{
133
+ type: import("typebox").TUnion<[import("typebox").TLiteral<"Book">, import("typebox").TLiteral<"Website">, import("typebox").TLiteral<"BookChapter">, import("typebox").TLiteral<"Handbook">, import("typebox").TLiteral<"TechnicalReport">, import("typebox").TLiteral<"Standard">, import("typebox").TLiteral<"Thesis">, import("typebox").TLiteral<"Patent">, import("typebox").TLiteral<"Dictionary">, import("typebox").TLiteral<"Encyclopedia">, import("typebox").TLiteral<"JournalArticle">, import("typebox").TLiteral<"MagazineArticle">, import("typebox").TLiteral<"NewspaperArticle">, import("typebox").TLiteral<"ConferencePaper">, import("typebox").TLiteral<"ConferenceProceedings">, import("typebox").TLiteral<"Dataset">, import("typebox").TLiteral<"Software">, import("typebox").TLiteral<"OnlineDocument">, import("typebox").TLiteral<"Blog">, import("typebox").TLiteral<"SocialMedia">, import("typebox").TLiteral<"Preprint">, import("typebox").TLiteral<"Video">, import("typebox").TLiteral<"Podcast">, import("typebox").TLiteral<"Course">, import("typebox").TLiteral<"Presentation">, import("typebox").TLiteral<"Interview">, import("typebox").TLiteral<"PersonalCommunication">, import("typebox").TLiteral<"Email">, import("typebox").TLiteral<"Law">, import("typebox").TLiteral<"CourtCase">, import("typebox").TLiteral<"GovernmentPublication">, import("typebox").TLiteral<"Datasheet">, import("typebox").TLiteral<"ProductManual">, import("typebox").TLiteral<"UnparsedURL">]>;
134
+ }>, import("typebox").TObject<{
135
+ type: import("typebox").TLiteral<"Dictionary">;
136
+ title: import("typebox").TString;
137
+ year: import("typebox").TString;
138
+ publisher: import("typebox").TString;
139
+ edition: import("typebox").TOptional<import("typebox").TString>;
140
+ }>]>, import("typebox").TIntersect<[import("typebox").TObject<{
141
+ type: import("typebox").TUnion<[import("typebox").TLiteral<"Book">, import("typebox").TLiteral<"Website">, import("typebox").TLiteral<"BookChapter">, import("typebox").TLiteral<"Handbook">, import("typebox").TLiteral<"TechnicalReport">, import("typebox").TLiteral<"Standard">, import("typebox").TLiteral<"Thesis">, import("typebox").TLiteral<"Patent">, import("typebox").TLiteral<"Dictionary">, import("typebox").TLiteral<"Encyclopedia">, import("typebox").TLiteral<"JournalArticle">, import("typebox").TLiteral<"MagazineArticle">, import("typebox").TLiteral<"NewspaperArticle">, import("typebox").TLiteral<"ConferencePaper">, import("typebox").TLiteral<"ConferenceProceedings">, import("typebox").TLiteral<"Dataset">, import("typebox").TLiteral<"Software">, import("typebox").TLiteral<"OnlineDocument">, import("typebox").TLiteral<"Blog">, import("typebox").TLiteral<"SocialMedia">, import("typebox").TLiteral<"Preprint">, import("typebox").TLiteral<"Video">, import("typebox").TLiteral<"Podcast">, import("typebox").TLiteral<"Course">, import("typebox").TLiteral<"Presentation">, import("typebox").TLiteral<"Interview">, import("typebox").TLiteral<"PersonalCommunication">, import("typebox").TLiteral<"Email">, import("typebox").TLiteral<"Law">, import("typebox").TLiteral<"CourtCase">, import("typebox").TLiteral<"GovernmentPublication">, import("typebox").TLiteral<"Datasheet">, import("typebox").TLiteral<"ProductManual">, import("typebox").TLiteral<"UnparsedURL">]>;
142
+ }>, import("typebox").TObject<{
143
+ type: import("typebox").TLiteral<"Encyclopedia">;
144
+ title: import("typebox").TString;
145
+ year: import("typebox").TString;
146
+ publisher: import("typebox").TString;
147
+ edition: import("typebox").TOptional<import("typebox").TString>;
148
+ }>]>, import("typebox").TIntersect<[import("typebox").TObject<{
149
+ type: import("typebox").TUnion<[import("typebox").TLiteral<"Book">, import("typebox").TLiteral<"Website">, import("typebox").TLiteral<"BookChapter">, import("typebox").TLiteral<"Handbook">, import("typebox").TLiteral<"TechnicalReport">, import("typebox").TLiteral<"Standard">, import("typebox").TLiteral<"Thesis">, import("typebox").TLiteral<"Patent">, import("typebox").TLiteral<"Dictionary">, import("typebox").TLiteral<"Encyclopedia">, import("typebox").TLiteral<"JournalArticle">, import("typebox").TLiteral<"MagazineArticle">, import("typebox").TLiteral<"NewspaperArticle">, import("typebox").TLiteral<"ConferencePaper">, import("typebox").TLiteral<"ConferenceProceedings">, import("typebox").TLiteral<"Dataset">, import("typebox").TLiteral<"Software">, import("typebox").TLiteral<"OnlineDocument">, import("typebox").TLiteral<"Blog">, import("typebox").TLiteral<"SocialMedia">, import("typebox").TLiteral<"Preprint">, import("typebox").TLiteral<"Video">, import("typebox").TLiteral<"Podcast">, import("typebox").TLiteral<"Course">, import("typebox").TLiteral<"Presentation">, import("typebox").TLiteral<"Interview">, import("typebox").TLiteral<"PersonalCommunication">, import("typebox").TLiteral<"Email">, import("typebox").TLiteral<"Law">, import("typebox").TLiteral<"CourtCase">, import("typebox").TLiteral<"GovernmentPublication">, import("typebox").TLiteral<"Datasheet">, import("typebox").TLiteral<"ProductManual">, import("typebox").TLiteral<"UnparsedURL">]>;
150
+ }>, import("typebox").TObject<{
151
+ type: import("typebox").TLiteral<"JournalArticle">;
152
+ title: import("typebox").TString;
153
+ year: import("typebox").TString;
154
+ authors: import("typebox").TArray<import("typebox").TObject<{
155
+ givenNames: import("typebox").TString;
156
+ familyName: import("typebox").TString;
157
+ suffix: import("typebox").TOptional<import("typebox").TString>;
158
+ }>>;
159
+ journalTitle: import("typebox").TString;
160
+ volume: import("typebox").TOptional<import("typebox").TString>;
161
+ issue: import("typebox").TOptional<import("typebox").TString>;
162
+ pages: import("typebox").TOptional<import("typebox").TString>;
163
+ doi: import("typebox").TOptional<import("typebox").TString>;
164
+ }>]>, import("typebox").TIntersect<[import("typebox").TObject<{
165
+ type: import("typebox").TUnion<[import("typebox").TLiteral<"Book">, import("typebox").TLiteral<"Website">, import("typebox").TLiteral<"BookChapter">, import("typebox").TLiteral<"Handbook">, import("typebox").TLiteral<"TechnicalReport">, import("typebox").TLiteral<"Standard">, import("typebox").TLiteral<"Thesis">, import("typebox").TLiteral<"Patent">, import("typebox").TLiteral<"Dictionary">, import("typebox").TLiteral<"Encyclopedia">, import("typebox").TLiteral<"JournalArticle">, import("typebox").TLiteral<"MagazineArticle">, import("typebox").TLiteral<"NewspaperArticle">, import("typebox").TLiteral<"ConferencePaper">, import("typebox").TLiteral<"ConferenceProceedings">, import("typebox").TLiteral<"Dataset">, import("typebox").TLiteral<"Software">, import("typebox").TLiteral<"OnlineDocument">, import("typebox").TLiteral<"Blog">, import("typebox").TLiteral<"SocialMedia">, import("typebox").TLiteral<"Preprint">, import("typebox").TLiteral<"Video">, import("typebox").TLiteral<"Podcast">, import("typebox").TLiteral<"Course">, import("typebox").TLiteral<"Presentation">, import("typebox").TLiteral<"Interview">, import("typebox").TLiteral<"PersonalCommunication">, import("typebox").TLiteral<"Email">, import("typebox").TLiteral<"Law">, import("typebox").TLiteral<"CourtCase">, import("typebox").TLiteral<"GovernmentPublication">, import("typebox").TLiteral<"Datasheet">, import("typebox").TLiteral<"ProductManual">, import("typebox").TLiteral<"UnparsedURL">]>;
166
+ }>, import("typebox").TObject<{
167
+ type: import("typebox").TLiteral<"MagazineArticle">;
168
+ title: import("typebox").TString;
169
+ year: import("typebox").TString;
170
+ authors: import("typebox").TArray<import("typebox").TObject<{
171
+ givenNames: import("typebox").TString;
172
+ familyName: import("typebox").TString;
173
+ suffix: import("typebox").TOptional<import("typebox").TString>;
174
+ }>>;
175
+ magazineTitle: import("typebox").TString;
176
+ volume: import("typebox").TOptional<import("typebox").TString>;
177
+ issue: import("typebox").TOptional<import("typebox").TString>;
178
+ pages: import("typebox").TOptional<import("typebox").TString>;
179
+ }>]>, import("typebox").TIntersect<[import("typebox").TObject<{
180
+ type: import("typebox").TUnion<[import("typebox").TLiteral<"Book">, import("typebox").TLiteral<"Website">, import("typebox").TLiteral<"BookChapter">, import("typebox").TLiteral<"Handbook">, import("typebox").TLiteral<"TechnicalReport">, import("typebox").TLiteral<"Standard">, import("typebox").TLiteral<"Thesis">, import("typebox").TLiteral<"Patent">, import("typebox").TLiteral<"Dictionary">, import("typebox").TLiteral<"Encyclopedia">, import("typebox").TLiteral<"JournalArticle">, import("typebox").TLiteral<"MagazineArticle">, import("typebox").TLiteral<"NewspaperArticle">, import("typebox").TLiteral<"ConferencePaper">, import("typebox").TLiteral<"ConferenceProceedings">, import("typebox").TLiteral<"Dataset">, import("typebox").TLiteral<"Software">, import("typebox").TLiteral<"OnlineDocument">, import("typebox").TLiteral<"Blog">, import("typebox").TLiteral<"SocialMedia">, import("typebox").TLiteral<"Preprint">, import("typebox").TLiteral<"Video">, import("typebox").TLiteral<"Podcast">, import("typebox").TLiteral<"Course">, import("typebox").TLiteral<"Presentation">, import("typebox").TLiteral<"Interview">, import("typebox").TLiteral<"PersonalCommunication">, import("typebox").TLiteral<"Email">, import("typebox").TLiteral<"Law">, import("typebox").TLiteral<"CourtCase">, import("typebox").TLiteral<"GovernmentPublication">, import("typebox").TLiteral<"Datasheet">, import("typebox").TLiteral<"ProductManual">, import("typebox").TLiteral<"UnparsedURL">]>;
181
+ }>, import("typebox").TObject<{
182
+ type: import("typebox").TLiteral<"NewspaperArticle">;
183
+ title: import("typebox").TString;
184
+ authors: import("typebox").TArray<import("typebox").TObject<{
185
+ givenNames: import("typebox").TString;
186
+ familyName: import("typebox").TString;
187
+ suffix: import("typebox").TOptional<import("typebox").TString>;
188
+ }>>;
189
+ newspaperTitle: import("typebox").TString;
190
+ date: import("@proposit/proposit-core").TDateType;
191
+ pages: import("typebox").TOptional<import("typebox").TString>;
192
+ }>]>, import("typebox").TIntersect<[import("typebox").TObject<{
193
+ type: import("typebox").TUnion<[import("typebox").TLiteral<"Book">, import("typebox").TLiteral<"Website">, import("typebox").TLiteral<"BookChapter">, import("typebox").TLiteral<"Handbook">, import("typebox").TLiteral<"TechnicalReport">, import("typebox").TLiteral<"Standard">, import("typebox").TLiteral<"Thesis">, import("typebox").TLiteral<"Patent">, import("typebox").TLiteral<"Dictionary">, import("typebox").TLiteral<"Encyclopedia">, import("typebox").TLiteral<"JournalArticle">, import("typebox").TLiteral<"MagazineArticle">, import("typebox").TLiteral<"NewspaperArticle">, import("typebox").TLiteral<"ConferencePaper">, import("typebox").TLiteral<"ConferenceProceedings">, import("typebox").TLiteral<"Dataset">, import("typebox").TLiteral<"Software">, import("typebox").TLiteral<"OnlineDocument">, import("typebox").TLiteral<"Blog">, import("typebox").TLiteral<"SocialMedia">, import("typebox").TLiteral<"Preprint">, import("typebox").TLiteral<"Video">, import("typebox").TLiteral<"Podcast">, import("typebox").TLiteral<"Course">, import("typebox").TLiteral<"Presentation">, import("typebox").TLiteral<"Interview">, import("typebox").TLiteral<"PersonalCommunication">, import("typebox").TLiteral<"Email">, import("typebox").TLiteral<"Law">, import("typebox").TLiteral<"CourtCase">, import("typebox").TLiteral<"GovernmentPublication">, import("typebox").TLiteral<"Datasheet">, import("typebox").TLiteral<"ProductManual">, import("typebox").TLiteral<"UnparsedURL">]>;
194
+ }>, import("typebox").TObject<{
195
+ type: import("typebox").TLiteral<"ConferencePaper">;
196
+ title: import("typebox").TString;
197
+ authors: import("typebox").TArray<import("typebox").TObject<{
198
+ givenNames: import("typebox").TString;
199
+ familyName: import("typebox").TString;
200
+ suffix: import("typebox").TOptional<import("typebox").TString>;
201
+ }>>;
202
+ conferenceName: import("typebox").TString;
203
+ location: import("typebox").TString;
204
+ date: import("@proposit/proposit-core").TDateType;
205
+ pages: import("typebox").TOptional<import("typebox").TString>;
206
+ doi: import("typebox").TOptional<import("typebox").TString>;
207
+ }>]>, import("typebox").TIntersect<[import("typebox").TObject<{
208
+ type: import("typebox").TUnion<[import("typebox").TLiteral<"Book">, import("typebox").TLiteral<"Website">, import("typebox").TLiteral<"BookChapter">, import("typebox").TLiteral<"Handbook">, import("typebox").TLiteral<"TechnicalReport">, import("typebox").TLiteral<"Standard">, import("typebox").TLiteral<"Thesis">, import("typebox").TLiteral<"Patent">, import("typebox").TLiteral<"Dictionary">, import("typebox").TLiteral<"Encyclopedia">, import("typebox").TLiteral<"JournalArticle">, import("typebox").TLiteral<"MagazineArticle">, import("typebox").TLiteral<"NewspaperArticle">, import("typebox").TLiteral<"ConferencePaper">, import("typebox").TLiteral<"ConferenceProceedings">, import("typebox").TLiteral<"Dataset">, import("typebox").TLiteral<"Software">, import("typebox").TLiteral<"OnlineDocument">, import("typebox").TLiteral<"Blog">, import("typebox").TLiteral<"SocialMedia">, import("typebox").TLiteral<"Preprint">, import("typebox").TLiteral<"Video">, import("typebox").TLiteral<"Podcast">, import("typebox").TLiteral<"Course">, import("typebox").TLiteral<"Presentation">, import("typebox").TLiteral<"Interview">, import("typebox").TLiteral<"PersonalCommunication">, import("typebox").TLiteral<"Email">, import("typebox").TLiteral<"Law">, import("typebox").TLiteral<"CourtCase">, import("typebox").TLiteral<"GovernmentPublication">, import("typebox").TLiteral<"Datasheet">, import("typebox").TLiteral<"ProductManual">, import("typebox").TLiteral<"UnparsedURL">]>;
209
+ }>, import("typebox").TObject<{
210
+ type: import("typebox").TLiteral<"ConferenceProceedings">;
211
+ editors: import("typebox").TOptional<import("typebox").TArray<import("typebox").TObject<{
212
+ givenNames: import("typebox").TString;
213
+ familyName: import("typebox").TString;
214
+ suffix: import("typebox").TOptional<import("typebox").TString>;
215
+ }>>>;
216
+ conferenceName: import("typebox").TString;
217
+ location: import("typebox").TString;
218
+ date: import("@proposit/proposit-core").TDateType;
219
+ publisher: import("typebox").TString;
220
+ isbn: import("typebox").TOptional<import("typebox").TString>;
221
+ }>]>, import("typebox").TIntersect<[import("typebox").TObject<{
222
+ type: import("typebox").TUnion<[import("typebox").TLiteral<"Book">, import("typebox").TLiteral<"Website">, import("typebox").TLiteral<"BookChapter">, import("typebox").TLiteral<"Handbook">, import("typebox").TLiteral<"TechnicalReport">, import("typebox").TLiteral<"Standard">, import("typebox").TLiteral<"Thesis">, import("typebox").TLiteral<"Patent">, import("typebox").TLiteral<"Dictionary">, import("typebox").TLiteral<"Encyclopedia">, import("typebox").TLiteral<"JournalArticle">, import("typebox").TLiteral<"MagazineArticle">, import("typebox").TLiteral<"NewspaperArticle">, import("typebox").TLiteral<"ConferencePaper">, import("typebox").TLiteral<"ConferenceProceedings">, import("typebox").TLiteral<"Dataset">, import("typebox").TLiteral<"Software">, import("typebox").TLiteral<"OnlineDocument">, import("typebox").TLiteral<"Blog">, import("typebox").TLiteral<"SocialMedia">, import("typebox").TLiteral<"Preprint">, import("typebox").TLiteral<"Video">, import("typebox").TLiteral<"Podcast">, import("typebox").TLiteral<"Course">, import("typebox").TLiteral<"Presentation">, import("typebox").TLiteral<"Interview">, import("typebox").TLiteral<"PersonalCommunication">, import("typebox").TLiteral<"Email">, import("typebox").TLiteral<"Law">, import("typebox").TLiteral<"CourtCase">, import("typebox").TLiteral<"GovernmentPublication">, import("typebox").TLiteral<"Datasheet">, import("typebox").TLiteral<"ProductManual">, import("typebox").TLiteral<"UnparsedURL">]>;
223
+ }>, import("typebox").TObject<{
224
+ type: import("typebox").TLiteral<"Dataset">;
225
+ title: import("typebox").TString;
226
+ year: import("typebox").TString;
227
+ authors: import("typebox").TOptional<import("typebox").TArray<import("typebox").TObject<{
228
+ givenNames: import("typebox").TString;
229
+ familyName: import("typebox").TString;
230
+ suffix: import("typebox").TOptional<import("typebox").TString>;
231
+ }>>>;
232
+ repository: import("typebox").TString;
233
+ version: import("typebox").TOptional<import("typebox").TString>;
234
+ doi: import("typebox").TOptional<import("typebox").TString>;
235
+ url: import("typebox").TString;
236
+ }>]>, import("typebox").TIntersect<[import("typebox").TObject<{
237
+ type: import("typebox").TUnion<[import("typebox").TLiteral<"Book">, import("typebox").TLiteral<"Website">, import("typebox").TLiteral<"BookChapter">, import("typebox").TLiteral<"Handbook">, import("typebox").TLiteral<"TechnicalReport">, import("typebox").TLiteral<"Standard">, import("typebox").TLiteral<"Thesis">, import("typebox").TLiteral<"Patent">, import("typebox").TLiteral<"Dictionary">, import("typebox").TLiteral<"Encyclopedia">, import("typebox").TLiteral<"JournalArticle">, import("typebox").TLiteral<"MagazineArticle">, import("typebox").TLiteral<"NewspaperArticle">, import("typebox").TLiteral<"ConferencePaper">, import("typebox").TLiteral<"ConferenceProceedings">, import("typebox").TLiteral<"Dataset">, import("typebox").TLiteral<"Software">, import("typebox").TLiteral<"OnlineDocument">, import("typebox").TLiteral<"Blog">, import("typebox").TLiteral<"SocialMedia">, import("typebox").TLiteral<"Preprint">, import("typebox").TLiteral<"Video">, import("typebox").TLiteral<"Podcast">, import("typebox").TLiteral<"Course">, import("typebox").TLiteral<"Presentation">, import("typebox").TLiteral<"Interview">, import("typebox").TLiteral<"PersonalCommunication">, import("typebox").TLiteral<"Email">, import("typebox").TLiteral<"Law">, import("typebox").TLiteral<"CourtCase">, import("typebox").TLiteral<"GovernmentPublication">, import("typebox").TLiteral<"Datasheet">, import("typebox").TLiteral<"ProductManual">, import("typebox").TLiteral<"UnparsedURL">]>;
238
+ }>, import("typebox").TObject<{
239
+ type: import("typebox").TLiteral<"Software">;
240
+ title: import("typebox").TString;
241
+ year: import("typebox").TString;
242
+ authors: import("typebox").TOptional<import("typebox").TArray<import("typebox").TObject<{
243
+ givenNames: import("typebox").TString;
244
+ familyName: import("typebox").TString;
245
+ suffix: import("typebox").TOptional<import("typebox").TString>;
246
+ }>>>;
247
+ version: import("typebox").TOptional<import("typebox").TString>;
248
+ publisher: import("typebox").TOptional<import("typebox").TString>;
249
+ doi: import("typebox").TOptional<import("typebox").TString>;
250
+ url: import("typebox").TString;
251
+ }>]>, import("typebox").TIntersect<[import("typebox").TObject<{
252
+ type: import("typebox").TUnion<[import("typebox").TLiteral<"Book">, import("typebox").TLiteral<"Website">, import("typebox").TLiteral<"BookChapter">, import("typebox").TLiteral<"Handbook">, import("typebox").TLiteral<"TechnicalReport">, import("typebox").TLiteral<"Standard">, import("typebox").TLiteral<"Thesis">, import("typebox").TLiteral<"Patent">, import("typebox").TLiteral<"Dictionary">, import("typebox").TLiteral<"Encyclopedia">, import("typebox").TLiteral<"JournalArticle">, import("typebox").TLiteral<"MagazineArticle">, import("typebox").TLiteral<"NewspaperArticle">, import("typebox").TLiteral<"ConferencePaper">, import("typebox").TLiteral<"ConferenceProceedings">, import("typebox").TLiteral<"Dataset">, import("typebox").TLiteral<"Software">, import("typebox").TLiteral<"OnlineDocument">, import("typebox").TLiteral<"Blog">, import("typebox").TLiteral<"SocialMedia">, import("typebox").TLiteral<"Preprint">, import("typebox").TLiteral<"Video">, import("typebox").TLiteral<"Podcast">, import("typebox").TLiteral<"Course">, import("typebox").TLiteral<"Presentation">, import("typebox").TLiteral<"Interview">, import("typebox").TLiteral<"PersonalCommunication">, import("typebox").TLiteral<"Email">, import("typebox").TLiteral<"Law">, import("typebox").TLiteral<"CourtCase">, import("typebox").TLiteral<"GovernmentPublication">, import("typebox").TLiteral<"Datasheet">, import("typebox").TLiteral<"ProductManual">, import("typebox").TLiteral<"UnparsedURL">]>;
253
+ }>, import("typebox").TObject<{
254
+ type: import("typebox").TLiteral<"OnlineDocument">;
255
+ authors: import("typebox").TOptional<import("typebox").TArray<import("typebox").TObject<{
256
+ givenNames: import("typebox").TString;
257
+ familyName: import("typebox").TString;
258
+ suffix: import("typebox").TOptional<import("typebox").TString>;
259
+ }>>>;
260
+ title: import("typebox").TString;
261
+ publisher: import("typebox").TOptional<import("typebox").TString>;
262
+ url: import("typebox").TString;
263
+ accessedDate: import("@proposit/proposit-core").TDateType;
264
+ }>]>, import("typebox").TIntersect<[import("typebox").TObject<{
265
+ type: import("typebox").TUnion<[import("typebox").TLiteral<"Book">, import("typebox").TLiteral<"Website">, import("typebox").TLiteral<"BookChapter">, import("typebox").TLiteral<"Handbook">, import("typebox").TLiteral<"TechnicalReport">, import("typebox").TLiteral<"Standard">, import("typebox").TLiteral<"Thesis">, import("typebox").TLiteral<"Patent">, import("typebox").TLiteral<"Dictionary">, import("typebox").TLiteral<"Encyclopedia">, import("typebox").TLiteral<"JournalArticle">, import("typebox").TLiteral<"MagazineArticle">, import("typebox").TLiteral<"NewspaperArticle">, import("typebox").TLiteral<"ConferencePaper">, import("typebox").TLiteral<"ConferenceProceedings">, import("typebox").TLiteral<"Dataset">, import("typebox").TLiteral<"Software">, import("typebox").TLiteral<"OnlineDocument">, import("typebox").TLiteral<"Blog">, import("typebox").TLiteral<"SocialMedia">, import("typebox").TLiteral<"Preprint">, import("typebox").TLiteral<"Video">, import("typebox").TLiteral<"Podcast">, import("typebox").TLiteral<"Course">, import("typebox").TLiteral<"Presentation">, import("typebox").TLiteral<"Interview">, import("typebox").TLiteral<"PersonalCommunication">, import("typebox").TLiteral<"Email">, import("typebox").TLiteral<"Law">, import("typebox").TLiteral<"CourtCase">, import("typebox").TLiteral<"GovernmentPublication">, import("typebox").TLiteral<"Datasheet">, import("typebox").TLiteral<"ProductManual">, import("typebox").TLiteral<"UnparsedURL">]>;
266
+ }>, import("typebox").TObject<{
267
+ type: import("typebox").TLiteral<"Blog">;
268
+ author: import("typebox").TObject<{
269
+ givenNames: import("typebox").TString;
270
+ familyName: import("typebox").TString;
271
+ suffix: import("typebox").TOptional<import("typebox").TString>;
272
+ }>;
273
+ postTitle: import("typebox").TString;
274
+ blogName: import("typebox").TString;
275
+ date: import("@proposit/proposit-core").TDateType;
276
+ url: import("typebox").TString;
277
+ accessedDate: import("@proposit/proposit-core").TDateType;
278
+ }>]>, import("typebox").TIntersect<[import("typebox").TObject<{
279
+ type: import("typebox").TUnion<[import("typebox").TLiteral<"Book">, import("typebox").TLiteral<"Website">, import("typebox").TLiteral<"BookChapter">, import("typebox").TLiteral<"Handbook">, import("typebox").TLiteral<"TechnicalReport">, import("typebox").TLiteral<"Standard">, import("typebox").TLiteral<"Thesis">, import("typebox").TLiteral<"Patent">, import("typebox").TLiteral<"Dictionary">, import("typebox").TLiteral<"Encyclopedia">, import("typebox").TLiteral<"JournalArticle">, import("typebox").TLiteral<"MagazineArticle">, import("typebox").TLiteral<"NewspaperArticle">, import("typebox").TLiteral<"ConferencePaper">, import("typebox").TLiteral<"ConferenceProceedings">, import("typebox").TLiteral<"Dataset">, import("typebox").TLiteral<"Software">, import("typebox").TLiteral<"OnlineDocument">, import("typebox").TLiteral<"Blog">, import("typebox").TLiteral<"SocialMedia">, import("typebox").TLiteral<"Preprint">, import("typebox").TLiteral<"Video">, import("typebox").TLiteral<"Podcast">, import("typebox").TLiteral<"Course">, import("typebox").TLiteral<"Presentation">, import("typebox").TLiteral<"Interview">, import("typebox").TLiteral<"PersonalCommunication">, import("typebox").TLiteral<"Email">, import("typebox").TLiteral<"Law">, import("typebox").TLiteral<"CourtCase">, import("typebox").TLiteral<"GovernmentPublication">, import("typebox").TLiteral<"Datasheet">, import("typebox").TLiteral<"ProductManual">, import("typebox").TLiteral<"UnparsedURL">]>;
280
+ }>, import("typebox").TObject<{
281
+ type: import("typebox").TLiteral<"SocialMedia">;
282
+ author: import("typebox").TObject<{
283
+ givenNames: import("typebox").TString;
284
+ familyName: import("typebox").TString;
285
+ suffix: import("typebox").TOptional<import("typebox").TString>;
286
+ }>;
287
+ platform: import("typebox").TString;
288
+ postDate: import("@proposit/proposit-core").TDateType;
289
+ url: import("typebox").TString;
290
+ }>]>, import("typebox").TIntersect<[import("typebox").TObject<{
291
+ type: import("typebox").TUnion<[import("typebox").TLiteral<"Book">, import("typebox").TLiteral<"Website">, import("typebox").TLiteral<"BookChapter">, import("typebox").TLiteral<"Handbook">, import("typebox").TLiteral<"TechnicalReport">, import("typebox").TLiteral<"Standard">, import("typebox").TLiteral<"Thesis">, import("typebox").TLiteral<"Patent">, import("typebox").TLiteral<"Dictionary">, import("typebox").TLiteral<"Encyclopedia">, import("typebox").TLiteral<"JournalArticle">, import("typebox").TLiteral<"MagazineArticle">, import("typebox").TLiteral<"NewspaperArticle">, import("typebox").TLiteral<"ConferencePaper">, import("typebox").TLiteral<"ConferenceProceedings">, import("typebox").TLiteral<"Dataset">, import("typebox").TLiteral<"Software">, import("typebox").TLiteral<"OnlineDocument">, import("typebox").TLiteral<"Blog">, import("typebox").TLiteral<"SocialMedia">, import("typebox").TLiteral<"Preprint">, import("typebox").TLiteral<"Video">, import("typebox").TLiteral<"Podcast">, import("typebox").TLiteral<"Course">, import("typebox").TLiteral<"Presentation">, import("typebox").TLiteral<"Interview">, import("typebox").TLiteral<"PersonalCommunication">, import("typebox").TLiteral<"Email">, import("typebox").TLiteral<"Law">, import("typebox").TLiteral<"CourtCase">, import("typebox").TLiteral<"GovernmentPublication">, import("typebox").TLiteral<"Datasheet">, import("typebox").TLiteral<"ProductManual">, import("typebox").TLiteral<"UnparsedURL">]>;
292
+ }>, import("typebox").TObject<{
293
+ type: import("typebox").TLiteral<"Preprint">;
294
+ title: import("typebox").TString;
295
+ year: import("typebox").TString;
296
+ authors: import("typebox").TArray<import("typebox").TObject<{
297
+ givenNames: import("typebox").TString;
298
+ familyName: import("typebox").TString;
299
+ suffix: import("typebox").TOptional<import("typebox").TString>;
300
+ }>>;
301
+ server: import("typebox").TString;
302
+ doi: import("typebox").TOptional<import("typebox").TString>;
303
+ url: import("typebox").TString;
304
+ }>]>, import("typebox").TIntersect<[import("typebox").TObject<{
305
+ type: import("typebox").TUnion<[import("typebox").TLiteral<"Book">, import("typebox").TLiteral<"Website">, import("typebox").TLiteral<"BookChapter">, import("typebox").TLiteral<"Handbook">, import("typebox").TLiteral<"TechnicalReport">, import("typebox").TLiteral<"Standard">, import("typebox").TLiteral<"Thesis">, import("typebox").TLiteral<"Patent">, import("typebox").TLiteral<"Dictionary">, import("typebox").TLiteral<"Encyclopedia">, import("typebox").TLiteral<"JournalArticle">, import("typebox").TLiteral<"MagazineArticle">, import("typebox").TLiteral<"NewspaperArticle">, import("typebox").TLiteral<"ConferencePaper">, import("typebox").TLiteral<"ConferenceProceedings">, import("typebox").TLiteral<"Dataset">, import("typebox").TLiteral<"Software">, import("typebox").TLiteral<"OnlineDocument">, import("typebox").TLiteral<"Blog">, import("typebox").TLiteral<"SocialMedia">, import("typebox").TLiteral<"Preprint">, import("typebox").TLiteral<"Video">, import("typebox").TLiteral<"Podcast">, import("typebox").TLiteral<"Course">, import("typebox").TLiteral<"Presentation">, import("typebox").TLiteral<"Interview">, import("typebox").TLiteral<"PersonalCommunication">, import("typebox").TLiteral<"Email">, import("typebox").TLiteral<"Law">, import("typebox").TLiteral<"CourtCase">, import("typebox").TLiteral<"GovernmentPublication">, import("typebox").TLiteral<"Datasheet">, import("typebox").TLiteral<"ProductManual">, import("typebox").TLiteral<"UnparsedURL">]>;
306
+ }>, import("typebox").TObject<{
307
+ type: import("typebox").TLiteral<"Video">;
308
+ title: import("typebox").TString;
309
+ authors: import("typebox").TOptional<import("typebox").TArray<import("typebox").TObject<{
310
+ givenNames: import("typebox").TString;
311
+ familyName: import("typebox").TString;
312
+ suffix: import("typebox").TOptional<import("typebox").TString>;
313
+ }>>>;
314
+ releaseDate: import("typebox").TOptional<import("@proposit/proposit-core").TDateType>;
315
+ platform: import("typebox").TString;
316
+ url: import("typebox").TString;
317
+ accessedDate: import("@proposit/proposit-core").TDateType;
318
+ }>]>, import("typebox").TIntersect<[import("typebox").TObject<{
319
+ type: import("typebox").TUnion<[import("typebox").TLiteral<"Book">, import("typebox").TLiteral<"Website">, import("typebox").TLiteral<"BookChapter">, import("typebox").TLiteral<"Handbook">, import("typebox").TLiteral<"TechnicalReport">, import("typebox").TLiteral<"Standard">, import("typebox").TLiteral<"Thesis">, import("typebox").TLiteral<"Patent">, import("typebox").TLiteral<"Dictionary">, import("typebox").TLiteral<"Encyclopedia">, import("typebox").TLiteral<"JournalArticle">, import("typebox").TLiteral<"MagazineArticle">, import("typebox").TLiteral<"NewspaperArticle">, import("typebox").TLiteral<"ConferencePaper">, import("typebox").TLiteral<"ConferenceProceedings">, import("typebox").TLiteral<"Dataset">, import("typebox").TLiteral<"Software">, import("typebox").TLiteral<"OnlineDocument">, import("typebox").TLiteral<"Blog">, import("typebox").TLiteral<"SocialMedia">, import("typebox").TLiteral<"Preprint">, import("typebox").TLiteral<"Video">, import("typebox").TLiteral<"Podcast">, import("typebox").TLiteral<"Course">, import("typebox").TLiteral<"Presentation">, import("typebox").TLiteral<"Interview">, import("typebox").TLiteral<"PersonalCommunication">, import("typebox").TLiteral<"Email">, import("typebox").TLiteral<"Law">, import("typebox").TLiteral<"CourtCase">, import("typebox").TLiteral<"GovernmentPublication">, import("typebox").TLiteral<"Datasheet">, import("typebox").TLiteral<"ProductManual">, import("typebox").TLiteral<"UnparsedURL">]>;
320
+ }>, import("typebox").TObject<{
321
+ type: import("typebox").TLiteral<"Podcast">;
322
+ authors: import("typebox").TOptional<import("typebox").TArray<import("typebox").TObject<{
323
+ givenNames: import("typebox").TString;
324
+ familyName: import("typebox").TString;
325
+ suffix: import("typebox").TOptional<import("typebox").TString>;
326
+ }>>>;
327
+ episodeTitle: import("typebox").TString;
328
+ seriesTitle: import("typebox").TString;
329
+ platform: import("typebox").TString;
330
+ url: import("typebox").TString;
331
+ accessedDate: import("@proposit/proposit-core").TDateType;
332
+ }>]>, import("typebox").TIntersect<[import("typebox").TObject<{
333
+ type: import("typebox").TUnion<[import("typebox").TLiteral<"Book">, import("typebox").TLiteral<"Website">, import("typebox").TLiteral<"BookChapter">, import("typebox").TLiteral<"Handbook">, import("typebox").TLiteral<"TechnicalReport">, import("typebox").TLiteral<"Standard">, import("typebox").TLiteral<"Thesis">, import("typebox").TLiteral<"Patent">, import("typebox").TLiteral<"Dictionary">, import("typebox").TLiteral<"Encyclopedia">, import("typebox").TLiteral<"JournalArticle">, import("typebox").TLiteral<"MagazineArticle">, import("typebox").TLiteral<"NewspaperArticle">, import("typebox").TLiteral<"ConferencePaper">, import("typebox").TLiteral<"ConferenceProceedings">, import("typebox").TLiteral<"Dataset">, import("typebox").TLiteral<"Software">, import("typebox").TLiteral<"OnlineDocument">, import("typebox").TLiteral<"Blog">, import("typebox").TLiteral<"SocialMedia">, import("typebox").TLiteral<"Preprint">, import("typebox").TLiteral<"Video">, import("typebox").TLiteral<"Podcast">, import("typebox").TLiteral<"Course">, import("typebox").TLiteral<"Presentation">, import("typebox").TLiteral<"Interview">, import("typebox").TLiteral<"PersonalCommunication">, import("typebox").TLiteral<"Email">, import("typebox").TLiteral<"Law">, import("typebox").TLiteral<"CourtCase">, import("typebox").TLiteral<"GovernmentPublication">, import("typebox").TLiteral<"Datasheet">, import("typebox").TLiteral<"ProductManual">, import("typebox").TLiteral<"UnparsedURL">]>;
334
+ }>, import("typebox").TObject<{
335
+ type: import("typebox").TLiteral<"Course">;
336
+ title: import("typebox").TString;
337
+ year: import("typebox").TString;
338
+ instructor: import("typebox").TObject<{
339
+ givenNames: import("typebox").TString;
340
+ familyName: import("typebox").TString;
341
+ suffix: import("typebox").TOptional<import("typebox").TString>;
342
+ }>;
343
+ institution: import("typebox").TString;
344
+ courseCode: import("typebox").TOptional<import("typebox").TString>;
345
+ term: import("typebox").TString;
346
+ }>]>, import("typebox").TIntersect<[import("typebox").TObject<{
347
+ type: import("typebox").TUnion<[import("typebox").TLiteral<"Book">, import("typebox").TLiteral<"Website">, import("typebox").TLiteral<"BookChapter">, import("typebox").TLiteral<"Handbook">, import("typebox").TLiteral<"TechnicalReport">, import("typebox").TLiteral<"Standard">, import("typebox").TLiteral<"Thesis">, import("typebox").TLiteral<"Patent">, import("typebox").TLiteral<"Dictionary">, import("typebox").TLiteral<"Encyclopedia">, import("typebox").TLiteral<"JournalArticle">, import("typebox").TLiteral<"MagazineArticle">, import("typebox").TLiteral<"NewspaperArticle">, import("typebox").TLiteral<"ConferencePaper">, import("typebox").TLiteral<"ConferenceProceedings">, import("typebox").TLiteral<"Dataset">, import("typebox").TLiteral<"Software">, import("typebox").TLiteral<"OnlineDocument">, import("typebox").TLiteral<"Blog">, import("typebox").TLiteral<"SocialMedia">, import("typebox").TLiteral<"Preprint">, import("typebox").TLiteral<"Video">, import("typebox").TLiteral<"Podcast">, import("typebox").TLiteral<"Course">, import("typebox").TLiteral<"Presentation">, import("typebox").TLiteral<"Interview">, import("typebox").TLiteral<"PersonalCommunication">, import("typebox").TLiteral<"Email">, import("typebox").TLiteral<"Law">, import("typebox").TLiteral<"CourtCase">, import("typebox").TLiteral<"GovernmentPublication">, import("typebox").TLiteral<"Datasheet">, import("typebox").TLiteral<"ProductManual">, import("typebox").TLiteral<"UnparsedURL">]>;
348
+ }>, import("typebox").TObject<{
349
+ type: import("typebox").TLiteral<"Presentation">;
350
+ title: import("typebox").TString;
351
+ presenter: import("typebox").TObject<{
352
+ givenNames: import("typebox").TString;
353
+ familyName: import("typebox").TString;
354
+ suffix: import("typebox").TOptional<import("typebox").TString>;
355
+ }>;
356
+ eventTitle: import("typebox").TString;
357
+ location: import("typebox").TString;
358
+ date: import("@proposit/proposit-core").TDateType;
359
+ }>]>, import("typebox").TIntersect<[import("typebox").TObject<{
360
+ type: import("typebox").TUnion<[import("typebox").TLiteral<"Book">, import("typebox").TLiteral<"Website">, import("typebox").TLiteral<"BookChapter">, import("typebox").TLiteral<"Handbook">, import("typebox").TLiteral<"TechnicalReport">, import("typebox").TLiteral<"Standard">, import("typebox").TLiteral<"Thesis">, import("typebox").TLiteral<"Patent">, import("typebox").TLiteral<"Dictionary">, import("typebox").TLiteral<"Encyclopedia">, import("typebox").TLiteral<"JournalArticle">, import("typebox").TLiteral<"MagazineArticle">, import("typebox").TLiteral<"NewspaperArticle">, import("typebox").TLiteral<"ConferencePaper">, import("typebox").TLiteral<"ConferenceProceedings">, import("typebox").TLiteral<"Dataset">, import("typebox").TLiteral<"Software">, import("typebox").TLiteral<"OnlineDocument">, import("typebox").TLiteral<"Blog">, import("typebox").TLiteral<"SocialMedia">, import("typebox").TLiteral<"Preprint">, import("typebox").TLiteral<"Video">, import("typebox").TLiteral<"Podcast">, import("typebox").TLiteral<"Course">, import("typebox").TLiteral<"Presentation">, import("typebox").TLiteral<"Interview">, import("typebox").TLiteral<"PersonalCommunication">, import("typebox").TLiteral<"Email">, import("typebox").TLiteral<"Law">, import("typebox").TLiteral<"CourtCase">, import("typebox").TLiteral<"GovernmentPublication">, import("typebox").TLiteral<"Datasheet">, import("typebox").TLiteral<"ProductManual">, import("typebox").TLiteral<"UnparsedURL">]>;
361
+ }>, import("typebox").TObject<{
362
+ type: import("typebox").TLiteral<"Interview">;
363
+ interviewee: import("typebox").TObject<{
364
+ givenNames: import("typebox").TString;
365
+ familyName: import("typebox").TString;
366
+ suffix: import("typebox").TOptional<import("typebox").TString>;
367
+ }>;
368
+ interviewer: import("typebox").TOptional<import("typebox").TObject<{
369
+ givenNames: import("typebox").TString;
370
+ familyName: import("typebox").TString;
371
+ suffix: import("typebox").TOptional<import("typebox").TString>;
372
+ }>>;
373
+ date: import("@proposit/proposit-core").TDateType;
374
+ }>]>, import("typebox").TIntersect<[import("typebox").TObject<{
375
+ type: import("typebox").TUnion<[import("typebox").TLiteral<"Book">, import("typebox").TLiteral<"Website">, import("typebox").TLiteral<"BookChapter">, import("typebox").TLiteral<"Handbook">, import("typebox").TLiteral<"TechnicalReport">, import("typebox").TLiteral<"Standard">, import("typebox").TLiteral<"Thesis">, import("typebox").TLiteral<"Patent">, import("typebox").TLiteral<"Dictionary">, import("typebox").TLiteral<"Encyclopedia">, import("typebox").TLiteral<"JournalArticle">, import("typebox").TLiteral<"MagazineArticle">, import("typebox").TLiteral<"NewspaperArticle">, import("typebox").TLiteral<"ConferencePaper">, import("typebox").TLiteral<"ConferenceProceedings">, import("typebox").TLiteral<"Dataset">, import("typebox").TLiteral<"Software">, import("typebox").TLiteral<"OnlineDocument">, import("typebox").TLiteral<"Blog">, import("typebox").TLiteral<"SocialMedia">, import("typebox").TLiteral<"Preprint">, import("typebox").TLiteral<"Video">, import("typebox").TLiteral<"Podcast">, import("typebox").TLiteral<"Course">, import("typebox").TLiteral<"Presentation">, import("typebox").TLiteral<"Interview">, import("typebox").TLiteral<"PersonalCommunication">, import("typebox").TLiteral<"Email">, import("typebox").TLiteral<"Law">, import("typebox").TLiteral<"CourtCase">, import("typebox").TLiteral<"GovernmentPublication">, import("typebox").TLiteral<"Datasheet">, import("typebox").TLiteral<"ProductManual">, import("typebox").TLiteral<"UnparsedURL">]>;
376
+ }>, import("typebox").TObject<{
377
+ type: import("typebox").TLiteral<"PersonalCommunication">;
378
+ person: import("typebox").TObject<{
379
+ givenNames: import("typebox").TString;
380
+ familyName: import("typebox").TString;
381
+ suffix: import("typebox").TOptional<import("typebox").TString>;
382
+ }>;
383
+ date: import("@proposit/proposit-core").TDateType;
384
+ }>]>, import("typebox").TIntersect<[import("typebox").TObject<{
385
+ type: import("typebox").TUnion<[import("typebox").TLiteral<"Book">, import("typebox").TLiteral<"Website">, import("typebox").TLiteral<"BookChapter">, import("typebox").TLiteral<"Handbook">, import("typebox").TLiteral<"TechnicalReport">, import("typebox").TLiteral<"Standard">, import("typebox").TLiteral<"Thesis">, import("typebox").TLiteral<"Patent">, import("typebox").TLiteral<"Dictionary">, import("typebox").TLiteral<"Encyclopedia">, import("typebox").TLiteral<"JournalArticle">, import("typebox").TLiteral<"MagazineArticle">, import("typebox").TLiteral<"NewspaperArticle">, import("typebox").TLiteral<"ConferencePaper">, import("typebox").TLiteral<"ConferenceProceedings">, import("typebox").TLiteral<"Dataset">, import("typebox").TLiteral<"Software">, import("typebox").TLiteral<"OnlineDocument">, import("typebox").TLiteral<"Blog">, import("typebox").TLiteral<"SocialMedia">, import("typebox").TLiteral<"Preprint">, import("typebox").TLiteral<"Video">, import("typebox").TLiteral<"Podcast">, import("typebox").TLiteral<"Course">, import("typebox").TLiteral<"Presentation">, import("typebox").TLiteral<"Interview">, import("typebox").TLiteral<"PersonalCommunication">, import("typebox").TLiteral<"Email">, import("typebox").TLiteral<"Law">, import("typebox").TLiteral<"CourtCase">, import("typebox").TLiteral<"GovernmentPublication">, import("typebox").TLiteral<"Datasheet">, import("typebox").TLiteral<"ProductManual">, import("typebox").TLiteral<"UnparsedURL">]>;
386
+ }>, import("typebox").TObject<{
387
+ type: import("typebox").TLiteral<"Email">;
388
+ sender: import("typebox").TObject<{
389
+ givenNames: import("typebox").TString;
390
+ familyName: import("typebox").TString;
391
+ suffix: import("typebox").TOptional<import("typebox").TString>;
392
+ }>;
393
+ recipient: import("typebox").TObject<{
394
+ givenNames: import("typebox").TString;
395
+ familyName: import("typebox").TString;
396
+ suffix: import("typebox").TOptional<import("typebox").TString>;
397
+ }>;
398
+ date: import("@proposit/proposit-core").TDateType;
399
+ }>]>, import("typebox").TIntersect<[import("typebox").TObject<{
400
+ type: import("typebox").TUnion<[import("typebox").TLiteral<"Book">, import("typebox").TLiteral<"Website">, import("typebox").TLiteral<"BookChapter">, import("typebox").TLiteral<"Handbook">, import("typebox").TLiteral<"TechnicalReport">, import("typebox").TLiteral<"Standard">, import("typebox").TLiteral<"Thesis">, import("typebox").TLiteral<"Patent">, import("typebox").TLiteral<"Dictionary">, import("typebox").TLiteral<"Encyclopedia">, import("typebox").TLiteral<"JournalArticle">, import("typebox").TLiteral<"MagazineArticle">, import("typebox").TLiteral<"NewspaperArticle">, import("typebox").TLiteral<"ConferencePaper">, import("typebox").TLiteral<"ConferenceProceedings">, import("typebox").TLiteral<"Dataset">, import("typebox").TLiteral<"Software">, import("typebox").TLiteral<"OnlineDocument">, import("typebox").TLiteral<"Blog">, import("typebox").TLiteral<"SocialMedia">, import("typebox").TLiteral<"Preprint">, import("typebox").TLiteral<"Video">, import("typebox").TLiteral<"Podcast">, import("typebox").TLiteral<"Course">, import("typebox").TLiteral<"Presentation">, import("typebox").TLiteral<"Interview">, import("typebox").TLiteral<"PersonalCommunication">, import("typebox").TLiteral<"Email">, import("typebox").TLiteral<"Law">, import("typebox").TLiteral<"CourtCase">, import("typebox").TLiteral<"GovernmentPublication">, import("typebox").TLiteral<"Datasheet">, import("typebox").TLiteral<"ProductManual">, import("typebox").TLiteral<"UnparsedURL">]>;
401
+ }>, import("typebox").TObject<{
402
+ type: import("typebox").TLiteral<"Law">;
403
+ title: import("typebox").TString;
404
+ jurisdiction: import("typebox").TString;
405
+ dateEnacted: import("@proposit/proposit-core").TDateType;
406
+ }>]>, import("typebox").TIntersect<[import("typebox").TObject<{
407
+ type: import("typebox").TUnion<[import("typebox").TLiteral<"Book">, import("typebox").TLiteral<"Website">, import("typebox").TLiteral<"BookChapter">, import("typebox").TLiteral<"Handbook">, import("typebox").TLiteral<"TechnicalReport">, import("typebox").TLiteral<"Standard">, import("typebox").TLiteral<"Thesis">, import("typebox").TLiteral<"Patent">, import("typebox").TLiteral<"Dictionary">, import("typebox").TLiteral<"Encyclopedia">, import("typebox").TLiteral<"JournalArticle">, import("typebox").TLiteral<"MagazineArticle">, import("typebox").TLiteral<"NewspaperArticle">, import("typebox").TLiteral<"ConferencePaper">, import("typebox").TLiteral<"ConferenceProceedings">, import("typebox").TLiteral<"Dataset">, import("typebox").TLiteral<"Software">, import("typebox").TLiteral<"OnlineDocument">, import("typebox").TLiteral<"Blog">, import("typebox").TLiteral<"SocialMedia">, import("typebox").TLiteral<"Preprint">, import("typebox").TLiteral<"Video">, import("typebox").TLiteral<"Podcast">, import("typebox").TLiteral<"Course">, import("typebox").TLiteral<"Presentation">, import("typebox").TLiteral<"Interview">, import("typebox").TLiteral<"PersonalCommunication">, import("typebox").TLiteral<"Email">, import("typebox").TLiteral<"Law">, import("typebox").TLiteral<"CourtCase">, import("typebox").TLiteral<"GovernmentPublication">, import("typebox").TLiteral<"Datasheet">, import("typebox").TLiteral<"ProductManual">, import("typebox").TLiteral<"UnparsedURL">]>;
408
+ }>, import("typebox").TObject<{
409
+ type: import("typebox").TLiteral<"CourtCase">;
410
+ caseName: import("typebox").TString;
411
+ court: import("typebox").TString;
412
+ date: import("@proposit/proposit-core").TDateType;
413
+ reporter: import("typebox").TOptional<import("typebox").TString>;
414
+ }>]>, import("typebox").TIntersect<[import("typebox").TObject<{
415
+ type: import("typebox").TUnion<[import("typebox").TLiteral<"Book">, import("typebox").TLiteral<"Website">, import("typebox").TLiteral<"BookChapter">, import("typebox").TLiteral<"Handbook">, import("typebox").TLiteral<"TechnicalReport">, import("typebox").TLiteral<"Standard">, import("typebox").TLiteral<"Thesis">, import("typebox").TLiteral<"Patent">, import("typebox").TLiteral<"Dictionary">, import("typebox").TLiteral<"Encyclopedia">, import("typebox").TLiteral<"JournalArticle">, import("typebox").TLiteral<"MagazineArticle">, import("typebox").TLiteral<"NewspaperArticle">, import("typebox").TLiteral<"ConferencePaper">, import("typebox").TLiteral<"ConferenceProceedings">, import("typebox").TLiteral<"Dataset">, import("typebox").TLiteral<"Software">, import("typebox").TLiteral<"OnlineDocument">, import("typebox").TLiteral<"Blog">, import("typebox").TLiteral<"SocialMedia">, import("typebox").TLiteral<"Preprint">, import("typebox").TLiteral<"Video">, import("typebox").TLiteral<"Podcast">, import("typebox").TLiteral<"Course">, import("typebox").TLiteral<"Presentation">, import("typebox").TLiteral<"Interview">, import("typebox").TLiteral<"PersonalCommunication">, import("typebox").TLiteral<"Email">, import("typebox").TLiteral<"Law">, import("typebox").TLiteral<"CourtCase">, import("typebox").TLiteral<"GovernmentPublication">, import("typebox").TLiteral<"Datasheet">, import("typebox").TLiteral<"ProductManual">, import("typebox").TLiteral<"UnparsedURL">]>;
416
+ }>, import("typebox").TObject<{
417
+ type: import("typebox").TLiteral<"GovernmentPublication">;
418
+ title: import("typebox").TString;
419
+ date: import("@proposit/proposit-core").TDateType;
420
+ authors: import("typebox").TOptional<import("typebox").TArray<import("typebox").TObject<{
421
+ givenNames: import("typebox").TString;
422
+ familyName: import("typebox").TString;
423
+ suffix: import("typebox").TOptional<import("typebox").TString>;
424
+ }>>>;
425
+ agency: import("typebox").TString;
426
+ reportNumber: import("typebox").TOptional<import("typebox").TString>;
427
+ location: import("typebox").TString;
428
+ }>]>, import("typebox").TIntersect<[import("typebox").TObject<{
429
+ type: import("typebox").TUnion<[import("typebox").TLiteral<"Book">, import("typebox").TLiteral<"Website">, import("typebox").TLiteral<"BookChapter">, import("typebox").TLiteral<"Handbook">, import("typebox").TLiteral<"TechnicalReport">, import("typebox").TLiteral<"Standard">, import("typebox").TLiteral<"Thesis">, import("typebox").TLiteral<"Patent">, import("typebox").TLiteral<"Dictionary">, import("typebox").TLiteral<"Encyclopedia">, import("typebox").TLiteral<"JournalArticle">, import("typebox").TLiteral<"MagazineArticle">, import("typebox").TLiteral<"NewspaperArticle">, import("typebox").TLiteral<"ConferencePaper">, import("typebox").TLiteral<"ConferenceProceedings">, import("typebox").TLiteral<"Dataset">, import("typebox").TLiteral<"Software">, import("typebox").TLiteral<"OnlineDocument">, import("typebox").TLiteral<"Blog">, import("typebox").TLiteral<"SocialMedia">, import("typebox").TLiteral<"Preprint">, import("typebox").TLiteral<"Video">, import("typebox").TLiteral<"Podcast">, import("typebox").TLiteral<"Course">, import("typebox").TLiteral<"Presentation">, import("typebox").TLiteral<"Interview">, import("typebox").TLiteral<"PersonalCommunication">, import("typebox").TLiteral<"Email">, import("typebox").TLiteral<"Law">, import("typebox").TLiteral<"CourtCase">, import("typebox").TLiteral<"GovernmentPublication">, import("typebox").TLiteral<"Datasheet">, import("typebox").TLiteral<"ProductManual">, import("typebox").TLiteral<"UnparsedURL">]>;
430
+ }>, import("typebox").TObject<{
431
+ type: import("typebox").TLiteral<"Datasheet">;
432
+ title: import("typebox").TString;
433
+ year: import("typebox").TString;
434
+ manufacturer: import("typebox").TString;
435
+ partNumber: import("typebox").TString;
436
+ url: import("typebox").TString;
437
+ }>]>, import("typebox").TIntersect<[import("typebox").TObject<{
438
+ type: import("typebox").TUnion<[import("typebox").TLiteral<"Book">, import("typebox").TLiteral<"Website">, import("typebox").TLiteral<"BookChapter">, import("typebox").TLiteral<"Handbook">, import("typebox").TLiteral<"TechnicalReport">, import("typebox").TLiteral<"Standard">, import("typebox").TLiteral<"Thesis">, import("typebox").TLiteral<"Patent">, import("typebox").TLiteral<"Dictionary">, import("typebox").TLiteral<"Encyclopedia">, import("typebox").TLiteral<"JournalArticle">, import("typebox").TLiteral<"MagazineArticle">, import("typebox").TLiteral<"NewspaperArticle">, import("typebox").TLiteral<"ConferencePaper">, import("typebox").TLiteral<"ConferenceProceedings">, import("typebox").TLiteral<"Dataset">, import("typebox").TLiteral<"Software">, import("typebox").TLiteral<"OnlineDocument">, import("typebox").TLiteral<"Blog">, import("typebox").TLiteral<"SocialMedia">, import("typebox").TLiteral<"Preprint">, import("typebox").TLiteral<"Video">, import("typebox").TLiteral<"Podcast">, import("typebox").TLiteral<"Course">, import("typebox").TLiteral<"Presentation">, import("typebox").TLiteral<"Interview">, import("typebox").TLiteral<"PersonalCommunication">, import("typebox").TLiteral<"Email">, import("typebox").TLiteral<"Law">, import("typebox").TLiteral<"CourtCase">, import("typebox").TLiteral<"GovernmentPublication">, import("typebox").TLiteral<"Datasheet">, import("typebox").TLiteral<"ProductManual">, import("typebox").TLiteral<"UnparsedURL">]>;
439
+ }>, import("typebox").TObject<{
440
+ type: import("typebox").TLiteral<"ProductManual">;
441
+ title: import("typebox").TString;
442
+ year: import("typebox").TString;
443
+ manufacturer: import("typebox").TString;
444
+ model: import("typebox").TString;
445
+ url: import("typebox").TOptional<import("typebox").TString>;
446
+ }>]>, import("typebox").TIntersect<[import("typebox").TObject<{
447
+ type: import("typebox").TUnion<[import("typebox").TLiteral<"Book">, import("typebox").TLiteral<"Website">, import("typebox").TLiteral<"BookChapter">, import("typebox").TLiteral<"Handbook">, import("typebox").TLiteral<"TechnicalReport">, import("typebox").TLiteral<"Standard">, import("typebox").TLiteral<"Thesis">, import("typebox").TLiteral<"Patent">, import("typebox").TLiteral<"Dictionary">, import("typebox").TLiteral<"Encyclopedia">, import("typebox").TLiteral<"JournalArticle">, import("typebox").TLiteral<"MagazineArticle">, import("typebox").TLiteral<"NewspaperArticle">, import("typebox").TLiteral<"ConferencePaper">, import("typebox").TLiteral<"ConferenceProceedings">, import("typebox").TLiteral<"Dataset">, import("typebox").TLiteral<"Software">, import("typebox").TLiteral<"OnlineDocument">, import("typebox").TLiteral<"Blog">, import("typebox").TLiteral<"SocialMedia">, import("typebox").TLiteral<"Preprint">, import("typebox").TLiteral<"Video">, import("typebox").TLiteral<"Podcast">, import("typebox").TLiteral<"Course">, import("typebox").TLiteral<"Presentation">, import("typebox").TLiteral<"Interview">, import("typebox").TLiteral<"PersonalCommunication">, import("typebox").TLiteral<"Email">, import("typebox").TLiteral<"Law">, import("typebox").TLiteral<"CourtCase">, import("typebox").TLiteral<"GovernmentPublication">, import("typebox").TLiteral<"Datasheet">, import("typebox").TLiteral<"ProductManual">, import("typebox").TLiteral<"UnparsedURL">]>;
448
+ }>, import("typebox").TObject<{
449
+ type: import("typebox").TLiteral<"UnparsedURL">;
450
+ url: import("typebox").TString;
451
+ text: import("typebox").TOptional<import("typebox").TString>;
452
+ }>]>]>, import("typebox").TNull]>>;
453
+ citationContentHash: import("typebox").TOptional<import("typebox").TUnion<[import("typebox").TString, import("typebox").TNull]>>;
22
454
  }>;
23
- premise: import("typebox").TIntersect<[import("typebox").TObject<{
455
+ premise: import("typebox").TIntersect<[import("typebox").TUnion<[import("typebox").TObject<{
456
+ type: import("typebox").TLiteral<"freeform">;
24
457
  id: import("typebox").TString;
25
458
  argumentId: import("typebox").TString;
26
459
  argumentVersion: import("typebox").TNumber;
@@ -28,6 +461,15 @@ export declare function provisionArgumentImpl(config: TApiClientConfig, argument
28
461
  descendantChecksum: import("typebox").TUnion<[import("typebox").TString, import("typebox").TNull]>;
29
462
  combinedChecksum: import("typebox").TString;
30
463
  }>, import("typebox").TObject<{
464
+ type: import("typebox").TLiteral<"derivation">;
465
+ derivedClaimId: import("typebox").TString;
466
+ id: import("typebox").TString;
467
+ argumentId: import("typebox").TString;
468
+ argumentVersion: import("typebox").TNumber;
469
+ checksum: import("typebox").TString;
470
+ descendantChecksum: import("typebox").TUnion<[import("typebox").TString, import("typebox").TNull]>;
471
+ combinedChecksum: import("typebox").TString;
472
+ }>]>, import("typebox").TObject<{
31
473
  title: import("typebox").TOptional<import("typebox").TUnion<[import("typebox").TString, import("typebox").TNull]>>;
32
474
  role: import("typebox").TUnion<[import("typebox").TLiteral<"conclusion">, import("typebox").TLiteral<"supporting">]>;
33
475
  createdOn: import("typebox").TOptional<import("../../schemas/common.js").TDateType>;
@@ -178,9 +620,9 @@ export declare function createExpressionWithOperatorImpl(config: TApiClientConfi
178
620
  creatorId: import("typebox").TString;
179
621
  claimId: import("typebox").TString;
180
622
  claimVersion: import("typebox").TNumber;
623
+ id: import("typebox").TString;
181
624
  argumentId: import("typebox").TString;
182
625
  argumentVersion: import("typebox").TNumber;
183
- id: import("typebox").TString;
184
626
  }>, import("typebox").TObject<{
185
627
  checksum: import("typebox").TOptional<import("typebox").TString>;
186
628
  descendantChecksum: import("typebox").TOptional<import("typebox").TUnion<[import("typebox").TString, import("typebox").TNull]>>;
@@ -192,9 +634,9 @@ export declare function createExpressionWithOperatorImpl(config: TApiClientConfi
192
634
  boundPremiseId: import("typebox").TString;
193
635
  boundArgumentId: import("typebox").TString;
194
636
  boundArgumentVersion: import("typebox").TNumber;
637
+ id: import("typebox").TString;
195
638
  argumentId: import("typebox").TString;
196
639
  argumentVersion: import("typebox").TNumber;
197
- id: import("typebox").TString;
198
640
  }>, import("typebox").TObject<{
199
641
  checksum: import("typebox").TOptional<import("typebox").TString>;
200
642
  descendantChecksum: import("typebox").TOptional<import("typebox").TUnion<[import("typebox").TString, import("typebox").TNull]>>;
@@ -206,15 +648,16 @@ export declare function createExpressionWithOperatorImpl(config: TApiClientConfi
206
648
  premise: import("typebox").TIntersect<[import("typebox").TObject<{
207
649
  createdOn: import("typebox").TOptional<import("../../schemas/common.js").TDateType>;
208
650
  creatorId: import("typebox").TOptional<import("typebox").TString>;
209
- argumentId: import("typebox").TString;
210
- argumentVersion: import("typebox").TNumber;
211
- role: import("typebox").TUnion<[import("typebox").TLiteral<"conclusion">, import("typebox").TLiteral<"supporting">]>;
212
651
  title: import("typebox").TOptional<import("typebox").TUnion<[import("typebox").TString, import("typebox").TNull]>>;
652
+ type: import("typebox").TUnion<[import("typebox").TLiteral<"freeform">, import("typebox").TLiteral<"derivation">]>;
213
653
  id: import("typebox").TString;
654
+ argumentId: import("typebox").TString;
655
+ argumentVersion: import("typebox").TNumber;
214
656
  }>, import("typebox").TObject<{
215
657
  checksum: import("typebox").TOptional<import("typebox").TString>;
216
658
  descendantChecksum: import("typebox").TOptional<import("typebox").TUnion<[import("typebox").TString, import("typebox").TNull]>>;
217
659
  combinedChecksum: import("typebox").TOptional<import("typebox").TString>;
660
+ role: import("typebox").TOptional<import("typebox").TUnion<[import("typebox").TLiteral<"conclusion">, import("typebox").TLiteral<"supporting">]>>;
218
661
  }>]>;
219
662
  rootExpressionId: import("typebox").TOptional<import("typebox").TString>;
220
663
  expressions: import("typebox").TObject<{
@@ -275,10 +718,6 @@ export declare function createExpressionWithOperatorImpl(config: TApiClientConfi
275
718
  config: import("typebox").TOptional<import("typebox").TUnknown>;
276
719
  }>>;
277
720
  conclusionPremiseId: import("typebox").TOptional<import("typebox").TString>;
278
- sources: import("typebox").TOptional<import("typebox").TObject<{
279
- variableSourceAssociations: import("typebox").TArray<import("typebox").TUnknown>;
280
- expressionSourceAssociations: import("typebox").TArray<import("typebox").TUnknown>;
281
- }>>;
282
721
  config: import("typebox").TOptional<import("typebox").TUnknown>;
283
722
  }>;
284
723
  created: import("typebox").TArray<import("typebox").TUnion<[import("typebox").TIntersect<[import("typebox").TObject<{
@@ -450,9 +889,9 @@ export declare function changeEdgeOperatorImpl(config: TApiClientConfig, argumen
450
889
  creatorId: import("typebox").TString;
451
890
  claimId: import("typebox").TString;
452
891
  claimVersion: import("typebox").TNumber;
892
+ id: import("typebox").TString;
453
893
  argumentId: import("typebox").TString;
454
894
  argumentVersion: import("typebox").TNumber;
455
- id: import("typebox").TString;
456
895
  }>, import("typebox").TObject<{
457
896
  checksum: import("typebox").TOptional<import("typebox").TString>;
458
897
  descendantChecksum: import("typebox").TOptional<import("typebox").TUnion<[import("typebox").TString, import("typebox").TNull]>>;
@@ -464,9 +903,9 @@ export declare function changeEdgeOperatorImpl(config: TApiClientConfig, argumen
464
903
  boundPremiseId: import("typebox").TString;
465
904
  boundArgumentId: import("typebox").TString;
466
905
  boundArgumentVersion: import("typebox").TNumber;
906
+ id: import("typebox").TString;
467
907
  argumentId: import("typebox").TString;
468
908
  argumentVersion: import("typebox").TNumber;
469
- id: import("typebox").TString;
470
909
  }>, import("typebox").TObject<{
471
910
  checksum: import("typebox").TOptional<import("typebox").TString>;
472
911
  descendantChecksum: import("typebox").TOptional<import("typebox").TUnion<[import("typebox").TString, import("typebox").TNull]>>;
@@ -478,15 +917,16 @@ export declare function changeEdgeOperatorImpl(config: TApiClientConfig, argumen
478
917
  premise: import("typebox").TIntersect<[import("typebox").TObject<{
479
918
  createdOn: import("typebox").TOptional<import("../../schemas/common.js").TDateType>;
480
919
  creatorId: import("typebox").TOptional<import("typebox").TString>;
481
- argumentId: import("typebox").TString;
482
- argumentVersion: import("typebox").TNumber;
483
- role: import("typebox").TUnion<[import("typebox").TLiteral<"conclusion">, import("typebox").TLiteral<"supporting">]>;
484
920
  title: import("typebox").TOptional<import("typebox").TUnion<[import("typebox").TString, import("typebox").TNull]>>;
921
+ type: import("typebox").TUnion<[import("typebox").TLiteral<"freeform">, import("typebox").TLiteral<"derivation">]>;
485
922
  id: import("typebox").TString;
923
+ argumentId: import("typebox").TString;
924
+ argumentVersion: import("typebox").TNumber;
486
925
  }>, import("typebox").TObject<{
487
926
  checksum: import("typebox").TOptional<import("typebox").TString>;
488
927
  descendantChecksum: import("typebox").TOptional<import("typebox").TUnion<[import("typebox").TString, import("typebox").TNull]>>;
489
928
  combinedChecksum: import("typebox").TOptional<import("typebox").TString>;
929
+ role: import("typebox").TOptional<import("typebox").TUnion<[import("typebox").TLiteral<"conclusion">, import("typebox").TLiteral<"supporting">]>>;
490
930
  }>]>;
491
931
  rootExpressionId: import("typebox").TOptional<import("typebox").TString>;
492
932
  expressions: import("typebox").TObject<{
@@ -547,10 +987,6 @@ export declare function changeEdgeOperatorImpl(config: TApiClientConfig, argumen
547
987
  config: import("typebox").TOptional<import("typebox").TUnknown>;
548
988
  }>>;
549
989
  conclusionPremiseId: import("typebox").TOptional<import("typebox").TString>;
550
- sources: import("typebox").TOptional<import("typebox").TObject<{
551
- variableSourceAssociations: import("typebox").TArray<import("typebox").TUnknown>;
552
- expressionSourceAssociations: import("typebox").TArray<import("typebox").TUnknown>;
553
- }>>;
554
990
  config: import("typebox").TOptional<import("typebox").TUnknown>;
555
991
  }>;
556
992
  created: import("typebox").TArray<import("typebox").TUnion<[import("typebox").TIntersect<[import("typebox").TObject<{