@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
@@ -14,9 +14,441 @@ export declare function getUserClaimsImpl(config: TApiClientConfig, argumentId?:
14
14
  claimForkId: import("typebox").TUnion<[import("typebox").TString, import("typebox").TNull]>;
15
15
  creatorId: import("typebox").TString;
16
16
  createdOn: import("../../schemas/common.js").TDateType;
17
- 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">]>]>;
17
+ 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">]>]>;
18
+ type: import("typebox").TUnion<[import("typebox").TLiteral<"normal">, import("typebox").TLiteral<"citation">]>;
18
19
  parentId: import("typebox").TUnion<[import("typebox").TString, import("typebox").TNull]>;
19
20
  titleContentHash: import("typebox").TOptional<import("typebox").TUnion<[import("typebox").TString, import("typebox").TNull]>>;
21
+ url: import("typebox").TOptional<import("typebox").TUnion<[import("typebox").TString, import("typebox").TNull]>>;
22
+ citation: import("typebox").TOptional<import("typebox").TUnion<[import("typebox").TUnion<[import("typebox").TIntersect<[import("typebox").TObject<{
23
+ 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">]>;
24
+ }>, import("typebox").TObject<{
25
+ type: import("typebox").TLiteral<"Book">;
26
+ title: import("typebox").TString;
27
+ year: import("typebox").TString;
28
+ authors: import("typebox").TArray<import("typebox").TObject<{
29
+ givenNames: import("typebox").TString;
30
+ familyName: import("typebox").TString;
31
+ suffix: import("typebox").TOptional<import("typebox").TString>;
32
+ }>>;
33
+ edition: import("typebox").TOptional<import("typebox").TString>;
34
+ publisher: import("typebox").TString;
35
+ location: import("typebox").TOptional<import("typebox").TString>;
36
+ isbn: import("typebox").TOptional<import("typebox").TString>;
37
+ }>]>, import("typebox").TIntersect<[import("typebox").TObject<{
38
+ 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">]>;
39
+ }>, import("typebox").TObject<{
40
+ type: import("typebox").TLiteral<"Website">;
41
+ authors: import("typebox").TArray<import("typebox").TObject<{
42
+ givenNames: import("typebox").TString;
43
+ familyName: import("typebox").TString;
44
+ suffix: import("typebox").TOptional<import("typebox").TString>;
45
+ }>>;
46
+ pageTitle: import("typebox").TString;
47
+ websiteTitle: import("typebox").TString;
48
+ accessedDate: import("@proposit/proposit-core").TDateType;
49
+ url: import("typebox").TString;
50
+ }>]>, import("typebox").TIntersect<[import("typebox").TObject<{
51
+ 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">]>;
52
+ }>, import("typebox").TObject<{
53
+ type: import("typebox").TLiteral<"BookChapter">;
54
+ chapterTitle: import("typebox").TString;
55
+ year: import("typebox").TString;
56
+ authors: import("typebox").TArray<import("typebox").TObject<{
57
+ givenNames: import("typebox").TString;
58
+ familyName: import("typebox").TString;
59
+ suffix: import("typebox").TOptional<import("typebox").TString>;
60
+ }>>;
61
+ bookTitle: import("typebox").TString;
62
+ editors: import("typebox").TOptional<import("typebox").TArray<import("typebox").TObject<{
63
+ givenNames: import("typebox").TString;
64
+ familyName: import("typebox").TString;
65
+ suffix: import("typebox").TOptional<import("typebox").TString>;
66
+ }>>>;
67
+ publisher: import("typebox").TString;
68
+ location: import("typebox").TString;
69
+ pages: import("typebox").TOptional<import("typebox").TString>;
70
+ isbn: import("typebox").TOptional<import("typebox").TString>;
71
+ }>]>, import("typebox").TIntersect<[import("typebox").TObject<{
72
+ 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">]>;
73
+ }>, import("typebox").TObject<{
74
+ type: import("typebox").TLiteral<"Handbook">;
75
+ title: import("typebox").TString;
76
+ year: import("typebox").TString;
77
+ publisher: import("typebox").TString;
78
+ edition: import("typebox").TOptional<import("typebox").TString>;
79
+ location: import("typebox").TString;
80
+ isbn: import("typebox").TOptional<import("typebox").TString>;
81
+ }>]>, import("typebox").TIntersect<[import("typebox").TObject<{
82
+ 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">]>;
83
+ }>, import("typebox").TObject<{
84
+ type: import("typebox").TLiteral<"TechnicalReport">;
85
+ title: import("typebox").TString;
86
+ year: import("typebox").TString;
87
+ authors: import("typebox").TArray<import("typebox").TObject<{
88
+ givenNames: import("typebox").TString;
89
+ familyName: import("typebox").TString;
90
+ suffix: import("typebox").TOptional<import("typebox").TString>;
91
+ }>>;
92
+ reportNumber: import("typebox").TString;
93
+ institution: import("typebox").TString;
94
+ location: import("typebox").TString;
95
+ }>]>, import("typebox").TIntersect<[import("typebox").TObject<{
96
+ 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">]>;
97
+ }>, import("typebox").TObject<{
98
+ type: import("typebox").TLiteral<"Standard">;
99
+ organization: import("typebox").TString;
100
+ standardNumber: import("typebox").TString;
101
+ title: import("typebox").TString;
102
+ date: import("@proposit/proposit-core").TDateType;
103
+ }>]>, import("typebox").TIntersect<[import("typebox").TObject<{
104
+ 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">]>;
105
+ }>, import("typebox").TObject<{
106
+ type: import("typebox").TLiteral<"Thesis">;
107
+ title: import("typebox").TString;
108
+ year: import("typebox").TString;
109
+ authors: import("typebox").TArray<import("typebox").TObject<{
110
+ givenNames: import("typebox").TString;
111
+ familyName: import("typebox").TString;
112
+ suffix: import("typebox").TOptional<import("typebox").TString>;
113
+ }>>;
114
+ degree: import("typebox").TString;
115
+ institution: import("typebox").TString;
116
+ location: import("typebox").TString;
117
+ }>]>, import("typebox").TIntersect<[import("typebox").TObject<{
118
+ 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">]>;
119
+ }>, import("typebox").TObject<{
120
+ type: import("typebox").TLiteral<"Patent">;
121
+ title: import("typebox").TString;
122
+ inventors: import("typebox").TArray<import("typebox").TObject<{
123
+ givenNames: import("typebox").TString;
124
+ familyName: import("typebox").TString;
125
+ suffix: import("typebox").TOptional<import("typebox").TString>;
126
+ }>>;
127
+ country: import("typebox").TString;
128
+ patentNumber: import("typebox").TString;
129
+ date: import("@proposit/proposit-core").TDateType;
130
+ }>]>, import("typebox").TIntersect<[import("typebox").TObject<{
131
+ 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">]>;
132
+ }>, import("typebox").TObject<{
133
+ type: import("typebox").TLiteral<"Dictionary">;
134
+ title: import("typebox").TString;
135
+ year: import("typebox").TString;
136
+ publisher: import("typebox").TString;
137
+ edition: import("typebox").TOptional<import("typebox").TString>;
138
+ }>]>, import("typebox").TIntersect<[import("typebox").TObject<{
139
+ 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">]>;
140
+ }>, import("typebox").TObject<{
141
+ type: import("typebox").TLiteral<"Encyclopedia">;
142
+ title: import("typebox").TString;
143
+ year: import("typebox").TString;
144
+ publisher: import("typebox").TString;
145
+ edition: import("typebox").TOptional<import("typebox").TString>;
146
+ }>]>, import("typebox").TIntersect<[import("typebox").TObject<{
147
+ 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">]>;
148
+ }>, import("typebox").TObject<{
149
+ type: import("typebox").TLiteral<"JournalArticle">;
150
+ title: import("typebox").TString;
151
+ year: import("typebox").TString;
152
+ authors: import("typebox").TArray<import("typebox").TObject<{
153
+ givenNames: import("typebox").TString;
154
+ familyName: import("typebox").TString;
155
+ suffix: import("typebox").TOptional<import("typebox").TString>;
156
+ }>>;
157
+ journalTitle: import("typebox").TString;
158
+ volume: import("typebox").TOptional<import("typebox").TString>;
159
+ issue: import("typebox").TOptional<import("typebox").TString>;
160
+ pages: import("typebox").TOptional<import("typebox").TString>;
161
+ doi: import("typebox").TOptional<import("typebox").TString>;
162
+ }>]>, import("typebox").TIntersect<[import("typebox").TObject<{
163
+ 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">]>;
164
+ }>, import("typebox").TObject<{
165
+ type: import("typebox").TLiteral<"MagazineArticle">;
166
+ title: import("typebox").TString;
167
+ year: import("typebox").TString;
168
+ authors: import("typebox").TArray<import("typebox").TObject<{
169
+ givenNames: import("typebox").TString;
170
+ familyName: import("typebox").TString;
171
+ suffix: import("typebox").TOptional<import("typebox").TString>;
172
+ }>>;
173
+ magazineTitle: import("typebox").TString;
174
+ volume: import("typebox").TOptional<import("typebox").TString>;
175
+ issue: import("typebox").TOptional<import("typebox").TString>;
176
+ pages: import("typebox").TOptional<import("typebox").TString>;
177
+ }>]>, import("typebox").TIntersect<[import("typebox").TObject<{
178
+ 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">]>;
179
+ }>, import("typebox").TObject<{
180
+ type: import("typebox").TLiteral<"NewspaperArticle">;
181
+ title: import("typebox").TString;
182
+ authors: import("typebox").TArray<import("typebox").TObject<{
183
+ givenNames: import("typebox").TString;
184
+ familyName: import("typebox").TString;
185
+ suffix: import("typebox").TOptional<import("typebox").TString>;
186
+ }>>;
187
+ newspaperTitle: import("typebox").TString;
188
+ date: import("@proposit/proposit-core").TDateType;
189
+ pages: import("typebox").TOptional<import("typebox").TString>;
190
+ }>]>, import("typebox").TIntersect<[import("typebox").TObject<{
191
+ 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">]>;
192
+ }>, import("typebox").TObject<{
193
+ type: import("typebox").TLiteral<"ConferencePaper">;
194
+ title: import("typebox").TString;
195
+ authors: import("typebox").TArray<import("typebox").TObject<{
196
+ givenNames: import("typebox").TString;
197
+ familyName: import("typebox").TString;
198
+ suffix: import("typebox").TOptional<import("typebox").TString>;
199
+ }>>;
200
+ conferenceName: import("typebox").TString;
201
+ location: import("typebox").TString;
202
+ date: import("@proposit/proposit-core").TDateType;
203
+ pages: import("typebox").TOptional<import("typebox").TString>;
204
+ doi: import("typebox").TOptional<import("typebox").TString>;
205
+ }>]>, import("typebox").TIntersect<[import("typebox").TObject<{
206
+ 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">]>;
207
+ }>, import("typebox").TObject<{
208
+ type: import("typebox").TLiteral<"ConferenceProceedings">;
209
+ editors: import("typebox").TOptional<import("typebox").TArray<import("typebox").TObject<{
210
+ givenNames: import("typebox").TString;
211
+ familyName: import("typebox").TString;
212
+ suffix: import("typebox").TOptional<import("typebox").TString>;
213
+ }>>>;
214
+ conferenceName: import("typebox").TString;
215
+ location: import("typebox").TString;
216
+ date: import("@proposit/proposit-core").TDateType;
217
+ publisher: import("typebox").TString;
218
+ isbn: import("typebox").TOptional<import("typebox").TString>;
219
+ }>]>, import("typebox").TIntersect<[import("typebox").TObject<{
220
+ 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">]>;
221
+ }>, import("typebox").TObject<{
222
+ type: import("typebox").TLiteral<"Dataset">;
223
+ title: import("typebox").TString;
224
+ year: import("typebox").TString;
225
+ authors: import("typebox").TOptional<import("typebox").TArray<import("typebox").TObject<{
226
+ givenNames: import("typebox").TString;
227
+ familyName: import("typebox").TString;
228
+ suffix: import("typebox").TOptional<import("typebox").TString>;
229
+ }>>>;
230
+ repository: import("typebox").TString;
231
+ version: import("typebox").TOptional<import("typebox").TString>;
232
+ doi: import("typebox").TOptional<import("typebox").TString>;
233
+ url: import("typebox").TString;
234
+ }>]>, import("typebox").TIntersect<[import("typebox").TObject<{
235
+ 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">]>;
236
+ }>, import("typebox").TObject<{
237
+ type: import("typebox").TLiteral<"Software">;
238
+ title: import("typebox").TString;
239
+ year: import("typebox").TString;
240
+ authors: import("typebox").TOptional<import("typebox").TArray<import("typebox").TObject<{
241
+ givenNames: import("typebox").TString;
242
+ familyName: import("typebox").TString;
243
+ suffix: import("typebox").TOptional<import("typebox").TString>;
244
+ }>>>;
245
+ version: import("typebox").TOptional<import("typebox").TString>;
246
+ publisher: import("typebox").TOptional<import("typebox").TString>;
247
+ doi: import("typebox").TOptional<import("typebox").TString>;
248
+ url: import("typebox").TString;
249
+ }>]>, import("typebox").TIntersect<[import("typebox").TObject<{
250
+ 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">]>;
251
+ }>, import("typebox").TObject<{
252
+ type: import("typebox").TLiteral<"OnlineDocument">;
253
+ authors: import("typebox").TOptional<import("typebox").TArray<import("typebox").TObject<{
254
+ givenNames: import("typebox").TString;
255
+ familyName: import("typebox").TString;
256
+ suffix: import("typebox").TOptional<import("typebox").TString>;
257
+ }>>>;
258
+ title: import("typebox").TString;
259
+ publisher: import("typebox").TOptional<import("typebox").TString>;
260
+ url: import("typebox").TString;
261
+ accessedDate: import("@proposit/proposit-core").TDateType;
262
+ }>]>, import("typebox").TIntersect<[import("typebox").TObject<{
263
+ 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">]>;
264
+ }>, import("typebox").TObject<{
265
+ type: import("typebox").TLiteral<"Blog">;
266
+ author: import("typebox").TObject<{
267
+ givenNames: import("typebox").TString;
268
+ familyName: import("typebox").TString;
269
+ suffix: import("typebox").TOptional<import("typebox").TString>;
270
+ }>;
271
+ postTitle: import("typebox").TString;
272
+ blogName: import("typebox").TString;
273
+ date: import("@proposit/proposit-core").TDateType;
274
+ url: import("typebox").TString;
275
+ accessedDate: import("@proposit/proposit-core").TDateType;
276
+ }>]>, import("typebox").TIntersect<[import("typebox").TObject<{
277
+ 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">]>;
278
+ }>, import("typebox").TObject<{
279
+ type: import("typebox").TLiteral<"SocialMedia">;
280
+ author: import("typebox").TObject<{
281
+ givenNames: import("typebox").TString;
282
+ familyName: import("typebox").TString;
283
+ suffix: import("typebox").TOptional<import("typebox").TString>;
284
+ }>;
285
+ platform: import("typebox").TString;
286
+ postDate: import("@proposit/proposit-core").TDateType;
287
+ url: import("typebox").TString;
288
+ }>]>, import("typebox").TIntersect<[import("typebox").TObject<{
289
+ 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">]>;
290
+ }>, import("typebox").TObject<{
291
+ type: import("typebox").TLiteral<"Preprint">;
292
+ title: import("typebox").TString;
293
+ year: import("typebox").TString;
294
+ authors: import("typebox").TArray<import("typebox").TObject<{
295
+ givenNames: import("typebox").TString;
296
+ familyName: import("typebox").TString;
297
+ suffix: import("typebox").TOptional<import("typebox").TString>;
298
+ }>>;
299
+ server: import("typebox").TString;
300
+ doi: import("typebox").TOptional<import("typebox").TString>;
301
+ url: import("typebox").TString;
302
+ }>]>, import("typebox").TIntersect<[import("typebox").TObject<{
303
+ 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">]>;
304
+ }>, import("typebox").TObject<{
305
+ type: import("typebox").TLiteral<"Video">;
306
+ title: import("typebox").TString;
307
+ authors: import("typebox").TOptional<import("typebox").TArray<import("typebox").TObject<{
308
+ givenNames: import("typebox").TString;
309
+ familyName: import("typebox").TString;
310
+ suffix: import("typebox").TOptional<import("typebox").TString>;
311
+ }>>>;
312
+ releaseDate: import("typebox").TOptional<import("@proposit/proposit-core").TDateType>;
313
+ platform: import("typebox").TString;
314
+ url: import("typebox").TString;
315
+ accessedDate: import("@proposit/proposit-core").TDateType;
316
+ }>]>, import("typebox").TIntersect<[import("typebox").TObject<{
317
+ 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">]>;
318
+ }>, import("typebox").TObject<{
319
+ type: import("typebox").TLiteral<"Podcast">;
320
+ authors: import("typebox").TOptional<import("typebox").TArray<import("typebox").TObject<{
321
+ givenNames: import("typebox").TString;
322
+ familyName: import("typebox").TString;
323
+ suffix: import("typebox").TOptional<import("typebox").TString>;
324
+ }>>>;
325
+ episodeTitle: import("typebox").TString;
326
+ seriesTitle: import("typebox").TString;
327
+ platform: import("typebox").TString;
328
+ url: import("typebox").TString;
329
+ accessedDate: import("@proposit/proposit-core").TDateType;
330
+ }>]>, import("typebox").TIntersect<[import("typebox").TObject<{
331
+ 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">]>;
332
+ }>, import("typebox").TObject<{
333
+ type: import("typebox").TLiteral<"Course">;
334
+ title: import("typebox").TString;
335
+ year: import("typebox").TString;
336
+ instructor: import("typebox").TObject<{
337
+ givenNames: import("typebox").TString;
338
+ familyName: import("typebox").TString;
339
+ suffix: import("typebox").TOptional<import("typebox").TString>;
340
+ }>;
341
+ institution: import("typebox").TString;
342
+ courseCode: import("typebox").TOptional<import("typebox").TString>;
343
+ term: import("typebox").TString;
344
+ }>]>, import("typebox").TIntersect<[import("typebox").TObject<{
345
+ 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">]>;
346
+ }>, import("typebox").TObject<{
347
+ type: import("typebox").TLiteral<"Presentation">;
348
+ title: import("typebox").TString;
349
+ presenter: import("typebox").TObject<{
350
+ givenNames: import("typebox").TString;
351
+ familyName: import("typebox").TString;
352
+ suffix: import("typebox").TOptional<import("typebox").TString>;
353
+ }>;
354
+ eventTitle: import("typebox").TString;
355
+ location: import("typebox").TString;
356
+ date: import("@proposit/proposit-core").TDateType;
357
+ }>]>, import("typebox").TIntersect<[import("typebox").TObject<{
358
+ 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">]>;
359
+ }>, import("typebox").TObject<{
360
+ type: import("typebox").TLiteral<"Interview">;
361
+ interviewee: import("typebox").TObject<{
362
+ givenNames: import("typebox").TString;
363
+ familyName: import("typebox").TString;
364
+ suffix: import("typebox").TOptional<import("typebox").TString>;
365
+ }>;
366
+ interviewer: import("typebox").TOptional<import("typebox").TObject<{
367
+ givenNames: import("typebox").TString;
368
+ familyName: import("typebox").TString;
369
+ suffix: import("typebox").TOptional<import("typebox").TString>;
370
+ }>>;
371
+ date: import("@proposit/proposit-core").TDateType;
372
+ }>]>, import("typebox").TIntersect<[import("typebox").TObject<{
373
+ 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">]>;
374
+ }>, import("typebox").TObject<{
375
+ type: import("typebox").TLiteral<"PersonalCommunication">;
376
+ person: import("typebox").TObject<{
377
+ givenNames: import("typebox").TString;
378
+ familyName: import("typebox").TString;
379
+ suffix: import("typebox").TOptional<import("typebox").TString>;
380
+ }>;
381
+ date: import("@proposit/proposit-core").TDateType;
382
+ }>]>, import("typebox").TIntersect<[import("typebox").TObject<{
383
+ 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">]>;
384
+ }>, import("typebox").TObject<{
385
+ type: import("typebox").TLiteral<"Email">;
386
+ sender: import("typebox").TObject<{
387
+ givenNames: import("typebox").TString;
388
+ familyName: import("typebox").TString;
389
+ suffix: import("typebox").TOptional<import("typebox").TString>;
390
+ }>;
391
+ recipient: import("typebox").TObject<{
392
+ givenNames: import("typebox").TString;
393
+ familyName: import("typebox").TString;
394
+ suffix: import("typebox").TOptional<import("typebox").TString>;
395
+ }>;
396
+ date: import("@proposit/proposit-core").TDateType;
397
+ }>]>, import("typebox").TIntersect<[import("typebox").TObject<{
398
+ 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">]>;
399
+ }>, import("typebox").TObject<{
400
+ type: import("typebox").TLiteral<"Law">;
401
+ title: import("typebox").TString;
402
+ jurisdiction: import("typebox").TString;
403
+ dateEnacted: import("@proposit/proposit-core").TDateType;
404
+ }>]>, import("typebox").TIntersect<[import("typebox").TObject<{
405
+ 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">]>;
406
+ }>, import("typebox").TObject<{
407
+ type: import("typebox").TLiteral<"CourtCase">;
408
+ caseName: import("typebox").TString;
409
+ court: import("typebox").TString;
410
+ date: import("@proposit/proposit-core").TDateType;
411
+ reporter: import("typebox").TOptional<import("typebox").TString>;
412
+ }>]>, import("typebox").TIntersect<[import("typebox").TObject<{
413
+ 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">]>;
414
+ }>, import("typebox").TObject<{
415
+ type: import("typebox").TLiteral<"GovernmentPublication">;
416
+ title: import("typebox").TString;
417
+ date: import("@proposit/proposit-core").TDateType;
418
+ authors: import("typebox").TOptional<import("typebox").TArray<import("typebox").TObject<{
419
+ givenNames: import("typebox").TString;
420
+ familyName: import("typebox").TString;
421
+ suffix: import("typebox").TOptional<import("typebox").TString>;
422
+ }>>>;
423
+ agency: import("typebox").TString;
424
+ reportNumber: import("typebox").TOptional<import("typebox").TString>;
425
+ location: import("typebox").TString;
426
+ }>]>, import("typebox").TIntersect<[import("typebox").TObject<{
427
+ 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">]>;
428
+ }>, import("typebox").TObject<{
429
+ type: import("typebox").TLiteral<"Datasheet">;
430
+ title: import("typebox").TString;
431
+ year: import("typebox").TString;
432
+ manufacturer: import("typebox").TString;
433
+ partNumber: import("typebox").TString;
434
+ url: import("typebox").TString;
435
+ }>]>, import("typebox").TIntersect<[import("typebox").TObject<{
436
+ 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">]>;
437
+ }>, import("typebox").TObject<{
438
+ type: import("typebox").TLiteral<"ProductManual">;
439
+ title: import("typebox").TString;
440
+ year: import("typebox").TString;
441
+ manufacturer: import("typebox").TString;
442
+ model: import("typebox").TString;
443
+ url: import("typebox").TOptional<import("typebox").TString>;
444
+ }>]>, import("typebox").TIntersect<[import("typebox").TObject<{
445
+ 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">]>;
446
+ }>, import("typebox").TObject<{
447
+ type: import("typebox").TLiteral<"UnparsedURL">;
448
+ url: import("typebox").TString;
449
+ text: import("typebox").TOptional<import("typebox").TString>;
450
+ }>]>]>, import("typebox").TNull]>>;
451
+ citationContentHash: import("typebox").TOptional<import("typebox").TUnion<[import("typebox").TString, import("typebox").TNull]>>;
20
452
  }>;
21
453
  argument: import("typebox").TObject<{
22
454
  id: import("typebox").TString;
@@ -52,14 +484,6 @@ export declare function getUserClaimsImpl(config: TApiClientConfig, argumentId?:
52
484
  descendantChecksum: import("typebox").TUnion<[import("typebox").TString, import("typebox").TNull]>;
53
485
  combinedChecksum: import("typebox").TString;
54
486
  }>]>]>>;
55
- sources: import("typebox").TOptional<import("typebox").TArray<import("typebox").TObject<{
56
- id: import("typebox").TString;
57
- url: import("typebox").TUnion<[import("typebox").TString, import("typebox").TNull]>;
58
- citation: import("typebox").TRecord<"^.*$", import("typebox").TAny>;
59
- createdOn: import("../../schemas/common.js").TDateType;
60
- creatorId: import("typebox").TString;
61
- citationContentHash: import("typebox").TOptional<import("typebox").TUnion<[import("typebox").TString, import("typebox").TNull]>>;
62
- }>>>;
63
487
  expressions: import("typebox").TOptional<import("typebox").TArray<import("typebox").TUnion<[import("typebox").TIntersect<[import("typebox").TObject<{
64
488
  id: import("typebox").TString;
65
489
  argumentId: import("typebox").TString;
@@ -112,7 +536,8 @@ export declare function getUserClaimsImpl(config: TApiClientConfig, argumentId?:
112
536
  variableId: import("typebox").TNull;
113
537
  operator: import("typebox").TNull;
114
538
  }>]>]>>>;
115
- premises: import("typebox").TOptional<import("typebox").TArray<import("typebox").TIntersect<[import("typebox").TObject<{
539
+ premises: import("typebox").TOptional<import("typebox").TArray<import("typebox").TIntersect<[import("typebox").TUnion<[import("typebox").TObject<{
540
+ type: import("typebox").TLiteral<"freeform">;
116
541
  id: import("typebox").TString;
117
542
  argumentId: import("typebox").TString;
118
543
  argumentVersion: import("typebox").TNumber;
@@ -120,6 +545,15 @@ export declare function getUserClaimsImpl(config: TApiClientConfig, argumentId?:
120
545
  descendantChecksum: import("typebox").TUnion<[import("typebox").TString, import("typebox").TNull]>;
121
546
  combinedChecksum: import("typebox").TString;
122
547
  }>, import("typebox").TObject<{
548
+ type: import("typebox").TLiteral<"derivation">;
549
+ derivedClaimId: import("typebox").TString;
550
+ id: import("typebox").TString;
551
+ argumentId: import("typebox").TString;
552
+ argumentVersion: import("typebox").TNumber;
553
+ checksum: import("typebox").TString;
554
+ descendantChecksum: import("typebox").TUnion<[import("typebox").TString, import("typebox").TNull]>;
555
+ combinedChecksum: import("typebox").TString;
556
+ }>]>, import("typebox").TObject<{
123
557
  title: import("typebox").TOptional<import("typebox").TUnion<[import("typebox").TString, import("typebox").TNull]>>;
124
558
  role: import("typebox").TUnion<[import("typebox").TLiteral<"conclusion">, import("typebox").TLiteral<"supporting">]>;
125
559
  createdOn: import("typebox").TOptional<import("../../schemas/common.js").TDateType>;