@proposit/shared 0.7.2 → 0.9.0

package/dist/schemas/grammar/index.d.ts

@@ -0,0 +1,3 @@
+export { GrammarTierSchema, GrammarRuleCodeSchema, ViolationSchema, } from "@proposit/proposit-core";
+export type { TGrammarTier, TGrammarRuleCode, TViolation, } from "@proposit/proposit-core";
+//# sourceMappingURL=index.d.ts.map

package/dist/schemas/grammar/index.d.ts.map

@@ -0,0 +1 @@
+{"version":3,"file":"index.d.ts","sourceRoot":"","sources":["../../../src/schemas/grammar/index.ts"],"names":[],"mappings":"AAsBA,OAAO,EACH,iBAAiB,EACjB,qBAAqB,EACrB,eAAe,GAClB,MAAM,yBAAyB,CAAA;AAChC,YAAY,EACR,YAAY,EACZ,gBAAgB,EAChB,UAAU,GACb,MAAM,yBAAyB,CAAA"}

package/dist/schemas/grammar/index.js

@@ -0,0 +1,23 @@
+// Re-export of the four-tier grammar wire format from
+// `@proposit/proposit-core`. Server and mobile import the schemas + types
+// through `@proposit/shared/schemas/grammar` for the ergonomic single-import
+// path; the source of truth is core (its `src/lib/grammar/types.ts`).
+//
+// The 2026-05-14 design restructure relocated wire-format ownership of
+// `TGrammarTier`, `TGrammarRuleCode`, and `TViolation` from shared to
+// core, matching the existing dep direction (shared has core as a peer
+// dep; the inverse would have created a mutual peer-dep pattern).
+// Pre-restructure drafts authored the schemas locally in this folder
+// (`tier.ts`, `rule-code.ts`, `violation.ts`) — those files were deleted
+// in shared 0.9.0 and replaced with this re-export. The 422-equivalent
+// response envelope that composes `TViolation` remains shared's
+// (`./schemas/api/grammar-violations`).
+//
+// Rule-code coordination: adding or renaming a code is a **core → shared
+// → consumers** publish chain. Core bumps to extend the `TGrammarRuleCode`
+// union and ship the validator emitting the new code; shared bumps
+// minor (no code changes here — the re-export automatically reflects
+// core's union via the dep range); server + mobile pick up via dep
+// bumps. See `CLAUDE.md` for the full protocol.
+export { GrammarTierSchema, GrammarRuleCodeSchema, ViolationSchema, } from "@proposit/proposit-core";
+//# sourceMappingURL=index.js.map

package/dist/schemas/grammar/index.js.map

@@ -0,0 +1 @@
+{"version":3,"file":"index.js","sourceRoot":"","sources":["../../../src/schemas/grammar/index.ts"],"names":[],"mappings":"AAAA,sDAAsD;AACtD,0EAA0E;AAC1E,6EAA6E;AAC7E,sEAAsE;AACtE,EAAE;AACF,uEAAuE;AACvE,sEAAsE;AACtE,uEAAuE;AACvE,kEAAkE;AAClE,qEAAqE;AACrE,yEAAyE;AACzE,uEAAuE;AACvE,gEAAgE;AAChE,wCAAwC;AACxC,EAAE;AACF,yEAAyE;AACzE,2EAA2E;AAC3E,mEAAmE;AACnE,qEAAqE;AACrE,mEAAmE;AACnE,gDAAgD;AAEhD,OAAO,EACH,iBAAiB,EACjB,qBAAqB,EACrB,eAAe,GAClB,MAAM,yBAAyB,CAAA"}

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

@@ -125,9 +125,25 @@ export type TReaction = Static<typeof ReactionSchema>;
 export type TReactionSafe = Omit<TReaction, "userId" | "createdOn">;
 export declare const ArgumentDiffSchema: Type.TObject<{
     claims: Type.TObject<{
-        added: Type.TArray<Type.TObject<{
+        added: Type.TArray<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;
@@ -135,12 +151,14 @@ export declare const ArgumentDiffSchema: 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">;
@@ -568,12 +586,47 @@ export declare const ArgumentDiffSchema: 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]>>;
-        }>>;
-        removed: Type.TArray<Type.TObject<{
+            }>]>]>;
+            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">]>;
+        }>]>>;
+        removed: Type.TArray<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;
@@ -581,12 +634,14 @@ export declare const ArgumentDiffSchema: 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">;
@@ -1014,12 +1069,47 @@ export declare const ArgumentDiffSchema: 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]>>;
-        }>>;
-        updated: Type.TArray<Type.TObject<{
+            }>]>]>;
+            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">]>;
+        }>]>>;
+        updated: Type.TArray<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;
@@ -1027,12 +1117,14 @@ export declare const ArgumentDiffSchema: 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">;
@@ -1460,9 +1552,28 @@ export declare const ArgumentDiffSchema: 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">]>;
+        }>]>>;
     }>;
     propositionalLogic: Type.TObject<{
         variables: Type.TObject<{
@@ -1706,13 +1817,13 @@ export declare const ArgumentDiffSchema: Type.TObject<{
             }>]>>;
         }>;
     }>;
-    claimCitations: Type.TObject<{
+    citations: Type.TObject<{
         added: Type.TArray<Type.TIntersect<[Type.TObject<{
             id: Type.TString;
-            citingClaimId: Type.TString;
-            citingClaimVersion: Type.TNumber;
-            sourceClaimId: Type.TString;
-            sourceClaimVersion: Type.TNumber;
+            claimId: Type.TString;
+            claimVersion: Type.TNumber;
+            supportingClaimId: Type.TString;
+            supportingClaimVersion: Type.TNumber;
             checksum: Type.TString;
         }>, Type.TObject<{
             argumentId: Type.TString;
@@ -1720,10 +1831,10 @@ export declare const ArgumentDiffSchema: Type.TObject<{
         }>]>>;
         removed: Type.TArray<Type.TIntersect<[Type.TObject<{
             id: Type.TString;
-            citingClaimId: Type.TString;
-            citingClaimVersion: Type.TNumber;
-            sourceClaimId: Type.TString;
-            sourceClaimVersion: Type.TNumber;
+            claimId: Type.TString;
+            claimVersion: Type.TNumber;
+            supportingClaimId: Type.TString;
+            supportingClaimVersion: Type.TNumber;
             checksum: Type.TString;
         }>, Type.TObject<{
             argumentId: Type.TString;

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

@@ -1 +1 @@
-{"version":3,"file":"arguments.d.ts","sourceRoot":"","sources":["../../../src/schemas/model/arguments.ts"],"names":[],"mappings":"AAAA,OAAO,IAAI,EAAE,EAAE,KAAK,MAAM,EAAE,MAAM,SAAS,CAAA;AAe3C,OAAO,EAAE,kBAAkB,EAAE,KAAK,aAAa,EAAE,MAAM,YAAY,CAAA;AAEnE,eAAO,MAAM,2BAA2B;;EAEtC,CAAA;AACF,MAAM,MAAM,sBAAsB,GAAG,MAAM,CAAC,OAAO,2BAA2B,CAAC,CAAA;AAE/E,eAAO,MAAM,cAAc;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;IAiBzB,CAAA;AACF,MAAM,MAAM,SAAS,GAAG,MAAM,CAAC,OAAO,cAAc,CAAC,CAAA;AAErD,eAAO,MAAM,0BAA0B;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;IAMrC,CAAA;AACF,MAAM,MAAM,qBAAqB,GAAG,MAAM,CAAC,OAAO,0BAA0B,CAAC,CAAA;AAE7E,eAAO,MAAM,QAAQ,mEAGnB,CAAA;AACF,MAAM,MAAM,cAAc,GAAG,MAAM,CAAC,OAAO,QAAQ,CAAC,CAAA;AAEpD,eAAO,MAAM,cAAc;;;;;;;EAOzB,CAAA;AACF,MAAM,MAAM,SAAS,GAAG,MAAM,CAAC,OAAO,cAAc,CAAC,CAAA;AACrD,MAAM,MAAM,aAAa,GAAG,IAAI,CAAC,SAAS,EAAE,QAAQ,GAAG,WAAW,CAAC,CAAA;AAEnE,eAAO,MAAM,kBAAkB;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;EA4B7B,CAAA;AACF,MAAM,MAAM,aAAa,GAAG,MAAM,CAAC,OAAO,kBAAkB,CAAC,CAAA;AAE7D,eAAO,MAAM,qBAAqB;;;;;;EAMhC,CAAA;AACF,MAAM,MAAM,gBAAgB,GAAG,MAAM,CAAC,OAAO,qBAAqB,CAAC,CAAA;AAEnE,eAAO,MAAM,iBAAiB;;;;;;EAM5B,CAAA;AACF,MAAM,MAAM,YAAY,GAAG,MAAM,CAAC,OAAO,iBAAiB,CAAC,CAAA;AAE3D,eAAO,MAAM,yBAAyB;;;;;;;;;;IAGpC,CAAA;AACF,MAAM,MAAM,oBAAoB,GAAG,MAAM,CAAC,OAAO,yBAAyB,CAAC,CAAA"}
+{"version":3,"file":"arguments.d.ts","sourceRoot":"","sources":["../../../src/schemas/model/arguments.ts"],"names":[],"mappings":"AAAA,OAAO,IAAI,EAAE,EAAE,KAAK,MAAM,EAAE,MAAM,SAAS,CAAA;AAe3C,OAAO,EAAE,kBAAkB,EAAE,KAAK,aAAa,EAAE,MAAM,YAAY,CAAA;AAEnE,eAAO,MAAM,2BAA2B;;EAEtC,CAAA;AACF,MAAM,MAAM,sBAAsB,GAAG,MAAM,CAAC,OAAO,2BAA2B,CAAC,CAAA;AAE/E,eAAO,MAAM,cAAc;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;IAiBzB,CAAA;AACF,MAAM,MAAM,SAAS,GAAG,MAAM,CAAC,OAAO,cAAc,CAAC,CAAA;AAErD,eAAO,MAAM,0BAA0B;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;IAMrC,CAAA;AACF,MAAM,MAAM,qBAAqB,GAAG,MAAM,CAAC,OAAO,0BAA0B,CAAC,CAAA;AAE7E,eAAO,MAAM,QAAQ,mEAGnB,CAAA;AACF,MAAM,MAAM,cAAc,GAAG,MAAM,CAAC,OAAO,QAAQ,CAAC,CAAA;AAEpD,eAAO,MAAM,cAAc;;;;;;;EAOzB,CAAA;AACF,MAAM,MAAM,SAAS,GAAG,MAAM,CAAC,OAAO,cAAc,CAAC,CAAA;AACrD,MAAM,MAAM,aAAa,GAAG,IAAI,CAAC,SAAS,EAAE,QAAQ,GAAG,WAAW,CAAC,CAAA;AAEnE,eAAO,MAAM,kBAAkB;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;EA4B7B,CAAA;AACF,MAAM,MAAM,aAAa,GAAG,MAAM,CAAC,OAAO,kBAAkB,CAAC,CAAA;AAE7D,eAAO,MAAM,qBAAqB;;;;;;EAMhC,CAAA;AACF,MAAM,MAAM,gBAAgB,GAAG,MAAM,CAAC,OAAO,qBAAqB,CAAC,CAAA;AAEnE,eAAO,MAAM,iBAAiB;;;;;;EAM5B,CAAA;AACF,MAAM,MAAM,YAAY,GAAG,MAAM,CAAC,OAAO,iBAAiB,CAAC,CAAA;AAE3D,eAAO,MAAM,yBAAyB;;;;;;;;;;IAGpC,CAAA;AACF,MAAM,MAAM,oBAAoB,GAAG,MAAM,CAAC,OAAO,yBAAyB,CAAC,CAAA"}

package/dist/schemas/model/arguments.js

@@ -70,7 +70,7 @@ export const ArgumentDiffSchema = Type.Object({
             removed: Type.Array(PropositionalPremiseSchema),
         }),
     }),
-    claimCitations: Type.Object({
+    citations: Type.Object({
         added: Type.Array(ClaimCitationSchema),
         removed: Type.Array(ClaimCitationSchema),
     }),

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

@@ -1 +1 @@
-{"version":3,"file":"arguments.js","sourceRoot":"","sources":["../../../src/schemas/model/arguments.ts"],"names":[],"mappings":"AAAA,OAAO,IAAI,EAAE,EAAe,MAAM,SAAS,CAAA;AAC3C,OAAO,EAAE,kBAAkB,EAAE,MAAM,yBAAyB,CAAA;AAC5D,OAAO,EACH,oBAAoB,EACpB,oBAAoB,GACvB,MAAM,0BAA0B,CAAA;AACjC,OAAO,EAAE,aAAa,EAAE,QAAQ,EAAE,IAAI,EAAE,MAAM,cAAc,CAAA;AAC5D,OAAO,EAAE,sBAAsB,EAAE,MAAM,YAAY,CAAA;AACnD,OAAO,EAAE,WAAW,EAAE,MAAM,aAAa,CAAA;AACzC,OAAO,EAAE,mBAAmB,EAAE,MAAM,gBAAgB,CAAA;AACpD,OAAO,EACH,2BAA2B,EAC3B,6BAA6B,EAC7B,0BAA0B,GAC7B,MAAM,aAAa,CAAA;AACpB,OAAO,EAAE,kBAAkB,EAAsB,MAAM,YAAY,CAAA;AAEnE,MAAM,CAAC,MAAM,2BAA2B,GAAG,IAAI,CAAC,MAAM,CAAC;IACnD,KAAK,EAAE,IAAI,CAAC,MAAM,EAAE;CACvB,CAAC,CAAA;AAGF,MAAM,CAAC,MAAM,cAAc,GAAG,IAAI,CAAC,SAAS,CAAC;IACzC,kBAAkB;IAClB,IAAI,CAAC,MAAM,CAAC;QACR,KAAK,EAAE,IAAI,CAAC,MAAM,EAAE;QACpB,SAAS,EAAE,IAAI,CAAC,OAAO,EAAE;QACzB,SAAS,EAAE,IAAI;QACf,SAAS,EAAE,aAAa;QACxB,WAAW,EAAE,QAAQ,CAAC,aAAa,CAAC;QACpC,MAAM,EAAE,QAAQ,CAAC,IAAI,CAAC;QACtB,MAAM,EAAE,IAAI,CAAC,MAAM,EAAE;QACrB,UAAU,EAAE,IAAI,CAAC,MAAM,EAAE;QACzB,QAAQ,EAAE,oBAAoB;QAC9B,YAAY,EAAE,QAAQ,CAAC,oBAAoB,CAAC;QAC5C,gBAAgB,EAAE,QAAQ,CAAC,IAAI,CAAC,MAAM,EAAE,CAAC;QACzC,gBAAgB,EAAE,QAAQ,CAAC,IAAI,CAAC,MAAM,EAAE,CAAC;QACzC,WAAW,EAAE,QAAQ,CAAC,IAAI,CAAC,MAAM,EAAE,CAAC;KACvC,CAAC;CACL,CAAC,CAAA;AAGF,MAAM,CAAC,MAAM,0BAA0B,GAAG,IAAI,CAAC,SAAS,CAAC;IACrD,cAAc;IACd,IAAI,CAAC,MAAM,CAAC;QACR,OAAO,EAAE,IAAI,CAAC,MAAM,EAAE;QACtB,SAAS,EAAE,IAAI,CAAC,MAAM,EAAE;KAC3B,CAAC;CACL,CAAC,CAAA;AAGF,MAAM,CAAC,MAAM,QAAQ,GAAG,IAAI,CAAC,KAAK,CAAC;IAC/B,IAAI,CAAC,OAAO,CAAC,QAAQ,CAAC;IACtB,IAAI,CAAC,OAAO,CAAC,UAAU,CAAC;CAC3B,CAAC,CAAA;AAGF,MAAM,CAAC,MAAM,cAAc,GAAG,IAAI,CAAC,MAAM,CAAC;IACtC,EAAE,EAAE,IAAI;IACR,UAAU,EAAE,IAAI;IAChB,OAAO,EAAE,IAAI,CAAC,MAAM,EAAE;IACtB,QAAQ,EAAE,QAAQ;IAClB,MAAM,EAAE,IAAI;IACZ,SAAS,EAAE,aAAa;CAC3B,CAAC,CAAA;AAIF,MAAM,CAAC,MAAM,kBAAkB,GAAG,IAAI,CAAC,MAAM,CAAC;IAC1C,MAAM,EAAE,IAAI,CAAC,MAAM,CAAC;QAChB,KAAK,EAAE,IAAI,CAAC,KAAK,CAAC,WAAW,CAAC;QAC9B,OAAO,EAAE,IAAI,CAAC,KAAK,CAAC,WAAW,CAAC;QAChC,OAAO,EAAE,IAAI,CAAC,KAAK,CAAC,WAAW,CAAC;KACnC,CAAC;IACF,kBAAkB,EAAE,IAAI,CAAC,MAAM,CAAC;QAC5B,SAAS,EAAE,IAAI,CAAC,MAAM,CAAC;YACnB,KAAK,EAAE,IAAI,CAAC,KAAK,CAAC,2BAA2B,CAAC;YAC9C,OAAO,EAAE,IAAI,CAAC,KAAK,CAAC,2BAA2B,CAAC;YAChD,OAAO,EAAE,IAAI,CAAC,KAAK,CAAC,2BAA2B,EAAE;gBAC7C,WAAW,EACP,gFAAgF;aACvF,CAAC;SACL,CAAC;QACF,WAAW,EAAE,IAAI,CAAC,MAAM,CAAC;YACrB,KAAK,EAAE,IAAI,CAAC,KAAK,CAAC,6BAA6B,CAAC;YAChD,OAAO,EAAE,IAAI,CAAC,KAAK,CAAC,6BAA6B,CAAC;SACrD,CAAC;QACF,QAAQ,EAAE,IAAI,CAAC,MAAM,CAAC;YAClB,KAAK,EAAE,IAAI,CAAC,KAAK,CAAC,0BAA0B,CAAC;YAC7C,OAAO,EAAE,IAAI,CAAC,KAAK,CAAC,0BAA0B,CAAC;SAClD,CAAC;KACL,CAAC;IACF,cAAc,EAAE,IAAI,CAAC,MAAM,CAAC;QACxB,KAAK,EAAE,IAAI,CAAC,KAAK,CAAC,mBAAmB,CAAC;QACtC,OAAO,EAAE,IAAI,CAAC,KAAK,CAAC,mBAAmB,CAAC;KAC3C,CAAC;CACL,CAAC,CAAA;AAGF,MAAM,CAAC,MAAM,qBAAqB,GAAG,IAAI,CAAC,MAAM,CAAC;IAC7C,UAAU,EAAE,IAAI;IAChB,OAAO,EAAE,IAAI,CAAC,MAAM,EAAE;IACtB,QAAQ,EAAE,IAAI,CAAC,MAAM,EAAE;IACvB,gBAAgB,EAAE,IAAI,CAAC,MAAM,EAAE;IAC/B,MAAM,EAAE,QAAQ,CAAC,IAAI,CAAC;CACzB,CAAC,CAAA;AAGF,MAAM,CAAC,MAAM,iBAAiB,GAAG,IAAI,CAAC,MAAM,CAAC;IACzC,UAAU,EAAE,IAAI;IAChB,OAAO,EAAE,IAAI,CAAC,MAAM,EAAE;IACtB,MAAM,EAAE,IAAI;IACZ,SAAS,EAAE,aAAa;IACxB,IAAI,EAAE,IAAI,CAAC,MAAM,EAAE;CACtB,CAAC,CAAA;AAGF,MAAM,CAAC,MAAM,yBAAyB,GAAG,IAAI,CAAC,SAAS,CAAC;IACpD,iBAAiB;IACjB,sBAAsB;CACzB,CAAC,CAAA"}
+{"version":3,"file":"arguments.js","sourceRoot":"","sources":["../../../src/schemas/model/arguments.ts"],"names":[],"mappings":"AAAA,OAAO,IAAI,EAAE,EAAe,MAAM,SAAS,CAAA;AAC3C,OAAO,EAAE,kBAAkB,EAAE,MAAM,yBAAyB,CAAA;AAC5D,OAAO,EACH,oBAAoB,EACpB,oBAAoB,GACvB,MAAM,0BAA0B,CAAA;AACjC,OAAO,EAAE,aAAa,EAAE,QAAQ,EAAE,IAAI,EAAE,MAAM,cAAc,CAAA;AAC5D,OAAO,EAAE,sBAAsB,EAAE,MAAM,YAAY,CAAA;AACnD,OAAO,EAAE,WAAW,EAAE,MAAM,aAAa,CAAA;AACzC,OAAO,EAAE,mBAAmB,EAAE,MAAM,gBAAgB,CAAA;AACpD,OAAO,EACH,2BAA2B,EAC3B,6BAA6B,EAC7B,0BAA0B,GAC7B,MAAM,aAAa,CAAA;AACpB,OAAO,EAAE,kBAAkB,EAAsB,MAAM,YAAY,CAAA;AAEnE,MAAM,CAAC,MAAM,2BAA2B,GAAG,IAAI,CAAC,MAAM,CAAC;IACnD,KAAK,EAAE,IAAI,CAAC,MAAM,EAAE;CACvB,CAAC,CAAA;AAGF,MAAM,CAAC,MAAM,cAAc,GAAG,IAAI,CAAC,SAAS,CAAC;IACzC,kBAAkB;IAClB,IAAI,CAAC,MAAM,CAAC;QACR,KAAK,EAAE,IAAI,CAAC,MAAM,EAAE;QACpB,SAAS,EAAE,IAAI,CAAC,OAAO,EAAE;QACzB,SAAS,EAAE,IAAI;QACf,SAAS,EAAE,aAAa;QACxB,WAAW,EAAE,QAAQ,CAAC,aAAa,CAAC;QACpC,MAAM,EAAE,QAAQ,CAAC,IAAI,CAAC;QACtB,MAAM,EAAE,IAAI,CAAC,MAAM,EAAE;QACrB,UAAU,EAAE,IAAI,CAAC,MAAM,EAAE;QACzB,QAAQ,EAAE,oBAAoB;QAC9B,YAAY,EAAE,QAAQ,CAAC,oBAAoB,CAAC;QAC5C,gBAAgB,EAAE,QAAQ,CAAC,IAAI,CAAC,MAAM,EAAE,CAAC;QACzC,gBAAgB,EAAE,QAAQ,CAAC,IAAI,CAAC,MAAM,EAAE,CAAC;QACzC,WAAW,EAAE,QAAQ,CAAC,IAAI,CAAC,MAAM,EAAE,CAAC;KACvC,CAAC;CACL,CAAC,CAAA;AAGF,MAAM,CAAC,MAAM,0BAA0B,GAAG,IAAI,CAAC,SAAS,CAAC;IACrD,cAAc;IACd,IAAI,CAAC,MAAM,CAAC;QACR,OAAO,EAAE,IAAI,CAAC,MAAM,EAAE;QACtB,SAAS,EAAE,IAAI,CAAC,MAAM,EAAE;KAC3B,CAAC;CACL,CAAC,CAAA;AAGF,MAAM,CAAC,MAAM,QAAQ,GAAG,IAAI,CAAC,KAAK,CAAC;IAC/B,IAAI,CAAC,OAAO,CAAC,QAAQ,CAAC;IACtB,IAAI,CAAC,OAAO,CAAC,UAAU,CAAC;CAC3B,CAAC,CAAA;AAGF,MAAM,CAAC,MAAM,cAAc,GAAG,IAAI,CAAC,MAAM,CAAC;IACtC,EAAE,EAAE,IAAI;IACR,UAAU,EAAE,IAAI;IAChB,OAAO,EAAE,IAAI,CAAC,MAAM,EAAE;IACtB,QAAQ,EAAE,QAAQ;IAClB,MAAM,EAAE,IAAI;IACZ,SAAS,EAAE,aAAa;CAC3B,CAAC,CAAA;AAIF,MAAM,CAAC,MAAM,kBAAkB,GAAG,IAAI,CAAC,MAAM,CAAC;IAC1C,MAAM,EAAE,IAAI,CAAC,MAAM,CAAC;QAChB,KAAK,EAAE,IAAI,CAAC,KAAK,CAAC,WAAW,CAAC;QAC9B,OAAO,EAAE,IAAI,CAAC,KAAK,CAAC,WAAW,CAAC;QAChC,OAAO,EAAE,IAAI,CAAC,KAAK,CAAC,WAAW,CAAC;KACnC,CAAC;IACF,kBAAkB,EAAE,IAAI,CAAC,MAAM,CAAC;QAC5B,SAAS,EAAE,IAAI,CAAC,MAAM,CAAC;YACnB,KAAK,EAAE,IAAI,CAAC,KAAK,CAAC,2BAA2B,CAAC;YAC9C,OAAO,EAAE,IAAI,CAAC,KAAK,CAAC,2BAA2B,CAAC;YAChD,OAAO,EAAE,IAAI,CAAC,KAAK,CAAC,2BAA2B,EAAE;gBAC7C,WAAW,EACP,gFAAgF;aACvF,CAAC;SACL,CAAC;QACF,WAAW,EAAE,IAAI,CAAC,MAAM,CAAC;YACrB,KAAK,EAAE,IAAI,CAAC,KAAK,CAAC,6BAA6B,CAAC;YAChD,OAAO,EAAE,IAAI,CAAC,KAAK,CAAC,6BAA6B,CAAC;SACrD,CAAC;QACF,QAAQ,EAAE,IAAI,CAAC,MAAM,CAAC;YAClB,KAAK,EAAE,IAAI,CAAC,KAAK,CAAC,0BAA0B,CAAC;YAC7C,OAAO,EAAE,IAAI,CAAC,KAAK,CAAC,0BAA0B,CAAC;SAClD,CAAC;KACL,CAAC;IACF,SAAS,EAAE,IAAI,CAAC,MAAM,CAAC;QACnB,KAAK,EAAE,IAAI,CAAC,KAAK,CAAC,mBAAmB,CAAC;QACtC,OAAO,EAAE,IAAI,CAAC,KAAK,CAAC,mBAAmB,CAAC;KAC3C,CAAC;CACL,CAAC,CAAA;AAGF,MAAM,CAAC,MAAM,qBAAqB,GAAG,IAAI,CAAC,MAAM,CAAC;IAC7C,UAAU,EAAE,IAAI;IAChB,OAAO,EAAE,IAAI,CAAC,MAAM,EAAE;IACtB,QAAQ,EAAE,IAAI,CAAC,MAAM,EAAE;IACvB,gBAAgB,EAAE,IAAI,CAAC,MAAM,EAAE;IAC/B,MAAM,EAAE,QAAQ,CAAC,IAAI,CAAC;CACzB,CAAC,CAAA;AAGF,MAAM,CAAC,MAAM,iBAAiB,GAAG,IAAI,CAAC,MAAM,CAAC;IACzC,UAAU,EAAE,IAAI;IAChB,OAAO,EAAE,IAAI,CAAC,MAAM,EAAE;IACtB,MAAM,EAAE,IAAI;IACZ,SAAS,EAAE,aAAa;IACxB,IAAI,EAAE,IAAI,CAAC,MAAM,EAAE;CACtB,CAAC,CAAA;AAGF,MAAM,CAAC,MAAM,yBAAyB,GAAG,IAAI,CAAC,SAAS,CAAC;IACpD,iBAAiB;IACjB,sBAAsB;CACzB,CAAC,CAAA"}

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

@@ -1,10 +1,10 @@
 import Type, { type Static } from "typebox";
 export declare const ClaimCitationSchema: Type.TIntersect<[Type.TObject<{
     id: Type.TString;
-    citingClaimId: Type.TString;
-    citingClaimVersion: Type.TNumber;
-    sourceClaimId: Type.TString;
-    sourceClaimVersion: Type.TNumber;
+    claimId: Type.TString;
+    claimVersion: Type.TNumber;
+    supportingClaimId: Type.TString;
+    supportingClaimVersion: Type.TNumber;
     checksum: Type.TString;
 }>, Type.TObject<{
     argumentId: Type.TString;

package/dist/schemas/model/citations.js

@@ -1,8 +1,8 @@
 import Type, {} from "typebox";
-import { CoreClaimCitationSchema } from "@proposit/proposit-core";
+import { CoreClaimConnectionSchema } from "@proposit/proposit-core";
 import { EncodableDate, UUID } from "../common.js";
 export const ClaimCitationSchema = Type.Intersect([
-    CoreClaimCitationSchema,
+    CoreClaimConnectionSchema,
     Type.Object({
         argumentId: UUID,
         createdOn: EncodableDate,

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

@@ -1 +1 @@
-{"version":3,"file":"citations.js","sourceRoot":"","sources":["../../../src/schemas/model/citations.ts"],"names":[],"mappings":"AAAA,OAAO,IAAI,EAAE,EAAe,MAAM,SAAS,CAAA;AAC3C,OAAO,EAAE,uBAAuB,EAAE,MAAM,yBAAyB,CAAA;AACjE,OAAO,EAAE,aAAa,EAAE,IAAI,EAAE,MAAM,cAAc,CAAA;AAElD,MAAM,CAAC,MAAM,mBAAmB,GAAG,IAAI,CAAC,SAAS,CAAC;IAC9C,uBAAuB;IACvB,IAAI,CAAC,MAAM,CAAC;QACR,UAAU,EAAE,IAAI;QAChB,SAAS,EAAE,aAAa;KAC3B,CAAC;CACL,CAAC,CAAA"}
+{"version":3,"file":"citations.js","sourceRoot":"","sources":["../../../src/schemas/model/citations.ts"],"names":[],"mappings":"AAAA,OAAO,IAAI,EAAE,EAAe,MAAM,SAAS,CAAA;AAC3C,OAAO,EAAE,yBAAyB,EAAE,MAAM,yBAAyB,CAAA;AACnE,OAAO,EAAE,aAAa,EAAE,IAAI,EAAE,MAAM,cAAc,CAAA;AAElD,MAAM,CAAC,MAAM,mBAAmB,GAAG,IAAI,CAAC,SAAS,CAAC;IAC9C,yBAAyB;IACzB,IAAI,CAAC,MAAM,CAAC;QACR,UAAU,EAAE,IAAI;QAChB,SAAS,EAAE,aAAa;KAC3B,CAAC;CACL,CAAC,CAAA"}

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,6NAyB1B,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"}