@proposit/proposit-core 3.3.0 → 3.4.1

This diff represents the content of publicly available package versions that have been released to one of the supported registries. The information contained in this diff is provided for informational purposes only and reflects changes between package versions as they appear in their respective public registries.
Files changed (139) hide show
  1. package/README.md +99 -2
  2. package/dist/cli/commands/expressions.d.ts.map +1 -1
  3. package/dist/cli/commands/expressions.js +44 -0
  4. package/dist/cli/commands/expressions.js.map +1 -1
  5. package/dist/cli/commands/origins.d.ts +3 -0
  6. package/dist/cli/commands/origins.d.ts.map +1 -0
  7. package/dist/cli/commands/origins.js +264 -0
  8. package/dist/cli/commands/origins.js.map +1 -0
  9. package/dist/cli/commands/premises.d.ts.map +1 -1
  10. package/dist/cli/commands/premises.js +18 -2
  11. package/dist/cli/commands/premises.js.map +1 -1
  12. package/dist/cli/engine.d.ts.map +1 -1
  13. package/dist/cli/engine.js +5 -2
  14. package/dist/cli/engine.js.map +1 -1
  15. package/dist/cli/router.d.ts.map +1 -1
  16. package/dist/cli/router.js +1 -0
  17. package/dist/cli/router.js.map +1 -1
  18. package/dist/cli/schemata.d.ts +2 -0
  19. package/dist/cli/schemata.d.ts.map +1 -1
  20. package/dist/cli/schemata.js +14 -1
  21. package/dist/cli/schemata.js.map +1 -1
  22. package/dist/cli/storage/libraries.d.ts +4 -0
  23. package/dist/cli/storage/libraries.d.ts.map +1 -1
  24. package/dist/cli/storage/libraries.js +19 -0
  25. package/dist/cli/storage/libraries.js.map +1 -1
  26. package/dist/cli.js +2 -0
  27. package/dist/cli.js.map +1 -1
  28. package/dist/extensions/basics/schemata.d.ts +2 -0
  29. package/dist/extensions/basics/schemata.d.ts.map +1 -1
  30. package/dist/extensions/citations/ieee/index.d.ts +1 -0
  31. package/dist/extensions/citations/ieee/index.d.ts.map +1 -1
  32. package/dist/extensions/citations/ieee/index.js +1 -0
  33. package/dist/extensions/citations/ieee/index.js.map +1 -1
  34. package/dist/extensions/citations/ieee/origin-document.d.ts +452 -0
  35. package/dist/extensions/citations/ieee/origin-document.d.ts.map +1 -0
  36. package/dist/extensions/citations/ieee/origin-document.js +25 -0
  37. package/dist/extensions/citations/ieee/origin-document.js.map +1 -0
  38. package/dist/extensions/pipelines/base/finalize-response-v2.d.ts +24 -0
  39. package/dist/extensions/pipelines/base/finalize-response-v2.d.ts.map +1 -1
  40. package/dist/extensions/pipelines/base/finalize-response-v2.js +249 -8
  41. package/dist/extensions/pipelines/base/finalize-response-v2.js.map +1 -1
  42. package/dist/extensions/pipelines/base/index.d.ts +3 -1
  43. package/dist/extensions/pipelines/base/index.d.ts.map +1 -1
  44. package/dist/extensions/pipelines/base/index.js +2 -1
  45. package/dist/extensions/pipelines/base/index.js.map +1 -1
  46. package/dist/extensions/pipelines/base/source-anchors.d.ts +58 -0
  47. package/dist/extensions/pipelines/base/source-anchors.d.ts.map +1 -0
  48. package/dist/extensions/pipelines/base/source-anchors.js +209 -0
  49. package/dist/extensions/pipelines/base/source-anchors.js.map +1 -0
  50. package/dist/extensions/pipelines/ingestion/canonical-stages.d.ts.map +1 -1
  51. package/dist/extensions/pipelines/ingestion/canonical-stages.js +1 -0
  52. package/dist/extensions/pipelines/ingestion/canonical-stages.js.map +1 -1
  53. package/dist/extensions/pipelines/ingestion/scholar/scholar.d.ts.map +1 -1
  54. package/dist/extensions/pipelines/ingestion/scholar/scholar.js +11 -1
  55. package/dist/extensions/pipelines/ingestion/scholar/scholar.js.map +1 -1
  56. package/dist/extensions/pipelines/ingestion/scribe/extract-stage.d.ts +27 -11
  57. package/dist/extensions/pipelines/ingestion/scribe/extract-stage.d.ts.map +1 -1
  58. package/dist/extensions/pipelines/ingestion/scribe/extract-stage.js +56 -22
  59. package/dist/extensions/pipelines/ingestion/scribe/extract-stage.js.map +1 -1
  60. package/dist/extensions/pipelines/ingestion/scribe/schemas.d.ts +25 -1
  61. package/dist/extensions/pipelines/ingestion/scribe/schemas.d.ts.map +1 -1
  62. package/dist/extensions/pipelines/ingestion/scribe/schemas.js +25 -3
  63. package/dist/extensions/pipelines/ingestion/scribe/schemas.js.map +1 -1
  64. package/dist/extensions/pipelines/ingestion/scribe/scribe.d.ts.map +1 -1
  65. package/dist/extensions/pipelines/ingestion/scribe/scribe.js +25 -4
  66. package/dist/extensions/pipelines/ingestion/scribe/scribe.js.map +1 -1
  67. package/dist/extensions/pipelines/ingestion/scribe/structure-stage.d.ts +1 -1
  68. package/dist/extensions/pipelines/ingestion/scribe/structure-stage.d.ts.map +1 -1
  69. package/dist/extensions/pipelines/ingestion/scribe/structure-stage.js +1 -1
  70. package/dist/lib/consts.d.ts.map +1 -1
  71. package/dist/lib/consts.js +27 -0
  72. package/dist/lib/consts.js.map +1 -1
  73. package/dist/lib/core/argument-engine.d.ts +5 -3
  74. package/dist/lib/core/argument-engine.d.ts.map +1 -1
  75. package/dist/lib/core/argument-engine.js +7 -4
  76. package/dist/lib/core/argument-engine.js.map +1 -1
  77. package/dist/lib/core/interfaces/argument-engine.interfaces.d.ts +2 -1
  78. package/dist/lib/core/interfaces/argument-engine.interfaces.d.ts.map +1 -1
  79. package/dist/lib/core/interfaces/index.d.ts +1 -1
  80. package/dist/lib/core/interfaces/index.d.ts.map +1 -1
  81. package/dist/lib/core/interfaces/library.interfaces.d.ts +72 -1
  82. package/dist/lib/core/interfaces/library.interfaces.d.ts.map +1 -1
  83. package/dist/lib/core/origin-library.d.ts +127 -0
  84. package/dist/lib/core/origin-library.d.ts.map +1 -0
  85. package/dist/lib/core/origin-library.js +520 -0
  86. package/dist/lib/core/origin-library.js.map +1 -0
  87. package/dist/lib/core/premise-engine.d.ts.map +1 -1
  88. package/dist/lib/core/premise-engine.js +20 -3
  89. package/dist/lib/core/premise-engine.js.map +1 -1
  90. package/dist/lib/core/proposit-core.d.ts +15 -8
  91. package/dist/lib/core/proposit-core.d.ts.map +1 -1
  92. package/dist/lib/core/proposit-core.js +28 -3
  93. package/dist/lib/core/proposit-core.js.map +1 -1
  94. package/dist/lib/grammar/types.d.ts +2 -2
  95. package/dist/lib/grammar/types.d.ts.map +1 -1
  96. package/dist/lib/grammar/types.js +2 -1
  97. package/dist/lib/grammar/types.js.map +1 -1
  98. package/dist/lib/grammar/validators/presentable.d.ts +19 -0
  99. package/dist/lib/grammar/validators/presentable.d.ts.map +1 -1
  100. package/dist/lib/grammar/validators/presentable.js +57 -0
  101. package/dist/lib/grammar/validators/presentable.js.map +1 -1
  102. package/dist/lib/index.d.ts +4 -0
  103. package/dist/lib/index.d.ts.map +1 -1
  104. package/dist/lib/index.js +3 -0
  105. package/dist/lib/index.js.map +1 -1
  106. package/dist/lib/parsing/argument-parser.d.ts.map +1 -1
  107. package/dist/lib/parsing/argument-parser.js +4 -3
  108. package/dist/lib/parsing/argument-parser.js.map +1 -1
  109. package/dist/lib/schemata/index.d.ts +1 -0
  110. package/dist/lib/schemata/index.d.ts.map +1 -1
  111. package/dist/lib/schemata/index.js +1 -0
  112. package/dist/lib/schemata/index.js.map +1 -1
  113. package/dist/lib/schemata/origin.d.ts +48 -0
  114. package/dist/lib/schemata/origin.d.ts.map +1 -0
  115. package/dist/lib/schemata/origin.js +102 -0
  116. package/dist/lib/schemata/origin.js.map +1 -0
  117. package/dist/lib/schemata/propositional.d.ts +6 -0
  118. package/dist/lib/schemata/propositional.d.ts.map +1 -1
  119. package/dist/lib/schemata/propositional.js +13 -0
  120. package/dist/lib/schemata/propositional.js.map +1 -1
  121. package/dist/lib/types/checksum.d.ts +3 -0
  122. package/dist/lib/types/checksum.d.ts.map +1 -1
  123. package/dist/lib/types/validation.d.ts +19 -1
  124. package/dist/lib/types/validation.d.ts.map +1 -1
  125. package/dist/lib/types/validation.js +19 -0
  126. package/dist/lib/types/validation.js.map +1 -1
  127. package/dist/lib/utils/collections.d.ts +15 -0
  128. package/dist/lib/utils/collections.d.ts.map +1 -1
  129. package/dist/lib/utils/collections.js +17 -0
  130. package/dist/lib/utils/collections.js.map +1 -1
  131. package/dist/lib/utils/origin-text.d.ts +62 -0
  132. package/dist/lib/utils/origin-text.d.ts.map +1 -0
  133. package/dist/lib/utils/origin-text.js +204 -0
  134. package/dist/lib/utils/origin-text.js.map +1 -0
  135. package/dist/lib/utils/sha256.d.ts +6 -0
  136. package/dist/lib/utils/sha256.d.ts.map +1 -0
  137. package/dist/lib/utils/sha256.js +98 -0
  138. package/dist/lib/utils/sha256.js.map +1 -0
  139. package/package.json +1 -1
@@ -0,0 +1,452 @@
1
+ import Type, { type Static } from "typebox";
2
+ /**
3
+ * An origin document attributed to a real, publicly reachable source.
4
+ *
5
+ * The attribution lives here rather than in `src/lib/` for the same reason
6
+ * `IEEECitationClaimSchema` does: core holds the slot — `CoreOriginDocument`
7
+ * carries `additionalProperties: true` — while the reference vocabulary stays
8
+ * an extension concern. A document with no attribution is complete and valid
9
+ * on its own; nothing prompts for one.
10
+ *
11
+ * No citation claim is created by attributing a document, so grammar rule D-5
12
+ * (citation-bound variables only in a derivation premise's antecedent) is
13
+ * untouched by attribution.
14
+ */
15
+ export declare const IEEEOriginDocumentSchema: Type.TIntersect<[Type.TObject<{
16
+ id: Type.TString;
17
+ text: Type.TString;
18
+ digest: Type.TString;
19
+ segments: Type.TOptional<Type.TArray<Type.TObject<{
20
+ segmentId: Type.TString;
21
+ startCodePoint: Type.TNumber;
22
+ endCodePoint: Type.TNumber;
23
+ }>>>;
24
+ checksum: Type.TString;
25
+ }>, Type.TObject<{
26
+ url: Type.TUnion<[Type.TString, Type.TNull]>;
27
+ reference: Type.TUnion<[Type.TIntersect<[Type.TObject<{
28
+ type: Type.TUnion<[Type.TLiteral<"Book">, Type.TLiteral<"Website">, Type.TLiteral<"BookChapter">, Type.TLiteral<"Handbook">, Type.TLiteral<"TechnicalReport">, Type.TLiteral<"Standard">, Type.TLiteral<"Thesis">, Type.TLiteral<"Patent">, Type.TLiteral<"Dictionary">, Type.TLiteral<"Encyclopedia">, Type.TLiteral<"JournalArticle">, Type.TLiteral<"MagazineArticle">, Type.TLiteral<"NewspaperArticle">, Type.TLiteral<"ConferencePaper">, Type.TLiteral<"ConferenceProceedings">, Type.TLiteral<"Dataset">, Type.TLiteral<"Software">, Type.TLiteral<"OnlineDocument">, Type.TLiteral<"Blog">, Type.TLiteral<"SocialMedia">, Type.TLiteral<"Preprint">, Type.TLiteral<"Video">, Type.TLiteral<"Podcast">, Type.TLiteral<"Course">, Type.TLiteral<"Presentation">, Type.TLiteral<"Interview">, Type.TLiteral<"PersonalCommunication">, Type.TLiteral<"Email">, Type.TLiteral<"Law">, Type.TLiteral<"CourtCase">, Type.TLiteral<"GovernmentPublication">, Type.TLiteral<"Datasheet">, Type.TLiteral<"ProductManual">]>;
29
+ }>, Type.TObject<{
30
+ type: Type.TLiteral<"Book">;
31
+ title: Type.TString;
32
+ year: Type.TString;
33
+ authors: Type.TArray<Type.TObject<{
34
+ givenNames: Type.TString;
35
+ familyName: Type.TString;
36
+ suffix: Type.TOptional<Type.TString>;
37
+ }>>;
38
+ edition: Type.TOptional<Type.TString>;
39
+ publisher: Type.TString;
40
+ location: Type.TOptional<Type.TString>;
41
+ isbn: Type.TOptional<Type.TString>;
42
+ }>]>, Type.TIntersect<[Type.TObject<{
43
+ type: Type.TUnion<[Type.TLiteral<"Book">, Type.TLiteral<"Website">, Type.TLiteral<"BookChapter">, Type.TLiteral<"Handbook">, Type.TLiteral<"TechnicalReport">, Type.TLiteral<"Standard">, Type.TLiteral<"Thesis">, Type.TLiteral<"Patent">, Type.TLiteral<"Dictionary">, Type.TLiteral<"Encyclopedia">, Type.TLiteral<"JournalArticle">, Type.TLiteral<"MagazineArticle">, Type.TLiteral<"NewspaperArticle">, Type.TLiteral<"ConferencePaper">, Type.TLiteral<"ConferenceProceedings">, Type.TLiteral<"Dataset">, Type.TLiteral<"Software">, Type.TLiteral<"OnlineDocument">, Type.TLiteral<"Blog">, Type.TLiteral<"SocialMedia">, Type.TLiteral<"Preprint">, Type.TLiteral<"Video">, Type.TLiteral<"Podcast">, Type.TLiteral<"Course">, Type.TLiteral<"Presentation">, Type.TLiteral<"Interview">, Type.TLiteral<"PersonalCommunication">, Type.TLiteral<"Email">, Type.TLiteral<"Law">, Type.TLiteral<"CourtCase">, Type.TLiteral<"GovernmentPublication">, Type.TLiteral<"Datasheet">, Type.TLiteral<"ProductManual">]>;
44
+ }>, Type.TObject<{
45
+ type: Type.TLiteral<"Website">;
46
+ authors: Type.TArray<Type.TObject<{
47
+ givenNames: Type.TString;
48
+ familyName: Type.TString;
49
+ suffix: Type.TOptional<Type.TString>;
50
+ }>>;
51
+ pageTitle: Type.TString;
52
+ websiteTitle: Type.TString;
53
+ accessedDate: Type.TCodec<Type.TRefine<Type.TUnsafe<Date>>, Date>;
54
+ url: Type.TString;
55
+ }>]>, Type.TIntersect<[Type.TObject<{
56
+ type: Type.TUnion<[Type.TLiteral<"Book">, Type.TLiteral<"Website">, Type.TLiteral<"BookChapter">, Type.TLiteral<"Handbook">, Type.TLiteral<"TechnicalReport">, Type.TLiteral<"Standard">, Type.TLiteral<"Thesis">, Type.TLiteral<"Patent">, Type.TLiteral<"Dictionary">, Type.TLiteral<"Encyclopedia">, Type.TLiteral<"JournalArticle">, Type.TLiteral<"MagazineArticle">, Type.TLiteral<"NewspaperArticle">, Type.TLiteral<"ConferencePaper">, Type.TLiteral<"ConferenceProceedings">, Type.TLiteral<"Dataset">, Type.TLiteral<"Software">, Type.TLiteral<"OnlineDocument">, Type.TLiteral<"Blog">, Type.TLiteral<"SocialMedia">, Type.TLiteral<"Preprint">, Type.TLiteral<"Video">, Type.TLiteral<"Podcast">, Type.TLiteral<"Course">, Type.TLiteral<"Presentation">, Type.TLiteral<"Interview">, Type.TLiteral<"PersonalCommunication">, Type.TLiteral<"Email">, Type.TLiteral<"Law">, Type.TLiteral<"CourtCase">, Type.TLiteral<"GovernmentPublication">, Type.TLiteral<"Datasheet">, Type.TLiteral<"ProductManual">]>;
57
+ }>, Type.TObject<{
58
+ type: Type.TLiteral<"BookChapter">;
59
+ chapterTitle: Type.TString;
60
+ year: Type.TString;
61
+ authors: Type.TArray<Type.TObject<{
62
+ givenNames: Type.TString;
63
+ familyName: Type.TString;
64
+ suffix: Type.TOptional<Type.TString>;
65
+ }>>;
66
+ bookTitle: Type.TString;
67
+ editors: Type.TOptional<Type.TArray<Type.TObject<{
68
+ givenNames: Type.TString;
69
+ familyName: Type.TString;
70
+ suffix: Type.TOptional<Type.TString>;
71
+ }>>>;
72
+ publisher: Type.TString;
73
+ location: Type.TString;
74
+ pages: Type.TOptional<Type.TString>;
75
+ isbn: Type.TOptional<Type.TString>;
76
+ }>]>, Type.TIntersect<[Type.TObject<{
77
+ type: Type.TUnion<[Type.TLiteral<"Book">, Type.TLiteral<"Website">, Type.TLiteral<"BookChapter">, Type.TLiteral<"Handbook">, Type.TLiteral<"TechnicalReport">, Type.TLiteral<"Standard">, Type.TLiteral<"Thesis">, Type.TLiteral<"Patent">, Type.TLiteral<"Dictionary">, Type.TLiteral<"Encyclopedia">, Type.TLiteral<"JournalArticle">, Type.TLiteral<"MagazineArticle">, Type.TLiteral<"NewspaperArticle">, Type.TLiteral<"ConferencePaper">, Type.TLiteral<"ConferenceProceedings">, Type.TLiteral<"Dataset">, Type.TLiteral<"Software">, Type.TLiteral<"OnlineDocument">, Type.TLiteral<"Blog">, Type.TLiteral<"SocialMedia">, Type.TLiteral<"Preprint">, Type.TLiteral<"Video">, Type.TLiteral<"Podcast">, Type.TLiteral<"Course">, Type.TLiteral<"Presentation">, Type.TLiteral<"Interview">, Type.TLiteral<"PersonalCommunication">, Type.TLiteral<"Email">, Type.TLiteral<"Law">, Type.TLiteral<"CourtCase">, Type.TLiteral<"GovernmentPublication">, Type.TLiteral<"Datasheet">, Type.TLiteral<"ProductManual">]>;
78
+ }>, Type.TObject<{
79
+ type: Type.TLiteral<"Handbook">;
80
+ title: Type.TString;
81
+ year: Type.TString;
82
+ publisher: Type.TString;
83
+ edition: Type.TOptional<Type.TString>;
84
+ location: Type.TString;
85
+ isbn: Type.TOptional<Type.TString>;
86
+ }>]>, Type.TIntersect<[Type.TObject<{
87
+ type: Type.TUnion<[Type.TLiteral<"Book">, Type.TLiteral<"Website">, Type.TLiteral<"BookChapter">, Type.TLiteral<"Handbook">, Type.TLiteral<"TechnicalReport">, Type.TLiteral<"Standard">, Type.TLiteral<"Thesis">, Type.TLiteral<"Patent">, Type.TLiteral<"Dictionary">, Type.TLiteral<"Encyclopedia">, Type.TLiteral<"JournalArticle">, Type.TLiteral<"MagazineArticle">, Type.TLiteral<"NewspaperArticle">, Type.TLiteral<"ConferencePaper">, Type.TLiteral<"ConferenceProceedings">, Type.TLiteral<"Dataset">, Type.TLiteral<"Software">, Type.TLiteral<"OnlineDocument">, Type.TLiteral<"Blog">, Type.TLiteral<"SocialMedia">, Type.TLiteral<"Preprint">, Type.TLiteral<"Video">, Type.TLiteral<"Podcast">, Type.TLiteral<"Course">, Type.TLiteral<"Presentation">, Type.TLiteral<"Interview">, Type.TLiteral<"PersonalCommunication">, Type.TLiteral<"Email">, Type.TLiteral<"Law">, Type.TLiteral<"CourtCase">, Type.TLiteral<"GovernmentPublication">, Type.TLiteral<"Datasheet">, Type.TLiteral<"ProductManual">]>;
88
+ }>, Type.TObject<{
89
+ type: Type.TLiteral<"TechnicalReport">;
90
+ title: Type.TString;
91
+ year: Type.TString;
92
+ authors: Type.TArray<Type.TObject<{
93
+ givenNames: Type.TString;
94
+ familyName: Type.TString;
95
+ suffix: Type.TOptional<Type.TString>;
96
+ }>>;
97
+ reportNumber: Type.TString;
98
+ institution: Type.TString;
99
+ location: Type.TString;
100
+ }>]>, Type.TIntersect<[Type.TObject<{
101
+ type: Type.TUnion<[Type.TLiteral<"Book">, Type.TLiteral<"Website">, Type.TLiteral<"BookChapter">, Type.TLiteral<"Handbook">, Type.TLiteral<"TechnicalReport">, Type.TLiteral<"Standard">, Type.TLiteral<"Thesis">, Type.TLiteral<"Patent">, Type.TLiteral<"Dictionary">, Type.TLiteral<"Encyclopedia">, Type.TLiteral<"JournalArticle">, Type.TLiteral<"MagazineArticle">, Type.TLiteral<"NewspaperArticle">, Type.TLiteral<"ConferencePaper">, Type.TLiteral<"ConferenceProceedings">, Type.TLiteral<"Dataset">, Type.TLiteral<"Software">, Type.TLiteral<"OnlineDocument">, Type.TLiteral<"Blog">, Type.TLiteral<"SocialMedia">, Type.TLiteral<"Preprint">, Type.TLiteral<"Video">, Type.TLiteral<"Podcast">, Type.TLiteral<"Course">, Type.TLiteral<"Presentation">, Type.TLiteral<"Interview">, Type.TLiteral<"PersonalCommunication">, Type.TLiteral<"Email">, Type.TLiteral<"Law">, Type.TLiteral<"CourtCase">, Type.TLiteral<"GovernmentPublication">, Type.TLiteral<"Datasheet">, Type.TLiteral<"ProductManual">]>;
102
+ }>, Type.TObject<{
103
+ type: Type.TLiteral<"Standard">;
104
+ organization: Type.TString;
105
+ standardNumber: Type.TString;
106
+ title: Type.TString;
107
+ date: Type.TCodec<Type.TRefine<Type.TUnsafe<Date>>, Date>;
108
+ }>]>, Type.TIntersect<[Type.TObject<{
109
+ type: Type.TUnion<[Type.TLiteral<"Book">, Type.TLiteral<"Website">, Type.TLiteral<"BookChapter">, Type.TLiteral<"Handbook">, Type.TLiteral<"TechnicalReport">, Type.TLiteral<"Standard">, Type.TLiteral<"Thesis">, Type.TLiteral<"Patent">, Type.TLiteral<"Dictionary">, Type.TLiteral<"Encyclopedia">, Type.TLiteral<"JournalArticle">, Type.TLiteral<"MagazineArticle">, Type.TLiteral<"NewspaperArticle">, Type.TLiteral<"ConferencePaper">, Type.TLiteral<"ConferenceProceedings">, Type.TLiteral<"Dataset">, Type.TLiteral<"Software">, Type.TLiteral<"OnlineDocument">, Type.TLiteral<"Blog">, Type.TLiteral<"SocialMedia">, Type.TLiteral<"Preprint">, Type.TLiteral<"Video">, Type.TLiteral<"Podcast">, Type.TLiteral<"Course">, Type.TLiteral<"Presentation">, Type.TLiteral<"Interview">, Type.TLiteral<"PersonalCommunication">, Type.TLiteral<"Email">, Type.TLiteral<"Law">, Type.TLiteral<"CourtCase">, Type.TLiteral<"GovernmentPublication">, Type.TLiteral<"Datasheet">, Type.TLiteral<"ProductManual">]>;
110
+ }>, Type.TObject<{
111
+ type: Type.TLiteral<"Thesis">;
112
+ title: Type.TString;
113
+ year: Type.TString;
114
+ authors: Type.TArray<Type.TObject<{
115
+ givenNames: Type.TString;
116
+ familyName: Type.TString;
117
+ suffix: Type.TOptional<Type.TString>;
118
+ }>>;
119
+ degree: Type.TString;
120
+ institution: Type.TString;
121
+ location: Type.TString;
122
+ }>]>, Type.TIntersect<[Type.TObject<{
123
+ type: Type.TUnion<[Type.TLiteral<"Book">, Type.TLiteral<"Website">, Type.TLiteral<"BookChapter">, Type.TLiteral<"Handbook">, Type.TLiteral<"TechnicalReport">, Type.TLiteral<"Standard">, Type.TLiteral<"Thesis">, Type.TLiteral<"Patent">, Type.TLiteral<"Dictionary">, Type.TLiteral<"Encyclopedia">, Type.TLiteral<"JournalArticle">, Type.TLiteral<"MagazineArticle">, Type.TLiteral<"NewspaperArticle">, Type.TLiteral<"ConferencePaper">, Type.TLiteral<"ConferenceProceedings">, Type.TLiteral<"Dataset">, Type.TLiteral<"Software">, Type.TLiteral<"OnlineDocument">, Type.TLiteral<"Blog">, Type.TLiteral<"SocialMedia">, Type.TLiteral<"Preprint">, Type.TLiteral<"Video">, Type.TLiteral<"Podcast">, Type.TLiteral<"Course">, Type.TLiteral<"Presentation">, Type.TLiteral<"Interview">, Type.TLiteral<"PersonalCommunication">, Type.TLiteral<"Email">, Type.TLiteral<"Law">, Type.TLiteral<"CourtCase">, Type.TLiteral<"GovernmentPublication">, Type.TLiteral<"Datasheet">, Type.TLiteral<"ProductManual">]>;
124
+ }>, Type.TObject<{
125
+ type: Type.TLiteral<"Patent">;
126
+ title: Type.TString;
127
+ inventors: Type.TArray<Type.TObject<{
128
+ givenNames: Type.TString;
129
+ familyName: Type.TString;
130
+ suffix: Type.TOptional<Type.TString>;
131
+ }>>;
132
+ country: Type.TString;
133
+ patentNumber: Type.TString;
134
+ date: Type.TCodec<Type.TRefine<Type.TUnsafe<Date>>, Date>;
135
+ }>]>, Type.TIntersect<[Type.TObject<{
136
+ type: Type.TUnion<[Type.TLiteral<"Book">, Type.TLiteral<"Website">, Type.TLiteral<"BookChapter">, Type.TLiteral<"Handbook">, Type.TLiteral<"TechnicalReport">, Type.TLiteral<"Standard">, Type.TLiteral<"Thesis">, Type.TLiteral<"Patent">, Type.TLiteral<"Dictionary">, Type.TLiteral<"Encyclopedia">, Type.TLiteral<"JournalArticle">, Type.TLiteral<"MagazineArticle">, Type.TLiteral<"NewspaperArticle">, Type.TLiteral<"ConferencePaper">, Type.TLiteral<"ConferenceProceedings">, Type.TLiteral<"Dataset">, Type.TLiteral<"Software">, Type.TLiteral<"OnlineDocument">, Type.TLiteral<"Blog">, Type.TLiteral<"SocialMedia">, Type.TLiteral<"Preprint">, Type.TLiteral<"Video">, Type.TLiteral<"Podcast">, Type.TLiteral<"Course">, Type.TLiteral<"Presentation">, Type.TLiteral<"Interview">, Type.TLiteral<"PersonalCommunication">, Type.TLiteral<"Email">, Type.TLiteral<"Law">, Type.TLiteral<"CourtCase">, Type.TLiteral<"GovernmentPublication">, Type.TLiteral<"Datasheet">, Type.TLiteral<"ProductManual">]>;
137
+ }>, Type.TObject<{
138
+ type: Type.TLiteral<"Dictionary">;
139
+ title: Type.TString;
140
+ year: Type.TString;
141
+ publisher: Type.TString;
142
+ edition: Type.TOptional<Type.TString>;
143
+ }>]>, Type.TIntersect<[Type.TObject<{
144
+ type: Type.TUnion<[Type.TLiteral<"Book">, Type.TLiteral<"Website">, Type.TLiteral<"BookChapter">, Type.TLiteral<"Handbook">, Type.TLiteral<"TechnicalReport">, Type.TLiteral<"Standard">, Type.TLiteral<"Thesis">, Type.TLiteral<"Patent">, Type.TLiteral<"Dictionary">, Type.TLiteral<"Encyclopedia">, Type.TLiteral<"JournalArticle">, Type.TLiteral<"MagazineArticle">, Type.TLiteral<"NewspaperArticle">, Type.TLiteral<"ConferencePaper">, Type.TLiteral<"ConferenceProceedings">, Type.TLiteral<"Dataset">, Type.TLiteral<"Software">, Type.TLiteral<"OnlineDocument">, Type.TLiteral<"Blog">, Type.TLiteral<"SocialMedia">, Type.TLiteral<"Preprint">, Type.TLiteral<"Video">, Type.TLiteral<"Podcast">, Type.TLiteral<"Course">, Type.TLiteral<"Presentation">, Type.TLiteral<"Interview">, Type.TLiteral<"PersonalCommunication">, Type.TLiteral<"Email">, Type.TLiteral<"Law">, Type.TLiteral<"CourtCase">, Type.TLiteral<"GovernmentPublication">, Type.TLiteral<"Datasheet">, Type.TLiteral<"ProductManual">]>;
145
+ }>, Type.TObject<{
146
+ type: Type.TLiteral<"Encyclopedia">;
147
+ title: Type.TString;
148
+ year: Type.TString;
149
+ publisher: Type.TString;
150
+ edition: Type.TOptional<Type.TString>;
151
+ }>]>, Type.TIntersect<[Type.TObject<{
152
+ type: Type.TUnion<[Type.TLiteral<"Book">, Type.TLiteral<"Website">, Type.TLiteral<"BookChapter">, Type.TLiteral<"Handbook">, Type.TLiteral<"TechnicalReport">, Type.TLiteral<"Standard">, Type.TLiteral<"Thesis">, Type.TLiteral<"Patent">, Type.TLiteral<"Dictionary">, Type.TLiteral<"Encyclopedia">, Type.TLiteral<"JournalArticle">, Type.TLiteral<"MagazineArticle">, Type.TLiteral<"NewspaperArticle">, Type.TLiteral<"ConferencePaper">, Type.TLiteral<"ConferenceProceedings">, Type.TLiteral<"Dataset">, Type.TLiteral<"Software">, Type.TLiteral<"OnlineDocument">, Type.TLiteral<"Blog">, Type.TLiteral<"SocialMedia">, Type.TLiteral<"Preprint">, Type.TLiteral<"Video">, Type.TLiteral<"Podcast">, Type.TLiteral<"Course">, Type.TLiteral<"Presentation">, Type.TLiteral<"Interview">, Type.TLiteral<"PersonalCommunication">, Type.TLiteral<"Email">, Type.TLiteral<"Law">, Type.TLiteral<"CourtCase">, Type.TLiteral<"GovernmentPublication">, Type.TLiteral<"Datasheet">, Type.TLiteral<"ProductManual">]>;
153
+ }>, Type.TObject<{
154
+ type: Type.TLiteral<"JournalArticle">;
155
+ title: Type.TString;
156
+ year: Type.TString;
157
+ authors: Type.TArray<Type.TObject<{
158
+ givenNames: Type.TString;
159
+ familyName: Type.TString;
160
+ suffix: Type.TOptional<Type.TString>;
161
+ }>>;
162
+ journalTitle: Type.TString;
163
+ volume: Type.TOptional<Type.TString>;
164
+ issue: Type.TOptional<Type.TString>;
165
+ pages: Type.TOptional<Type.TString>;
166
+ doi: Type.TOptional<Type.TString>;
167
+ }>]>, Type.TIntersect<[Type.TObject<{
168
+ type: Type.TUnion<[Type.TLiteral<"Book">, Type.TLiteral<"Website">, Type.TLiteral<"BookChapter">, Type.TLiteral<"Handbook">, Type.TLiteral<"TechnicalReport">, Type.TLiteral<"Standard">, Type.TLiteral<"Thesis">, Type.TLiteral<"Patent">, Type.TLiteral<"Dictionary">, Type.TLiteral<"Encyclopedia">, Type.TLiteral<"JournalArticle">, Type.TLiteral<"MagazineArticle">, Type.TLiteral<"NewspaperArticle">, Type.TLiteral<"ConferencePaper">, Type.TLiteral<"ConferenceProceedings">, Type.TLiteral<"Dataset">, Type.TLiteral<"Software">, Type.TLiteral<"OnlineDocument">, Type.TLiteral<"Blog">, Type.TLiteral<"SocialMedia">, Type.TLiteral<"Preprint">, Type.TLiteral<"Video">, Type.TLiteral<"Podcast">, Type.TLiteral<"Course">, Type.TLiteral<"Presentation">, Type.TLiteral<"Interview">, Type.TLiteral<"PersonalCommunication">, Type.TLiteral<"Email">, Type.TLiteral<"Law">, Type.TLiteral<"CourtCase">, Type.TLiteral<"GovernmentPublication">, Type.TLiteral<"Datasheet">, Type.TLiteral<"ProductManual">]>;
169
+ }>, Type.TObject<{
170
+ type: Type.TLiteral<"MagazineArticle">;
171
+ title: Type.TString;
172
+ year: Type.TString;
173
+ authors: Type.TArray<Type.TObject<{
174
+ givenNames: Type.TString;
175
+ familyName: Type.TString;
176
+ suffix: Type.TOptional<Type.TString>;
177
+ }>>;
178
+ magazineTitle: Type.TString;
179
+ volume: Type.TOptional<Type.TString>;
180
+ issue: Type.TOptional<Type.TString>;
181
+ pages: Type.TOptional<Type.TString>;
182
+ }>]>, Type.TIntersect<[Type.TObject<{
183
+ type: Type.TUnion<[Type.TLiteral<"Book">, Type.TLiteral<"Website">, Type.TLiteral<"BookChapter">, Type.TLiteral<"Handbook">, Type.TLiteral<"TechnicalReport">, Type.TLiteral<"Standard">, Type.TLiteral<"Thesis">, Type.TLiteral<"Patent">, Type.TLiteral<"Dictionary">, Type.TLiteral<"Encyclopedia">, Type.TLiteral<"JournalArticle">, Type.TLiteral<"MagazineArticle">, Type.TLiteral<"NewspaperArticle">, Type.TLiteral<"ConferencePaper">, Type.TLiteral<"ConferenceProceedings">, Type.TLiteral<"Dataset">, Type.TLiteral<"Software">, Type.TLiteral<"OnlineDocument">, Type.TLiteral<"Blog">, Type.TLiteral<"SocialMedia">, Type.TLiteral<"Preprint">, Type.TLiteral<"Video">, Type.TLiteral<"Podcast">, Type.TLiteral<"Course">, Type.TLiteral<"Presentation">, Type.TLiteral<"Interview">, Type.TLiteral<"PersonalCommunication">, Type.TLiteral<"Email">, Type.TLiteral<"Law">, Type.TLiteral<"CourtCase">, Type.TLiteral<"GovernmentPublication">, Type.TLiteral<"Datasheet">, Type.TLiteral<"ProductManual">]>;
184
+ }>, Type.TObject<{
185
+ type: Type.TLiteral<"NewspaperArticle">;
186
+ title: Type.TString;
187
+ authors: Type.TArray<Type.TObject<{
188
+ givenNames: Type.TString;
189
+ familyName: Type.TString;
190
+ suffix: Type.TOptional<Type.TString>;
191
+ }>>;
192
+ newspaperTitle: Type.TString;
193
+ date: Type.TCodec<Type.TRefine<Type.TUnsafe<Date>>, Date>;
194
+ pages: Type.TOptional<Type.TString>;
195
+ }>]>, Type.TIntersect<[Type.TObject<{
196
+ type: Type.TUnion<[Type.TLiteral<"Book">, Type.TLiteral<"Website">, Type.TLiteral<"BookChapter">, Type.TLiteral<"Handbook">, Type.TLiteral<"TechnicalReport">, Type.TLiteral<"Standard">, Type.TLiteral<"Thesis">, Type.TLiteral<"Patent">, Type.TLiteral<"Dictionary">, Type.TLiteral<"Encyclopedia">, Type.TLiteral<"JournalArticle">, Type.TLiteral<"MagazineArticle">, Type.TLiteral<"NewspaperArticle">, Type.TLiteral<"ConferencePaper">, Type.TLiteral<"ConferenceProceedings">, Type.TLiteral<"Dataset">, Type.TLiteral<"Software">, Type.TLiteral<"OnlineDocument">, Type.TLiteral<"Blog">, Type.TLiteral<"SocialMedia">, Type.TLiteral<"Preprint">, Type.TLiteral<"Video">, Type.TLiteral<"Podcast">, Type.TLiteral<"Course">, Type.TLiteral<"Presentation">, Type.TLiteral<"Interview">, Type.TLiteral<"PersonalCommunication">, Type.TLiteral<"Email">, Type.TLiteral<"Law">, Type.TLiteral<"CourtCase">, Type.TLiteral<"GovernmentPublication">, Type.TLiteral<"Datasheet">, Type.TLiteral<"ProductManual">]>;
197
+ }>, Type.TObject<{
198
+ type: Type.TLiteral<"ConferencePaper">;
199
+ title: Type.TString;
200
+ authors: Type.TArray<Type.TObject<{
201
+ givenNames: Type.TString;
202
+ familyName: Type.TString;
203
+ suffix: Type.TOptional<Type.TString>;
204
+ }>>;
205
+ conferenceName: Type.TString;
206
+ location: Type.TString;
207
+ date: Type.TCodec<Type.TRefine<Type.TUnsafe<Date>>, Date>;
208
+ pages: Type.TOptional<Type.TString>;
209
+ doi: Type.TOptional<Type.TString>;
210
+ }>]>, Type.TIntersect<[Type.TObject<{
211
+ type: Type.TUnion<[Type.TLiteral<"Book">, Type.TLiteral<"Website">, Type.TLiteral<"BookChapter">, Type.TLiteral<"Handbook">, Type.TLiteral<"TechnicalReport">, Type.TLiteral<"Standard">, Type.TLiteral<"Thesis">, Type.TLiteral<"Patent">, Type.TLiteral<"Dictionary">, Type.TLiteral<"Encyclopedia">, Type.TLiteral<"JournalArticle">, Type.TLiteral<"MagazineArticle">, Type.TLiteral<"NewspaperArticle">, Type.TLiteral<"ConferencePaper">, Type.TLiteral<"ConferenceProceedings">, Type.TLiteral<"Dataset">, Type.TLiteral<"Software">, Type.TLiteral<"OnlineDocument">, Type.TLiteral<"Blog">, Type.TLiteral<"SocialMedia">, Type.TLiteral<"Preprint">, Type.TLiteral<"Video">, Type.TLiteral<"Podcast">, Type.TLiteral<"Course">, Type.TLiteral<"Presentation">, Type.TLiteral<"Interview">, Type.TLiteral<"PersonalCommunication">, Type.TLiteral<"Email">, Type.TLiteral<"Law">, Type.TLiteral<"CourtCase">, Type.TLiteral<"GovernmentPublication">, Type.TLiteral<"Datasheet">, Type.TLiteral<"ProductManual">]>;
212
+ }>, Type.TObject<{
213
+ type: Type.TLiteral<"ConferenceProceedings">;
214
+ editors: Type.TOptional<Type.TArray<Type.TObject<{
215
+ givenNames: Type.TString;
216
+ familyName: Type.TString;
217
+ suffix: Type.TOptional<Type.TString>;
218
+ }>>>;
219
+ conferenceName: Type.TString;
220
+ location: Type.TString;
221
+ date: Type.TCodec<Type.TRefine<Type.TUnsafe<Date>>, Date>;
222
+ publisher: Type.TString;
223
+ isbn: Type.TOptional<Type.TString>;
224
+ }>]>, Type.TIntersect<[Type.TObject<{
225
+ type: Type.TUnion<[Type.TLiteral<"Book">, Type.TLiteral<"Website">, Type.TLiteral<"BookChapter">, Type.TLiteral<"Handbook">, Type.TLiteral<"TechnicalReport">, Type.TLiteral<"Standard">, Type.TLiteral<"Thesis">, Type.TLiteral<"Patent">, Type.TLiteral<"Dictionary">, Type.TLiteral<"Encyclopedia">, Type.TLiteral<"JournalArticle">, Type.TLiteral<"MagazineArticle">, Type.TLiteral<"NewspaperArticle">, Type.TLiteral<"ConferencePaper">, Type.TLiteral<"ConferenceProceedings">, Type.TLiteral<"Dataset">, Type.TLiteral<"Software">, Type.TLiteral<"OnlineDocument">, Type.TLiteral<"Blog">, Type.TLiteral<"SocialMedia">, Type.TLiteral<"Preprint">, Type.TLiteral<"Video">, Type.TLiteral<"Podcast">, Type.TLiteral<"Course">, Type.TLiteral<"Presentation">, Type.TLiteral<"Interview">, Type.TLiteral<"PersonalCommunication">, Type.TLiteral<"Email">, Type.TLiteral<"Law">, Type.TLiteral<"CourtCase">, Type.TLiteral<"GovernmentPublication">, Type.TLiteral<"Datasheet">, Type.TLiteral<"ProductManual">]>;
226
+ }>, Type.TObject<{
227
+ type: Type.TLiteral<"Dataset">;
228
+ title: Type.TString;
229
+ year: Type.TString;
230
+ authors: Type.TOptional<Type.TArray<Type.TObject<{
231
+ givenNames: Type.TString;
232
+ familyName: Type.TString;
233
+ suffix: Type.TOptional<Type.TString>;
234
+ }>>>;
235
+ repository: Type.TString;
236
+ version: Type.TOptional<Type.TString>;
237
+ doi: Type.TOptional<Type.TString>;
238
+ url: Type.TString;
239
+ }>]>, Type.TIntersect<[Type.TObject<{
240
+ type: Type.TUnion<[Type.TLiteral<"Book">, Type.TLiteral<"Website">, Type.TLiteral<"BookChapter">, Type.TLiteral<"Handbook">, Type.TLiteral<"TechnicalReport">, Type.TLiteral<"Standard">, Type.TLiteral<"Thesis">, Type.TLiteral<"Patent">, Type.TLiteral<"Dictionary">, Type.TLiteral<"Encyclopedia">, Type.TLiteral<"JournalArticle">, Type.TLiteral<"MagazineArticle">, Type.TLiteral<"NewspaperArticle">, Type.TLiteral<"ConferencePaper">, Type.TLiteral<"ConferenceProceedings">, Type.TLiteral<"Dataset">, Type.TLiteral<"Software">, Type.TLiteral<"OnlineDocument">, Type.TLiteral<"Blog">, Type.TLiteral<"SocialMedia">, Type.TLiteral<"Preprint">, Type.TLiteral<"Video">, Type.TLiteral<"Podcast">, Type.TLiteral<"Course">, Type.TLiteral<"Presentation">, Type.TLiteral<"Interview">, Type.TLiteral<"PersonalCommunication">, Type.TLiteral<"Email">, Type.TLiteral<"Law">, Type.TLiteral<"CourtCase">, Type.TLiteral<"GovernmentPublication">, Type.TLiteral<"Datasheet">, Type.TLiteral<"ProductManual">]>;
241
+ }>, Type.TObject<{
242
+ type: Type.TLiteral<"Software">;
243
+ title: Type.TString;
244
+ year: Type.TString;
245
+ authors: Type.TOptional<Type.TArray<Type.TObject<{
246
+ givenNames: Type.TString;
247
+ familyName: Type.TString;
248
+ suffix: Type.TOptional<Type.TString>;
249
+ }>>>;
250
+ version: Type.TOptional<Type.TString>;
251
+ publisher: Type.TOptional<Type.TString>;
252
+ doi: Type.TOptional<Type.TString>;
253
+ url: Type.TString;
254
+ }>]>, Type.TIntersect<[Type.TObject<{
255
+ type: Type.TUnion<[Type.TLiteral<"Book">, Type.TLiteral<"Website">, Type.TLiteral<"BookChapter">, Type.TLiteral<"Handbook">, Type.TLiteral<"TechnicalReport">, Type.TLiteral<"Standard">, Type.TLiteral<"Thesis">, Type.TLiteral<"Patent">, Type.TLiteral<"Dictionary">, Type.TLiteral<"Encyclopedia">, Type.TLiteral<"JournalArticle">, Type.TLiteral<"MagazineArticle">, Type.TLiteral<"NewspaperArticle">, Type.TLiteral<"ConferencePaper">, Type.TLiteral<"ConferenceProceedings">, Type.TLiteral<"Dataset">, Type.TLiteral<"Software">, Type.TLiteral<"OnlineDocument">, Type.TLiteral<"Blog">, Type.TLiteral<"SocialMedia">, Type.TLiteral<"Preprint">, Type.TLiteral<"Video">, Type.TLiteral<"Podcast">, Type.TLiteral<"Course">, Type.TLiteral<"Presentation">, Type.TLiteral<"Interview">, Type.TLiteral<"PersonalCommunication">, Type.TLiteral<"Email">, Type.TLiteral<"Law">, Type.TLiteral<"CourtCase">, Type.TLiteral<"GovernmentPublication">, Type.TLiteral<"Datasheet">, Type.TLiteral<"ProductManual">]>;
256
+ }>, Type.TObject<{
257
+ type: Type.TLiteral<"OnlineDocument">;
258
+ authors: Type.TOptional<Type.TArray<Type.TObject<{
259
+ givenNames: Type.TString;
260
+ familyName: Type.TString;
261
+ suffix: Type.TOptional<Type.TString>;
262
+ }>>>;
263
+ title: Type.TString;
264
+ publisher: Type.TOptional<Type.TString>;
265
+ url: Type.TString;
266
+ accessedDate: Type.TCodec<Type.TRefine<Type.TUnsafe<Date>>, Date>;
267
+ }>]>, Type.TIntersect<[Type.TObject<{
268
+ type: Type.TUnion<[Type.TLiteral<"Book">, Type.TLiteral<"Website">, Type.TLiteral<"BookChapter">, Type.TLiteral<"Handbook">, Type.TLiteral<"TechnicalReport">, Type.TLiteral<"Standard">, Type.TLiteral<"Thesis">, Type.TLiteral<"Patent">, Type.TLiteral<"Dictionary">, Type.TLiteral<"Encyclopedia">, Type.TLiteral<"JournalArticle">, Type.TLiteral<"MagazineArticle">, Type.TLiteral<"NewspaperArticle">, Type.TLiteral<"ConferencePaper">, Type.TLiteral<"ConferenceProceedings">, Type.TLiteral<"Dataset">, Type.TLiteral<"Software">, Type.TLiteral<"OnlineDocument">, Type.TLiteral<"Blog">, Type.TLiteral<"SocialMedia">, Type.TLiteral<"Preprint">, Type.TLiteral<"Video">, Type.TLiteral<"Podcast">, Type.TLiteral<"Course">, Type.TLiteral<"Presentation">, Type.TLiteral<"Interview">, Type.TLiteral<"PersonalCommunication">, Type.TLiteral<"Email">, Type.TLiteral<"Law">, Type.TLiteral<"CourtCase">, Type.TLiteral<"GovernmentPublication">, Type.TLiteral<"Datasheet">, Type.TLiteral<"ProductManual">]>;
269
+ }>, Type.TObject<{
270
+ type: Type.TLiteral<"Blog">;
271
+ author: Type.TObject<{
272
+ givenNames: Type.TString;
273
+ familyName: Type.TString;
274
+ suffix: Type.TOptional<Type.TString>;
275
+ }>;
276
+ postTitle: Type.TString;
277
+ blogName: Type.TString;
278
+ date: Type.TCodec<Type.TRefine<Type.TUnsafe<Date>>, Date>;
279
+ url: Type.TString;
280
+ accessedDate: Type.TCodec<Type.TRefine<Type.TUnsafe<Date>>, Date>;
281
+ }>]>, Type.TIntersect<[Type.TObject<{
282
+ type: Type.TUnion<[Type.TLiteral<"Book">, Type.TLiteral<"Website">, Type.TLiteral<"BookChapter">, Type.TLiteral<"Handbook">, Type.TLiteral<"TechnicalReport">, Type.TLiteral<"Standard">, Type.TLiteral<"Thesis">, Type.TLiteral<"Patent">, Type.TLiteral<"Dictionary">, Type.TLiteral<"Encyclopedia">, Type.TLiteral<"JournalArticle">, Type.TLiteral<"MagazineArticle">, Type.TLiteral<"NewspaperArticle">, Type.TLiteral<"ConferencePaper">, Type.TLiteral<"ConferenceProceedings">, Type.TLiteral<"Dataset">, Type.TLiteral<"Software">, Type.TLiteral<"OnlineDocument">, Type.TLiteral<"Blog">, Type.TLiteral<"SocialMedia">, Type.TLiteral<"Preprint">, Type.TLiteral<"Video">, Type.TLiteral<"Podcast">, Type.TLiteral<"Course">, Type.TLiteral<"Presentation">, Type.TLiteral<"Interview">, Type.TLiteral<"PersonalCommunication">, Type.TLiteral<"Email">, Type.TLiteral<"Law">, Type.TLiteral<"CourtCase">, Type.TLiteral<"GovernmentPublication">, Type.TLiteral<"Datasheet">, Type.TLiteral<"ProductManual">]>;
283
+ }>, Type.TObject<{
284
+ type: Type.TLiteral<"SocialMedia">;
285
+ author: Type.TObject<{
286
+ givenNames: Type.TString;
287
+ familyName: Type.TString;
288
+ suffix: Type.TOptional<Type.TString>;
289
+ }>;
290
+ platform: Type.TString;
291
+ postDate: Type.TCodec<Type.TRefine<Type.TUnsafe<Date>>, Date>;
292
+ url: Type.TString;
293
+ }>]>, Type.TIntersect<[Type.TObject<{
294
+ type: Type.TUnion<[Type.TLiteral<"Book">, Type.TLiteral<"Website">, Type.TLiteral<"BookChapter">, Type.TLiteral<"Handbook">, Type.TLiteral<"TechnicalReport">, Type.TLiteral<"Standard">, Type.TLiteral<"Thesis">, Type.TLiteral<"Patent">, Type.TLiteral<"Dictionary">, Type.TLiteral<"Encyclopedia">, Type.TLiteral<"JournalArticle">, Type.TLiteral<"MagazineArticle">, Type.TLiteral<"NewspaperArticle">, Type.TLiteral<"ConferencePaper">, Type.TLiteral<"ConferenceProceedings">, Type.TLiteral<"Dataset">, Type.TLiteral<"Software">, Type.TLiteral<"OnlineDocument">, Type.TLiteral<"Blog">, Type.TLiteral<"SocialMedia">, Type.TLiteral<"Preprint">, Type.TLiteral<"Video">, Type.TLiteral<"Podcast">, Type.TLiteral<"Course">, Type.TLiteral<"Presentation">, Type.TLiteral<"Interview">, Type.TLiteral<"PersonalCommunication">, Type.TLiteral<"Email">, Type.TLiteral<"Law">, Type.TLiteral<"CourtCase">, Type.TLiteral<"GovernmentPublication">, Type.TLiteral<"Datasheet">, Type.TLiteral<"ProductManual">]>;
295
+ }>, Type.TObject<{
296
+ type: Type.TLiteral<"Preprint">;
297
+ title: Type.TString;
298
+ year: Type.TString;
299
+ authors: Type.TArray<Type.TObject<{
300
+ givenNames: Type.TString;
301
+ familyName: Type.TString;
302
+ suffix: Type.TOptional<Type.TString>;
303
+ }>>;
304
+ server: Type.TString;
305
+ doi: Type.TOptional<Type.TString>;
306
+ url: Type.TString;
307
+ }>]>, Type.TIntersect<[Type.TObject<{
308
+ type: Type.TUnion<[Type.TLiteral<"Book">, Type.TLiteral<"Website">, Type.TLiteral<"BookChapter">, Type.TLiteral<"Handbook">, Type.TLiteral<"TechnicalReport">, Type.TLiteral<"Standard">, Type.TLiteral<"Thesis">, Type.TLiteral<"Patent">, Type.TLiteral<"Dictionary">, Type.TLiteral<"Encyclopedia">, Type.TLiteral<"JournalArticle">, Type.TLiteral<"MagazineArticle">, Type.TLiteral<"NewspaperArticle">, Type.TLiteral<"ConferencePaper">, Type.TLiteral<"ConferenceProceedings">, Type.TLiteral<"Dataset">, Type.TLiteral<"Software">, Type.TLiteral<"OnlineDocument">, Type.TLiteral<"Blog">, Type.TLiteral<"SocialMedia">, Type.TLiteral<"Preprint">, Type.TLiteral<"Video">, Type.TLiteral<"Podcast">, Type.TLiteral<"Course">, Type.TLiteral<"Presentation">, Type.TLiteral<"Interview">, Type.TLiteral<"PersonalCommunication">, Type.TLiteral<"Email">, Type.TLiteral<"Law">, Type.TLiteral<"CourtCase">, Type.TLiteral<"GovernmentPublication">, Type.TLiteral<"Datasheet">, Type.TLiteral<"ProductManual">]>;
309
+ }>, Type.TObject<{
310
+ type: Type.TLiteral<"Video">;
311
+ title: Type.TString;
312
+ authors: Type.TOptional<Type.TArray<Type.TObject<{
313
+ givenNames: Type.TString;
314
+ familyName: Type.TString;
315
+ suffix: Type.TOptional<Type.TString>;
316
+ }>>>;
317
+ releaseDate: Type.TOptional<Type.TCodec<Type.TRefine<Type.TUnsafe<Date>>, Date>>;
318
+ platform: Type.TString;
319
+ url: Type.TString;
320
+ accessedDate: Type.TCodec<Type.TRefine<Type.TUnsafe<Date>>, Date>;
321
+ }>]>, Type.TIntersect<[Type.TObject<{
322
+ type: Type.TUnion<[Type.TLiteral<"Book">, Type.TLiteral<"Website">, Type.TLiteral<"BookChapter">, Type.TLiteral<"Handbook">, Type.TLiteral<"TechnicalReport">, Type.TLiteral<"Standard">, Type.TLiteral<"Thesis">, Type.TLiteral<"Patent">, Type.TLiteral<"Dictionary">, Type.TLiteral<"Encyclopedia">, Type.TLiteral<"JournalArticle">, Type.TLiteral<"MagazineArticle">, Type.TLiteral<"NewspaperArticle">, Type.TLiteral<"ConferencePaper">, Type.TLiteral<"ConferenceProceedings">, Type.TLiteral<"Dataset">, Type.TLiteral<"Software">, Type.TLiteral<"OnlineDocument">, Type.TLiteral<"Blog">, Type.TLiteral<"SocialMedia">, Type.TLiteral<"Preprint">, Type.TLiteral<"Video">, Type.TLiteral<"Podcast">, Type.TLiteral<"Course">, Type.TLiteral<"Presentation">, Type.TLiteral<"Interview">, Type.TLiteral<"PersonalCommunication">, Type.TLiteral<"Email">, Type.TLiteral<"Law">, Type.TLiteral<"CourtCase">, Type.TLiteral<"GovernmentPublication">, Type.TLiteral<"Datasheet">, Type.TLiteral<"ProductManual">]>;
323
+ }>, Type.TObject<{
324
+ type: Type.TLiteral<"Podcast">;
325
+ authors: Type.TOptional<Type.TArray<Type.TObject<{
326
+ givenNames: Type.TString;
327
+ familyName: Type.TString;
328
+ suffix: Type.TOptional<Type.TString>;
329
+ }>>>;
330
+ episodeTitle: Type.TString;
331
+ seriesTitle: Type.TString;
332
+ platform: Type.TString;
333
+ url: Type.TString;
334
+ accessedDate: Type.TCodec<Type.TRefine<Type.TUnsafe<Date>>, Date>;
335
+ }>]>, Type.TIntersect<[Type.TObject<{
336
+ type: Type.TUnion<[Type.TLiteral<"Book">, Type.TLiteral<"Website">, Type.TLiteral<"BookChapter">, Type.TLiteral<"Handbook">, Type.TLiteral<"TechnicalReport">, Type.TLiteral<"Standard">, Type.TLiteral<"Thesis">, Type.TLiteral<"Patent">, Type.TLiteral<"Dictionary">, Type.TLiteral<"Encyclopedia">, Type.TLiteral<"JournalArticle">, Type.TLiteral<"MagazineArticle">, Type.TLiteral<"NewspaperArticle">, Type.TLiteral<"ConferencePaper">, Type.TLiteral<"ConferenceProceedings">, Type.TLiteral<"Dataset">, Type.TLiteral<"Software">, Type.TLiteral<"OnlineDocument">, Type.TLiteral<"Blog">, Type.TLiteral<"SocialMedia">, Type.TLiteral<"Preprint">, Type.TLiteral<"Video">, Type.TLiteral<"Podcast">, Type.TLiteral<"Course">, Type.TLiteral<"Presentation">, Type.TLiteral<"Interview">, Type.TLiteral<"PersonalCommunication">, Type.TLiteral<"Email">, Type.TLiteral<"Law">, Type.TLiteral<"CourtCase">, Type.TLiteral<"GovernmentPublication">, Type.TLiteral<"Datasheet">, Type.TLiteral<"ProductManual">]>;
337
+ }>, Type.TObject<{
338
+ type: Type.TLiteral<"Course">;
339
+ title: Type.TString;
340
+ year: Type.TString;
341
+ instructor: Type.TObject<{
342
+ givenNames: Type.TString;
343
+ familyName: Type.TString;
344
+ suffix: Type.TOptional<Type.TString>;
345
+ }>;
346
+ institution: Type.TString;
347
+ courseCode: Type.TOptional<Type.TString>;
348
+ term: Type.TString;
349
+ }>]>, Type.TIntersect<[Type.TObject<{
350
+ type: Type.TUnion<[Type.TLiteral<"Book">, Type.TLiteral<"Website">, Type.TLiteral<"BookChapter">, Type.TLiteral<"Handbook">, Type.TLiteral<"TechnicalReport">, Type.TLiteral<"Standard">, Type.TLiteral<"Thesis">, Type.TLiteral<"Patent">, Type.TLiteral<"Dictionary">, Type.TLiteral<"Encyclopedia">, Type.TLiteral<"JournalArticle">, Type.TLiteral<"MagazineArticle">, Type.TLiteral<"NewspaperArticle">, Type.TLiteral<"ConferencePaper">, Type.TLiteral<"ConferenceProceedings">, Type.TLiteral<"Dataset">, Type.TLiteral<"Software">, Type.TLiteral<"OnlineDocument">, Type.TLiteral<"Blog">, Type.TLiteral<"SocialMedia">, Type.TLiteral<"Preprint">, Type.TLiteral<"Video">, Type.TLiteral<"Podcast">, Type.TLiteral<"Course">, Type.TLiteral<"Presentation">, Type.TLiteral<"Interview">, Type.TLiteral<"PersonalCommunication">, Type.TLiteral<"Email">, Type.TLiteral<"Law">, Type.TLiteral<"CourtCase">, Type.TLiteral<"GovernmentPublication">, Type.TLiteral<"Datasheet">, Type.TLiteral<"ProductManual">]>;
351
+ }>, Type.TObject<{
352
+ type: Type.TLiteral<"Presentation">;
353
+ title: Type.TString;
354
+ presenter: Type.TObject<{
355
+ givenNames: Type.TString;
356
+ familyName: Type.TString;
357
+ suffix: Type.TOptional<Type.TString>;
358
+ }>;
359
+ eventTitle: Type.TString;
360
+ location: Type.TString;
361
+ date: Type.TCodec<Type.TRefine<Type.TUnsafe<Date>>, Date>;
362
+ }>]>, Type.TIntersect<[Type.TObject<{
363
+ type: Type.TUnion<[Type.TLiteral<"Book">, Type.TLiteral<"Website">, Type.TLiteral<"BookChapter">, Type.TLiteral<"Handbook">, Type.TLiteral<"TechnicalReport">, Type.TLiteral<"Standard">, Type.TLiteral<"Thesis">, Type.TLiteral<"Patent">, Type.TLiteral<"Dictionary">, Type.TLiteral<"Encyclopedia">, Type.TLiteral<"JournalArticle">, Type.TLiteral<"MagazineArticle">, Type.TLiteral<"NewspaperArticle">, Type.TLiteral<"ConferencePaper">, Type.TLiteral<"ConferenceProceedings">, Type.TLiteral<"Dataset">, Type.TLiteral<"Software">, Type.TLiteral<"OnlineDocument">, Type.TLiteral<"Blog">, Type.TLiteral<"SocialMedia">, Type.TLiteral<"Preprint">, Type.TLiteral<"Video">, Type.TLiteral<"Podcast">, Type.TLiteral<"Course">, Type.TLiteral<"Presentation">, Type.TLiteral<"Interview">, Type.TLiteral<"PersonalCommunication">, Type.TLiteral<"Email">, Type.TLiteral<"Law">, Type.TLiteral<"CourtCase">, Type.TLiteral<"GovernmentPublication">, Type.TLiteral<"Datasheet">, Type.TLiteral<"ProductManual">]>;
364
+ }>, Type.TObject<{
365
+ type: Type.TLiteral<"Interview">;
366
+ interviewee: Type.TObject<{
367
+ givenNames: Type.TString;
368
+ familyName: Type.TString;
369
+ suffix: Type.TOptional<Type.TString>;
370
+ }>;
371
+ interviewer: Type.TOptional<Type.TObject<{
372
+ givenNames: Type.TString;
373
+ familyName: Type.TString;
374
+ suffix: Type.TOptional<Type.TString>;
375
+ }>>;
376
+ date: Type.TCodec<Type.TRefine<Type.TUnsafe<Date>>, Date>;
377
+ }>]>, Type.TIntersect<[Type.TObject<{
378
+ type: Type.TUnion<[Type.TLiteral<"Book">, Type.TLiteral<"Website">, Type.TLiteral<"BookChapter">, Type.TLiteral<"Handbook">, Type.TLiteral<"TechnicalReport">, Type.TLiteral<"Standard">, Type.TLiteral<"Thesis">, Type.TLiteral<"Patent">, Type.TLiteral<"Dictionary">, Type.TLiteral<"Encyclopedia">, Type.TLiteral<"JournalArticle">, Type.TLiteral<"MagazineArticle">, Type.TLiteral<"NewspaperArticle">, Type.TLiteral<"ConferencePaper">, Type.TLiteral<"ConferenceProceedings">, Type.TLiteral<"Dataset">, Type.TLiteral<"Software">, Type.TLiteral<"OnlineDocument">, Type.TLiteral<"Blog">, Type.TLiteral<"SocialMedia">, Type.TLiteral<"Preprint">, Type.TLiteral<"Video">, Type.TLiteral<"Podcast">, Type.TLiteral<"Course">, Type.TLiteral<"Presentation">, Type.TLiteral<"Interview">, Type.TLiteral<"PersonalCommunication">, Type.TLiteral<"Email">, Type.TLiteral<"Law">, Type.TLiteral<"CourtCase">, Type.TLiteral<"GovernmentPublication">, Type.TLiteral<"Datasheet">, Type.TLiteral<"ProductManual">]>;
379
+ }>, Type.TObject<{
380
+ type: Type.TLiteral<"PersonalCommunication">;
381
+ person: Type.TObject<{
382
+ givenNames: Type.TString;
383
+ familyName: Type.TString;
384
+ suffix: Type.TOptional<Type.TString>;
385
+ }>;
386
+ date: Type.TCodec<Type.TRefine<Type.TUnsafe<Date>>, Date>;
387
+ }>]>, Type.TIntersect<[Type.TObject<{
388
+ type: Type.TUnion<[Type.TLiteral<"Book">, Type.TLiteral<"Website">, Type.TLiteral<"BookChapter">, Type.TLiteral<"Handbook">, Type.TLiteral<"TechnicalReport">, Type.TLiteral<"Standard">, Type.TLiteral<"Thesis">, Type.TLiteral<"Patent">, Type.TLiteral<"Dictionary">, Type.TLiteral<"Encyclopedia">, Type.TLiteral<"JournalArticle">, Type.TLiteral<"MagazineArticle">, Type.TLiteral<"NewspaperArticle">, Type.TLiteral<"ConferencePaper">, Type.TLiteral<"ConferenceProceedings">, Type.TLiteral<"Dataset">, Type.TLiteral<"Software">, Type.TLiteral<"OnlineDocument">, Type.TLiteral<"Blog">, Type.TLiteral<"SocialMedia">, Type.TLiteral<"Preprint">, Type.TLiteral<"Video">, Type.TLiteral<"Podcast">, Type.TLiteral<"Course">, Type.TLiteral<"Presentation">, Type.TLiteral<"Interview">, Type.TLiteral<"PersonalCommunication">, Type.TLiteral<"Email">, Type.TLiteral<"Law">, Type.TLiteral<"CourtCase">, Type.TLiteral<"GovernmentPublication">, Type.TLiteral<"Datasheet">, Type.TLiteral<"ProductManual">]>;
389
+ }>, Type.TObject<{
390
+ type: Type.TLiteral<"Email">;
391
+ sender: Type.TObject<{
392
+ givenNames: Type.TString;
393
+ familyName: Type.TString;
394
+ suffix: Type.TOptional<Type.TString>;
395
+ }>;
396
+ recipient: Type.TObject<{
397
+ givenNames: Type.TString;
398
+ familyName: Type.TString;
399
+ suffix: Type.TOptional<Type.TString>;
400
+ }>;
401
+ date: Type.TCodec<Type.TRefine<Type.TUnsafe<Date>>, Date>;
402
+ }>]>, Type.TIntersect<[Type.TObject<{
403
+ type: Type.TUnion<[Type.TLiteral<"Book">, Type.TLiteral<"Website">, Type.TLiteral<"BookChapter">, Type.TLiteral<"Handbook">, Type.TLiteral<"TechnicalReport">, Type.TLiteral<"Standard">, Type.TLiteral<"Thesis">, Type.TLiteral<"Patent">, Type.TLiteral<"Dictionary">, Type.TLiteral<"Encyclopedia">, Type.TLiteral<"JournalArticle">, Type.TLiteral<"MagazineArticle">, Type.TLiteral<"NewspaperArticle">, Type.TLiteral<"ConferencePaper">, Type.TLiteral<"ConferenceProceedings">, Type.TLiteral<"Dataset">, Type.TLiteral<"Software">, Type.TLiteral<"OnlineDocument">, Type.TLiteral<"Blog">, Type.TLiteral<"SocialMedia">, Type.TLiteral<"Preprint">, Type.TLiteral<"Video">, Type.TLiteral<"Podcast">, Type.TLiteral<"Course">, Type.TLiteral<"Presentation">, Type.TLiteral<"Interview">, Type.TLiteral<"PersonalCommunication">, Type.TLiteral<"Email">, Type.TLiteral<"Law">, Type.TLiteral<"CourtCase">, Type.TLiteral<"GovernmentPublication">, Type.TLiteral<"Datasheet">, Type.TLiteral<"ProductManual">]>;
404
+ }>, Type.TObject<{
405
+ type: Type.TLiteral<"Law">;
406
+ title: Type.TString;
407
+ jurisdiction: Type.TString;
408
+ dateEnacted: Type.TCodec<Type.TRefine<Type.TUnsafe<Date>>, Date>;
409
+ }>]>, Type.TIntersect<[Type.TObject<{
410
+ type: Type.TUnion<[Type.TLiteral<"Book">, Type.TLiteral<"Website">, Type.TLiteral<"BookChapter">, Type.TLiteral<"Handbook">, Type.TLiteral<"TechnicalReport">, Type.TLiteral<"Standard">, Type.TLiteral<"Thesis">, Type.TLiteral<"Patent">, Type.TLiteral<"Dictionary">, Type.TLiteral<"Encyclopedia">, Type.TLiteral<"JournalArticle">, Type.TLiteral<"MagazineArticle">, Type.TLiteral<"NewspaperArticle">, Type.TLiteral<"ConferencePaper">, Type.TLiteral<"ConferenceProceedings">, Type.TLiteral<"Dataset">, Type.TLiteral<"Software">, Type.TLiteral<"OnlineDocument">, Type.TLiteral<"Blog">, Type.TLiteral<"SocialMedia">, Type.TLiteral<"Preprint">, Type.TLiteral<"Video">, Type.TLiteral<"Podcast">, Type.TLiteral<"Course">, Type.TLiteral<"Presentation">, Type.TLiteral<"Interview">, Type.TLiteral<"PersonalCommunication">, Type.TLiteral<"Email">, Type.TLiteral<"Law">, Type.TLiteral<"CourtCase">, Type.TLiteral<"GovernmentPublication">, Type.TLiteral<"Datasheet">, Type.TLiteral<"ProductManual">]>;
411
+ }>, Type.TObject<{
412
+ type: Type.TLiteral<"CourtCase">;
413
+ caseName: Type.TString;
414
+ court: Type.TString;
415
+ date: Type.TCodec<Type.TRefine<Type.TUnsafe<Date>>, Date>;
416
+ reporter: Type.TOptional<Type.TString>;
417
+ }>]>, Type.TIntersect<[Type.TObject<{
418
+ type: Type.TUnion<[Type.TLiteral<"Book">, Type.TLiteral<"Website">, Type.TLiteral<"BookChapter">, Type.TLiteral<"Handbook">, Type.TLiteral<"TechnicalReport">, Type.TLiteral<"Standard">, Type.TLiteral<"Thesis">, Type.TLiteral<"Patent">, Type.TLiteral<"Dictionary">, Type.TLiteral<"Encyclopedia">, Type.TLiteral<"JournalArticle">, Type.TLiteral<"MagazineArticle">, Type.TLiteral<"NewspaperArticle">, Type.TLiteral<"ConferencePaper">, Type.TLiteral<"ConferenceProceedings">, Type.TLiteral<"Dataset">, Type.TLiteral<"Software">, Type.TLiteral<"OnlineDocument">, Type.TLiteral<"Blog">, Type.TLiteral<"SocialMedia">, Type.TLiteral<"Preprint">, Type.TLiteral<"Video">, Type.TLiteral<"Podcast">, Type.TLiteral<"Course">, Type.TLiteral<"Presentation">, Type.TLiteral<"Interview">, Type.TLiteral<"PersonalCommunication">, Type.TLiteral<"Email">, Type.TLiteral<"Law">, Type.TLiteral<"CourtCase">, Type.TLiteral<"GovernmentPublication">, Type.TLiteral<"Datasheet">, Type.TLiteral<"ProductManual">]>;
419
+ }>, Type.TObject<{
420
+ type: Type.TLiteral<"GovernmentPublication">;
421
+ title: Type.TString;
422
+ date: Type.TCodec<Type.TRefine<Type.TUnsafe<Date>>, Date>;
423
+ authors: Type.TOptional<Type.TArray<Type.TObject<{
424
+ givenNames: Type.TString;
425
+ familyName: Type.TString;
426
+ suffix: Type.TOptional<Type.TString>;
427
+ }>>>;
428
+ agency: Type.TString;
429
+ reportNumber: Type.TOptional<Type.TString>;
430
+ location: Type.TString;
431
+ }>]>, Type.TIntersect<[Type.TObject<{
432
+ type: Type.TUnion<[Type.TLiteral<"Book">, Type.TLiteral<"Website">, Type.TLiteral<"BookChapter">, Type.TLiteral<"Handbook">, Type.TLiteral<"TechnicalReport">, Type.TLiteral<"Standard">, Type.TLiteral<"Thesis">, Type.TLiteral<"Patent">, Type.TLiteral<"Dictionary">, Type.TLiteral<"Encyclopedia">, Type.TLiteral<"JournalArticle">, Type.TLiteral<"MagazineArticle">, Type.TLiteral<"NewspaperArticle">, Type.TLiteral<"ConferencePaper">, Type.TLiteral<"ConferenceProceedings">, Type.TLiteral<"Dataset">, Type.TLiteral<"Software">, Type.TLiteral<"OnlineDocument">, Type.TLiteral<"Blog">, Type.TLiteral<"SocialMedia">, Type.TLiteral<"Preprint">, Type.TLiteral<"Video">, Type.TLiteral<"Podcast">, Type.TLiteral<"Course">, Type.TLiteral<"Presentation">, Type.TLiteral<"Interview">, Type.TLiteral<"PersonalCommunication">, Type.TLiteral<"Email">, Type.TLiteral<"Law">, Type.TLiteral<"CourtCase">, Type.TLiteral<"GovernmentPublication">, Type.TLiteral<"Datasheet">, Type.TLiteral<"ProductManual">]>;
433
+ }>, Type.TObject<{
434
+ type: Type.TLiteral<"Datasheet">;
435
+ title: Type.TString;
436
+ year: Type.TString;
437
+ manufacturer: Type.TString;
438
+ partNumber: Type.TString;
439
+ url: Type.TString;
440
+ }>]>, Type.TIntersect<[Type.TObject<{
441
+ type: Type.TUnion<[Type.TLiteral<"Book">, Type.TLiteral<"Website">, Type.TLiteral<"BookChapter">, Type.TLiteral<"Handbook">, Type.TLiteral<"TechnicalReport">, Type.TLiteral<"Standard">, Type.TLiteral<"Thesis">, Type.TLiteral<"Patent">, Type.TLiteral<"Dictionary">, Type.TLiteral<"Encyclopedia">, Type.TLiteral<"JournalArticle">, Type.TLiteral<"MagazineArticle">, Type.TLiteral<"NewspaperArticle">, Type.TLiteral<"ConferencePaper">, Type.TLiteral<"ConferenceProceedings">, Type.TLiteral<"Dataset">, Type.TLiteral<"Software">, Type.TLiteral<"OnlineDocument">, Type.TLiteral<"Blog">, Type.TLiteral<"SocialMedia">, Type.TLiteral<"Preprint">, Type.TLiteral<"Video">, Type.TLiteral<"Podcast">, Type.TLiteral<"Course">, Type.TLiteral<"Presentation">, Type.TLiteral<"Interview">, Type.TLiteral<"PersonalCommunication">, Type.TLiteral<"Email">, Type.TLiteral<"Law">, Type.TLiteral<"CourtCase">, Type.TLiteral<"GovernmentPublication">, Type.TLiteral<"Datasheet">, Type.TLiteral<"ProductManual">]>;
442
+ }>, Type.TObject<{
443
+ type: Type.TLiteral<"ProductManual">;
444
+ title: Type.TString;
445
+ year: Type.TString;
446
+ manufacturer: Type.TString;
447
+ model: Type.TString;
448
+ url: Type.TOptional<Type.TString>;
449
+ }>]>]>;
450
+ }>]>;
451
+ export type TIEEEOriginDocument = Static<typeof IEEEOriginDocumentSchema>;
452
+ //# sourceMappingURL=origin-document.d.ts.map
@@ -0,0 +1 @@
1
+ {"version":3,"file":"origin-document.d.ts","sourceRoot":"","sources":["../../../../src/extensions/citations/ieee/origin-document.ts"],"names":[],"mappings":"AAAA,OAAO,IAAI,EAAE,EAAE,KAAK,MAAM,EAAE,MAAM,SAAS,CAAA;AAK3C;;;;;;;;;;;;GAYG;AACH,eAAO,MAAM,wBAAwB;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;IAMnC,CAAA;AACF,MAAM,MAAM,mBAAmB,GAAG,MAAM,CAAC,OAAO,wBAAwB,CAAC,CAAA"}
@@ -0,0 +1,25 @@
1
+ import Type, {} from "typebox";
2
+ import { CoreOriginDocumentSchema } from "../../../lib/schemata/index.js";
3
+ import { Nullable } from "../../../lib/schemata/shared.js";
4
+ import { IEEEReferenceSchema } from "./references.js";
5
+ /**
6
+ * An origin document attributed to a real, publicly reachable source.
7
+ *
8
+ * The attribution lives here rather than in `src/lib/` for the same reason
9
+ * `IEEECitationClaimSchema` does: core holds the slot — `CoreOriginDocument`
10
+ * carries `additionalProperties: true` — while the reference vocabulary stays
11
+ * an extension concern. A document with no attribution is complete and valid
12
+ * on its own; nothing prompts for one.
13
+ *
14
+ * No citation claim is created by attributing a document, so grammar rule D-5
15
+ * (citation-bound variables only in a derivation premise's antecedent) is
16
+ * untouched by attribution.
17
+ */
18
+ export const IEEEOriginDocumentSchema = Type.Intersect([
19
+ CoreOriginDocumentSchema,
20
+ Type.Object({
21
+ url: Nullable(Type.String()),
22
+ reference: IEEEReferenceSchema,
23
+ }),
24
+ ]);
25
+ //# sourceMappingURL=origin-document.js.map
@@ -0,0 +1 @@
1
+ {"version":3,"file":"origin-document.js","sourceRoot":"","sources":["../../../../src/extensions/citations/ieee/origin-document.ts"],"names":[],"mappings":"AAAA,OAAO,IAAI,EAAE,EAAe,MAAM,SAAS,CAAA;AAC3C,OAAO,EAAE,wBAAwB,EAAE,MAAM,gCAAgC,CAAA;AACzE,OAAO,EAAE,QAAQ,EAAE,MAAM,iCAAiC,CAAA;AAC1D,OAAO,EAAE,mBAAmB,EAAE,MAAM,iBAAiB,CAAA;AAErD;;;;;;;;;;;;GAYG;AACH,MAAM,CAAC,MAAM,wBAAwB,GAAG,IAAI,CAAC,SAAS,CAAC;IACnD,wBAAwB;IACxB,IAAI,CAAC,MAAM,CAAC;QACR,GAAG,EAAE,QAAQ,CAAC,IAAI,CAAC,MAAM,EAAE,CAAC;QAC5B,SAAS,EAAE,mBAAmB;KACjC,CAAC;CACL,CAAC,CAAA"}
@@ -1,13 +1,37 @@
1
1
  import type { TParsedArgumentResponse } from "../../../lib/parsing/index.js";
2
2
  import type { TStageContext } from "../../../lib/pipelines/index.js";
3
+ import { type TClaimMentionExtractionOutput, type TSegmentationOutput } from "./stages/schemas.js";
3
4
  import type { TIngestionExtension } from "./types.js";
4
5
  export declare const FINALIZE_V2_FAILURE_TEXTS: {
5
6
  readonly noClaims: "No claims could be extracted from the input.";
6
7
  readonly noConclusion: "No single conclusion could be selected.";
7
8
  };
9
+ /**
10
+ * Non-fatal note codes for anchor resolution. Neither stops assembly:
11
+ * an unresolved quote yields no anchor, and an ambiguous one yields the
12
+ * nearest-hint winner. Both are reported because silence here is
13
+ * indistinguishable from success — a model that starts paraphrasing
14
+ * would otherwise take anchor coverage to zero with no signal.
15
+ */
16
+ export declare const SOURCE_ANCHOR_NOTE_CODES: {
17
+ readonly unresolved: "SOURCE_ANCHOR_UNRESOLVED";
18
+ readonly ambiguous: "SOURCE_ANCHOR_AMBIGUOUS";
19
+ readonly inputUnavailable: "SOURCE_ANCHOR_INPUT_UNAVAILABLE";
20
+ };
8
21
  export type TFinalizeResponseV2Input = {
9
22
  ctx: TStageContext;
10
23
  extension: TIngestionExtension;
24
+ /**
25
+ * Segmentation + mention outputs, supplied by the caller rather than
26
+ * read from `ctx`, because not every pipeline has these stages —
27
+ * `ctx.get` on a stage outside `finalize.dependsOn` is a
28
+ * configuration error, and declaring a dep on a stage the pipeline
29
+ * does not contain is another. Passing them keeps the declaration
30
+ * and the read in the same file, per pipeline. Omit both and claims
31
+ * carry no source anchors; premises are unaffected either way.
32
+ */
33
+ segmentation?: TSegmentationOutput;
34
+ mentions?: TClaimMentionExtractionOutput;
11
35
  };
12
36
  /**
13
37
  * Assembles the v2 pipeline's final response from the
@@ -1 +1 @@
1
- {"version":3,"file":"finalize-response-v2.d.ts","sourceRoot":"","sources":["../../../../src/extensions/pipelines/base/finalize-response-v2.ts"],"names":[],"mappings":"AAgCA,OAAO,KAAK,EAAE,uBAAuB,EAAE,MAAM,+BAA+B,CAAA;AAC5E,OAAO,KAAK,EAAE,aAAa,EAAE,MAAM,iCAAiC,CAAA;AAapE,OAAO,KAAK,EAAE,mBAAmB,EAAE,MAAM,YAAY,CAAA;AAoErD,eAAO,MAAM,yBAAyB;;;CAG5B,CAAA;AAuMV,MAAM,MAAM,wBAAwB,GAAG;IACnC,GAAG,EAAE,aAAa,CAAA;IAClB,SAAS,EAAE,mBAAmB,CAAA;CACjC,CAAA;AAED;;;GAGG;AACH,wBAAgB,kBAAkB,CAC9B,KAAK,EAAE,wBAAwB,GAChC,uBAAuB,CAqJzB"}
1
+ {"version":3,"file":"finalize-response-v2.d.ts","sourceRoot":"","sources":["../../../../src/extensions/pipelines/base/finalize-response-v2.ts"],"names":[],"mappings":"AAgCA,OAAO,KAAK,EAAE,uBAAuB,EAAE,MAAM,+BAA+B,CAAA;AAC5E,OAAO,KAAK,EAAE,aAAa,EAAE,MAAM,iCAAiC,CAAA;AACpE,OAAO,EAGH,KAAK,6BAA6B,EAQlC,KAAK,mBAAmB,EAE3B,MAAM,qBAAqB,CAAA;AAO5B,OAAO,KAAK,EAAE,mBAAmB,EAAmB,MAAM,YAAY,CAAA;AAoEtE,eAAO,MAAM,yBAAyB;;;CAG5B,CAAA;AAoIV;;;;;;GAMG;AACH,eAAO,MAAM,wBAAwB;;;;CAI3B,CAAA;AA4RV,MAAM,MAAM,wBAAwB,GAAG;IACnC,GAAG,EAAE,aAAa,CAAA;IAClB,SAAS,EAAE,mBAAmB,CAAA;IAC9B;;;;;;;;OAQG;IACH,YAAY,CAAC,EAAE,mBAAmB,CAAA;IAClC,QAAQ,CAAC,EAAE,6BAA6B,CAAA;CAC3C,CAAA;AAED;;;GAGG;AACH,wBAAgB,kBAAkB,CAC9B,KAAK,EAAE,wBAAwB,GAChC,uBAAuB,CA0MzB"}