@proposit/proposit-core 3.1.0 → 3.3.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 (23) hide show
  1. package/README.md +4 -0
  2. package/dist/cli/schemata.d.ts +2 -2
  3. package/dist/cli/storage/variables.d.ts.map +1 -1
  4. package/dist/cli/storage/variables.js +3 -0
  5. package/dist/cli/storage/variables.js.map +1 -1
  6. package/dist/extensions/citations/ieee/citation-claim.d.ts +20 -20
  7. package/dist/extensions/citations/ieee/references.d.ts +60 -60
  8. package/dist/extensions/citations/ieee/relaxed.d.ts +60 -60
  9. package/dist/extensions/citations/ieee/relaxed.d.ts.map +1 -1
  10. package/dist/extensions/citations/ieee/relaxed.js +11 -1
  11. package/dist/extensions/citations/ieee/relaxed.js.map +1 -1
  12. package/dist/lib/core/evaluation/grading.d.ts +4 -3
  13. package/dist/lib/core/evaluation/grading.d.ts.map +1 -1
  14. package/dist/lib/core/evaluation/grading.js +9 -3
  15. package/dist/lib/core/evaluation/grading.js.map +1 -1
  16. package/dist/lib/parsing/argument-parser.d.ts.map +1 -1
  17. package/dist/lib/parsing/argument-parser.js +3 -0
  18. package/dist/lib/parsing/argument-parser.js.map +1 -1
  19. package/dist/lib/schemata/shared.d.ts +14 -14
  20. package/dist/lib/schemata/shared.d.ts.map +1 -1
  21. package/dist/lib/schemata/shared.js +29 -26
  22. package/dist/lib/schemata/shared.js.map +1 -1
  23. package/package.json +4 -3
package/README.md CHANGED
@@ -1180,6 +1180,10 @@ All CLI invocations are logged to `~/.proposit-core/logs/cli.jsonl` (or `$PROPOS
1180
1180
 
1181
1181
  ## Development
1182
1182
 
1183
+ New machine? `./scripts/first-time-setup.sh` checks your prerequisites and
1184
+ verifies the checkout builds and runs (it installs nothing — run `pnpm install`
1185
+ first).
1186
+
1183
1187
  ```bash
1184
1188
  pnpm install
1185
1189
  pnpm run typecheck # type-check without emitting
package/dist/cli/schemata.d.ts CHANGED
@@ -7,9 +7,9 @@ export declare const CliArgumentMetaSchema: Type.TObject<{
7
7
  export type TCliArgumentMeta = Static<typeof CliArgumentMetaSchema>;
8
8
  export declare const CliArgumentVersionMetaSchema: Type.TObject<{
9
9
  version: Type.TNumber;
10
- createdAt: import("../index.js").TDateType;
10
+ createdAt: Type.TCodec<Type.TRefine<Type.TUnsafe<Date>>, Date>;
11
11
  published: Type.TBoolean;
12
- publishedAt: Type.TOptional<import("../index.js").TDateType>;
12
+ publishedAt: Type.TOptional<Type.TCodec<Type.TRefine<Type.TUnsafe<Date>>, Date>>;
13
13
  }>;
14
14
  export type TCliArgumentVersionMeta = Static<typeof CliArgumentVersionMetaSchema>;
15
15
  export declare const CliPremiseMetaSchema: Type.TObject<{
package/dist/cli/storage/variables.d.ts.map CHANGED
@@ -1 +1 @@
1
- {"version":3,"file":"variables.d.ts","sourceRoot":"","sources":["../../../src/cli/storage/variables.ts"],"names":[],"mappings":"AAIA,OAAO,KAAK,EAAE,0BAA0B,EAAE,MAAM,6BAA6B,CAAA;AAuB7E,wBAAsB,aAAa,CAC/B,UAAU,EAAE,MAAM,EAClB,OAAO,EAAE,MAAM,GAChB,OAAO,CAAC,0BAA0B,EAAE,CAAC,CAWvC;AAED,wBAAsB,cAAc,CAChC,UAAU,EAAE,MAAM,EAClB,OAAO,EAAE,MAAM,EACf,SAAS,EAAE,0BAA0B,EAAE,GACxC,OAAO,CAAC,IAAI,CAAC,CAKf"}
1
+ {"version":3,"file":"variables.d.ts","sourceRoot":"","sources":["../../../src/cli/storage/variables.ts"],"names":[],"mappings":"AAIA,OAAO,KAAK,EAAE,0BAA0B,EAAE,MAAM,6BAA6B,CAAA;AAuB7E,wBAAsB,aAAa,CAC/B,UAAU,EAAE,MAAM,EAClB,OAAO,EAAE,MAAM,GAChB,OAAO,CAAC,0BAA0B,EAAE,CAAC,CAiBvC;AAED,wBAAsB,cAAc,CAChC,UAAU,EAAE,MAAM,EAClB,OAAO,EAAE,MAAM,EACf,SAAS,EAAE,0BAA0B,EAAE,GACxC,OAAO,CAAC,IAAI,CAAC,CAKf"}
package/dist/cli/storage/variables.js CHANGED
@@ -24,6 +24,9 @@ export async function readVariables(argumentId, version) {
24
24
  });
25
25
  const raw = JSON.parse(content);
26
26
  try {
27
+ // The disk schema is deliberately looser than the runtime type (extra
28
+ // properties allowed, checksum optional for files written before it
29
+ // existed), so the validated rows are asserted back to it.
27
30
  return Value.Parse(VariablesFileSchema, raw);
28
31
  }
29
32
  catch {
package/dist/cli/storage/variables.js.map CHANGED
@@ -1 +1 @@
1
- {"version":3,"file":"variables.js","sourceRoot":"","sources":["../../../src/cli/storage/variables.ts"],"names":[],"mappings":"AAAA,OAAO,EAAE,MAAM,kBAAkB,CAAA;AACjC,OAAO,IAAI,MAAM,WAAW,CAAA;AAC5B,OAAO,IAAI,MAAM,SAAS,CAAA;AAC1B,OAAO,KAAK,MAAM,eAAe,CAAA;AAEjC,OAAO,EAAE,IAAI,EAAE,MAAM,8BAA8B,CAAA;AACnD,OAAO,EAAE,aAAa,EAAE,MAAM,cAAc,CAAA;AAC5C,OAAO,EAAE,SAAS,EAAE,MAAM,cAAc,CAAA;AAExC,0EAA0E;AAC1E,MAAM,iBAAiB,GAAG,IAAI,CAAC,MAAM,CACjC;IACI,EAAE,EAAE,IAAI;IACR,UAAU,EAAE,IAAI;IAChB,eAAe,EAAE,IAAI,CAAC,MAAM,EAAE;IAC9B,MAAM,EAAE,IAAI,CAAC,MAAM,EAAE;IACrB,QAAQ,EAAE,IAAI,CAAC,QAAQ,CAAC,IAAI,CAAC,MAAM,EAAE,CAAC;CACzC,EACD,EAAE,oBAAoB,EAAE,IAAI,EAAE,CACjC,CAAA;AAED,MAAM,mBAAmB,GAAG,IAAI,CAAC,KAAK,CAAC,iBAAiB,CAAC,CAAA;AAEzD,SAAS,aAAa,CAAC,UAAkB,EAAE,OAAe;IACtD,OAAO,IAAI,CAAC,IAAI,CAAC,aAAa,CAAC,UAAU,EAAE,OAAO,CAAC,EAAE,gBAAgB,CAAC,CAAA;AAC1E,CAAC;AAED,MAAM,CAAC,KAAK,UAAU,aAAa,CAC/B,UAAkB,EAClB,OAAe;IAEf,MAAM,QAAQ,GAAG,aAAa,CAAC,UAAU,EAAE,OAAO,CAAC,CAAA;IACnD,MAAM,OAAO,GAAG,MAAM,EAAE,CAAC,QAAQ,CAAC,QAAQ,EAAE,OAAO,CAAC,CAAC,KAAK,CAAC,GAAG,EAAE;QAC5D,SAAS,CAAC,gCAAgC,UAAU,IAAI,OAAO,GAAG,CAAC,CAAA;IACvE,CAAC,CAAC,CAAA;IACF,MAAM,GAAG,GAAY,IAAI,CAAC,KAAK,CAAC,OAAO,CAAC,CAAA;IACxC,IAAI,CAAC;QACD,OAAO,KAAK,CAAC,KAAK,CAAC,mBAAmB,EAAE,GAAG,CAAC,CAAA;IAChD,CAAC;IAAC,MAAM,CAAC;QACL,SAAS,CAAC,4BAA4B,QAAQ,EAAE,CAAC,CAAA;IACrD,CAAC;AACL,CAAC;AAED,MAAM,CAAC,KAAK,UAAU,cAAc,CAChC,UAAkB,EAClB,OAAe,EACf,SAAuC;IAEvC,MAAM,EAAE,CAAC,SAAS,CACd,aAAa,CAAC,UAAU,EAAE,OAAO,CAAC,EAClC,IAAI,CAAC,SAAS,CAAC,SAAS,EAAE,IAAI,EAAE,CAAC,CAAC,CACrC,CAAA;AACL,CAAC"}
1
+ {"version":3,"file":"variables.js","sourceRoot":"","sources":["../../../src/cli/storage/variables.ts"],"names":[],"mappings":"AAAA,OAAO,EAAE,MAAM,kBAAkB,CAAA;AACjC,OAAO,IAAI,MAAM,WAAW,CAAA;AAC5B,OAAO,IAAI,MAAM,SAAS,CAAA;AAC1B,OAAO,KAAK,MAAM,eAAe,CAAA;AAEjC,OAAO,EAAE,IAAI,EAAE,MAAM,8BAA8B,CAAA;AACnD,OAAO,EAAE,aAAa,EAAE,MAAM,cAAc,CAAA;AAC5C,OAAO,EAAE,SAAS,EAAE,MAAM,cAAc,CAAA;AAExC,0EAA0E;AAC1E,MAAM,iBAAiB,GAAG,IAAI,CAAC,MAAM,CACjC;IACI,EAAE,EAAE,IAAI;IACR,UAAU,EAAE,IAAI;IAChB,eAAe,EAAE,IAAI,CAAC,MAAM,EAAE;IAC9B,MAAM,EAAE,IAAI,CAAC,MAAM,EAAE;IACrB,QAAQ,EAAE,IAAI,CAAC,QAAQ,CAAC,IAAI,CAAC,MAAM,EAAE,CAAC;CACzC,EACD,EAAE,oBAAoB,EAAE,IAAI,EAAE,CACjC,CAAA;AAED,MAAM,mBAAmB,GAAG,IAAI,CAAC,KAAK,CAAC,iBAAiB,CAAC,CAAA;AAEzD,SAAS,aAAa,CAAC,UAAkB,EAAE,OAAe;IACtD,OAAO,IAAI,CAAC,IAAI,CAAC,aAAa,CAAC,UAAU,EAAE,OAAO,CAAC,EAAE,gBAAgB,CAAC,CAAA;AAC1E,CAAC;AAED,MAAM,CAAC,KAAK,UAAU,aAAa,CAC/B,UAAkB,EAClB,OAAe;IAEf,MAAM,QAAQ,GAAG,aAAa,CAAC,UAAU,EAAE,OAAO,CAAC,CAAA;IACnD,MAAM,OAAO,GAAG,MAAM,EAAE,CAAC,QAAQ,CAAC,QAAQ,EAAE,OAAO,CAAC,CAAC,KAAK,CAAC,GAAG,EAAE;QAC5D,SAAS,CAAC,gCAAgC,UAAU,IAAI,OAAO,GAAG,CAAC,CAAA;IACvE,CAAC,CAAC,CAAA;IACF,MAAM,GAAG,GAAY,IAAI,CAAC,KAAK,CAAC,OAAO,CAAC,CAAA;IACxC,IAAI,CAAC;QACD,sEAAsE;QACtE,oEAAoE;QACpE,2DAA2D;QAC3D,OAAO,KAAK,CAAC,KAAK,CACd,mBAAmB,EACnB,GAAG,CACqC,CAAA;IAChD,CAAC;IAAC,MAAM,CAAC;QACL,SAAS,CAAC,4BAA4B,QAAQ,EAAE,CAAC,CAAA;IACrD,CAAC;AACL,CAAC;AAED,MAAM,CAAC,KAAK,UAAU,cAAc,CAChC,UAAkB,EAClB,OAAe,EACf,SAAuC;IAEvC,MAAM,EAAE,CAAC,SAAS,CACd,aAAa,CAAC,UAAU,EAAE,OAAO,CAAC,EAClC,IAAI,CAAC,SAAS,CAAC,SAAS,EAAE,IAAI,EAAE,CAAC,CAAC,CACrC,CAAA;AACL,CAAC"}
package/dist/extensions/citations/ieee/citation-claim.d.ts CHANGED
@@ -34,7 +34,7 @@ export declare const IEEECitationClaimSchema: Type.TIntersect<[Type.TObject<{
34
34
  }>>;
35
35
  pageTitle: Type.TString;
36
36
  websiteTitle: Type.TString;
37
- accessedDate: import("../../../index.js").TDateType;
37
+ accessedDate: Type.TCodec<Type.TRefine<Type.TUnsafe<Date>>, Date>;
38
38
  url: Type.TString;
39
39
  }>]>, Type.TIntersect<[Type.TObject<{
40
40
  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,7 +88,7 @@ export declare const IEEECitationClaimSchema: Type.TIntersect<[Type.TObject<{
88
88
  organization: Type.TString;
89
89
  standardNumber: Type.TString;
90
90
  title: Type.TString;
91
- date: import("../../../index.js").TDateType;
91
+ date: Type.TCodec<Type.TRefine<Type.TUnsafe<Date>>, Date>;
92
92
  }>]>, Type.TIntersect<[Type.TObject<{
93
93
  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">]>;
94
94
  }>, Type.TObject<{
@@ -115,7 +115,7 @@ export declare const IEEECitationClaimSchema: Type.TIntersect<[Type.TObject<{
115
115
  }>>;
116
116
  country: Type.TString;
117
117
  patentNumber: Type.TString;
118
- date: import("../../../index.js").TDateType;
118
+ date: Type.TCodec<Type.TRefine<Type.TUnsafe<Date>>, Date>;
119
119
  }>]>, Type.TIntersect<[Type.TObject<{
120
120
  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">]>;
121
121
  }>, Type.TObject<{
@@ -174,7 +174,7 @@ export declare const IEEECitationClaimSchema: Type.TIntersect<[Type.TObject<{
174
174
  suffix: Type.TOptional<Type.TString>;
175
175
  }>>;
176
176
  newspaperTitle: Type.TString;
177
- date: import("../../../index.js").TDateType;
177
+ date: Type.TCodec<Type.TRefine<Type.TUnsafe<Date>>, Date>;
178
178
  pages: Type.TOptional<Type.TString>;
179
179
  }>]>, Type.TIntersect<[Type.TObject<{
180
180
  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">]>;
@@ -188,7 +188,7 @@ export declare const IEEECitationClaimSchema: Type.TIntersect<[Type.TObject<{
188
188
  }>>;
189
189
  conferenceName: Type.TString;
190
190
  location: Type.TString;
191
- date: import("../../../index.js").TDateType;
191
+ date: Type.TCodec<Type.TRefine<Type.TUnsafe<Date>>, Date>;
192
192
  pages: Type.TOptional<Type.TString>;
193
193
  doi: Type.TOptional<Type.TString>;
194
194
  }>]>, Type.TIntersect<[Type.TObject<{
@@ -202,7 +202,7 @@ export declare const IEEECitationClaimSchema: Type.TIntersect<[Type.TObject<{
202
202
  }>>>;
203
203
  conferenceName: Type.TString;
204
204
  location: Type.TString;
205
- date: import("../../../index.js").TDateType;
205
+ date: Type.TCodec<Type.TRefine<Type.TUnsafe<Date>>, Date>;
206
206
  publisher: Type.TString;
207
207
  isbn: Type.TOptional<Type.TString>;
208
208
  }>]>, Type.TIntersect<[Type.TObject<{
@@ -247,7 +247,7 @@ export declare const IEEECitationClaimSchema: Type.TIntersect<[Type.TObject<{
247
247
  title: Type.TString;
248
248
  publisher: Type.TOptional<Type.TString>;
249
249
  url: Type.TString;
250
- accessedDate: import("../../../index.js").TDateType;
250
+ accessedDate: Type.TCodec<Type.TRefine<Type.TUnsafe<Date>>, Date>;
251
251
  }>]>, Type.TIntersect<[Type.TObject<{
252
252
  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">]>;
253
253
  }>, Type.TObject<{
@@ -259,9 +259,9 @@ export declare const IEEECitationClaimSchema: Type.TIntersect<[Type.TObject<{
259
259
  }>;
260
260
  postTitle: Type.TString;
261
261
  blogName: Type.TString;
262
- date: import("../../../index.js").TDateType;
262
+ date: Type.TCodec<Type.TRefine<Type.TUnsafe<Date>>, Date>;
263
263
  url: Type.TString;
264
- accessedDate: import("../../../index.js").TDateType;
264
+ accessedDate: Type.TCodec<Type.TRefine<Type.TUnsafe<Date>>, Date>;
265
265
  }>]>, Type.TIntersect<[Type.TObject<{
266
266
  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">]>;
267
267
  }>, Type.TObject<{
@@ -272,7 +272,7 @@ export declare const IEEECitationClaimSchema: Type.TIntersect<[Type.TObject<{
272
272
  suffix: Type.TOptional<Type.TString>;
273
273
  }>;
274
274
  platform: Type.TString;
275
- postDate: import("../../../index.js").TDateType;
275
+ postDate: Type.TCodec<Type.TRefine<Type.TUnsafe<Date>>, Date>;
276
276
  url: Type.TString;
277
277
  }>]>, Type.TIntersect<[Type.TObject<{
278
278
  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">]>;
@@ -298,10 +298,10 @@ export declare const IEEECitationClaimSchema: Type.TIntersect<[Type.TObject<{
298
298
  familyName: Type.TString;
299
299
  suffix: Type.TOptional<Type.TString>;
300
300
  }>>>;
301
- releaseDate: Type.TOptional<import("../../../index.js").TDateType>;
301
+ releaseDate: Type.TOptional<Type.TCodec<Type.TRefine<Type.TUnsafe<Date>>, Date>>;
302
302
  platform: Type.TString;
303
303
  url: Type.TString;
304
- accessedDate: import("../../../index.js").TDateType;
304
+ accessedDate: Type.TCodec<Type.TRefine<Type.TUnsafe<Date>>, Date>;
305
305
  }>]>, Type.TIntersect<[Type.TObject<{
306
306
  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">]>;
307
307
  }>, Type.TObject<{
@@ -315,7 +315,7 @@ export declare const IEEECitationClaimSchema: Type.TIntersect<[Type.TObject<{
315
315
  seriesTitle: Type.TString;
316
316
  platform: Type.TString;
317
317
  url: Type.TString;
318
- accessedDate: import("../../../index.js").TDateType;
318
+ accessedDate: Type.TCodec<Type.TRefine<Type.TUnsafe<Date>>, Date>;
319
319
  }>]>, Type.TIntersect<[Type.TObject<{
320
320
  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">]>;
321
321
  }>, Type.TObject<{
@@ -342,7 +342,7 @@ export declare const IEEECitationClaimSchema: Type.TIntersect<[Type.TObject<{
342
342
  }>;
343
343
  eventTitle: Type.TString;
344
344
  location: Type.TString;
345
- date: import("../../../index.js").TDateType;
345
+ date: Type.TCodec<Type.TRefine<Type.TUnsafe<Date>>, Date>;
346
346
  }>]>, Type.TIntersect<[Type.TObject<{
347
347
  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">]>;
348
348
  }>, Type.TObject<{
@@ -357,7 +357,7 @@ export declare const IEEECitationClaimSchema: Type.TIntersect<[Type.TObject<{
357
357
  familyName: Type.TString;
358
358
  suffix: Type.TOptional<Type.TString>;
359
359
  }>>;
360
- date: import("../../../index.js").TDateType;
360
+ date: Type.TCodec<Type.TRefine<Type.TUnsafe<Date>>, Date>;
361
361
  }>]>, Type.TIntersect<[Type.TObject<{
362
362
  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">]>;
363
363
  }>, Type.TObject<{
@@ -367,7 +367,7 @@ export declare const IEEECitationClaimSchema: Type.TIntersect<[Type.TObject<{
367
367
  familyName: Type.TString;
368
368
  suffix: Type.TOptional<Type.TString>;
369
369
  }>;
370
- date: import("../../../index.js").TDateType;
370
+ date: Type.TCodec<Type.TRefine<Type.TUnsafe<Date>>, Date>;
371
371
  }>]>, Type.TIntersect<[Type.TObject<{
372
372
  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">]>;
373
373
  }>, Type.TObject<{
@@ -382,28 +382,28 @@ export declare const IEEECitationClaimSchema: Type.TIntersect<[Type.TObject<{
382
382
  familyName: Type.TString;
383
383
  suffix: Type.TOptional<Type.TString>;
384
384
  }>;
385
- date: import("../../../index.js").TDateType;
385
+ date: Type.TCodec<Type.TRefine<Type.TUnsafe<Date>>, Date>;
386
386
  }>]>, Type.TIntersect<[Type.TObject<{
387
387
  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">]>;
388
388
  }>, Type.TObject<{
389
389
  type: Type.TLiteral<"Law">;
390
390
  title: Type.TString;
391
391
  jurisdiction: Type.TString;
392
- dateEnacted: import("../../../index.js").TDateType;
392
+ dateEnacted: Type.TCodec<Type.TRefine<Type.TUnsafe<Date>>, Date>;
393
393
  }>]>, Type.TIntersect<[Type.TObject<{
394
394
  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">]>;
395
395
  }>, Type.TObject<{
396
396
  type: Type.TLiteral<"CourtCase">;
397
397
  caseName: Type.TString;
398
398
  court: Type.TString;
399
- date: import("../../../index.js").TDateType;
399
+ date: Type.TCodec<Type.TRefine<Type.TUnsafe<Date>>, Date>;
400
400
  reporter: Type.TOptional<Type.TString>;
401
401
  }>]>, Type.TIntersect<[Type.TObject<{
402
402
  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">]>;
403
403
  }>, Type.TObject<{
404
404
  type: Type.TLiteral<"GovernmentPublication">;
405
405
  title: Type.TString;
406
- date: import("../../../index.js").TDateType;
406
+ date: Type.TCodec<Type.TRefine<Type.TUnsafe<Date>>, Date>;
407
407
  authors: Type.TOptional<Type.TArray<Type.TObject<{
408
408
  givenNames: Type.TString;
409
409
  familyName: Type.TString;