@proposit/shared 0.7.1 → 0.8.0

package/dist/schemas/model/claims.d.ts

@@ -1,28 +1,50 @@
 import Type, { type Static } from "typebox";
+export declare const ClaimTypeSchema: Type.TUnion<[Type.TLiteral<"normal">, Type.TLiteral<"citation">, Type.TLiteral<"axiomatic">]>;
+export type TClaimType = Static<typeof ClaimTypeSchema>;
+export declare const AxiomKindSchema: Type.TUnion<[Type.TLiteral<"definition">, Type.TLiteral<"stipulation">, Type.TLiteral<"logical-principle">, Type.TLiteral<"mathematical-principle">, Type.TLiteral<"domain-rule">, Type.TLiteral<"background-assumption">]>;
+export type TAxiomKind = Static<typeof AxiomKindSchema>;
 export declare const MutableClaimFieldsSchema: Type.TObject<{
     title: Type.TString;
     body: Type.TString;
+    titleContentHash: Type.TString;
 }>;
 export type TMutableClaimFields = Static<typeof MutableClaimFieldsSchema>;
 export declare const ClaimUpdateRequestSchema: Type.TObject<{
     title: Type.TString;
     body: Type.TString;
+    titleContentHash: Type.TString;
     digest: Type.TString;
 }>;
 export type TClaimUpdateFields = Static<typeof ClaimUpdateRequestSchema>;
-export declare const ClaimKinds: {
+export declare const NormalClaimKinds: {
     readonly CLAIM: "claim";
     readonly CONCLUSION: "conclusion";
     readonly DEFINITION: "definition";
     readonly CRITERION: "criterion";
 };
-export declare const ClaimKindsSchema: Type.TUnion<[Type.TUnion<[Type.TLiteral<"definition">, Type.TLiteral<"criterion">]>, Type.TUnion<[Type.TLiteral<"conclusion">, Type.TLiteral<"claim">]>]>;
-export type TClaimKindsSchema = Static<typeof ClaimKindsSchema>;
-export declare const ClaimTypeSchema: Type.TUnion<[Type.TLiteral<"normal">, Type.TLiteral<"citation">]>;
-export type TClaimType = Static<typeof ClaimTypeSchema>;
-export declare const ClaimSchema: Type.TObject<{
+export declare const NormalClaimKindsSchema: Type.TUnion<[Type.TUnion<[Type.TLiteral<"definition">, Type.TLiteral<"criterion">]>, Type.TUnion<[Type.TLiteral<"conclusion">, Type.TLiteral<"claim">]>]>;
+export type TNormalClaimKinds = Static<typeof NormalClaimKindsSchema>;
+export declare const NormalClaimSchema: Type.TObject<{
+    digest: Type.TString;
+    id: Type.TString;
+    argumentId: Type.TString;
+    version: Type.TNumber;
+    claimForkId: Type.TUnion<[Type.TString, Type.TNull]>;
+    creatorId: Type.TString;
+    createdOn: import("../common.js").TDateType;
+    parentId: Type.TUnion<[Type.TString, Type.TNull]>;
     title: Type.TString;
     body: Type.TString;
+    titleContentHash: Type.TString;
+    type: Type.TLiteral<"normal">;
+    kind: Type.TUnion<[Type.TUnion<[Type.TLiteral<"definition">, Type.TLiteral<"criterion">]>, Type.TUnion<[Type.TLiteral<"conclusion">, Type.TLiteral<"claim">]>]>;
+    url: Type.TNull;
+    citation: Type.TNull;
+    citationContentHash: Type.TNull;
+    axiom: Type.TNull;
+}>;
+export type TNormalClaim = Static<typeof NormalClaimSchema>;
+export declare const CitationClaimSchema: Type.TObject<{
     digest: Type.TString;
     id: Type.TString;
     argumentId: Type.TString;
@@ -30,12 +52,14 @@ export declare const ClaimSchema: Type.TObject<{
     claimForkId: Type.TUnion<[Type.TString, Type.TNull]>;
     creatorId: Type.TString;
     createdOn: import("../common.js").TDateType;
-    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.TUnion<[Type.TIntersect<[Type.TObject<{
+    type: Type.TLiteral<"citation">;
+    kind: Type.TNull;
+    title: Type.TNull;
+    body: Type.TNull;
+    titleContentHash: Type.TNull;
+    url: Type.TString;
+    citation: 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">;
@@ -463,13 +487,50 @@ export declare const ClaimSchema: Type.TObject<{
         type: Type.TLiteral<"UnparsedURL">;
         url: Type.TString;
         text: Type.TOptional<Type.TString>;
-    }>]>]>, Type.TNull]>>;
-    citationContentHash: Type.TOptional<Type.TUnion<[Type.TString, Type.TNull]>>;
+    }>]>]>;
+    citationContentHash: Type.TString;
+    axiom: Type.TNull;
 }>;
-export type TClaim = Static<typeof ClaimSchema>;
-export declare const ClaimWithChildrenSchema: Type.TObject<{
+export type TCitationClaim = Static<typeof CitationClaimSchema>;
+export declare const AxiomaticClaimSchema: Type.TObject<{
+    digest: Type.TString;
+    id: Type.TString;
+    argumentId: Type.TString;
+    version: Type.TNumber;
+    claimForkId: Type.TUnion<[Type.TString, Type.TNull]>;
+    creatorId: Type.TString;
+    createdOn: import("../common.js").TDateType;
+    parentId: Type.TUnion<[Type.TString, Type.TNull]>;
+    type: Type.TLiteral<"axiomatic">;
+    kind: Type.TNull;
+    title: Type.TNull;
+    body: Type.TNull;
+    titleContentHash: Type.TNull;
+    url: Type.TNull;
+    citation: Type.TNull;
+    citationContentHash: Type.TNull;
+    axiom: Type.TUnion<[Type.TLiteral<"definition">, Type.TLiteral<"stipulation">, Type.TLiteral<"logical-principle">, Type.TLiteral<"mathematical-principle">, Type.TLiteral<"domain-rule">, Type.TLiteral<"background-assumption">]>;
+}>;
+export type TAxiomaticClaim = Static<typeof AxiomaticClaimSchema>;
+export declare const ClaimSchema: Type.TUnion<[Type.TObject<{
+    digest: Type.TString;
+    id: Type.TString;
+    argumentId: Type.TString;
+    version: Type.TNumber;
+    claimForkId: Type.TUnion<[Type.TString, Type.TNull]>;
+    creatorId: Type.TString;
+    createdOn: import("../common.js").TDateType;
+    parentId: Type.TUnion<[Type.TString, Type.TNull]>;
     title: Type.TString;
     body: Type.TString;
+    titleContentHash: Type.TString;
+    type: Type.TLiteral<"normal">;
+    kind: Type.TUnion<[Type.TUnion<[Type.TLiteral<"definition">, Type.TLiteral<"criterion">]>, Type.TUnion<[Type.TLiteral<"conclusion">, Type.TLiteral<"claim">]>]>;
+    url: Type.TNull;
+    citation: Type.TNull;
+    citationContentHash: Type.TNull;
+    axiom: Type.TNull;
+}>, Type.TObject<{
     digest: Type.TString;
     id: Type.TString;
     argumentId: Type.TString;
@@ -477,12 +538,14 @@ export declare const ClaimWithChildrenSchema: Type.TObject<{
     claimForkId: Type.TUnion<[Type.TString, Type.TNull]>;
     creatorId: Type.TString;
     createdOn: import("../common.js").TDateType;
-    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.TUnion<[Type.TIntersect<[Type.TObject<{
+    type: Type.TLiteral<"citation">;
+    kind: Type.TNull;
+    title: Type.TNull;
+    body: Type.TNull;
+    titleContentHash: Type.TNull;
+    url: Type.TString;
+    citation: 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">;
@@ -910,8 +973,50 @@ export declare const ClaimWithChildrenSchema: Type.TObject<{
         type: Type.TLiteral<"UnparsedURL">;
         url: Type.TString;
         text: Type.TOptional<Type.TString>;
-    }>]>]>, Type.TNull]>>;
-    citationContentHash: Type.TOptional<Type.TUnion<[Type.TString, Type.TNull]>>;
+    }>]>]>;
+    citationContentHash: Type.TString;
+    axiom: Type.TNull;
+}>, Type.TObject<{
+    digest: Type.TString;
+    id: Type.TString;
+    argumentId: Type.TString;
+    version: Type.TNumber;
+    claimForkId: Type.TUnion<[Type.TString, Type.TNull]>;
+    creatorId: Type.TString;
+    createdOn: import("../common.js").TDateType;
+    parentId: Type.TUnion<[Type.TString, Type.TNull]>;
+    type: Type.TLiteral<"axiomatic">;
+    kind: Type.TNull;
+    title: Type.TNull;
+    body: Type.TNull;
+    titleContentHash: Type.TNull;
+    url: Type.TNull;
+    citation: Type.TNull;
+    citationContentHash: Type.TNull;
+    axiom: Type.TUnion<[Type.TLiteral<"definition">, Type.TLiteral<"stipulation">, Type.TLiteral<"logical-principle">, Type.TLiteral<"mathematical-principle">, Type.TLiteral<"domain-rule">, Type.TLiteral<"background-assumption">]>;
+}>]>;
+export type TClaim = Static<typeof ClaimSchema>;
+export declare function isNormalClaim(claim: TClaim): claim is TNormalClaim;
+export declare function isCitationClaim(claim: TClaim): claim is TCitationClaim;
+export declare function isAxiomaticClaim(claim: TClaim): claim is TAxiomaticClaim;
+export declare const ClaimWithChildrenSchema: Type.TObject<{
+    digest: Type.TString;
+    id: Type.TString;
+    argumentId: Type.TString;
+    version: Type.TNumber;
+    claimForkId: Type.TUnion<[Type.TString, Type.TNull]>;
+    creatorId: Type.TString;
+    createdOn: import("../common.js").TDateType;
+    parentId: Type.TUnion<[Type.TString, Type.TNull]>;
+    title: Type.TString;
+    body: Type.TString;
+    titleContentHash: Type.TString;
+    type: Type.TLiteral<"normal">;
+    kind: Type.TUnion<[Type.TUnion<[Type.TLiteral<"definition">, Type.TLiteral<"criterion">]>, Type.TUnion<[Type.TLiteral<"conclusion">, Type.TLiteral<"claim">]>]>;
+    url: Type.TNull;
+    citation: Type.TNull;
+    citationContentHash: Type.TNull;
+    axiom: Type.TNull;
     childClaimIds: Type.TArray<Type.TString>;
     childCitationIds: Type.TArray<Type.TString>;
 }>;

package/dist/schemas/model/claims.d.ts.map

@@ -1 +1 @@
-{"version":3,"file":"claims.d.ts","sourceRoot":"","sources":["../../../src/schemas/model/claims.ts"],"names":[],"mappings":"AAAA,OAAO,IAAI,EAAE,EAAE,KAAK,MAAM,EAAE,MAAM,SAAS,CAAA;AAI3C,eAAO,MAAM,wBAAwB;;;EAGnC,CAAA;AACF,MAAM,MAAM,mBAAmB,GAAG,MAAM,CAAC,OAAO,wBAAwB,CAAC,CAAA;AAEzE,eAAO,MAAM,wBAAwB;;;;EAKpC,CAAA;AACD,MAAM,MAAM,kBAAkB,GAAG,MAAM,CAAC,OAAO,wBAAwB,CAAC,CAAA;AAExE,eAAO,MAAM,UAAU;;;;;CAKb,CAAA;AAYV,eAAO,MAAM,gBAAgB,2JAAmD,CAAA;AAChF,MAAM,MAAM,iBAAiB,GAAG,MAAM,CAAC,OAAO,gBAAgB,CAAC,CAAA;AAE/D,eAAO,MAAM,eAAe,mEAG1B,CAAA;AACF,MAAM,MAAM,UAAU,GAAG,MAAM,CAAC,OAAO,eAAe,CAAC,CAAA;AAEvD,eAAO,MAAM,WAAW;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;EAgBtB,CAAA;AACF,MAAM,MAAM,MAAM,GAAG,MAAM,CAAC,OAAO,WAAW,CAAC,CAAA;AAE/C,eAAO,MAAM,uBAAuB;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;EAGlC,CAAA;AACF,MAAM,MAAM,kBAAkB,GAAG,MAAM,CAAC,OAAO,uBAAuB,CAAC,CAAA"}
+{"version":3,"file":"claims.d.ts","sourceRoot":"","sources":["../../../src/schemas/model/claims.ts"],"names":[],"mappings":"AAAA,OAAO,IAAI,EAAE,EAAE,KAAK,MAAM,EAAE,MAAM,SAAS,CAAA;AAY3C,eAAO,MAAM,eAAe,+FAAsB,CAAA;AAClD,MAAM,MAAM,UAAU,GAAG,MAAM,CAAC,OAAO,eAAe,CAAC,CAAA;AAEvD,eAAO,MAAM,eAAe,6NAO1B,CAAA;AACF,MAAM,MAAM,UAAU,GAAG,MAAM,CAAC,OAAO,eAAe,CAAC,CAAA;AAUvD,eAAO,MAAM,wBAAwB;;;;EAInC,CAAA;AACF,MAAM,MAAM,mBAAmB,GAAG,MAAM,CAAC,OAAO,wBAAwB,CAAC,CAAA;AAIzE,eAAO,MAAM,wBAAwB;;;;;EAGpC,CAAA;AACD,MAAM,MAAM,kBAAkB,GAAG,MAAM,CAAC,OAAO,wBAAwB,CAAC,CAAA;AAIxE,eAAO,MAAM,gBAAgB;;;;;CAKnB,CAAA;AAWV,eAAO,MAAM,sBAAsB,2JAGjC,CAAA;AACF,MAAM,MAAM,iBAAiB,GAAG,MAAM,CAAC,OAAO,sBAAsB,CAAC,CAAA;AAarE,eAAO,MAAM,iBAAiB;;;;;;;;;;;;;;;;;;EAU7B,CAAA;AACD,MAAM,MAAM,YAAY,GAAG,MAAM,CAAC,OAAO,iBAAiB,CAAC,CAAA;AAE3D,eAAO,MAAM,mBAAmB;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;EAU9B,CAAA;AACF,MAAM,MAAM,cAAc,GAAG,MAAM,CAAC,OAAO,mBAAmB,CAAC,CAAA;AAE/D,eAAO,MAAM,oBAAoB;;;;;;;;;;;;;;;;;;EAU/B,CAAA;AACF,MAAM,MAAM,eAAe,GAAG,MAAM,CAAC,OAAO,oBAAoB,CAAC,CAAA;AAEjE,eAAO,MAAM,WAAW;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;IAItB,CAAA;AACF,MAAM,MAAM,MAAM,GAAG,MAAM,CAAC,OAAO,WAAW,CAAC,CAAA;AAE/C,wBAAgB,aAAa,CAAC,KAAK,EAAE,MAAM,GAAG,KAAK,IAAI,YAAY,CAElE;AACD,wBAAgB,eAAe,CAAC,KAAK,EAAE,MAAM,GAAG,KAAK,IAAI,cAAc,CAEtE;AACD,wBAAgB,gBAAgB,CAAC,KAAK,EAAE,MAAM,GAAG,KAAK,IAAI,eAAe,CAExE;AAKD,eAAO,MAAM,uBAAuB;;;;;;;;;;;;;;;;;;;;EAGlC,CAAA;AACF,MAAM,MAAM,kBAAkB,GAAG,MAAM,CAAC,OAAO,uBAAuB,CAAC,CAAA"}

package/dist/schemas/model/claims.js

@@ -1,50 +1,111 @@
 import Type, {} from "typebox";
 import { EncodableDate, Nullable, UUID } from "../common.js";
 import { IEEEReferenceSchema } from "./references.js";
+import { CoreClaimAxiomaticTypeSchema, CoreClaimCitationTypeSchema, CoreClaimNormalTypeSchema, CoreClaimTypeSchema, } from "@proposit/proposit-core";
+// Re-export aliases so consumers that imported ClaimTypeSchema / TClaimType
+// from @proposit/shared/schemas keep working without code edits.
+export const ClaimTypeSchema = CoreClaimTypeSchema;
+export const AxiomKindSchema = Type.Union([
+    Type.Literal("definition"),
+    Type.Literal("stipulation"),
+    Type.Literal("logical-principle"),
+    Type.Literal("mathematical-principle"),
+    Type.Literal("domain-rule"),
+    Type.Literal("background-assumption"),
+]);
+// Single source of truth for `digest`. Everything that needs digest inherits
+// from this rather than re-declaring the field.
+const ClaimMetadataFieldsSchema = Type.Object({
+    digest: Type.String(),
+});
+// Normal-only mutable fields. Citation/Axiomatic variants do NOT inherit from
+// this — they redeclare title/body/titleContentHash inline as Type.Null().
 export const MutableClaimFieldsSchema = Type.Object({
     title: Type.String(),
     body: Type.String(),
+    titleContentHash: Type.String(),
 });
-export const ClaimUpdateRequestSchema = Type.Interface([MutableClaimFieldsSchema], {
-    digest: Type.String(),
-});
-export const ClaimKinds = {
+// Update request: Normal mutable fields + digest. Update is Normal-only in
+// this bump (creation/update for Citation/Axiomatic comes later).
+export const ClaimUpdateRequestSchema = Type.Interface([MutableClaimFieldsSchema, ClaimMetadataFieldsSchema], {});
+// Presentation taxonomy — Normal-claim-only. `kind` is null on Citation and
+// Axiomatic claims.
+export const NormalClaimKinds = {
     CLAIM: "claim",
     CONCLUSION: "conclusion",
     DEFINITION: "definition",
     CRITERION: "criterion",
 };
-const ChildClaimKinds = Type.Union([
-    Type.Literal(ClaimKinds.DEFINITION),
-    Type.Literal(ClaimKinds.CRITERION),
+const NormalClaimChildKindsSchema = Type.Union([
+    Type.Literal(NormalClaimKinds.DEFINITION),
+    Type.Literal(NormalClaimKinds.CRITERION),
 ]);
-const LogicalClaimKinds = Type.Union([
-    Type.Literal(ClaimKinds.CONCLUSION),
-    Type.Literal(ClaimKinds.CLAIM),
+const NormalClaimLogicalKindsSchema = Type.Union([
+    Type.Literal(NormalClaimKinds.CONCLUSION),
+    Type.Literal(NormalClaimKinds.CLAIM),
 ]);
-export const ClaimKindsSchema = Type.Union([ChildClaimKinds, LogicalClaimKinds]);
-export const ClaimTypeSchema = Type.Union([
-    Type.Literal("normal"),
-    Type.Literal("citation"),
+export const NormalClaimKindsSchema = Type.Union([
+    NormalClaimChildKindsSchema,
+    NormalClaimLogicalKindsSchema,
 ]);
-export const ClaimSchema = Type.Interface([ClaimUpdateRequestSchema], {
+// Identity / lineage fields shared by all variants, with digest inherited.
+const ClaimSharedFieldsSchema = Type.Interface([ClaimMetadataFieldsSchema], {
     id: UUID,
     argumentId: UUID,
     version: Type.Number(),
     claimForkId: Nullable(UUID),
     creatorId: UUID,
     createdOn: EncodableDate,
-    kind: Type.Union([ChildClaimKinds, LogicalClaimKinds]),
-    type: ClaimTypeSchema,
     parentId: Nullable(UUID),
-    titleContentHash: Type.Optional(Nullable(Type.String())),
-    // Citation-extra fields. Optional at the schema level; consumer code
-    // populates these on claims with type === "citation".
-    url: Type.Optional(Nullable(Type.String())),
-    citation: Type.Optional(Nullable(IEEEReferenceSchema)),
-    citationContentHash: Type.Optional(Nullable(Type.String())),
 });
-export const ClaimWithChildrenSchema = Type.Interface([ClaimSchema], {
+export const NormalClaimSchema = Type.Interface([ClaimSharedFieldsSchema, MutableClaimFieldsSchema], {
+    type: CoreClaimNormalTypeSchema,
+    kind: NormalClaimKindsSchema,
+    url: Type.Null(),
+    citation: Type.Null(),
+    citationContentHash: Type.Null(),
+    axiom: Type.Null(),
+});
+export const CitationClaimSchema = Type.Interface([ClaimSharedFieldsSchema], {
+    type: CoreClaimCitationTypeSchema,
+    kind: Type.Null(),
+    title: Type.Null(),
+    body: Type.Null(),
+    titleContentHash: Type.Null(),
+    url: Type.String(),
+    citation: IEEEReferenceSchema,
+    citationContentHash: Type.String(),
+    axiom: Type.Null(),
+});
+export const AxiomaticClaimSchema = Type.Interface([ClaimSharedFieldsSchema], {
+    type: CoreClaimAxiomaticTypeSchema,
+    kind: Type.Null(),
+    title: Type.Null(),
+    body: Type.Null(),
+    titleContentHash: Type.Null(),
+    url: Type.Null(),
+    citation: Type.Null(),
+    citationContentHash: Type.Null(),
+    axiom: AxiomKindSchema,
+});
+export const ClaimSchema = Type.Union([
+    NormalClaimSchema,
+    CitationClaimSchema,
+    AxiomaticClaimSchema,
+]);
+export function isNormalClaim(claim) {
+    return claim.type === "normal";
+}
+export function isCitationClaim(claim) {
+    return claim.type === "citation";
+}
+export function isAxiomaticClaim(claim) {
+    return claim.type === "axiomatic";
+}
+// Re-based on NormalClaimSchema. Server's getClaims() filters by
+// type='normal' before populating childClaimIds/childCitationIds, so this
+// type accurately describes only Normal-with-children rows.
+export const ClaimWithChildrenSchema = Type.Interface([NormalClaimSchema], {
     childClaimIds: Type.Array(UUID),
     childCitationIds: Type.Array(UUID),
 });

package/dist/schemas/model/claims.js.map

@@ -1 +1 @@
-{"version":3,"file":"claims.js","sourceRoot":"","sources":["../../../src/schemas/model/claims.ts"],"names":[],"mappings":"AAAA,OAAO,IAAI,EAAE,EAAe,MAAM,SAAS,CAAA;AAC3C,OAAO,EAAE,aAAa,EAAE,QAAQ,EAAE,IAAI,EAAE,MAAM,cAAc,CAAA;AAC5D,OAAO,EAAE,mBAAmB,EAAE,MAAM,iBAAiB,CAAA;AAErD,MAAM,CAAC,MAAM,wBAAwB,GAAG,IAAI,CAAC,MAAM,CAAC;IAChD,KAAK,EAAE,IAAI,CAAC,MAAM,EAAE;IACpB,IAAI,EAAE,IAAI,CAAC,MAAM,EAAE;CACtB,CAAC,CAAA;AAGF,MAAM,CAAC,MAAM,wBAAwB,GAAG,IAAI,CAAC,SAAS,CAClD,CAAC,wBAAwB,CAAC,EAC1B;IACI,MAAM,EAAE,IAAI,CAAC,MAAM,EAAE;CACxB,CACJ,CAAA;AAGD,MAAM,CAAC,MAAM,UAAU,GAAG;IACtB,KAAK,EAAE,OAAO;IACd,UAAU,EAAE,YAAY;IACxB,UAAU,EAAE,YAAY;IACxB,SAAS,EAAE,WAAW;CAChB,CAAA;AAEV,MAAM,eAAe,GAAG,IAAI,CAAC,KAAK,CAAC;IAC/B,IAAI,CAAC,OAAO,CAAC,UAAU,CAAC,UAAU,CAAC;IACnC,IAAI,CAAC,OAAO,CAAC,UAAU,CAAC,SAAS,CAAC;CACrC,CAAC,CAAA;AAEF,MAAM,iBAAiB,GAAG,IAAI,CAAC,KAAK,CAAC;IACjC,IAAI,CAAC,OAAO,CAAC,UAAU,CAAC,UAAU,CAAC;IACnC,IAAI,CAAC,OAAO,CAAC,UAAU,CAAC,KAAK,CAAC;CACjC,CAAC,CAAA;AAEF,MAAM,CAAC,MAAM,gBAAgB,GAAG,IAAI,CAAC,KAAK,CAAC,CAAC,eAAe,EAAE,iBAAiB,CAAC,CAAC,CAAA;AAGhF,MAAM,CAAC,MAAM,eAAe,GAAG,IAAI,CAAC,KAAK,CAAC;IACtC,IAAI,CAAC,OAAO,CAAC,QAAQ,CAAC;IACtB,IAAI,CAAC,OAAO,CAAC,UAAU,CAAC;CAC3B,CAAC,CAAA;AAGF,MAAM,CAAC,MAAM,WAAW,GAAG,IAAI,CAAC,SAAS,CAAC,CAAC,wBAAwB,CAAC,EAAE;IAClE,EAAE,EAAE,IAAI;IACR,UAAU,EAAE,IAAI;IAChB,OAAO,EAAE,IAAI,CAAC,MAAM,EAAE;IACtB,WAAW,EAAE,QAAQ,CAAC,IAAI,CAAC;IAC3B,SAAS,EAAE,IAAI;IACf,SAAS,EAAE,aAAa;IACxB,IAAI,EAAE,IAAI,CAAC,KAAK,CAAC,CAAC,eAAe,EAAE,iBAAiB,CAAC,CAAC;IACtD,IAAI,EAAE,eAAe;IACrB,QAAQ,EAAE,QAAQ,CAAC,IAAI,CAAC;IACxB,gBAAgB,EAAE,IAAI,CAAC,QAAQ,CAAC,QAAQ,CAAC,IAAI,CAAC,MAAM,EAAE,CAAC,CAAC;IACxD,qEAAqE;IACrE,sDAAsD;IACtD,GAAG,EAAE,IAAI,CAAC,QAAQ,CAAC,QAAQ,CAAC,IAAI,CAAC,MAAM,EAAE,CAAC,CAAC;IAC3C,QAAQ,EAAE,IAAI,CAAC,QAAQ,CAAC,QAAQ,CAAC,mBAAmB,CAAC,CAAC;IACtD,mBAAmB,EAAE,IAAI,CAAC,QAAQ,CAAC,QAAQ,CAAC,IAAI,CAAC,MAAM,EAAE,CAAC,CAAC;CAC9D,CAAC,CAAA;AAGF,MAAM,CAAC,MAAM,uBAAuB,GAAG,IAAI,CAAC,SAAS,CAAC,CAAC,WAAW,CAAC,EAAE;IACjE,aAAa,EAAE,IAAI,CAAC,KAAK,CAAC,IAAI,CAAC;IAC/B,gBAAgB,EAAE,IAAI,CAAC,KAAK,CAAC,IAAI,CAAC;CACrC,CAAC,CAAA"}
+{"version":3,"file":"claims.js","sourceRoot":"","sources":["../../../src/schemas/model/claims.ts"],"names":[],"mappings":"AAAA,OAAO,IAAI,EAAE,EAAe,MAAM,SAAS,CAAA;AAC3C,OAAO,EAAE,aAAa,EAAE,QAAQ,EAAE,IAAI,EAAE,MAAM,cAAc,CAAA;AAC5D,OAAO,EAAE,mBAAmB,EAAE,MAAM,iBAAiB,CAAA;AACrD,OAAO,EACH,4BAA4B,EAC5B,2BAA2B,EAC3B,yBAAyB,EACzB,mBAAmB,GACtB,MAAM,yBAAyB,CAAA;AAEhC,4EAA4E;AAC5E,iEAAiE;AACjE,MAAM,CAAC,MAAM,eAAe,GAAG,mBAAmB,CAAA;AAGlD,MAAM,CAAC,MAAM,eAAe,GAAG,IAAI,CAAC,KAAK,CAAC;IACtC,IAAI,CAAC,OAAO,CAAC,YAAY,CAAC;IAC1B,IAAI,CAAC,OAAO,CAAC,aAAa,CAAC;IAC3B,IAAI,CAAC,OAAO,CAAC,mBAAmB,CAAC;IACjC,IAAI,CAAC,OAAO,CAAC,wBAAwB,CAAC;IACtC,IAAI,CAAC,OAAO,CAAC,aAAa,CAAC;IAC3B,IAAI,CAAC,OAAO,CAAC,uBAAuB,CAAC;CACxC,CAAC,CAAA;AAGF,6EAA6E;AAC7E,gDAAgD;AAChD,MAAM,yBAAyB,GAAG,IAAI,CAAC,MAAM,CAAC;IAC1C,MAAM,EAAE,IAAI,CAAC,MAAM,EAAE;CACxB,CAAC,CAAA;AAEF,8EAA8E;AAC9E,2EAA2E;AAC3E,MAAM,CAAC,MAAM,wBAAwB,GAAG,IAAI,CAAC,MAAM,CAAC;IAChD,KAAK,EAAE,IAAI,CAAC,MAAM,EAAE;IACpB,IAAI,EAAE,IAAI,CAAC,MAAM,EAAE;IACnB,gBAAgB,EAAE,IAAI,CAAC,MAAM,EAAE;CAClC,CAAC,CAAA;AAGF,2EAA2E;AAC3E,kEAAkE;AAClE,MAAM,CAAC,MAAM,wBAAwB,GAAG,IAAI,CAAC,SAAS,CAClD,CAAC,wBAAwB,EAAE,yBAAyB,CAAC,EACrD,EAAE,CACL,CAAA;AAGD,4EAA4E;AAC5E,oBAAoB;AACpB,MAAM,CAAC,MAAM,gBAAgB,GAAG;IAC5B,KAAK,EAAE,OAAO;IACd,UAAU,EAAE,YAAY;IACxB,UAAU,EAAE,YAAY;IACxB,SAAS,EAAE,WAAW;CAChB,CAAA;AAEV,MAAM,2BAA2B,GAAG,IAAI,CAAC,KAAK,CAAC;IAC3C,IAAI,CAAC,OAAO,CAAC,gBAAgB,CAAC,UAAU,CAAC;IACzC,IAAI,CAAC,OAAO,CAAC,gBAAgB,CAAC,SAAS,CAAC;CAC3C,CAAC,CAAA;AACF,MAAM,6BAA6B,GAAG,IAAI,CAAC,KAAK,CAAC;IAC7C,IAAI,CAAC,OAAO,CAAC,gBAAgB,CAAC,UAAU,CAAC;IACzC,IAAI,CAAC,OAAO,CAAC,gBAAgB,CAAC,KAAK,CAAC;CACvC,CAAC,CAAA;AAEF,MAAM,CAAC,MAAM,sBAAsB,GAAG,IAAI,CAAC,KAAK,CAAC;IAC7C,2BAA2B;IAC3B,6BAA6B;CAChC,CAAC,CAAA;AAGF,2EAA2E;AAC3E,MAAM,uBAAuB,GAAG,IAAI,CAAC,SAAS,CAAC,CAAC,yBAAyB,CAAC,EAAE;IACxE,EAAE,EAAE,IAAI;IACR,UAAU,EAAE,IAAI;IAChB,OAAO,EAAE,IAAI,CAAC,MAAM,EAAE;IACtB,WAAW,EAAE,QAAQ,CAAC,IAAI,CAAC;IAC3B,SAAS,EAAE,IAAI;IACf,SAAS,EAAE,aAAa;IACxB,QAAQ,EAAE,QAAQ,CAAC,IAAI,CAAC;CAC3B,CAAC,CAAA;AAEF,MAAM,CAAC,MAAM,iBAAiB,GAAG,IAAI,CAAC,SAAS,CAC3C,CAAC,uBAAuB,EAAE,wBAAwB,CAAC,EACnD;IACI,IAAI,EAAE,yBAAyB;IAC/B,IAAI,EAAE,sBAAsB;IAC5B,GAAG,EAAE,IAAI,CAAC,IAAI,EAAE;IAChB,QAAQ,EAAE,IAAI,CAAC,IAAI,EAAE;IACrB,mBAAmB,EAAE,IAAI,CAAC,IAAI,EAAE;IAChC,KAAK,EAAE,IAAI,CAAC,IAAI,EAAE;CACrB,CACJ,CAAA;AAGD,MAAM,CAAC,MAAM,mBAAmB,GAAG,IAAI,CAAC,SAAS,CAAC,CAAC,uBAAuB,CAAC,EAAE;IACzE,IAAI,EAAE,2BAA2B;IACjC,IAAI,EAAE,IAAI,CAAC,IAAI,EAAE;IACjB,KAAK,EAAE,IAAI,CAAC,IAAI,EAAE;IAClB,IAAI,EAAE,IAAI,CAAC,IAAI,EAAE;IACjB,gBAAgB,EAAE,IAAI,CAAC,IAAI,EAAE;IAC7B,GAAG,EAAE,IAAI,CAAC,MAAM,EAAE;IAClB,QAAQ,EAAE,mBAAmB;IAC7B,mBAAmB,EAAE,IAAI,CAAC,MAAM,EAAE;IAClC,KAAK,EAAE,IAAI,CAAC,IAAI,EAAE;CACrB,CAAC,CAAA;AAGF,MAAM,CAAC,MAAM,oBAAoB,GAAG,IAAI,CAAC,SAAS,CAAC,CAAC,uBAAuB,CAAC,EAAE;IAC1E,IAAI,EAAE,4BAA4B;IAClC,IAAI,EAAE,IAAI,CAAC,IAAI,EAAE;IACjB,KAAK,EAAE,IAAI,CAAC,IAAI,EAAE;IAClB,IAAI,EAAE,IAAI,CAAC,IAAI,EAAE;IACjB,gBAAgB,EAAE,IAAI,CAAC,IAAI,EAAE;IAC7B,GAAG,EAAE,IAAI,CAAC,IAAI,EAAE;IAChB,QAAQ,EAAE,IAAI,CAAC,IAAI,EAAE;IACrB,mBAAmB,EAAE,IAAI,CAAC,IAAI,EAAE;IAChC,KAAK,EAAE,eAAe;CACzB,CAAC,CAAA;AAGF,MAAM,CAAC,MAAM,WAAW,GAAG,IAAI,CAAC,KAAK,CAAC;IAClC,iBAAiB;IACjB,mBAAmB;IACnB,oBAAoB;CACvB,CAAC,CAAA;AAGF,MAAM,UAAU,aAAa,CAAC,KAAa;IACvC,OAAO,KAAK,CAAC,IAAI,KAAK,QAAQ,CAAA;AAClC,CAAC;AACD,MAAM,UAAU,eAAe,CAAC,KAAa;IACzC,OAAO,KAAK,CAAC,IAAI,KAAK,UAAU,CAAA;AACpC,CAAC;AACD,MAAM,UAAU,gBAAgB,CAAC,KAAa;IAC1C,OAAO,KAAK,CAAC,IAAI,KAAK,WAAW,CAAA;AACrC,CAAC;AAED,iEAAiE;AACjE,0EAA0E;AAC1E,4DAA4D;AAC5D,MAAM,CAAC,MAAM,uBAAuB,GAAG,IAAI,CAAC,SAAS,CAAC,CAAC,iBAAiB,CAAC,EAAE;IACvE,aAAa,EAAE,IAAI,CAAC,KAAK,CAAC,IAAI,CAAC;IAC/B,gBAAgB,EAAE,IAAI,CAAC,KAAK,CAAC,IAAI,CAAC;CACrC,CAAC,CAAA"}

package/package.json

@@ -1,6 +1,6 @@
 {
   "name": "@proposit/shared",
-  "version": "0.7.1",
+  "version": "0.8.0",
   "description": "Runtime-agnostic TypeScript shared between proposit-server and proposit-mobile. Schemas, engine, api-client, and utilities.",
   "license": "MIT",
   "homepage": "https://github.com/Proposit-App/proposit-shared",
@@ -126,14 +126,14 @@
     "access": "public"
   },
   "peerDependencies": {
-    "@proposit/proposit-core": "^0.11.2"
+    "@proposit/proposit-core": "^0.12.3"
   },
   "dependencies": {
     "typebox": "^1.1.14"
   },
   "devDependencies": {
     "@eslint/js": "^9.39.4",
-    "@proposit/proposit-core": "^0.11.2",
+    "@proposit/proposit-core": "^0.12.3",
     "@types/node": "^25.5.2",
     "eslint": "^9.39.4",
     "eslint-plugin-check-file": "^3.3.1",