@proposit/shared 0.23.0 → 0.25.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 (100) hide show
  1. package/dist/api-client/argument/batch.d.ts +15 -3
  2. package/dist/api-client/argument/batch.d.ts.map +1 -1
  3. package/dist/api-client/argument/claims.d.ts +46 -13
  4. package/dist/api-client/argument/claims.d.ts.map +1 -1
  5. package/dist/api-client/argument/index.d.ts +52 -12
  6. package/dist/api-client/argument/index.d.ts.map +1 -1
  7. package/dist/api-client/argument/logic/index.d.ts +23 -0
  8. package/dist/api-client/argument/logic/index.d.ts.map +1 -1
  9. package/dist/api-client/argument/logic/repair.d.ts +2 -0
  10. package/dist/api-client/argument/logic/repair.d.ts.map +1 -1
  11. package/dist/api-client/argument/reactions.d.ts +2 -0
  12. package/dist/api-client/argument/reactions.d.ts.map +1 -1
  13. package/dist/api-client/argument/reviews.d.ts +6 -0
  14. package/dist/api-client/argument/reviews.d.ts.map +1 -1
  15. package/dist/api-client/argument/versioning.d.ts +573 -0
  16. package/dist/api-client/argument/versioning.d.ts.map +1 -0
  17. package/dist/api-client/argument/versioning.js +45 -0
  18. package/dist/api-client/argument/versioning.js.map +1 -0
  19. package/dist/api-client/factory.d.ts +4 -0
  20. package/dist/api-client/factory.d.ts.map +1 -1
  21. package/dist/api-client/factory.js +4 -0
  22. package/dist/api-client/factory.js.map +1 -1
  23. package/dist/api-client/search.d.ts +3 -0
  24. package/dist/api-client/search.d.ts.map +1 -1
  25. package/dist/api-client/tasks/pipeline-status.d.ts +2 -0
  26. package/dist/api-client/tasks/pipeline-status.d.ts.map +1 -1
  27. package/dist/api-client/tasks/task-cancel.d.ts +1 -0
  28. package/dist/api-client/tasks/task-cancel.d.ts.map +1 -1
  29. package/dist/api-client/tasks/task-list.d.ts +1 -0
  30. package/dist/api-client/tasks/task-list.d.ts.map +1 -1
  31. package/dist/api-client/tasks/task-retry.d.ts +2 -0
  32. package/dist/api-client/tasks/task-retry.d.ts.map +1 -1
  33. package/dist/api-client/user/citations.d.ts +19 -6
  34. package/dist/api-client/user/citations.d.ts.map +1 -1
  35. package/dist/api-client/user/claims.d.ts +11 -3
  36. package/dist/api-client/user/claims.d.ts.map +1 -1
  37. package/dist/api-client/user/delete-user.d.ts +4 -1
  38. package/dist/api-client/user/delete-user.d.ts.map +1 -1
  39. package/dist/engine/mutations/premises.d.ts +1 -0
  40. package/dist/engine/mutations/premises.d.ts.map +1 -1
  41. package/dist/engine/mutations/premises.js +8 -0
  42. package/dist/engine/mutations/premises.js.map +1 -1
  43. package/dist/permissions/index.d.ts.map +1 -1
  44. package/dist/permissions/index.js +4 -2
  45. package/dist/permissions/index.js.map +1 -1
  46. package/dist/schemas/api/argument/batch/change-edge-operator.d.ts +1 -0
  47. package/dist/schemas/api/argument/batch/change-edge-operator.d.ts.map +1 -1
  48. package/dist/schemas/api/argument/batch/create-expression-with-operator.d.ts +1 -0
  49. package/dist/schemas/api/argument/batch/create-expression-with-operator.d.ts.map +1 -1
  50. package/dist/schemas/api/argument/batch/provision.d.ts +10 -3
  51. package/dist/schemas/api/argument/batch/provision.d.ts.map +1 -1
  52. package/dist/schemas/api/argument/claims.d.ts +31 -10
  53. package/dist/schemas/api/argument/claims.d.ts.map +1 -1
  54. package/dist/schemas/api/argument/index.d.ts +11 -3
  55. package/dist/schemas/api/argument/index.d.ts.map +1 -1
  56. package/dist/schemas/api/argument/index.js +1 -0
  57. package/dist/schemas/api/argument/index.js.map +1 -1
  58. package/dist/schemas/api/argument/logic.d.ts +1 -0
  59. package/dist/schemas/api/argument/logic.d.ts.map +1 -1
  60. package/dist/schemas/api/argument/repair.d.ts +1 -0
  61. package/dist/schemas/api/argument/repair.d.ts.map +1 -1
  62. package/dist/schemas/api/argument/versioning.d.ts +44 -0
  63. package/dist/schemas/api/argument/versioning.d.ts.map +1 -0
  64. package/dist/schemas/api/argument/versioning.js +44 -0
  65. package/dist/schemas/api/argument/versioning.js.map +1 -0
  66. package/dist/schemas/api/citations.d.ts +45 -15
  67. package/dist/schemas/api/citations.d.ts.map +1 -1
  68. package/dist/schemas/api/claims.d.ts +20 -6
  69. package/dist/schemas/api/claims.d.ts.map +1 -1
  70. package/dist/schemas/api/user/index.d.ts +3 -1
  71. package/dist/schemas/api/user/index.d.ts.map +1 -1
  72. package/dist/schemas/api/user/index.js +5 -2
  73. package/dist/schemas/api/user/index.js.map +1 -1
  74. package/dist/schemas/common.d.ts +1 -0
  75. package/dist/schemas/common.d.ts.map +1 -1
  76. package/dist/schemas/common.js +6 -0
  77. package/dist/schemas/common.js.map +1 -1
  78. package/dist/schemas/logic.d.ts +1 -0
  79. package/dist/schemas/logic.d.ts.map +1 -1
  80. package/dist/schemas/logic.js +7 -0
  81. package/dist/schemas/logic.js.map +1 -1
  82. package/dist/schemas/model/arguments.d.ts +29 -9
  83. package/dist/schemas/model/arguments.d.ts.map +1 -1
  84. package/dist/schemas/model/claims.d.ts +25 -8
  85. package/dist/schemas/model/claims.d.ts.map +1 -1
  86. package/dist/schemas/model/claims.js +19 -1
  87. package/dist/schemas/model/claims.js.map +1 -1
  88. package/dist/schemas/model/forks.d.ts +1 -1
  89. package/dist/schemas/model/forks.d.ts.map +1 -1
  90. package/dist/schemas/model/forks.js +9 -1
  91. package/dist/schemas/model/forks.js.map +1 -1
  92. package/dist/schemas/model/users.d.ts +12 -1
  93. package/dist/schemas/model/users.d.ts.map +1 -1
  94. package/dist/schemas/model/users.js +16 -6
  95. package/dist/schemas/model/users.js.map +1 -1
  96. package/dist/schemas/snapshot.d.ts +1 -0
  97. package/dist/schemas/snapshot.d.ts.map +1 -1
  98. package/dist/utils/utils.d.ts +1 -0
  99. package/dist/utils/utils.d.ts.map +1 -1
  100. package/package.json +1 -1
package/dist/api-client/argument/versioning.d.ts ADDED
@@ -0,0 +1,573 @@
1
+ import type { TApiClientConfig } from "../config.js";
2
+ /**
3
+ * `GET /api/v1/claim/[claimId]/latest`
4
+ *
5
+ * Returns the full claim object at its highest published version. The response
6
+ * IS a claim, so it is validated against `ClaimSchema` on the way out.
7
+ */
8
+ export declare function getLatestClaimImpl(config: TApiClientConfig, claimId: string): Promise<import("../../schemas/common.js").ParsedError<import("typebox").TObject<{
9
+ errorID: import("typebox").TNumber;
10
+ errorMessage: import("typebox").TString;
11
+ statusCode: import("typebox").TNumber;
12
+ errorCode: import("typebox").TOptional<import("typebox").TString>;
13
+ }>> | import("../../schemas/common.js").ParsedError<import("typebox").TObject<{
14
+ error: import("typebox").TLiteral<"GRAMMAR_VIOLATIONS">;
15
+ tier: import("typebox").TUnion<[import("typebox").TLiteral<"structural">, import("typebox").TLiteral<"evaluable">, import("typebox").TLiteral<"derivable">, import("typebox").TLiteral<"presentable">]>;
16
+ violations: import("typebox").TArray<import("typebox").TObject<{
17
+ tier: import("typebox").TUnion<[import("typebox").TLiteral<"structural">, import("typebox").TLiteral<"evaluable">, import("typebox").TLiteral<"derivable">, import("typebox").TLiteral<"presentable">]>;
18
+ code: import("typebox").TUnion<[import("typebox").TLiteral<"S-1">, import("typebox").TLiteral<"S-2">, import("typebox").TLiteral<"S-3">, import("typebox").TLiteral<"S-4">, import("typebox").TLiteral<"S-5">, import("typebox").TLiteral<"S-6">, import("typebox").TLiteral<"S-7">, import("typebox").TLiteral<"S-8">, import("typebox").TLiteral<"S-9">, import("typebox").TLiteral<"S-10">, import("typebox").TLiteral<"S-11">, import("typebox").TLiteral<"S-12">, import("typebox").TLiteral<"S-13">, import("typebox").TLiteral<"S-14">, import("typebox").TLiteral<"E-1">, import("typebox").TLiteral<"E-3">, import("typebox").TLiteral<"E-4">, import("typebox").TLiteral<"E-5">, import("typebox").TLiteral<"E-6">, import("typebox").TLiteral<"E-7">, import("typebox").TLiteral<"D-1">, import("typebox").TLiteral<"D-2">, import("typebox").TLiteral<"D-3">, import("typebox").TLiteral<"D-4">, import("typebox").TLiteral<"D-5">, import("typebox").TLiteral<"D-6">, import("typebox").TLiteral<"P-1">, import("typebox").TLiteral<"P-2">, import("typebox").TLiteral<"P-3">, import("typebox").TLiteral<"P-4">, import("typebox").TLiteral<"P-5">]>;
19
+ message: import("typebox").TString;
20
+ argumentId: import("typebox").TOptional<import("typebox").TString>;
21
+ premiseId: import("typebox").TOptional<import("typebox").TString>;
22
+ expressionId: import("typebox").TOptional<import("typebox").TString>;
23
+ variableId: import("typebox").TOptional<import("typebox").TString>;
24
+ claimId: import("typebox").TOptional<import("typebox").TString>;
25
+ }>>;
26
+ }>> | import("../../schemas/common.js").ParsedSuccess<import("typebox").TUnion<[import("typebox").TObject<{
27
+ digest: import("typebox").TString;
28
+ id: import("typebox").TString;
29
+ originArgumentId: import("typebox").TUnion<[import("typebox").TString, import("typebox").TNull]>;
30
+ version: import("typebox").TNumber;
31
+ published: import("typebox").TBoolean;
32
+ publishedOn: import("typebox").TUnion<[import("../../schemas/common.js").TDateType, import("typebox").TNull]>;
33
+ claimForkId: import("typebox").TUnion<[import("typebox").TString, import("typebox").TNull]>;
34
+ creatorId: import("typebox").TString;
35
+ createdOn: import("../../schemas/common.js").TDateType;
36
+ parentId: import("typebox").TUnion<[import("typebox").TString, import("typebox").TNull]>;
37
+ title: import("typebox").TString;
38
+ body: import("typebox").TString;
39
+ titleContentHash: import("typebox").TString;
40
+ type: import("typebox").TLiteral<"normal">;
41
+ 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">]>]>;
42
+ url: import("typebox").TNull;
43
+ citation: import("typebox").TNull;
44
+ citationContentHash: import("typebox").TNull;
45
+ axiom: import("typebox").TNull;
46
+ }>, import("typebox").TObject<{
47
+ digest: import("typebox").TString;
48
+ id: import("typebox").TString;
49
+ originArgumentId: import("typebox").TUnion<[import("typebox").TString, import("typebox").TNull]>;
50
+ version: import("typebox").TNumber;
51
+ published: import("typebox").TBoolean;
52
+ publishedOn: import("typebox").TUnion<[import("../../schemas/common.js").TDateType, import("typebox").TNull]>;
53
+ claimForkId: import("typebox").TUnion<[import("typebox").TString, import("typebox").TNull]>;
54
+ creatorId: import("typebox").TString;
55
+ createdOn: import("../../schemas/common.js").TDateType;
56
+ parentId: import("typebox").TUnion<[import("typebox").TString, import("typebox").TNull]>;
57
+ type: import("typebox").TLiteral<"citation">;
58
+ kind: import("typebox").TNull;
59
+ title: import("typebox").TNull;
60
+ body: import("typebox").TNull;
61
+ titleContentHash: import("typebox").TNull;
62
+ url: import("typebox").TString;
63
+ citation: import("typebox").TUnion<[import("typebox").TUnion<[import("typebox").TUnion<[import("typebox").TIntersect<[import("typebox").TObject<{
64
+ 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">]>;
65
+ }>, import("typebox").TObject<{
66
+ type: import("typebox").TLiteral<"Book">;
67
+ title: import("typebox").TString;
68
+ year: import("typebox").TString;
69
+ authors: import("typebox").TArray<import("typebox").TObject<{
70
+ givenNames: import("typebox").TString;
71
+ familyName: import("typebox").TString;
72
+ suffix: import("typebox").TOptional<import("typebox").TString>;
73
+ }>>;
74
+ edition: import("typebox").TOptional<import("typebox").TString>;
75
+ publisher: import("typebox").TString;
76
+ location: import("typebox").TOptional<import("typebox").TString>;
77
+ isbn: import("typebox").TOptional<import("typebox").TString>;
78
+ }>]>, import("typebox").TIntersect<[import("typebox").TObject<{
79
+ 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">]>;
80
+ }>, import("typebox").TObject<{
81
+ type: import("typebox").TLiteral<"Website">;
82
+ authors: import("typebox").TArray<import("typebox").TObject<{
83
+ givenNames: import("typebox").TString;
84
+ familyName: import("typebox").TString;
85
+ suffix: import("typebox").TOptional<import("typebox").TString>;
86
+ }>>;
87
+ pageTitle: import("typebox").TString;
88
+ websiteTitle: import("typebox").TString;
89
+ accessedDate: import("@proposit/proposit-core").TDateType;
90
+ url: import("typebox").TString;
91
+ }>]>, import("typebox").TIntersect<[import("typebox").TObject<{
92
+ 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">]>;
93
+ }>, import("typebox").TObject<{
94
+ type: import("typebox").TLiteral<"BookChapter">;
95
+ chapterTitle: import("typebox").TString;
96
+ year: import("typebox").TString;
97
+ authors: import("typebox").TArray<import("typebox").TObject<{
98
+ givenNames: import("typebox").TString;
99
+ familyName: import("typebox").TString;
100
+ suffix: import("typebox").TOptional<import("typebox").TString>;
101
+ }>>;
102
+ bookTitle: import("typebox").TString;
103
+ editors: import("typebox").TOptional<import("typebox").TArray<import("typebox").TObject<{
104
+ givenNames: import("typebox").TString;
105
+ familyName: import("typebox").TString;
106
+ suffix: import("typebox").TOptional<import("typebox").TString>;
107
+ }>>>;
108
+ publisher: import("typebox").TString;
109
+ location: import("typebox").TString;
110
+ pages: import("typebox").TOptional<import("typebox").TString>;
111
+ isbn: import("typebox").TOptional<import("typebox").TString>;
112
+ }>]>, import("typebox").TIntersect<[import("typebox").TObject<{
113
+ 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">]>;
114
+ }>, import("typebox").TObject<{
115
+ type: import("typebox").TLiteral<"Handbook">;
116
+ title: import("typebox").TString;
117
+ year: import("typebox").TString;
118
+ publisher: import("typebox").TString;
119
+ edition: import("typebox").TOptional<import("typebox").TString>;
120
+ location: import("typebox").TString;
121
+ isbn: import("typebox").TOptional<import("typebox").TString>;
122
+ }>]>, import("typebox").TIntersect<[import("typebox").TObject<{
123
+ 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">]>;
124
+ }>, import("typebox").TObject<{
125
+ type: import("typebox").TLiteral<"TechnicalReport">;
126
+ title: import("typebox").TString;
127
+ year: import("typebox").TString;
128
+ authors: import("typebox").TArray<import("typebox").TObject<{
129
+ givenNames: import("typebox").TString;
130
+ familyName: import("typebox").TString;
131
+ suffix: import("typebox").TOptional<import("typebox").TString>;
132
+ }>>;
133
+ reportNumber: import("typebox").TString;
134
+ institution: import("typebox").TString;
135
+ location: import("typebox").TString;
136
+ }>]>, import("typebox").TIntersect<[import("typebox").TObject<{
137
+ 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">]>;
138
+ }>, import("typebox").TObject<{
139
+ type: import("typebox").TLiteral<"Standard">;
140
+ organization: import("typebox").TString;
141
+ standardNumber: import("typebox").TString;
142
+ title: import("typebox").TString;
143
+ date: import("@proposit/proposit-core").TDateType;
144
+ }>]>, import("typebox").TIntersect<[import("typebox").TObject<{
145
+ 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">]>;
146
+ }>, import("typebox").TObject<{
147
+ type: import("typebox").TLiteral<"Thesis">;
148
+ title: import("typebox").TString;
149
+ year: import("typebox").TString;
150
+ authors: import("typebox").TArray<import("typebox").TObject<{
151
+ givenNames: import("typebox").TString;
152
+ familyName: import("typebox").TString;
153
+ suffix: import("typebox").TOptional<import("typebox").TString>;
154
+ }>>;
155
+ degree: import("typebox").TString;
156
+ institution: import("typebox").TString;
157
+ location: import("typebox").TString;
158
+ }>]>, import("typebox").TIntersect<[import("typebox").TObject<{
159
+ 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">]>;
160
+ }>, import("typebox").TObject<{
161
+ type: import("typebox").TLiteral<"Patent">;
162
+ title: import("typebox").TString;
163
+ inventors: import("typebox").TArray<import("typebox").TObject<{
164
+ givenNames: import("typebox").TString;
165
+ familyName: import("typebox").TString;
166
+ suffix: import("typebox").TOptional<import("typebox").TString>;
167
+ }>>;
168
+ country: import("typebox").TString;
169
+ patentNumber: import("typebox").TString;
170
+ date: import("@proposit/proposit-core").TDateType;
171
+ }>]>, import("typebox").TIntersect<[import("typebox").TObject<{
172
+ 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">]>;
173
+ }>, import("typebox").TObject<{
174
+ type: import("typebox").TLiteral<"Dictionary">;
175
+ title: import("typebox").TString;
176
+ year: import("typebox").TString;
177
+ publisher: import("typebox").TString;
178
+ edition: 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">]>;
181
+ }>, import("typebox").TObject<{
182
+ type: import("typebox").TLiteral<"Encyclopedia">;
183
+ title: import("typebox").TString;
184
+ year: import("typebox").TString;
185
+ publisher: import("typebox").TString;
186
+ edition: import("typebox").TOptional<import("typebox").TString>;
187
+ }>]>, import("typebox").TIntersect<[import("typebox").TObject<{
188
+ 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">]>;
189
+ }>, import("typebox").TObject<{
190
+ type: import("typebox").TLiteral<"JournalArticle">;
191
+ title: import("typebox").TString;
192
+ year: import("typebox").TString;
193
+ authors: import("typebox").TArray<import("typebox").TObject<{
194
+ givenNames: import("typebox").TString;
195
+ familyName: import("typebox").TString;
196
+ suffix: import("typebox").TOptional<import("typebox").TString>;
197
+ }>>;
198
+ journalTitle: import("typebox").TString;
199
+ volume: import("typebox").TOptional<import("typebox").TString>;
200
+ issue: import("typebox").TOptional<import("typebox").TString>;
201
+ pages: import("typebox").TOptional<import("typebox").TString>;
202
+ doi: import("typebox").TOptional<import("typebox").TString>;
203
+ }>]>, import("typebox").TIntersect<[import("typebox").TObject<{
204
+ 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">]>;
205
+ }>, import("typebox").TObject<{
206
+ type: import("typebox").TLiteral<"MagazineArticle">;
207
+ title: import("typebox").TString;
208
+ year: import("typebox").TString;
209
+ authors: 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
+ magazineTitle: import("typebox").TString;
215
+ volume: import("typebox").TOptional<import("typebox").TString>;
216
+ issue: import("typebox").TOptional<import("typebox").TString>;
217
+ pages: import("typebox").TOptional<import("typebox").TString>;
218
+ }>]>, import("typebox").TIntersect<[import("typebox").TObject<{
219
+ 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">]>;
220
+ }>, import("typebox").TObject<{
221
+ type: import("typebox").TLiteral<"NewspaperArticle">;
222
+ title: import("typebox").TString;
223
+ authors: import("typebox").TArray<import("typebox").TObject<{
224
+ givenNames: import("typebox").TString;
225
+ familyName: import("typebox").TString;
226
+ suffix: import("typebox").TOptional<import("typebox").TString>;
227
+ }>>;
228
+ newspaperTitle: import("typebox").TString;
229
+ date: import("@proposit/proposit-core").TDateType;
230
+ pages: import("typebox").TOptional<import("typebox").TString>;
231
+ }>]>, import("typebox").TIntersect<[import("typebox").TObject<{
232
+ 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">]>;
233
+ }>, import("typebox").TObject<{
234
+ type: import("typebox").TLiteral<"ConferencePaper">;
235
+ title: import("typebox").TString;
236
+ authors: import("typebox").TArray<import("typebox").TObject<{
237
+ givenNames: import("typebox").TString;
238
+ familyName: import("typebox").TString;
239
+ suffix: import("typebox").TOptional<import("typebox").TString>;
240
+ }>>;
241
+ conferenceName: import("typebox").TString;
242
+ location: import("typebox").TString;
243
+ date: import("@proposit/proposit-core").TDateType;
244
+ pages: import("typebox").TOptional<import("typebox").TString>;
245
+ doi: import("typebox").TOptional<import("typebox").TString>;
246
+ }>]>, import("typebox").TIntersect<[import("typebox").TObject<{
247
+ 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">]>;
248
+ }>, import("typebox").TObject<{
249
+ type: import("typebox").TLiteral<"ConferenceProceedings">;
250
+ editors: import("typebox").TOptional<import("typebox").TArray<import("typebox").TObject<{
251
+ givenNames: import("typebox").TString;
252
+ familyName: import("typebox").TString;
253
+ suffix: import("typebox").TOptional<import("typebox").TString>;
254
+ }>>>;
255
+ conferenceName: import("typebox").TString;
256
+ location: import("typebox").TString;
257
+ date: import("@proposit/proposit-core").TDateType;
258
+ publisher: import("typebox").TString;
259
+ isbn: import("typebox").TOptional<import("typebox").TString>;
260
+ }>]>, import("typebox").TIntersect<[import("typebox").TObject<{
261
+ 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">]>;
262
+ }>, import("typebox").TObject<{
263
+ type: import("typebox").TLiteral<"Dataset">;
264
+ title: import("typebox").TString;
265
+ year: import("typebox").TString;
266
+ authors: import("typebox").TOptional<import("typebox").TArray<import("typebox").TObject<{
267
+ givenNames: import("typebox").TString;
268
+ familyName: import("typebox").TString;
269
+ suffix: import("typebox").TOptional<import("typebox").TString>;
270
+ }>>>;
271
+ repository: import("typebox").TString;
272
+ version: import("typebox").TOptional<import("typebox").TString>;
273
+ doi: import("typebox").TOptional<import("typebox").TString>;
274
+ url: import("typebox").TString;
275
+ }>]>, import("typebox").TIntersect<[import("typebox").TObject<{
276
+ 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">]>;
277
+ }>, import("typebox").TObject<{
278
+ type: import("typebox").TLiteral<"Software">;
279
+ title: import("typebox").TString;
280
+ year: import("typebox").TString;
281
+ authors: import("typebox").TOptional<import("typebox").TArray<import("typebox").TObject<{
282
+ givenNames: import("typebox").TString;
283
+ familyName: import("typebox").TString;
284
+ suffix: import("typebox").TOptional<import("typebox").TString>;
285
+ }>>>;
286
+ version: import("typebox").TOptional<import("typebox").TString>;
287
+ publisher: import("typebox").TOptional<import("typebox").TString>;
288
+ doi: import("typebox").TOptional<import("typebox").TString>;
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">]>;
292
+ }>, import("typebox").TObject<{
293
+ type: import("typebox").TLiteral<"OnlineDocument">;
294
+ authors: import("typebox").TOptional<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
+ title: import("typebox").TString;
300
+ publisher: import("typebox").TOptional<import("typebox").TString>;
301
+ url: import("typebox").TString;
302
+ accessedDate: import("@proposit/proposit-core").TDateType;
303
+ }>]>, import("typebox").TIntersect<[import("typebox").TObject<{
304
+ 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">]>;
305
+ }>, import("typebox").TObject<{
306
+ type: import("typebox").TLiteral<"Blog">;
307
+ author: import("typebox").TObject<{
308
+ givenNames: import("typebox").TString;
309
+ familyName: import("typebox").TString;
310
+ suffix: import("typebox").TOptional<import("typebox").TString>;
311
+ }>;
312
+ postTitle: import("typebox").TString;
313
+ blogName: import("typebox").TString;
314
+ date: import("@proposit/proposit-core").TDateType;
315
+ url: import("typebox").TString;
316
+ accessedDate: import("@proposit/proposit-core").TDateType;
317
+ }>]>, import("typebox").TIntersect<[import("typebox").TObject<{
318
+ 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">]>;
319
+ }>, import("typebox").TObject<{
320
+ type: import("typebox").TLiteral<"SocialMedia">;
321
+ author: import("typebox").TObject<{
322
+ givenNames: import("typebox").TString;
323
+ familyName: import("typebox").TString;
324
+ suffix: import("typebox").TOptional<import("typebox").TString>;
325
+ }>;
326
+ platform: import("typebox").TString;
327
+ postDate: import("@proposit/proposit-core").TDateType;
328
+ url: import("typebox").TString;
329
+ }>]>, import("typebox").TIntersect<[import("typebox").TObject<{
330
+ 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">]>;
331
+ }>, import("typebox").TObject<{
332
+ type: import("typebox").TLiteral<"Preprint">;
333
+ title: import("typebox").TString;
334
+ year: import("typebox").TString;
335
+ authors: import("typebox").TArray<import("typebox").TObject<{
336
+ givenNames: import("typebox").TString;
337
+ familyName: import("typebox").TString;
338
+ suffix: import("typebox").TOptional<import("typebox").TString>;
339
+ }>>;
340
+ server: import("typebox").TString;
341
+ doi: import("typebox").TOptional<import("typebox").TString>;
342
+ url: import("typebox").TString;
343
+ }>]>, import("typebox").TIntersect<[import("typebox").TObject<{
344
+ 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">]>;
345
+ }>, import("typebox").TObject<{
346
+ type: import("typebox").TLiteral<"Video">;
347
+ title: import("typebox").TString;
348
+ authors: import("typebox").TOptional<import("typebox").TArray<import("typebox").TObject<{
349
+ givenNames: import("typebox").TString;
350
+ familyName: import("typebox").TString;
351
+ suffix: import("typebox").TOptional<import("typebox").TString>;
352
+ }>>>;
353
+ releaseDate: import("typebox").TOptional<import("@proposit/proposit-core").TDateType>;
354
+ platform: import("typebox").TString;
355
+ url: import("typebox").TString;
356
+ accessedDate: 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">]>;
359
+ }>, import("typebox").TObject<{
360
+ type: import("typebox").TLiteral<"Podcast">;
361
+ authors: import("typebox").TOptional<import("typebox").TArray<import("typebox").TObject<{
362
+ givenNames: import("typebox").TString;
363
+ familyName: import("typebox").TString;
364
+ suffix: import("typebox").TOptional<import("typebox").TString>;
365
+ }>>>;
366
+ episodeTitle: import("typebox").TString;
367
+ seriesTitle: import("typebox").TString;
368
+ platform: import("typebox").TString;
369
+ url: import("typebox").TString;
370
+ accessedDate: import("@proposit/proposit-core").TDateType;
371
+ }>]>, import("typebox").TIntersect<[import("typebox").TObject<{
372
+ 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">]>;
373
+ }>, import("typebox").TObject<{
374
+ type: import("typebox").TLiteral<"Course">;
375
+ title: import("typebox").TString;
376
+ year: import("typebox").TString;
377
+ instructor: import("typebox").TObject<{
378
+ givenNames: import("typebox").TString;
379
+ familyName: import("typebox").TString;
380
+ suffix: import("typebox").TOptional<import("typebox").TString>;
381
+ }>;
382
+ institution: import("typebox").TString;
383
+ courseCode: import("typebox").TOptional<import("typebox").TString>;
384
+ term: import("typebox").TString;
385
+ }>]>, import("typebox").TIntersect<[import("typebox").TObject<{
386
+ 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">]>;
387
+ }>, import("typebox").TObject<{
388
+ type: import("typebox").TLiteral<"Presentation">;
389
+ title: import("typebox").TString;
390
+ presenter: import("typebox").TObject<{
391
+ givenNames: import("typebox").TString;
392
+ familyName: import("typebox").TString;
393
+ suffix: import("typebox").TOptional<import("typebox").TString>;
394
+ }>;
395
+ eventTitle: import("typebox").TString;
396
+ location: import("typebox").TString;
397
+ date: import("@proposit/proposit-core").TDateType;
398
+ }>]>, import("typebox").TIntersect<[import("typebox").TObject<{
399
+ 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">]>;
400
+ }>, import("typebox").TObject<{
401
+ type: import("typebox").TLiteral<"Interview">;
402
+ interviewee: import("typebox").TObject<{
403
+ givenNames: import("typebox").TString;
404
+ familyName: import("typebox").TString;
405
+ suffix: import("typebox").TOptional<import("typebox").TString>;
406
+ }>;
407
+ interviewer: import("typebox").TOptional<import("typebox").TObject<{
408
+ givenNames: import("typebox").TString;
409
+ familyName: import("typebox").TString;
410
+ suffix: import("typebox").TOptional<import("typebox").TString>;
411
+ }>>;
412
+ date: import("@proposit/proposit-core").TDateType;
413
+ }>]>, import("typebox").TIntersect<[import("typebox").TObject<{
414
+ 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">]>;
415
+ }>, import("typebox").TObject<{
416
+ type: import("typebox").TLiteral<"PersonalCommunication">;
417
+ person: import("typebox").TObject<{
418
+ givenNames: import("typebox").TString;
419
+ familyName: import("typebox").TString;
420
+ suffix: import("typebox").TOptional<import("typebox").TString>;
421
+ }>;
422
+ date: import("@proposit/proposit-core").TDateType;
423
+ }>]>, import("typebox").TIntersect<[import("typebox").TObject<{
424
+ 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">]>;
425
+ }>, import("typebox").TObject<{
426
+ type: import("typebox").TLiteral<"Email">;
427
+ sender: import("typebox").TObject<{
428
+ givenNames: import("typebox").TString;
429
+ familyName: import("typebox").TString;
430
+ suffix: import("typebox").TOptional<import("typebox").TString>;
431
+ }>;
432
+ recipient: import("typebox").TObject<{
433
+ givenNames: import("typebox").TString;
434
+ familyName: import("typebox").TString;
435
+ suffix: import("typebox").TOptional<import("typebox").TString>;
436
+ }>;
437
+ date: import("@proposit/proposit-core").TDateType;
438
+ }>]>, import("typebox").TIntersect<[import("typebox").TObject<{
439
+ 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">]>;
440
+ }>, import("typebox").TObject<{
441
+ type: import("typebox").TLiteral<"Law">;
442
+ title: import("typebox").TString;
443
+ jurisdiction: import("typebox").TString;
444
+ dateEnacted: import("@proposit/proposit-core").TDateType;
445
+ }>]>, import("typebox").TIntersect<[import("typebox").TObject<{
446
+ 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">]>;
447
+ }>, import("typebox").TObject<{
448
+ type: import("typebox").TLiteral<"CourtCase">;
449
+ caseName: import("typebox").TString;
450
+ court: import("typebox").TString;
451
+ date: import("@proposit/proposit-core").TDateType;
452
+ reporter: import("typebox").TOptional<import("typebox").TString>;
453
+ }>]>, import("typebox").TIntersect<[import("typebox").TObject<{
454
+ 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">]>;
455
+ }>, import("typebox").TObject<{
456
+ type: import("typebox").TLiteral<"GovernmentPublication">;
457
+ title: import("typebox").TString;
458
+ date: import("@proposit/proposit-core").TDateType;
459
+ authors: import("typebox").TOptional<import("typebox").TArray<import("typebox").TObject<{
460
+ givenNames: import("typebox").TString;
461
+ familyName: import("typebox").TString;
462
+ suffix: import("typebox").TOptional<import("typebox").TString>;
463
+ }>>>;
464
+ agency: import("typebox").TString;
465
+ reportNumber: import("typebox").TOptional<import("typebox").TString>;
466
+ location: import("typebox").TString;
467
+ }>]>, import("typebox").TIntersect<[import("typebox").TObject<{
468
+ 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">]>;
469
+ }>, import("typebox").TObject<{
470
+ type: import("typebox").TLiteral<"Datasheet">;
471
+ title: import("typebox").TString;
472
+ year: import("typebox").TString;
473
+ manufacturer: import("typebox").TString;
474
+ partNumber: import("typebox").TString;
475
+ url: import("typebox").TString;
476
+ }>]>, import("typebox").TIntersect<[import("typebox").TObject<{
477
+ 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">]>;
478
+ }>, import("typebox").TObject<{
479
+ type: import("typebox").TLiteral<"ProductManual">;
480
+ title: import("typebox").TString;
481
+ year: import("typebox").TString;
482
+ manufacturer: import("typebox").TString;
483
+ model: import("typebox").TString;
484
+ url: import("typebox").TOptional<import("typebox").TString>;
485
+ }>]>]>, import("typebox").TObject<{
486
+ type: import("typebox").TLiteral<"unparsed">;
487
+ text: import("typebox").TString;
488
+ citationTypeGuess: import("typebox").TUnion<[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<"unknown">]>;
489
+ url: import("typebox").TOptional<import("typebox").TString>;
490
+ }>]>, import("typebox").TNull]>;
491
+ citationContentHash: import("typebox").TString;
492
+ axiom: import("typebox").TNull;
493
+ }>, import("typebox").TObject<{
494
+ digest: import("typebox").TString;
495
+ id: import("typebox").TString;
496
+ originArgumentId: import("typebox").TUnion<[import("typebox").TString, import("typebox").TNull]>;
497
+ version: import("typebox").TNumber;
498
+ published: import("typebox").TBoolean;
499
+ publishedOn: import("typebox").TUnion<[import("../../schemas/common.js").TDateType, import("typebox").TNull]>;
500
+ claimForkId: import("typebox").TUnion<[import("typebox").TString, import("typebox").TNull]>;
501
+ creatorId: import("typebox").TString;
502
+ createdOn: import("../../schemas/common.js").TDateType;
503
+ parentId: import("typebox").TUnion<[import("typebox").TString, import("typebox").TNull]>;
504
+ type: import("typebox").TLiteral<"axiomatic">;
505
+ kind: import("typebox").TNull;
506
+ title: import("typebox").TNull;
507
+ body: import("typebox").TNull;
508
+ titleContentHash: import("typebox").TNull;
509
+ url: import("typebox").TNull;
510
+ citation: import("typebox").TNull;
511
+ citationContentHash: import("typebox").TNull;
512
+ axiom: import("typebox").TUnion<[import("typebox").TLiteral<"definition">, import("typebox").TLiteral<"stipulation">, import("typebox").TLiteral<"logical-principle">, import("typebox").TLiteral<"mathematical-principle">, import("typebox").TLiteral<"domain-rule">, import("typebox").TLiteral<"background-assumption">]>;
513
+ }>]>>>;
514
+ /**
515
+ * `GET /api/v1/claim/[claimId]/latest-version?pinned=<number>`
516
+ *
517
+ * Reports the claim trunk's latest published version and whether it is newer
518
+ * than the `pinned` version the caller currently references. Omit `pinned` to
519
+ * just learn the latest published head (`hasNewer` is then `false`).
520
+ */
521
+ export declare function getLatestClaimVersionImpl(config: TApiClientConfig, claimId: string, pinned?: number): Promise<import("../../schemas/common.js").ParsedError<import("typebox").TObject<{
522
+ errorID: import("typebox").TNumber;
523
+ errorMessage: import("typebox").TString;
524
+ statusCode: import("typebox").TNumber;
525
+ errorCode: import("typebox").TOptional<import("typebox").TString>;
526
+ }>> | import("../../schemas/common.js").ParsedError<import("typebox").TObject<{
527
+ error: import("typebox").TLiteral<"GRAMMAR_VIOLATIONS">;
528
+ tier: import("typebox").TUnion<[import("typebox").TLiteral<"structural">, import("typebox").TLiteral<"evaluable">, import("typebox").TLiteral<"derivable">, import("typebox").TLiteral<"presentable">]>;
529
+ violations: import("typebox").TArray<import("typebox").TObject<{
530
+ tier: import("typebox").TUnion<[import("typebox").TLiteral<"structural">, import("typebox").TLiteral<"evaluable">, import("typebox").TLiteral<"derivable">, import("typebox").TLiteral<"presentable">]>;
531
+ code: import("typebox").TUnion<[import("typebox").TLiteral<"S-1">, import("typebox").TLiteral<"S-2">, import("typebox").TLiteral<"S-3">, import("typebox").TLiteral<"S-4">, import("typebox").TLiteral<"S-5">, import("typebox").TLiteral<"S-6">, import("typebox").TLiteral<"S-7">, import("typebox").TLiteral<"S-8">, import("typebox").TLiteral<"S-9">, import("typebox").TLiteral<"S-10">, import("typebox").TLiteral<"S-11">, import("typebox").TLiteral<"S-12">, import("typebox").TLiteral<"S-13">, import("typebox").TLiteral<"S-14">, import("typebox").TLiteral<"E-1">, import("typebox").TLiteral<"E-3">, import("typebox").TLiteral<"E-4">, import("typebox").TLiteral<"E-5">, import("typebox").TLiteral<"E-6">, import("typebox").TLiteral<"E-7">, import("typebox").TLiteral<"D-1">, import("typebox").TLiteral<"D-2">, import("typebox").TLiteral<"D-3">, import("typebox").TLiteral<"D-4">, import("typebox").TLiteral<"D-5">, import("typebox").TLiteral<"D-6">, import("typebox").TLiteral<"P-1">, import("typebox").TLiteral<"P-2">, import("typebox").TLiteral<"P-3">, import("typebox").TLiteral<"P-4">, import("typebox").TLiteral<"P-5">]>;
532
+ message: import("typebox").TString;
533
+ argumentId: import("typebox").TOptional<import("typebox").TString>;
534
+ premiseId: import("typebox").TOptional<import("typebox").TString>;
535
+ expressionId: import("typebox").TOptional<import("typebox").TString>;
536
+ variableId: import("typebox").TOptional<import("typebox").TString>;
537
+ claimId: import("typebox").TOptional<import("typebox").TString>;
538
+ }>>;
539
+ }>> | import("../../schemas/common.js").ParsedSuccess<import("typebox").TObject<{
540
+ claimId: import("typebox").TString;
541
+ latestPublishedVersion: import("typebox").TUnion<[import("typebox").TNumber, import("typebox").TNull]>;
542
+ hasNewer: import("typebox").TBoolean;
543
+ }>>>;
544
+ /**
545
+ * `POST /api/v1/argument/[argumentId]/[version]/claim/[claimId]/advance`
546
+ *
547
+ * Repins the draft argument's variable(s) referencing the claim to a newer
548
+ * published version. Omit `toVersion` to advance to the claim's latest
549
+ * published head; supply it to repin to an explicit target version.
550
+ */
551
+ export declare function advanceClaimReferenceImpl(config: TApiClientConfig, argumentId: string, version: number, claimId: string, toVersion?: number): Promise<import("../../schemas/common.js").ParsedError<import("typebox").TObject<{
552
+ errorID: import("typebox").TNumber;
553
+ errorMessage: import("typebox").TString;
554
+ statusCode: import("typebox").TNumber;
555
+ errorCode: import("typebox").TOptional<import("typebox").TString>;
556
+ }>> | import("../../schemas/common.js").ParsedError<import("typebox").TObject<{
557
+ error: import("typebox").TLiteral<"GRAMMAR_VIOLATIONS">;
558
+ tier: import("typebox").TUnion<[import("typebox").TLiteral<"structural">, import("typebox").TLiteral<"evaluable">, import("typebox").TLiteral<"derivable">, import("typebox").TLiteral<"presentable">]>;
559
+ violations: import("typebox").TArray<import("typebox").TObject<{
560
+ tier: import("typebox").TUnion<[import("typebox").TLiteral<"structural">, import("typebox").TLiteral<"evaluable">, import("typebox").TLiteral<"derivable">, import("typebox").TLiteral<"presentable">]>;
561
+ code: import("typebox").TUnion<[import("typebox").TLiteral<"S-1">, import("typebox").TLiteral<"S-2">, import("typebox").TLiteral<"S-3">, import("typebox").TLiteral<"S-4">, import("typebox").TLiteral<"S-5">, import("typebox").TLiteral<"S-6">, import("typebox").TLiteral<"S-7">, import("typebox").TLiteral<"S-8">, import("typebox").TLiteral<"S-9">, import("typebox").TLiteral<"S-10">, import("typebox").TLiteral<"S-11">, import("typebox").TLiteral<"S-12">, import("typebox").TLiteral<"S-13">, import("typebox").TLiteral<"S-14">, import("typebox").TLiteral<"E-1">, import("typebox").TLiteral<"E-3">, import("typebox").TLiteral<"E-4">, import("typebox").TLiteral<"E-5">, import("typebox").TLiteral<"E-6">, import("typebox").TLiteral<"E-7">, import("typebox").TLiteral<"D-1">, import("typebox").TLiteral<"D-2">, import("typebox").TLiteral<"D-3">, import("typebox").TLiteral<"D-4">, import("typebox").TLiteral<"D-5">, import("typebox").TLiteral<"D-6">, import("typebox").TLiteral<"P-1">, import("typebox").TLiteral<"P-2">, import("typebox").TLiteral<"P-3">, import("typebox").TLiteral<"P-4">, import("typebox").TLiteral<"P-5">]>;
562
+ message: import("typebox").TString;
563
+ argumentId: import("typebox").TOptional<import("typebox").TString>;
564
+ premiseId: import("typebox").TOptional<import("typebox").TString>;
565
+ expressionId: import("typebox").TOptional<import("typebox").TString>;
566
+ variableId: import("typebox").TOptional<import("typebox").TString>;
567
+ claimId: import("typebox").TOptional<import("typebox").TString>;
568
+ }>>;
569
+ }>> | import("../../schemas/common.js").ParsedSuccess<import("typebox").TObject<{
570
+ claimId: import("typebox").TString;
571
+ newVersion: import("typebox").TNumber;
572
+ }>>>;
573
+ //# sourceMappingURL=versioning.d.ts.map