npm - @proposit/shared - Versions diffs - 0.3.2 → 0.5.0 - Mend

@proposit/shared 0.3.2 → 0.5.0

This diff represents the content of publicly available package versions that have been released to one of the supported registries. The information contained in this diff is provided for informational purposes only and reflects changes between package versions as they appear in their respective public registries.

Files changed (186) hide show

package/dist/api-client/argument/batch.d.ts +446 -10
package/dist/api-client/argument/batch.d.ts.map +1 -1
package/dist/api-client/argument/claims.d.ts +1761 -17
package/dist/api-client/argument/claims.d.ts.map +1 -1
package/dist/api-client/argument/claims.js +5 -5
package/dist/api-client/argument/claims.js.map +1 -1
package/dist/api-client/argument/index.d.ts +1783 -49
package/dist/api-client/argument/index.d.ts.map +1 -1
package/dist/api-client/argument/logic/index.d.ts +46 -12
package/dist/api-client/argument/logic/index.d.ts.map +1 -1
package/dist/api-client/argument/logic/repair.d.ts +1 -4
package/dist/api-client/argument/logic/repair.d.ts.map +1 -1
package/dist/api-client/factory.d.ts +7 -7
package/dist/api-client/factory.d.ts.map +1 -1
package/dist/api-client/factory.js +7 -7
package/dist/api-client/factory.js.map +1 -1
package/dist/api-client/search.d.ts +4 -4
package/dist/api-client/search.d.ts.map +1 -1
package/dist/api-client/search.js +3 -3
package/dist/api-client/search.js.map +1 -1
package/dist/api-client/user/citations.d.ts +912 -0
package/dist/api-client/user/citations.d.ts.map +1 -0
package/dist/api-client/user/citations.js +9 -0
package/dist/api-client/user/citations.js.map +1 -0
package/dist/api-client/user/claims.d.ts +444 -10
package/dist/api-client/user/claims.d.ts.map +1 -1
package/dist/consts/user-tiers.js +7 -7
package/dist/consts/user-tiers.js.map +1 -1
package/dist/engine/derivation.d.ts +3 -0
package/dist/engine/derivation.d.ts.map +1 -0
package/dist/engine/derivation.js +2 -0
package/dist/engine/derivation.js.map +1 -0
package/dist/engine/engine.d.ts +16 -32
package/dist/engine/engine.d.ts.map +1 -1
package/dist/engine/engine.js +65 -84
package/dist/engine/engine.js.map +1 -1
package/dist/engine/library-adapters.d.ts +3 -7
package/dist/engine/library-adapters.d.ts.map +1 -1
package/dist/engine/library-adapters.js +16 -8
package/dist/engine/library-adapters.js.map +1 -1
package/dist/engine/mutations/premises.d.ts.map +1 -1
package/dist/engine/mutations/premises.js +4 -1
package/dist/engine/mutations/premises.js.map +1 -1
package/dist/engine/optimistic/verification.d.ts.map +1 -1
package/dist/engine/optimistic/verification.js +2 -2
package/dist/engine/optimistic/verification.js.map +1 -1
package/dist/schemas/api/argument/batch/change-edge-operator.d.ts +1 -4
package/dist/schemas/api/argument/batch/change-edge-operator.d.ts.map +1 -1
package/dist/schemas/api/argument/batch/create-expression-with-operator.d.ts +1 -4
package/dist/schemas/api/argument/batch/create-expression-with-operator.d.ts.map +1 -1
package/dist/schemas/api/argument/batch/provision.d.ts +444 -2
package/dist/schemas/api/argument/batch/provision.d.ts.map +1 -1
package/dist/schemas/api/argument/claims.d.ts +1330 -18
package/dist/schemas/api/argument/claims.d.ts.map +1 -1
package/dist/schemas/api/argument/claims.js +6 -6
package/dist/schemas/api/argument/claims.js.map +1 -1
package/dist/schemas/api/argument/index.d.ts +443 -17
package/dist/schemas/api/argument/index.d.ts.map +1 -1
package/dist/schemas/api/argument/index.js +3 -3
package/dist/schemas/api/argument/index.js.map +1 -1
package/dist/schemas/api/argument/logic.d.ts +11 -1
package/dist/schemas/api/argument/logic.d.ts.map +1 -1
package/dist/schemas/api/argument/repair.d.ts +1 -4
package/dist/schemas/api/argument/repair.d.ts.map +1 -1
package/dist/schemas/api/citations.d.ts +2280 -0
package/dist/schemas/api/citations.d.ts.map +1 -0
package/dist/schemas/api/{sources.js → citations.js} +8 -9
package/dist/schemas/api/citations.js.map +1 -0
package/dist/schemas/api/claims.d.ts +888 -20
package/dist/schemas/api/claims.d.ts.map +1 -1
package/dist/schemas/api/claims.js +0 -2
package/dist/schemas/api/claims.js.map +1 -1
package/dist/schemas/api/search.d.ts +10 -10
package/dist/schemas/api/search.d.ts.map +1 -1
package/dist/schemas/api/search.js +6 -6
package/dist/schemas/api/search.js.map +1 -1
package/dist/schemas/logic.d.ts +11 -1
package/dist/schemas/logic.d.ts.map +1 -1
package/dist/schemas/model/arguments.d.ts +1340 -32
package/dist/schemas/model/arguments.d.ts.map +1 -1
package/dist/schemas/model/arguments.js +4 -8
package/dist/schemas/model/arguments.js.map +1 -1
package/dist/schemas/model/citations.d.ts +15 -0
package/dist/schemas/model/citations.d.ts.map +1 -0
package/dist/schemas/model/citations.js +12 -0
package/dist/schemas/model/citations.js.map +1 -0
package/dist/schemas/model/claims.d.ts +872 -6
package/dist/schemas/model/claims.d.ts.map +1 -1
package/dist/schemas/model/claims.js +21 -10
package/dist/schemas/model/claims.js.map +1 -1
package/dist/schemas/model/forks.d.ts +2 -2
package/dist/schemas/model/forks.d.ts.map +1 -1
package/dist/schemas/model/forks.js +2 -2
package/dist/schemas/model/forks.js.map +1 -1
package/dist/schemas/model/index.d.ts +1 -1
package/dist/schemas/model/index.d.ts.map +1 -1
package/dist/schemas/model/index.js +1 -1
package/dist/schemas/model/index.js.map +1 -1
package/dist/schemas/model/users.d.ts +3 -3
package/dist/schemas/model/users.d.ts.map +1 -1
package/dist/schemas/model/users.js +2 -2
package/dist/schemas/model/users.js.map +1 -1
package/dist/schemas/review.d.ts +13 -13
package/dist/schemas/review.d.ts.map +1 -1
package/dist/schemas/review.js +2 -1
package/dist/schemas/review.js.map +1 -1
package/dist/schemas/snapshot.d.ts +1 -4
package/dist/schemas/snapshot.d.ts.map +1 -1
package/dist/schemas/snapshot.js +0 -5
package/dist/schemas/snapshot.js.map +1 -1
package/dist/ui/assets/index.d.ts +9 -0
package/dist/ui/assets/index.d.ts.map +1 -0
package/dist/ui/assets/index.js +6 -0
package/dist/ui/assets/index.js.map +1 -0
package/dist/ui/assets/proposit-letter-logo-black.d.ts +3 -0
package/dist/ui/assets/proposit-letter-logo-black.d.ts.map +1 -0
package/dist/ui/assets/proposit-letter-logo-black.js +74 -0
package/dist/ui/assets/proposit-letter-logo-black.js.map +1 -0
package/dist/ui/assets/proposit-logo-black.d.ts +3 -0
package/dist/ui/assets/proposit-logo-black.d.ts.map +1 -0
package/dist/ui/assets/proposit-logo-black.js +87 -0
package/dist/ui/assets/proposit-logo-black.js.map +1 -0
package/dist/ui/assets/proposit-logo-white.d.ts +3 -0
package/dist/ui/assets/proposit-logo-white.d.ts.map +1 -0
package/dist/ui/assets/proposit-logo-white.js +31 -0
package/dist/ui/assets/proposit-logo-white.js.map +1 -0
package/dist/ui/assets/types.d.ts +7 -0
package/dist/ui/assets/types.d.ts.map +1 -0
package/dist/ui/assets/types.js +2 -0
package/dist/ui/assets/types.js.map +1 -0
package/dist/ui/breakpoints.d.ts +8 -0
package/dist/ui/breakpoints.d.ts.map +1 -0
package/dist/ui/breakpoints.js +7 -0
package/dist/ui/breakpoints.js.map +1 -0
package/dist/ui/colors.d.ts +43 -0
package/dist/ui/colors.d.ts.map +1 -0
package/dist/ui/colors.js +76 -0
package/dist/ui/colors.js.map +1 -0
package/dist/ui/index.d.ts +11 -0
package/dist/ui/index.d.ts.map +1 -0
package/dist/ui/index.js +11 -0
package/dist/ui/index.js.map +1 -0
package/dist/ui/motion.d.ts +11 -0
package/dist/ui/motion.d.ts.map +1 -0
package/dist/ui/motion.js +10 -0
package/dist/ui/motion.js.map +1 -0
package/dist/ui/radii.d.ts +9 -0
package/dist/ui/radii.d.ts.map +1 -0
package/dist/ui/radii.js +8 -0
package/dist/ui/radii.js.map +1 -0
package/dist/ui/shadows.d.ts +26 -0
package/dist/ui/shadows.d.ts.map +1 -0
package/dist/ui/shadows.js +33 -0
package/dist/ui/shadows.js.map +1 -0
package/dist/ui/sizing.d.ts +13 -0
package/dist/ui/sizing.d.ts.map +1 -0
package/dist/ui/sizing.js +12 -0
package/dist/ui/sizing.js.map +1 -0
package/dist/ui/spacing.d.ts +18 -0
package/dist/ui/spacing.d.ts.map +1 -0
package/dist/ui/spacing.js +17 -0
package/dist/ui/spacing.js.map +1 -0
package/dist/ui/typography.d.ts +20 -0
package/dist/ui/typography.d.ts.map +1 -0
package/dist/ui/typography.js +22 -0
package/dist/ui/typography.js.map +1 -0
package/dist/ui/z-index.d.ts +9 -0
package/dist/ui/z-index.d.ts.map +1 -0
package/dist/ui/z-index.js +8 -0
package/dist/ui/z-index.js.map +1 -0
package/dist/utils/embedding-text.d.ts +1 -1
package/dist/utils/embedding-text.d.ts.map +1 -1
package/dist/utils/embedding-text.js +1 -1
package/dist/utils/embedding-text.js.map +1 -1
package/package.json +18 -3
package/dist/api-client/user/sources.d.ts +0 -42
package/dist/api-client/user/sources.d.ts.map +0 -1
package/dist/api-client/user/sources.js +0 -9
package/dist/api-client/user/sources.js.map +0 -1
package/dist/schemas/api/sources.d.ts +0 -108
package/dist/schemas/api/sources.d.ts.map +0 -1
package/dist/schemas/api/sources.js.map +0 -1
package/dist/schemas/model/sources.d.ts +0 -456
package/dist/schemas/model/sources.d.ts.map +0 -1
package/dist/schemas/model/sources.js +0 -27
package/dist/schemas/model/sources.js.map +0 -1

package/dist/schemas/api/argument/claims.d.ts.map CHANGED Viewed

	@@ -1 +1 @@
1	- {"version":3,"file":"claims.d.ts","sourceRoot":"","sources":["../../../../src/schemas/api/argument/claims.ts"],"names":[],"mappings":"AAAA,OAAO,IAAI,EAAE,EAAE,KAAK,MAAM,EAAE,MAAM,SAAS,CAAA;~~AAY3C~~,eAAO,MAAM,0BAA0B;;;;;EAErC,CAAA;AACF,MAAM,MAAM,2BAA2B,GAAG,MAAM,CAC5C,OAAO,0BAA0B,CACpC,CAAA;AAED,eAAO,MAAM,2BAA2B~~;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;~~EAItC,CAAA;AACF,MAAM,MAAM,sBAAsB,GAAG,MAAM,CAAC,OAAO,2BAA2B,CAAC,CAAA;AAE/E,eAAO,MAAM,2BAA2B~~;;;;;;;;;;;;;;;~~EAEtC,CAAA;AACF,MAAM,MAAM,sBAAsB,GAAG,MAAM,CAAC,OAAO,2BAA2B,CAAC,CAAA;AAE/E,eAAO,MAAM,~~oBAAoB;;;;;;;;;;;;;;;;EAG/B~~,CAAA;AACF,MAAM,MAAM,~~eAAe~~,GAAG,MAAM,CAAC,OAAO,~~oBAAoB~~,CAAC,CAAA;~~AAEjE~~,eAAO,MAAM~~,+BAA+B;;;;;;;;EAE1C~~,CAAA;AACF,MAAM,MAAM,~~0BAA0B~~,GAAG,MAAM,~~CAC3C~~,OAAO~~,+BAA+B~~,~~CACzC~~,CAAA"}
1	+ {"version":3,"file":"claims.d.ts","sourceRoot":"","sources":["../../../../src/schemas/api/argument/claims.ts"],"names":[],"mappings":"AAAA,OAAO,IAAI,EAAE,EAAE,KAAK,MAAM,EAAE,MAAM,SAAS,CAAA;AAS3C,eAAO,MAAM,0BAA0B;;;;;EAErC,CAAA;AACF,MAAM,MAAM,2BAA2B,GAAG,MAAM,CAC5C,OAAO,0BAA0B,CACpC,CAAA;AAED,eAAO,MAAM,2BAA2B;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;EAItC,CAAA;AACF,MAAM,MAAM,sBAAsB,GAAG,MAAM,CAAC,OAAO,2BAA2B,CAAC,CAAA;AAE/E,eAAO,MAAM,2BAA2B;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;EAEtC,CAAA;AACF,MAAM,MAAM,sBAAsB,GAAG,MAAM,CAAC,OAAO,2BAA2B,CAAC,CAAA;AAE/E,eAAO,MAAM,sBAAsB;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;EAGjC,CAAA;AACF,MAAM,MAAM,iBAAiB,GAAG,MAAM,CAAC,OAAO,sBAAsB,CAAC,CAAA;AAErE,eAAO,MAAM,iCAAiC;;;;;;;;;;;;;EAE5C,CAAA;AACF,MAAM,MAAM,4BAA4B,GAAG,MAAM,CAC7C,OAAO,iCAAiC,CAC3C,CAAA"}

package/dist/schemas/api/argument/claims.js CHANGED Viewed

@@ -1,7 +1,7 @@
 import Type, {} from "typebox";
 import { Nullable } from "../../common.js";
 import { ClaimSchema, MutableClaimFieldsSchema } from "../../model.js";
-import { SourceSchemaNotStrict, ClaimSourceSchema, } from "../../model/sources.js";
+import { ClaimCitationSchema } from "../../model/citations.js";
 import { PropositionalVariableSchema, PropositionalExpressionSchema, } from "../../logic.js";
 export const ClaimCreationRequestSchema = Type.Object({
     claimData: MutableClaimFieldsSchema,
@@ -14,11 +14,11 @@ export const ClaimCreationResponseSchema = Type.Object({
 export const ClaimDeletionResponseSchema = Type.Object({
     deletedClaims: Type.Array(ClaimSchema),
 });
-export const SourceCreationSchema = Type.Object({
-    source: SourceSchemaNotStrict,
-    sourceRelation: ClaimSourceSchema,
+export const CitationCreationSchema = Type.Object({
+    citation: ClaimSchema,
+    citationEdge: ClaimCitationSchema,
 });
-export const ClaimSourceDeleteResponseSchema = Type.Object({
-    deletedSources: Type.Array(ClaimSourceSchema),
+export const ClaimCitationDeleteResponseSchema = Type.Object({
+    deletedCitations: Type.Array(ClaimCitationSchema),
 });
 //# sourceMappingURL=claims.js.map

package/dist/schemas/api/argument/claims.js.map CHANGED Viewed

	@@ -1 +1 @@
1	- {"version":3,"file":"claims.js","sourceRoot":"","sources":["../../../../src/schemas/api/argument/claims.ts"],"names":[],"mappings":"AAAA,OAAO,IAAI,EAAE,EAAe,MAAM,SAAS,CAAA;AAC3C,OAAO,EAAE,QAAQ,EAAE,MAAM,iBAAiB,CAAA;AAC1C,OAAO,EAAE,WAAW,EAAE,wBAAwB,EAAE,MAAM,gBAAgB,CAAA;AACtE,OAAO,~~EACH~~,~~qBAAqB~~,~~EACrB~~,~~iBAAiB,GACpB,~~MAAM,~~wBAAwB~~,CAAA;~~AAC/B~~,OAAO,EACH,2BAA2B,EAC3B,6BAA6B,GAChC,MAAM,gBAAgB,CAAA;AAEvB,MAAM,CAAC,MAAM,0BAA0B,GAAG,IAAI,CAAC,MAAM,CAAC;IAClD,SAAS,EAAE,wBAAwB;CACtC,CAAC,CAAA;AAKF,MAAM,CAAC,MAAM,2BAA2B,GAAG,IAAI,CAAC,MAAM,CAAC;IACnD,QAAQ,EAAE,WAAW;IACrB,wBAAwB,EAAE,QAAQ,CAAC,2BAA2B,CAAC;IAC/D,2BAA2B,EAAE,IAAI,CAAC,KAAK,CAAC,6BAA6B,CAAC;CACzE,CAAC,CAAA;AAGF,MAAM,CAAC,MAAM,2BAA2B,GAAG,IAAI,CAAC,MAAM,CAAC;IACnD,aAAa,EAAE,IAAI,CAAC,KAAK,CAAC,WAAW,CAAC;CACzC,CAAC,CAAA;AAGF,MAAM,CAAC,MAAM,~~oBAAoB~~,GAAG,IAAI,CAAC,MAAM,CAAC;~~IAC5C~~,~~MAAM~~,EAAE,~~qBAAqB~~;~~IAC7B~~,~~cAAc~~,EAAE,~~iBAAiB~~;CACpC,CAAC,CAAA;AAGF,MAAM,CAAC,MAAM~~,+BAA+B~~,GAAG,IAAI,CAAC,MAAM,CAAC;~~IACvD~~,~~cAAc~~,EAAE,IAAI,CAAC,KAAK,CAAC,~~iBAAiB~~,CAAC;~~CAChD~~,CAAC,CAAA"}
1	+ {"version":3,"file":"claims.js","sourceRoot":"","sources":["../../../../src/schemas/api/argument/claims.ts"],"names":[],"mappings":"AAAA,OAAO,IAAI,EAAE,EAAe,MAAM,SAAS,CAAA;AAC3C,OAAO,EAAE,QAAQ,EAAE,MAAM,iBAAiB,CAAA;AAC1C,OAAO,EAAE,WAAW,EAAE,wBAAwB,EAAE,MAAM,gBAAgB,CAAA;AACtE,OAAO,EAAE,mBAAmB,EAAE,MAAM,0BAA0B,CAAA;AAC9D,OAAO,EACH,2BAA2B,EAC3B,6BAA6B,GAChC,MAAM,gBAAgB,CAAA;AAEvB,MAAM,CAAC,MAAM,0BAA0B,GAAG,IAAI,CAAC,MAAM,CAAC;IAClD,SAAS,EAAE,wBAAwB;CACtC,CAAC,CAAA;AAKF,MAAM,CAAC,MAAM,2BAA2B,GAAG,IAAI,CAAC,MAAM,CAAC;IACnD,QAAQ,EAAE,WAAW;IACrB,wBAAwB,EAAE,QAAQ,CAAC,2BAA2B,CAAC;IAC/D,2BAA2B,EAAE,IAAI,CAAC,KAAK,CAAC,6BAA6B,CAAC;CACzE,CAAC,CAAA;AAGF,MAAM,CAAC,MAAM,2BAA2B,GAAG,IAAI,CAAC,MAAM,CAAC;IACnD,aAAa,EAAE,IAAI,CAAC,KAAK,CAAC,WAAW,CAAC;CACzC,CAAC,CAAA;AAGF,MAAM,CAAC,MAAM,sBAAsB,GAAG,IAAI,CAAC,MAAM,CAAC;IAC9C,QAAQ,EAAE,WAAW;IACrB,YAAY,EAAE,mBAAmB;CACpC,CAAC,CAAA;AAGF,MAAM,CAAC,MAAM,iCAAiC,GAAG,IAAI,CAAC,MAAM,CAAC;IACzD,gBAAgB,EAAE,IAAI,CAAC,KAAK,CAAC,mBAAmB,CAAC;CACpD,CAAC,CAAA"}

package/dist/schemas/api/argument/index.d.ts CHANGED Viewed

@@ -63,9 +63,441 @@ export declare const FullArgumentSchema: Type.TObject<{
         claimForkId: Type.TUnion<[Type.TString, Type.TNull]>;
         creatorId: Type.TString;
         createdOn: import("../../common.js").TDateType;
-        type: Type.TUnion<[Type.TUnion<[Type.TLiteral<"definition">, Type.TLiteral<"criterion">]>, Type.TUnion<[Type.TLiteral<"conclusion">, Type.TLiteral<"claim">]>]>;
+        kind: Type.TUnion<[Type.TUnion<[Type.TLiteral<"definition">, Type.TLiteral<"criterion">]>, Type.TUnion<[Type.TLiteral<"conclusion">, Type.TLiteral<"claim">]>]>;
+        type: Type.TUnion<[Type.TLiteral<"normal">, Type.TLiteral<"citation">]>;
         parentId: Type.TUnion<[Type.TString, Type.TNull]>;
         titleContentHash: Type.TOptional<Type.TUnion<[Type.TString, Type.TNull]>>;
+        url: Type.TOptional<Type.TUnion<[Type.TString, Type.TNull]>>;
+        citation: Type.TOptional<Type.TUnion<[Type.TIntersect<[Type.TObject<{
+            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">, Type.TLiteral<"UnparsedURL">]>;
+        }>, Type.TObject<{
+            type: Type.TLiteral<"Book">;
+            title: Type.TString;
+            year: Type.TString;
+            authors: Type.TArray<Type.TObject<{
+                givenNames: Type.TString;
+                familyName: Type.TString;
+                suffix: Type.TOptional<Type.TString>;
+            }>>;
+            edition: Type.TOptional<Type.TString>;
+            publisher: Type.TString;
+            location: Type.TOptional<Type.TString>;
+            isbn: Type.TOptional<Type.TString>;
+        }>]>, Type.TIntersect<[Type.TObject<{
+            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">, Type.TLiteral<"UnparsedURL">]>;
+        }>, Type.TObject<{
+            type: Type.TLiteral<"Website">;
+            authors: Type.TArray<Type.TObject<{
+                givenNames: Type.TString;
+                familyName: Type.TString;
+                suffix: Type.TOptional<Type.TString>;
+            }>>;
+            pageTitle: Type.TString;
+            websiteTitle: Type.TString;
+            accessedDate: import("@proposit/proposit-core").TDateType;
+            url: Type.TString;
+        }>]>, Type.TIntersect<[Type.TObject<{
+            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">, Type.TLiteral<"UnparsedURL">]>;
+        }>, Type.TObject<{
+            type: Type.TLiteral<"BookChapter">;
+            chapterTitle: Type.TString;
+            year: Type.TString;
+            authors: Type.TArray<Type.TObject<{
+                givenNames: Type.TString;
+                familyName: Type.TString;
+                suffix: Type.TOptional<Type.TString>;
+            }>>;
+            bookTitle: Type.TString;
+            editors: Type.TOptional<Type.TArray<Type.TObject<{
+                givenNames: Type.TString;
+                familyName: Type.TString;
+                suffix: Type.TOptional<Type.TString>;
+            }>>>;
+            publisher: Type.TString;
+            location: Type.TString;
+            pages: Type.TOptional<Type.TString>;
+            isbn: Type.TOptional<Type.TString>;
+        }>]>, Type.TIntersect<[Type.TObject<{
+            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">, Type.TLiteral<"UnparsedURL">]>;
+        }>, Type.TObject<{
+            type: Type.TLiteral<"Handbook">;
+            title: Type.TString;
+            year: Type.TString;
+            publisher: Type.TString;
+            edition: Type.TOptional<Type.TString>;
+            location: Type.TString;
+            isbn: Type.TOptional<Type.TString>;
+        }>]>, Type.TIntersect<[Type.TObject<{
+            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">, Type.TLiteral<"UnparsedURL">]>;
+        }>, Type.TObject<{
+            type: Type.TLiteral<"TechnicalReport">;
+            title: Type.TString;
+            year: Type.TString;
+            authors: Type.TArray<Type.TObject<{
+                givenNames: Type.TString;
+                familyName: Type.TString;
+                suffix: Type.TOptional<Type.TString>;
+            }>>;
+            reportNumber: Type.TString;
+            institution: Type.TString;
+            location: Type.TString;
+        }>]>, Type.TIntersect<[Type.TObject<{
+            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">, Type.TLiteral<"UnparsedURL">]>;
+        }>, Type.TObject<{
+            type: Type.TLiteral<"Standard">;
+            organization: Type.TString;
+            standardNumber: Type.TString;
+            title: Type.TString;
+            date: import("@proposit/proposit-core").TDateType;
+        }>]>, Type.TIntersect<[Type.TObject<{
+            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">, Type.TLiteral<"UnparsedURL">]>;
+        }>, Type.TObject<{
+            type: Type.TLiteral<"Thesis">;
+            title: Type.TString;
+            year: Type.TString;
+            authors: Type.TArray<Type.TObject<{
+                givenNames: Type.TString;
+                familyName: Type.TString;
+                suffix: Type.TOptional<Type.TString>;
+            }>>;
+            degree: Type.TString;
+            institution: Type.TString;
+            location: Type.TString;
+        }>]>, Type.TIntersect<[Type.TObject<{
+            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">, Type.TLiteral<"UnparsedURL">]>;
+        }>, Type.TObject<{
+            type: Type.TLiteral<"Patent">;
+            title: Type.TString;
+            inventors: Type.TArray<Type.TObject<{
+                givenNames: Type.TString;
+                familyName: Type.TString;
+                suffix: Type.TOptional<Type.TString>;
+            }>>;
+            country: Type.TString;
+            patentNumber: Type.TString;
+            date: import("@proposit/proposit-core").TDateType;
+        }>]>, Type.TIntersect<[Type.TObject<{
+            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">, Type.TLiteral<"UnparsedURL">]>;
+        }>, Type.TObject<{
+            type: Type.TLiteral<"Dictionary">;
+            title: Type.TString;
+            year: Type.TString;
+            publisher: Type.TString;
+            edition: Type.TOptional<Type.TString>;
+        }>]>, Type.TIntersect<[Type.TObject<{
+            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">, Type.TLiteral<"UnparsedURL">]>;
+        }>, Type.TObject<{
+            type: Type.TLiteral<"Encyclopedia">;
+            title: Type.TString;
+            year: Type.TString;
+            publisher: Type.TString;
+            edition: Type.TOptional<Type.TString>;
+        }>]>, Type.TIntersect<[Type.TObject<{
+            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">, Type.TLiteral<"UnparsedURL">]>;
+        }>, Type.TObject<{
+            type: Type.TLiteral<"JournalArticle">;
+            title: Type.TString;
+            year: Type.TString;
+            authors: Type.TArray<Type.TObject<{
+                givenNames: Type.TString;
+                familyName: Type.TString;
+                suffix: Type.TOptional<Type.TString>;
+            }>>;
+            journalTitle: Type.TString;
+            volume: Type.TOptional<Type.TString>;
+            issue: Type.TOptional<Type.TString>;
+            pages: Type.TOptional<Type.TString>;
+            doi: Type.TOptional<Type.TString>;
+        }>]>, Type.TIntersect<[Type.TObject<{
+            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">, Type.TLiteral<"UnparsedURL">]>;
+        }>, Type.TObject<{
+            type: Type.TLiteral<"MagazineArticle">;
+            title: Type.TString;
+            year: Type.TString;
+            authors: Type.TArray<Type.TObject<{
+                givenNames: Type.TString;
+                familyName: Type.TString;
+                suffix: Type.TOptional<Type.TString>;
+            }>>;
+            magazineTitle: Type.TString;
+            volume: Type.TOptional<Type.TString>;
+            issue: Type.TOptional<Type.TString>;
+            pages: Type.TOptional<Type.TString>;
+        }>]>, Type.TIntersect<[Type.TObject<{
+            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">, Type.TLiteral<"UnparsedURL">]>;
+        }>, Type.TObject<{
+            type: Type.TLiteral<"NewspaperArticle">;
+            title: Type.TString;
+            authors: Type.TArray<Type.TObject<{
+                givenNames: Type.TString;
+                familyName: Type.TString;
+                suffix: Type.TOptional<Type.TString>;
+            }>>;
+            newspaperTitle: Type.TString;
+            date: import("@proposit/proposit-core").TDateType;
+            pages: Type.TOptional<Type.TString>;
+        }>]>, Type.TIntersect<[Type.TObject<{
+            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">, Type.TLiteral<"UnparsedURL">]>;
+        }>, Type.TObject<{
+            type: Type.TLiteral<"ConferencePaper">;
+            title: Type.TString;
+            authors: Type.TArray<Type.TObject<{
+                givenNames: Type.TString;
+                familyName: Type.TString;
+                suffix: Type.TOptional<Type.TString>;
+            }>>;
+            conferenceName: Type.TString;
+            location: Type.TString;
+            date: import("@proposit/proposit-core").TDateType;
+            pages: Type.TOptional<Type.TString>;
+            doi: Type.TOptional<Type.TString>;
+        }>]>, Type.TIntersect<[Type.TObject<{
+            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">, Type.TLiteral<"UnparsedURL">]>;
+        }>, Type.TObject<{
+            type: Type.TLiteral<"ConferenceProceedings">;
+            editors: Type.TOptional<Type.TArray<Type.TObject<{
+                givenNames: Type.TString;
+                familyName: Type.TString;
+                suffix: Type.TOptional<Type.TString>;
+            }>>>;
+            conferenceName: Type.TString;
+            location: Type.TString;
+            date: import("@proposit/proposit-core").TDateType;
+            publisher: Type.TString;
+            isbn: Type.TOptional<Type.TString>;
+        }>]>, Type.TIntersect<[Type.TObject<{
+            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">, Type.TLiteral<"UnparsedURL">]>;
+        }>, Type.TObject<{
+            type: Type.TLiteral<"Dataset">;
+            title: Type.TString;
+            year: Type.TString;
+            authors: Type.TOptional<Type.TArray<Type.TObject<{
+                givenNames: Type.TString;
+                familyName: Type.TString;
+                suffix: Type.TOptional<Type.TString>;
+            }>>>;
+            repository: Type.TString;
+            version: Type.TOptional<Type.TString>;
+            doi: Type.TOptional<Type.TString>;
+            url: Type.TString;
+        }>]>, Type.TIntersect<[Type.TObject<{
+            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">, Type.TLiteral<"UnparsedURL">]>;
+        }>, Type.TObject<{
+            type: Type.TLiteral<"Software">;
+            title: Type.TString;
+            year: Type.TString;
+            authors: Type.TOptional<Type.TArray<Type.TObject<{
+                givenNames: Type.TString;
+                familyName: Type.TString;
+                suffix: Type.TOptional<Type.TString>;
+            }>>>;
+            version: Type.TOptional<Type.TString>;
+            publisher: Type.TOptional<Type.TString>;
+            doi: Type.TOptional<Type.TString>;
+            url: Type.TString;
+        }>]>, Type.TIntersect<[Type.TObject<{
+            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">, Type.TLiteral<"UnparsedURL">]>;
+        }>, Type.TObject<{
+            type: Type.TLiteral<"OnlineDocument">;
+            authors: Type.TOptional<Type.TArray<Type.TObject<{
+                givenNames: Type.TString;
+                familyName: Type.TString;
+                suffix: Type.TOptional<Type.TString>;
+            }>>>;
+            title: Type.TString;
+            publisher: Type.TOptional<Type.TString>;
+            url: Type.TString;
+            accessedDate: import("@proposit/proposit-core").TDateType;
+        }>]>, Type.TIntersect<[Type.TObject<{
+            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">, Type.TLiteral<"UnparsedURL">]>;
+        }>, Type.TObject<{
+            type: Type.TLiteral<"Blog">;
+            author: Type.TObject<{
+                givenNames: Type.TString;
+                familyName: Type.TString;
+                suffix: Type.TOptional<Type.TString>;
+            }>;
+            postTitle: Type.TString;
+            blogName: Type.TString;
+            date: import("@proposit/proposit-core").TDateType;
+            url: Type.TString;
+            accessedDate: import("@proposit/proposit-core").TDateType;
+        }>]>, Type.TIntersect<[Type.TObject<{
+            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">, Type.TLiteral<"UnparsedURL">]>;
+        }>, Type.TObject<{
+            type: Type.TLiteral<"SocialMedia">;
+            author: Type.TObject<{
+                givenNames: Type.TString;
+                familyName: Type.TString;
+                suffix: Type.TOptional<Type.TString>;
+            }>;
+            platform: Type.TString;
+            postDate: import("@proposit/proposit-core").TDateType;
+            url: Type.TString;
+        }>]>, Type.TIntersect<[Type.TObject<{
+            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">, Type.TLiteral<"UnparsedURL">]>;
+        }>, Type.TObject<{
+            type: Type.TLiteral<"Preprint">;
+            title: Type.TString;
+            year: Type.TString;
+            authors: Type.TArray<Type.TObject<{
+                givenNames: Type.TString;
+                familyName: Type.TString;
+                suffix: Type.TOptional<Type.TString>;
+            }>>;
+            server: Type.TString;
+            doi: Type.TOptional<Type.TString>;
+            url: Type.TString;
+        }>]>, Type.TIntersect<[Type.TObject<{
+            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">, Type.TLiteral<"UnparsedURL">]>;
+        }>, Type.TObject<{
+            type: Type.TLiteral<"Video">;
+            title: Type.TString;
+            authors: Type.TOptional<Type.TArray<Type.TObject<{
+                givenNames: Type.TString;
+                familyName: Type.TString;
+                suffix: Type.TOptional<Type.TString>;
+            }>>>;
+            releaseDate: Type.TOptional<import("@proposit/proposit-core").TDateType>;
+            platform: Type.TString;
+            url: Type.TString;
+            accessedDate: import("@proposit/proposit-core").TDateType;
+        }>]>, Type.TIntersect<[Type.TObject<{
+            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">, Type.TLiteral<"UnparsedURL">]>;
+        }>, Type.TObject<{
+            type: Type.TLiteral<"Podcast">;
+            authors: Type.TOptional<Type.TArray<Type.TObject<{
+                givenNames: Type.TString;
+                familyName: Type.TString;
+                suffix: Type.TOptional<Type.TString>;
+            }>>>;
+            episodeTitle: Type.TString;
+            seriesTitle: Type.TString;
+            platform: Type.TString;
+            url: Type.TString;
+            accessedDate: import("@proposit/proposit-core").TDateType;
+        }>]>, Type.TIntersect<[Type.TObject<{
+            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">, Type.TLiteral<"UnparsedURL">]>;
+        }>, Type.TObject<{
+            type: Type.TLiteral<"Course">;
+            title: Type.TString;
+            year: Type.TString;
+            instructor: Type.TObject<{
+                givenNames: Type.TString;
+                familyName: Type.TString;
+                suffix: Type.TOptional<Type.TString>;
+            }>;
+            institution: Type.TString;
+            courseCode: Type.TOptional<Type.TString>;
+            term: Type.TString;
+        }>]>, Type.TIntersect<[Type.TObject<{
+            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">, Type.TLiteral<"UnparsedURL">]>;
+        }>, Type.TObject<{
+            type: Type.TLiteral<"Presentation">;
+            title: Type.TString;
+            presenter: Type.TObject<{
+                givenNames: Type.TString;
+                familyName: Type.TString;
+                suffix: Type.TOptional<Type.TString>;
+            }>;
+            eventTitle: Type.TString;
+            location: Type.TString;
+            date: import("@proposit/proposit-core").TDateType;
+        }>]>, Type.TIntersect<[Type.TObject<{
+            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">, Type.TLiteral<"UnparsedURL">]>;
+        }>, Type.TObject<{
+            type: Type.TLiteral<"Interview">;
+            interviewee: Type.TObject<{
+                givenNames: Type.TString;
+                familyName: Type.TString;
+                suffix: Type.TOptional<Type.TString>;
+            }>;
+            interviewer: Type.TOptional<Type.TObject<{
+                givenNames: Type.TString;
+                familyName: Type.TString;
+                suffix: Type.TOptional<Type.TString>;
+            }>>;
+            date: import("@proposit/proposit-core").TDateType;
+        }>]>, Type.TIntersect<[Type.TObject<{
+            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">, Type.TLiteral<"UnparsedURL">]>;
+        }>, Type.TObject<{
+            type: Type.TLiteral<"PersonalCommunication">;
+            person: Type.TObject<{
+                givenNames: Type.TString;
+                familyName: Type.TString;
+                suffix: Type.TOptional<Type.TString>;
+            }>;
+            date: import("@proposit/proposit-core").TDateType;
+        }>]>, Type.TIntersect<[Type.TObject<{
+            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">, Type.TLiteral<"UnparsedURL">]>;
+        }>, Type.TObject<{
+            type: Type.TLiteral<"Email">;
+            sender: Type.TObject<{
+                givenNames: Type.TString;
+                familyName: Type.TString;
+                suffix: Type.TOptional<Type.TString>;
+            }>;
+            recipient: Type.TObject<{
+                givenNames: Type.TString;
+                familyName: Type.TString;
+                suffix: Type.TOptional<Type.TString>;
+            }>;
+            date: import("@proposit/proposit-core").TDateType;
+        }>]>, Type.TIntersect<[Type.TObject<{
+            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">, Type.TLiteral<"UnparsedURL">]>;
+        }>, Type.TObject<{
+            type: Type.TLiteral<"Law">;
+            title: Type.TString;
+            jurisdiction: Type.TString;
+            dateEnacted: import("@proposit/proposit-core").TDateType;
+        }>]>, Type.TIntersect<[Type.TObject<{
+            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">, Type.TLiteral<"UnparsedURL">]>;
+        }>, Type.TObject<{
+            type: Type.TLiteral<"CourtCase">;
+            caseName: Type.TString;
+            court: Type.TString;
+            date: import("@proposit/proposit-core").TDateType;
+            reporter: Type.TOptional<Type.TString>;
+        }>]>, Type.TIntersect<[Type.TObject<{
+            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">, Type.TLiteral<"UnparsedURL">]>;
+        }>, Type.TObject<{
+            type: Type.TLiteral<"GovernmentPublication">;
+            title: Type.TString;
+            date: import("@proposit/proposit-core").TDateType;
+            authors: Type.TOptional<Type.TArray<Type.TObject<{
+                givenNames: Type.TString;
+                familyName: Type.TString;
+                suffix: Type.TOptional<Type.TString>;
+            }>>>;
+            agency: Type.TString;
+            reportNumber: Type.TOptional<Type.TString>;
+            location: Type.TString;
+        }>]>, Type.TIntersect<[Type.TObject<{
+            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">, Type.TLiteral<"UnparsedURL">]>;
+        }>, Type.TObject<{
+            type: Type.TLiteral<"Datasheet">;
+            title: Type.TString;
+            year: Type.TString;
+            manufacturer: Type.TString;
+            partNumber: Type.TString;
+            url: Type.TString;
+        }>]>, Type.TIntersect<[Type.TObject<{
+            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">, Type.TLiteral<"UnparsedURL">]>;
+        }>, Type.TObject<{
+            type: Type.TLiteral<"ProductManual">;
+            title: Type.TString;
+            year: Type.TString;
+            manufacturer: Type.TString;
+            model: Type.TString;
+            url: Type.TOptional<Type.TString>;
+        }>]>, Type.TIntersect<[Type.TObject<{
+            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">, Type.TLiteral<"UnparsedURL">]>;
+        }>, Type.TObject<{
+            type: Type.TLiteral<"UnparsedURL">;
+            url: Type.TString;
+            text: Type.TOptional<Type.TString>;
+        }>]>]>>;
+        citationContentHash: Type.TOptional<Type.TUnion<[Type.TString, Type.TNull]>>;
     }>>;
     propositionalLogic: Type.TObject<{
         argument: Type.TIntersect<[Type.TObject<{
@@ -158,6 +590,7 @@ export declare const FullArgumentSchema: Type.TObject<{
                 argumentVersion: Type.TNumber;
                 role: Type.TUnion<[Type.TLiteral<"conclusion">, Type.TLiteral<"supporting">]>;
                 title: Type.TOptional<Type.TUnion<[Type.TString, Type.TNull]>>;
+                type: Type.TUnion<[Type.TLiteral<"freeform">, Type.TLiteral<"derivation">]>;
                 id: Type.TString;
             }>, Type.TObject<{
                 checksum: Type.TOptional<Type.TString>;
@@ -223,27 +656,20 @@ export declare const FullArgumentSchema: Type.TObject<{
             config: Type.TOptional<Type.TUnknown>;
         }>>;
         conclusionPremiseId: Type.TOptional<Type.TString>;
-        sources: Type.TOptional<Type.TObject<{
-            variableSourceAssociations: Type.TArray<Type.TUnknown>;
-            expressionSourceAssociations: Type.TArray<Type.TUnknown>;
-        }>>;
         config: Type.TOptional<Type.TUnknown>;
     }>;
-    claimSources: Type.TArray<Type.TObject<{
-        claimId: Type.TString;
-        sourceId: Type.TString;
+    claimCitations: Type.TArray<Type.TIntersect<[Type.TObject<{
+        id: Type.TString;
+        citingClaimId: Type.TString;
+        citingClaimVersion: Type.TNumber;
+        sourceClaimId: Type.TString;
+        sourceClaimVersion: Type.TNumber;
+        checksum: Type.TString;
+    }>, Type.TObject<{
         argumentId: Type.TString;
         version: Type.TNumber;
         createdOn: import("../../common.js").TDateType;
-    }>>;
-    sources: Type.TArray<Type.TObject<{
-        id: Type.TString;
-        url: Type.TUnion<[Type.TString, Type.TNull]>;
-        citation: Type.TRecord<"^.*$", Type.TAny>;
-        createdOn: import("../../common.js").TDateType;
-        creatorId: Type.TString;
-        citationContentHash: Type.TOptional<Type.TUnion<[Type.TString, Type.TNull]>>;
-    }>>;
+    }>]>>;
     argumentHistory: Type.TArray<Type.TIntersect<[Type.TObject<{
         id: Type.TString;
         version: Type.TNumber;