@proposit/shared 0.4.0 → 0.5.0

This diff represents the content of publicly available package versions that have been released to one of the supported registries. The information contained in this diff is provided for informational purposes only and reflects changes between package versions as they appear in their respective public registries.
Files changed (126) hide show
  1. package/dist/api-client/argument/batch.d.ts +446 -10
  2. package/dist/api-client/argument/batch.d.ts.map +1 -1
  3. package/dist/api-client/argument/claims.d.ts +1761 -17
  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 +1783 -49
  8. package/dist/api-client/argument/index.d.ts.map +1 -1
  9. package/dist/api-client/argument/logic/index.d.ts +46 -12
  10. package/dist/api-client/argument/logic/index.d.ts.map +1 -1
  11. package/dist/api-client/argument/logic/repair.d.ts +1 -4
  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/consts/user-tiers.js +7 -7
  28. package/dist/consts/user-tiers.js.map +1 -1
  29. package/dist/engine/derivation.d.ts +3 -0
  30. package/dist/engine/derivation.d.ts.map +1 -0
  31. package/dist/engine/derivation.js +2 -0
  32. package/dist/engine/derivation.js.map +1 -0
  33. package/dist/engine/engine.d.ts +16 -32
  34. package/dist/engine/engine.d.ts.map +1 -1
  35. package/dist/engine/engine.js +65 -84
  36. package/dist/engine/engine.js.map +1 -1
  37. package/dist/engine/library-adapters.d.ts +3 -7
  38. package/dist/engine/library-adapters.d.ts.map +1 -1
  39. package/dist/engine/library-adapters.js +16 -8
  40. package/dist/engine/library-adapters.js.map +1 -1
  41. package/dist/engine/mutations/premises.d.ts.map +1 -1
  42. package/dist/engine/mutations/premises.js +4 -1
  43. package/dist/engine/mutations/premises.js.map +1 -1
  44. package/dist/engine/optimistic/verification.d.ts.map +1 -1
  45. package/dist/engine/optimistic/verification.js +2 -2
  46. package/dist/engine/optimistic/verification.js.map +1 -1
  47. package/dist/schemas/api/argument/batch/change-edge-operator.d.ts +1 -4
  48. package/dist/schemas/api/argument/batch/change-edge-operator.d.ts.map +1 -1
  49. package/dist/schemas/api/argument/batch/create-expression-with-operator.d.ts +1 -4
  50. package/dist/schemas/api/argument/batch/create-expression-with-operator.d.ts.map +1 -1
  51. package/dist/schemas/api/argument/batch/provision.d.ts +444 -2
  52. package/dist/schemas/api/argument/batch/provision.d.ts.map +1 -1
  53. package/dist/schemas/api/argument/claims.d.ts +1330 -18
  54. package/dist/schemas/api/argument/claims.d.ts.map +1 -1
  55. package/dist/schemas/api/argument/claims.js +6 -6
  56. package/dist/schemas/api/argument/claims.js.map +1 -1
  57. package/dist/schemas/api/argument/index.d.ts +443 -17
  58. package/dist/schemas/api/argument/index.d.ts.map +1 -1
  59. package/dist/schemas/api/argument/index.js +3 -3
  60. package/dist/schemas/api/argument/index.js.map +1 -1
  61. package/dist/schemas/api/argument/logic.d.ts +11 -1
  62. package/dist/schemas/api/argument/logic.d.ts.map +1 -1
  63. package/dist/schemas/api/argument/repair.d.ts +1 -4
  64. package/dist/schemas/api/argument/repair.d.ts.map +1 -1
  65. package/dist/schemas/api/citations.d.ts +2280 -0
  66. package/dist/schemas/api/citations.d.ts.map +1 -0
  67. package/dist/schemas/api/{sources.js → citations.js} +8 -9
  68. package/dist/schemas/api/citations.js.map +1 -0
  69. package/dist/schemas/api/claims.d.ts +888 -20
  70. package/dist/schemas/api/claims.d.ts.map +1 -1
  71. package/dist/schemas/api/claims.js +0 -2
  72. package/dist/schemas/api/claims.js.map +1 -1
  73. package/dist/schemas/api/search.d.ts +10 -10
  74. package/dist/schemas/api/search.d.ts.map +1 -1
  75. package/dist/schemas/api/search.js +6 -6
  76. package/dist/schemas/api/search.js.map +1 -1
  77. package/dist/schemas/logic.d.ts +11 -1
  78. package/dist/schemas/logic.d.ts.map +1 -1
  79. package/dist/schemas/model/arguments.d.ts +1340 -32
  80. package/dist/schemas/model/arguments.d.ts.map +1 -1
  81. package/dist/schemas/model/arguments.js +4 -8
  82. package/dist/schemas/model/arguments.js.map +1 -1
  83. package/dist/schemas/model/citations.d.ts +15 -0
  84. package/dist/schemas/model/citations.d.ts.map +1 -0
  85. package/dist/schemas/model/citations.js +12 -0
  86. package/dist/schemas/model/citations.js.map +1 -0
  87. package/dist/schemas/model/claims.d.ts +872 -6
  88. package/dist/schemas/model/claims.d.ts.map +1 -1
  89. package/dist/schemas/model/claims.js +21 -10
  90. package/dist/schemas/model/claims.js.map +1 -1
  91. package/dist/schemas/model/forks.d.ts +2 -2
  92. package/dist/schemas/model/forks.d.ts.map +1 -1
  93. package/dist/schemas/model/forks.js +2 -2
  94. package/dist/schemas/model/forks.js.map +1 -1
  95. package/dist/schemas/model/index.d.ts +1 -1
  96. package/dist/schemas/model/index.d.ts.map +1 -1
  97. package/dist/schemas/model/index.js +1 -1
  98. package/dist/schemas/model/index.js.map +1 -1
  99. package/dist/schemas/model/users.d.ts +3 -3
  100. package/dist/schemas/model/users.d.ts.map +1 -1
  101. package/dist/schemas/model/users.js +2 -2
  102. package/dist/schemas/model/users.js.map +1 -1
  103. package/dist/schemas/review.d.ts +13 -13
  104. package/dist/schemas/review.d.ts.map +1 -1
  105. package/dist/schemas/review.js +2 -1
  106. package/dist/schemas/review.js.map +1 -1
  107. package/dist/schemas/snapshot.d.ts +1 -4
  108. package/dist/schemas/snapshot.d.ts.map +1 -1
  109. package/dist/schemas/snapshot.js +0 -5
  110. package/dist/schemas/snapshot.js.map +1 -1
  111. package/dist/utils/embedding-text.d.ts +1 -1
  112. package/dist/utils/embedding-text.d.ts.map +1 -1
  113. package/dist/utils/embedding-text.js +1 -1
  114. package/dist/utils/embedding-text.js.map +1 -1
  115. package/package.json +3 -3
  116. package/dist/api-client/user/sources.d.ts +0 -42
  117. package/dist/api-client/user/sources.d.ts.map +0 -1
  118. package/dist/api-client/user/sources.js +0 -9
  119. package/dist/api-client/user/sources.js.map +0 -1
  120. package/dist/schemas/api/sources.d.ts +0 -108
  121. package/dist/schemas/api/sources.d.ts.map +0 -1
  122. package/dist/schemas/api/sources.js.map +0 -1
  123. package/dist/schemas/model/sources.d.ts +0 -456
  124. package/dist/schemas/model/sources.d.ts.map +0 -1
  125. package/dist/schemas/model/sources.js +0 -27
  126. package/dist/schemas/model/sources.js.map +0 -1
package/dist/api-client/argument/batch.d.ts CHANGED
@@ -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").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
+ }>]>]>>;
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>;
@@ -210,6 +652,7 @@ export declare function createExpressionWithOperatorImpl(config: TApiClientConfi
210
652
  argumentVersion: import("typebox").TNumber;
211
653
  role: import("typebox").TUnion<[import("typebox").TLiteral<"conclusion">, import("typebox").TLiteral<"supporting">]>;
212
654
  title: import("typebox").TOptional<import("typebox").TUnion<[import("typebox").TString, import("typebox").TNull]>>;
655
+ type: import("typebox").TUnion<[import("typebox").TLiteral<"freeform">, import("typebox").TLiteral<"derivation">]>;
213
656
  id: import("typebox").TString;
214
657
  }>, import("typebox").TObject<{
215
658
  checksum: import("typebox").TOptional<import("typebox").TString>;
@@ -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<{
@@ -482,6 +921,7 @@ export declare function changeEdgeOperatorImpl(config: TApiClientConfig, argumen
482
921
  argumentVersion: import("typebox").TNumber;
483
922
  role: import("typebox").TUnion<[import("typebox").TLiteral<"conclusion">, import("typebox").TLiteral<"supporting">]>;
484
923
  title: import("typebox").TOptional<import("typebox").TUnion<[import("typebox").TString, import("typebox").TNull]>>;
924
+ type: import("typebox").TUnion<[import("typebox").TLiteral<"freeform">, import("typebox").TLiteral<"derivation">]>;
485
925
  id: import("typebox").TString;
486
926
  }>, import("typebox").TObject<{
487
927
  checksum: import("typebox").TOptional<import("typebox").TString>;
@@ -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<{