@proposit/proposit-core 0.12.1 → 0.12.3

package/dist/lib/parsing/schemata.js

@@ -1,22 +1,16 @@
 import Type, {} from "typebox";
 import { Nullable } from "../schemata/shared.js";
+import { CoreClaimTypeSchema } from "../schemata/claim.js";
 export const ParsedClaimRoleType = Type.Union([
     Type.Literal("premise"),
     Type.Literal("conclusion"),
     Type.Literal("intermediate"),
 ]);
-export const ParsedClaimTypeType = Type.Union([
-    Type.Literal("normal"),
-    Type.Literal("citation"),
-    Type.Literal("axiomatic"),
-]);
+export const ParsedClaimTypeType = CoreClaimTypeSchema;
 export const ParsedClaimSchema = Type.Object({
     miniId: Type.String(),
     role: ParsedClaimRoleType,
     type: ParsedClaimTypeType,
-    citationMiniIds: Type.Array(Type.String(), {
-        description: 'MiniIds of other parsed claims (within the same `claims` array) that have `type: "citation"` and serve as cited evidence for this claim. Must NOT contain miniIds of normal claims — logical dependencies between normal claims are expressed through premises and formulas, not here.',
-    }),
 }, { additionalProperties: true });
 export const ParsedVariableSchema = Type.Object({
     miniId: Type.String(),
@@ -39,21 +33,39 @@ export const ParsedArgumentResponseSchema = Type.Object({
     selectionRationale: Nullable(Type.String()),
     failureText: Nullable(Type.String()),
 }, { additionalProperties: true });
-function mergeObjectSchemas(base, extension) {
-    return Type.Object({ ...base.properties, ...extension.properties }, { additionalProperties: true });
+function mergeBaseWithExtension(base, extension) {
+    const ext = extension;
+    const anyOf = ext.anyOf;
+    if (Array.isArray(anyOf)) {
+        const branches = anyOf.map((branch) => {
+            const branchProps = branch
+                .properties;
+            if (!branchProps) {
+                throw new Error("buildParsingResponseSchema: union extension branches must be object schemas.");
+            }
+            return Type.Object({ ...base.properties, ...branchProps }, { additionalProperties: true });
+        });
+        const description = typeof ext.description === "string" ? ext.description : undefined;
+        return Type.Union(branches, description ? { description } : undefined);
+    }
+    const objProps = ext.properties;
+    if (!objProps) {
+        throw new Error("buildParsingResponseSchema: extension must be a Type.Object or a Type.Union of Type.Objects.");
+    }
+    return Type.Object({ ...base.properties, ...objProps }, { additionalProperties: true });
 }
 /** Builds a composite response schema by merging optional per-entity schema extensions into the base parsing schemata. */
 export function buildParsingResponseSchema(options) {
     if (!options)
         return ParsedArgumentResponseSchema;
     const claimSch = options.claimSchema
-        ? mergeObjectSchemas(ParsedClaimSchema, options.claimSchema)
+        ? mergeBaseWithExtension(ParsedClaimSchema, options.claimSchema)
         : ParsedClaimSchema;
     const variableSch = options.variableSchema
-        ? mergeObjectSchemas(ParsedVariableSchema, options.variableSchema)
+        ? mergeBaseWithExtension(ParsedVariableSchema, options.variableSchema)
         : ParsedVariableSchema;
     const premiseSch = options.premiseSchema
-        ? mergeObjectSchemas(ParsedPremiseSchema, options.premiseSchema)
+        ? mergeBaseWithExtension(ParsedPremiseSchema, options.premiseSchema)
         : ParsedPremiseSchema;
     const baseArgProps = {
         claims: Type.Array(claimSch, { minItems: 1 }),

package/dist/lib/parsing/schemata.js.map

@@ -1 +1 @@
-{"version":3,"file":"schemata.js","sourceRoot":"","sources":["../../../src/lib/parsing/schemata.ts"],"names":[],"mappings":"AAAA,OAAO,IAAI,EAAE,EAA2C,MAAM,SAAS,CAAA;AACvE,OAAO,EAAE,QAAQ,EAAE,MAAM,uBAAuB,CAAA;AAGhD,MAAM,CAAC,MAAM,mBAAmB,GAAG,IAAI,CAAC,KAAK,CAAC;IAC1C,IAAI,CAAC,OAAO,CAAC,SAAS,CAAC;IACvB,IAAI,CAAC,OAAO,CAAC,YAAY,CAAC;IAC1B,IAAI,CAAC,OAAO,CAAC,cAAc,CAAC;CAC/B,CAAC,CAAA;AAEF,MAAM,CAAC,MAAM,mBAAmB,GAAG,IAAI,CAAC,KAAK,CAAC;IAC1C,IAAI,CAAC,OAAO,CAAC,QAAQ,CAAC;IACtB,IAAI,CAAC,OAAO,CAAC,UAAU,CAAC;IACxB,IAAI,CAAC,OAAO,CAAC,WAAW,CAAC;CAC5B,CAAC,CAAA;AAEF,MAAM,CAAC,MAAM,iBAAiB,GAAG,IAAI,CAAC,MAAM,CACxC;IACI,MAAM,EAAE,IAAI,CAAC,MAAM,EAAE;IACrB,IAAI,EAAE,mBAAmB;IACzB,IAAI,EAAE,mBAAmB;IACzB,eAAe,EAAE,IAAI,CAAC,KAAK,CAAC,IAAI,CAAC,MAAM,EAAE,EAAE;QACvC,WAAW,EACP,wRAAwR;KAC/R,CAAC;CACL,EACD,EAAE,oBAAoB,EAAE,IAAI,EAAE,CACjC,CAAA;AAGD,MAAM,CAAC,MAAM,oBAAoB,GAAG,IAAI,CAAC,MAAM,CAC3C;IACI,MAAM,EAAE,IAAI,CAAC,MAAM,EAAE;IACrB,MAAM,EAAE,IAAI,CAAC,MAAM,EAAE;IACrB,WAAW,EAAE,IAAI,CAAC,MAAM,EAAE;CAC7B,EACD,EAAE,oBAAoB,EAAE,IAAI,EAAE,CACjC,CAAA;AAGD,MAAM,CAAC,MAAM,mBAAmB,GAAG,IAAI,CAAC,MAAM,CAC1C;IACI,MAAM,EAAE,IAAI,CAAC,MAAM,EAAE;IACrB,OAAO,EAAE,IAAI,CAAC,MAAM,EAAE;CACzB,EACD,EAAE,oBAAoB,EAAE,IAAI,EAAE,CACjC,CAAA;AAGD,MAAM,CAAC,MAAM,oBAAoB,GAAG,IAAI,CAAC,MAAM,CAC3C;IACI,MAAM,EAAE,IAAI,CAAC,KAAK,CAAC,iBAAiB,EAAE,EAAE,QAAQ,EAAE,CAAC,EAAE,CAAC;IACtD,SAAS,EAAE,IAAI,CAAC,KAAK,CAAC,oBAAoB,EAAE,EAAE,QAAQ,EAAE,CAAC,EAAE,CAAC;IAC5D,QAAQ,EAAE,IAAI,CAAC,KAAK,CAAC,mBAAmB,EAAE,EAAE,QAAQ,EAAE,CAAC,EAAE,CAAC;IAC1D,uBAAuB,EAAE,IAAI,CAAC,MAAM,EAAE;CACzC,EACD,EAAE,oBAAoB,EAAE,IAAI,EAAE,CACjC,CAAA;AAGD,MAAM,CAAC,MAAM,4BAA4B,GAAG,IAAI,CAAC,MAAM,CACnD;IACI,QAAQ,EAAE,QAAQ,CAAC,oBAAoB,CAAC;IACxC,iBAAiB,EAAE,QAAQ,CAAC,IAAI,CAAC,MAAM,EAAE,CAAC;IAC1C,kBAAkB,EAAE,QAAQ,CAAC,IAAI,CAAC,MAAM,EAAE,CAAC;IAC3C,WAAW,EAAE,QAAQ,CAAC,IAAI,CAAC,MAAM,EAAE,CAAC;CACvC,EACD,EAAE,oBAAoB,EAAE,IAAI,EAAE,CACjC,CAAA;AAKD,SAAS,kBAAkB,CAAC,IAAa,EAAE,SAAkB;IACzD,OAAO,IAAI,CAAC,MAAM,CACd,EAAE,GAAG,IAAI,CAAC,UAAU,EAAE,GAAG,SAAS,CAAC,UAAU,EAAE,EAC/C,EAAE,oBAAoB,EAAE,IAAI,EAAE,CACjC,CAAA;AACL,CAAC;AAED,0HAA0H;AAC1H,MAAM,UAAU,0BAA0B,CACtC,OAA+B;IAE/B,IAAI,CAAC,OAAO;QAAE,OAAO,4BAA4B,CAAA;IAEjD,MAAM,QAAQ,GAAG,OAAO,CAAC,WAAW;QAChC,CAAC,CAAC,kBAAkB,CAAC,iBAAiB,EAAE,OAAO,CAAC,WAAsB,CAAC;QACvE,CAAC,CAAC,iBAAiB,CAAA;IAEvB,MAAM,WAAW,GAAG,OAAO,CAAC,cAAc;QACtC,CAAC,CAAC,kBAAkB,CACd,oBAAoB,EACpB,OAAO,CAAC,cAAyB,CACpC;QACH,CAAC,CAAC,oBAAoB,CAAA;IAE1B,MAAM,UAAU,GAAG,OAAO,CAAC,aAAa;QACpC,CAAC,CAAC,kBAAkB,CACd,mBAAmB,EACnB,OAAO,CAAC,aAAwB,CACnC;QACH,CAAC,CAAC,mBAAmB,CAAA;IAEzB,MAAM,YAAY,GAAG;QACjB,MAAM,EAAE,IAAI,CAAC,KAAK,CAAC,QAAQ,EAAE,EAAE,QAAQ,EAAE,CAAC,EAAE,CAAC;QAC7C,SAAS,EAAE,IAAI,CAAC,KAAK,CAAC,WAAW,EAAE,EAAE,QAAQ,EAAE,CAAC,EAAE,CAAC;QACnD,QAAQ,EAAE,IAAI,CAAC,KAAK,CAAC,UAAU,EAAE,EAAE,QAAQ,EAAE,CAAC,EAAE,CAAC;QACjD,uBAAuB,EAAE,IAAI,CAAC,MAAM,EAAE;KACzC,CAAA;IAED,MAAM,MAAM,GAAG,OAAO,CAAC,oBAAoB;QACvC,CAAC,CAAC,IAAI,CAAC,MAAM,CACP;YACI,GAAG,YAAY;YACf,GAAI,OAAO,CAAC,oBAAgC,CAAC,UAAU;SAC1D,EACD,EAAE,oBAAoB,EAAE,IAAI,EAAE,CACjC;QACH,CAAC,CAAC,IAAI,CAAC,MAAM,CAAC,YAAY,EAAE,EAAE,oBAAoB,EAAE,IAAI,EAAE,CAAC,CAAA;IAE/D,MAAM,iBAAiB,GAAG;QACtB,QAAQ,EAAE,QAAQ,CAAC,MAAM,CAAC;QAC1B,iBAAiB,EAAE,QAAQ,CAAC,IAAI,CAAC,MAAM,EAAE,CAAC;QAC1C,kBAAkB,EAAE,QAAQ,CAAC,IAAI,CAAC,MAAM,EAAE,CAAC;QAC3C,WAAW,EAAE,QAAQ,CAAC,IAAI,CAAC,MAAM,EAAE,CAAC;KACvC,CAAA;IAED,MAAM,WAAW,GAAG,OAAO,CAAC,cAAc;QACtC,CAAC,CAAC,IAAI,CAAC,MAAM,CACP;YACI,GAAG,iBAAiB;YACpB,GAAI,OAAO,CAAC,cAA0B,CAAC,UAAU;SACpD,EACD,EAAE,oBAAoB,EAAE,IAAI,EAAE,CACjC;QACH,CAAC,CAAC,IAAI,CAAC,MAAM,CAAC,iBAAiB,EAAE,EAAE,oBAAoB,EAAE,IAAI,EAAE,CAAC,CAAA;IAEpE,OAAO,WAAW,CAAA;AACtB,CAAC;AAED,qHAAqH;AACrH,MAAM,UAAU,wBAAwB,CACpC,MAAgB;IAEhB,MAAM,MAAM,GAAG,MAAM,IAAI,4BAA4B,CAAA;IACrD,OAAO,IAAI,CAAC,KAAK,CAAC,IAAI,CAAC,SAAS,CAAC,MAAM,CAAC,CAA4B,CAAA;AACxE,CAAC"}
+{"version":3,"file":"schemata.js","sourceRoot":"","sources":["../../../src/lib/parsing/schemata.ts"],"names":[],"mappings":"AAAA,OAAO,IAAI,EAAE,EAA2C,MAAM,SAAS,CAAA;AACvE,OAAO,EAAE,QAAQ,EAAE,MAAM,uBAAuB,CAAA;AAEhD,OAAO,EAAE,mBAAmB,EAAE,MAAM,sBAAsB,CAAA;AAE1D,MAAM,CAAC,MAAM,mBAAmB,GAAG,IAAI,CAAC,KAAK,CAAC;IAC1C,IAAI,CAAC,OAAO,CAAC,SAAS,CAAC;IACvB,IAAI,CAAC,OAAO,CAAC,YAAY,CAAC;IAC1B,IAAI,CAAC,OAAO,CAAC,cAAc,CAAC;CAC/B,CAAC,CAAA;AAEF,MAAM,CAAC,MAAM,mBAAmB,GAAG,mBAAmB,CAAA;AAEtD,MAAM,CAAC,MAAM,iBAAiB,GAAG,IAAI,CAAC,MAAM,CACxC;IACI,MAAM,EAAE,IAAI,CAAC,MAAM,EAAE;IACrB,IAAI,EAAE,mBAAmB;IACzB,IAAI,EAAE,mBAAmB;CAC5B,EACD,EAAE,oBAAoB,EAAE,IAAI,EAAE,CACjC,CAAA;AAGD,MAAM,CAAC,MAAM,oBAAoB,GAAG,IAAI,CAAC,MAAM,CAC3C;IACI,MAAM,EAAE,IAAI,CAAC,MAAM,EAAE;IACrB,MAAM,EAAE,IAAI,CAAC,MAAM,EAAE;IACrB,WAAW,EAAE,IAAI,CAAC,MAAM,EAAE;CAC7B,EACD,EAAE,oBAAoB,EAAE,IAAI,EAAE,CACjC,CAAA;AAGD,MAAM,CAAC,MAAM,mBAAmB,GAAG,IAAI,CAAC,MAAM,CAC1C;IACI,MAAM,EAAE,IAAI,CAAC,MAAM,EAAE;IACrB,OAAO,EAAE,IAAI,CAAC,MAAM,EAAE;CACzB,EACD,EAAE,oBAAoB,EAAE,IAAI,EAAE,CACjC,CAAA;AAGD,MAAM,CAAC,MAAM,oBAAoB,GAAG,IAAI,CAAC,MAAM,CAC3C;IACI,MAAM,EAAE,IAAI,CAAC,KAAK,CAAC,iBAAiB,EAAE,EAAE,QAAQ,EAAE,CAAC,EAAE,CAAC;IACtD,SAAS,EAAE,IAAI,CAAC,KAAK,CAAC,oBAAoB,EAAE,EAAE,QAAQ,EAAE,CAAC,EAAE,CAAC;IAC5D,QAAQ,EAAE,IAAI,CAAC,KAAK,CAAC,mBAAmB,EAAE,EAAE,QAAQ,EAAE,CAAC,EAAE,CAAC;IAC1D,uBAAuB,EAAE,IAAI,CAAC,MAAM,EAAE;CACzC,EACD,EAAE,oBAAoB,EAAE,IAAI,EAAE,CACjC,CAAA;AAGD,MAAM,CAAC,MAAM,4BAA4B,GAAG,IAAI,CAAC,MAAM,CACnD;IACI,QAAQ,EAAE,QAAQ,CAAC,oBAAoB,CAAC;IACxC,iBAAiB,EAAE,QAAQ,CAAC,IAAI,CAAC,MAAM,EAAE,CAAC;IAC1C,kBAAkB,EAAE,QAAQ,CAAC,IAAI,CAAC,MAAM,EAAE,CAAC;IAC3C,WAAW,EAAE,QAAQ,CAAC,IAAI,CAAC,MAAM,EAAE,CAAC;CACvC,EACD,EAAE,oBAAoB,EAAE,IAAI,EAAE,CACjC,CAAA;AAKD,SAAS,sBAAsB,CAAC,IAAa,EAAE,SAAkB;IAC7D,MAAM,GAAG,GAAG,SAAoC,CAAA;IAChD,MAAM,KAAK,GAAG,GAAG,CAAC,KAA8B,CAAA;IAChD,IAAI,KAAK,CAAC,OAAO,CAAC,KAAK,CAAC,EAAE,CAAC;QACvB,MAAM,QAAQ,GAAG,KAAK,CAAC,GAAG,CAAC,CAAC,MAAM,EAAE,EAAE;YAClC,MAAM,WAAW,GAAI,MAAkC;iBAClD,UAAiD,CAAA;YACtD,IAAI,CAAC,WAAW,EAAE,CAAC;gBACf,MAAM,IAAI,KAAK,CACX,8EAA8E,CACjF,CAAA;YACL,CAAC;YACD,OAAO,IAAI,CAAC,MAAM,CACd,EAAE,GAAG,IAAI,CAAC,UAAU,EAAE,GAAG,WAAW,EAAE,EACtC,EAAE,oBAAoB,EAAE,IAAI,EAAE,CACjC,CAAA;QACL,CAAC,CAAC,CAAA;QACF,MAAM,WAAW,GACb,OAAO,GAAG,CAAC,WAAW,KAAK,QAAQ,CAAC,CAAC,CAAC,GAAG,CAAC,WAAW,CAAC,CAAC,CAAC,SAAS,CAAA;QACrE,OAAO,IAAI,CAAC,KAAK,CAAC,QAAQ,EAAE,WAAW,CAAC,CAAC,CAAC,EAAE,WAAW,EAAE,CAAC,CAAC,CAAC,SAAS,CAAC,CAAA;IAC1E,CAAC;IACD,MAAM,QAAQ,GAAG,GAAG,CAAC,UAAiD,CAAA;IACtE,IAAI,CAAC,QAAQ,EAAE,CAAC;QACZ,MAAM,IAAI,KAAK,CACX,8FAA8F,CACjG,CAAA;IACL,CAAC;IACD,OAAO,IAAI,CAAC,MAAM,CACd,EAAE,GAAG,IAAI,CAAC,UAAU,EAAE,GAAG,QAAQ,EAAE,EACnC,EAAE,oBAAoB,EAAE,IAAI,EAAE,CACjC,CAAA;AACL,CAAC;AAED,0HAA0H;AAC1H,MAAM,UAAU,0BAA0B,CACtC,OAA+B;IAE/B,IAAI,CAAC,OAAO;QAAE,OAAO,4BAA4B,CAAA;IAEjD,MAAM,QAAQ,GAAG,OAAO,CAAC,WAAW;QAChC,CAAC,CAAC,sBAAsB,CAAC,iBAAiB,EAAE,OAAO,CAAC,WAAW,CAAC;QAChE,CAAC,CAAC,iBAAiB,CAAA;IAEvB,MAAM,WAAW,GAAG,OAAO,CAAC,cAAc;QACtC,CAAC,CAAC,sBAAsB,CAAC,oBAAoB,EAAE,OAAO,CAAC,cAAc,CAAC;QACtE,CAAC,CAAC,oBAAoB,CAAA;IAE1B,MAAM,UAAU,GAAG,OAAO,CAAC,aAAa;QACpC,CAAC,CAAC,sBAAsB,CAAC,mBAAmB,EAAE,OAAO,CAAC,aAAa,CAAC;QACpE,CAAC,CAAC,mBAAmB,CAAA;IAEzB,MAAM,YAAY,GAAG;QACjB,MAAM,EAAE,IAAI,CAAC,KAAK,CAAC,QAAQ,EAAE,EAAE,QAAQ,EAAE,CAAC,EAAE,CAAC;QAC7C,SAAS,EAAE,IAAI,CAAC,KAAK,CAAC,WAAW,EAAE,EAAE,QAAQ,EAAE,CAAC,EAAE,CAAC;QACnD,QAAQ,EAAE,IAAI,CAAC,KAAK,CAAC,UAAU,EAAE,EAAE,QAAQ,EAAE,CAAC,EAAE,CAAC;QACjD,uBAAuB,EAAE,IAAI,CAAC,MAAM,EAAE;KACzC,CAAA;IAED,MAAM,MAAM,GAAG,OAAO,CAAC,oBAAoB;QACvC,CAAC,CAAC,IAAI,CAAC,MAAM,CACP;YACI,GAAG,YAAY;YACf,GAAI,OAAO,CAAC,oBAAgC,CAAC,UAAU;SAC1D,EACD,EAAE,oBAAoB,EAAE,IAAI,EAAE,CACjC;QACH,CAAC,CAAC,IAAI,CAAC,MAAM,CAAC,YAAY,EAAE,EAAE,oBAAoB,EAAE,IAAI,EAAE,CAAC,CAAA;IAE/D,MAAM,iBAAiB,GAAG;QACtB,QAAQ,EAAE,QAAQ,CAAC,MAAM,CAAC;QAC1B,iBAAiB,EAAE,QAAQ,CAAC,IAAI,CAAC,MAAM,EAAE,CAAC;QAC1C,kBAAkB,EAAE,QAAQ,CAAC,IAAI,CAAC,MAAM,EAAE,CAAC;QAC3C,WAAW,EAAE,QAAQ,CAAC,IAAI,CAAC,MAAM,EAAE,CAAC;KACvC,CAAA;IAED,MAAM,WAAW,GAAG,OAAO,CAAC,cAAc;QACtC,CAAC,CAAC,IAAI,CAAC,MAAM,CACP;YACI,GAAG,iBAAiB;YACpB,GAAI,OAAO,CAAC,cAA0B,CAAC,UAAU;SACpD,EACD,EAAE,oBAAoB,EAAE,IAAI,EAAE,CACjC;QACH,CAAC,CAAC,IAAI,CAAC,MAAM,CAAC,iBAAiB,EAAE,EAAE,oBAAoB,EAAE,IAAI,EAAE,CAAC,CAAA;IAEpE,OAAO,WAAW,CAAA;AACtB,CAAC;AAED,qHAAqH;AACrH,MAAM,UAAU,wBAAwB,CACpC,MAAgB;IAEhB,MAAM,MAAM,GAAG,MAAM,IAAI,4BAA4B,CAAA;IACrD,OAAO,IAAI,CAAC,KAAK,CAAC,IAAI,CAAC,SAAS,CAAC,MAAM,CAAC,CAA4B,CAAA;AACxE,CAAC"}

package/dist/lib/parsing/types.d.ts

@@ -9,7 +9,7 @@ export type TParsingSchemaOptions = {
     parsedArgumentSchema?: TSchema;
     responseSchema?: TSchema;
 };
-export type TParserWarningCode = "UNRESOLVED_CITATION_MINIID" | "UNRESOLVED_CLAIM_MINIID" | "UNRESOLVED_CONCLUSION_MINIID" | "UNDECLARED_VARIABLE_SYMBOL" | "FORMULA_PARSE_ERROR" | "FORMULA_STRUCTURE_ERROR";
+export type TParserWarningCode = "UNRESOLVED_CLAIM_MINIID" | "UNRESOLVED_CONCLUSION_MINIID" | "UNDECLARED_VARIABLE_SYMBOL" | "FORMULA_PARSE_ERROR" | "FORMULA_STRUCTURE_ERROR" | "CITATION_EDGE_REJECTED" | "AXIOM_EDGE_REJECTED";
 export type TParserWarning = {
     code: TParserWarningCode;
     message: string;

package/dist/lib/parsing/types.d.ts.map

@@ -1 +1 @@
-{"version":3,"file":"types.d.ts","sourceRoot":"","sources":["../../../src/lib/parsing/types.ts"],"names":[],"mappings":"AAAA,OAAO,KAAK,EAAE,OAAO,EAAE,MAAM,SAAS,CAAA;AAEtC,MAAM,MAAM,cAAc,GAAG;IACzB,kBAAkB,CAAC,EAAE,MAAM,CAAA;CAC9B,CAAA;AAED,MAAM,MAAM,qBAAqB,GAAG;IAChC,WAAW,CAAC,EAAE,OAAO,CAAA;IACrB,cAAc,CAAC,EAAE,OAAO,CAAA;IACxB,aAAa,CAAC,EAAE,OAAO,CAAA;IACvB,oBAAoB,CAAC,EAAE,OAAO,CAAA;IAC9B,cAAc,CAAC,EAAE,OAAO,CAAA;CAC3B,CAAA;AAED,MAAM,MAAM,kBAAkB,GACxB,4BAA4B,GAC5B,yBAAyB,GACzB,8BAA8B,GAC9B,4BAA4B,GAC5B,qBAAqB,GACrB,yBAAyB,CAAA;AAE/B,MAAM,MAAM,cAAc,GAAG;IACzB,IAAI,EAAE,kBAAkB,CAAA;IACxB,OAAO,EAAE,MAAM,CAAA;IACf,OAAO,EAAE,MAAM,CAAC,MAAM,EAAE,MAAM,CAAC,CAAA;CAClC,CAAA;AAED,MAAM,MAAM,mBAAmB,GAAG;IAC9B,MAAM,CAAC,EAAE,OAAO,CAAA;IAChB,uFAAuF;IACvF,UAAU,CAAC,EAAE,MAAM,MAAM,CAAA;CAC5B,CAAA"}
+{"version":3,"file":"types.d.ts","sourceRoot":"","sources":["../../../src/lib/parsing/types.ts"],"names":[],"mappings":"AAAA,OAAO,KAAK,EAAE,OAAO,EAAE,MAAM,SAAS,CAAA;AAEtC,MAAM,MAAM,cAAc,GAAG;IACzB,kBAAkB,CAAC,EAAE,MAAM,CAAA;CAC9B,CAAA;AAED,MAAM,MAAM,qBAAqB,GAAG;IAChC,WAAW,CAAC,EAAE,OAAO,CAAA;IACrB,cAAc,CAAC,EAAE,OAAO,CAAA;IACxB,aAAa,CAAC,EAAE,OAAO,CAAA;IACvB,oBAAoB,CAAC,EAAE,OAAO,CAAA;IAC9B,cAAc,CAAC,EAAE,OAAO,CAAA;CAC3B,CAAA;AAED,MAAM,MAAM,kBAAkB,GACxB,yBAAyB,GACzB,8BAA8B,GAC9B,4BAA4B,GAC5B,qBAAqB,GACrB,yBAAyB,GACzB,wBAAwB,GACxB,qBAAqB,CAAA;AAE3B,MAAM,MAAM,cAAc,GAAG;IACzB,IAAI,EAAE,kBAAkB,CAAA;IACxB,OAAO,EAAE,MAAM,CAAA;IACf,OAAO,EAAE,MAAM,CAAC,MAAM,EAAE,MAAM,CAAC,CAAA;CAClC,CAAA;AAED,MAAM,MAAM,mBAAmB,GAAG;IAC9B,MAAM,CAAC,EAAE,OAAO,CAAA;IAChB,uFAAuF;IACvF,UAAU,CAAC,EAAE,MAAM,MAAM,CAAA;CAC5B,CAAA"}

package/dist/lib/schemata/claim.d.ts

@@ -1,4 +1,12 @@
 import Type, { type Static } from "typebox";
+export declare const CoreClaimNormalTypeSchema: Type.TLiteral<"normal">;
+export type TCoreClaimNormalType = Static<typeof CoreClaimNormalTypeSchema>;
+export declare const CoreClaimCitationTypeSchema: Type.TLiteral<"citation">;
+export type TCoreClaimCitationType = Static<typeof CoreClaimCitationTypeSchema>;
+export declare const CoreClaimAxiomaticTypeSchema: Type.TLiteral<"axiomatic">;
+export type TCoreClaimAxiomaticType = Static<typeof CoreClaimAxiomaticTypeSchema>;
+export declare const CoreClaimTypeSchema: Type.TUnion<[Type.TLiteral<"normal">, Type.TLiteral<"citation">, Type.TLiteral<"axiomatic">]>;
+export type TCoreClaimType = Static<typeof CoreClaimTypeSchema>;
 export declare const CoreClaimSchema: Type.TObject<{
     id: Type.TString;
     version: Type.TNumber;

package/dist/lib/schemata/claim.d.ts.map

@@ -1 +1 @@
-{"version":3,"file":"claim.d.ts","sourceRoot":"","sources":["../../../src/lib/schemata/claim.ts"],"names":[],"mappings":"AAAA,OAAO,IAAI,EAAE,EAAE,KAAK,MAAM,EAAE,MAAM,SAAS,CAAA;AAG3C,eAAO,MAAM,eAAe;;;;;;EA8B3B,CAAA;AACD,MAAM,MAAM,UAAU,GAAG,MAAM,CAAC,OAAO,eAAe,CAAC,CAAA"}
+{"version":3,"file":"claim.d.ts","sourceRoot":"","sources":["../../../src/lib/schemata/claim.ts"],"names":[],"mappings":"AAAA,OAAO,IAAI,EAAE,EAAE,KAAK,MAAM,EAAE,MAAM,SAAS,CAAA;AAG3C,eAAO,MAAM,yBAAyB,yBAGpC,CAAA;AACF,MAAM,MAAM,oBAAoB,GAAG,MAAM,CAAC,OAAO,yBAAyB,CAAC,CAAA;AAE3E,eAAO,MAAM,2BAA2B,2BAGtC,CAAA;AACF,MAAM,MAAM,sBAAsB,GAAG,MAAM,CAAC,OAAO,2BAA2B,CAAC,CAAA;AAE/E,eAAO,MAAM,4BAA4B,4BAGvC,CAAA;AACF,MAAM,MAAM,uBAAuB,GAAG,MAAM,CACxC,OAAO,4BAA4B,CACtC,CAAA;AAED,eAAO,MAAM,mBAAmB,+FAU/B,CAAA;AACD,MAAM,MAAM,cAAc,GAAG,MAAM,CAAC,OAAO,mBAAmB,CAAC,CAAA;AAE/D,eAAO,MAAM,eAAe;;;;;;EAoB3B,CAAA;AACD,MAAM,MAAM,UAAU,GAAG,MAAM,CAAC,OAAO,eAAe,CAAC,CAAA"}

package/dist/lib/schemata/claim.js

@@ -1,5 +1,21 @@
 import Type, {} from "typebox";
 import { UUID } from "./shared.js";
+export const CoreClaimNormalTypeSchema = Type.Literal("normal", {
+    description: "Primary reasoning claim type. Can have premises and be cited as evidence for other claims.",
+});
+export const CoreClaimCitationTypeSchema = Type.Literal("citation", {
+    description: "Cited content claim type. Cannot have premises or be cited as evidence for other claims, but can serve as a supporting claim in a citation relationship.",
+});
+export const CoreClaimAxiomaticTypeSchema = Type.Literal("axiomatic", {
+    description: "Self-evident invoked claim type. Cannot have premises or be cited as evidence for other claims, but can serve as a supporting claim in an invocation relationship.",
+});
+export const CoreClaimTypeSchema = Type.Union([
+    CoreClaimNormalTypeSchema,
+    CoreClaimCitationTypeSchema,
+    CoreClaimAxiomaticTypeSchema,
+], {
+    description: "Distinguishes claim roles: 'normal' = primary-reasoning, 'citation' = external cited content, 'axiomatic' = self-evident invoked claim. Immutable post-creation.",
+});
 export const CoreClaimSchema = Type.Object({
     id: UUID,
     version: Type.Number({
@@ -11,13 +27,7 @@ export const CoreClaimSchema = Type.Object({
     checksum: Type.String({
         description: "Entity-level checksum for sync detection.",
     }),
-    type: Type.Union([
-        Type.Literal("normal"),
-        Type.Literal("citation"),
-        Type.Literal("axiomatic"),
-    ], {
-        description: "Distinguishes claim roles: 'normal' = primary-reasoning, 'citation' = external cited content, 'axiomatic' = self-evident invoked claim. Immutable post-creation.",
-    }),
+    type: CoreClaimTypeSchema,
 }, {
     additionalProperties: true,
     description: "A global claim representing propositional content. Variables reference claims by ID and version.",

package/dist/lib/schemata/claim.js.map

@@ -1 +1 @@
-{"version":3,"file":"claim.js","sourceRoot":"","sources":["../../../src/lib/schemata/claim.ts"],"names":[],"mappings":"AAAA,OAAO,IAAI,EAAE,EAAe,MAAM,SAAS,CAAA;AAC3C,OAAO,EAAE,IAAI,EAAE,MAAM,aAAa,CAAA;AAElC,MAAM,CAAC,MAAM,eAAe,GAAG,IAAI,CAAC,MAAM,CACtC;IACI,EAAE,EAAE,IAAI;IACR,OAAO,EAAE,IAAI,CAAC,MAAM,CAAC;QACjB,WAAW,EAAE,oCAAoC;KACpD,CAAC;IACF,MAAM,EAAE,IAAI,CAAC,OAAO,CAAC;QACjB,WAAW,EACP,gFAAgF;KACvF,CAAC;IACF,QAAQ,EAAE,IAAI,CAAC,MAAM,CAAC;QAClB,WAAW,EAAE,2CAA2C;KAC3D,CAAC;IACF,IAAI,EAAE,IAAI,CAAC,KAAK,CACZ;QACI,IAAI,CAAC,OAAO,CAAC,QAAQ,CAAC;QACtB,IAAI,CAAC,OAAO,CAAC,UAAU,CAAC;QACxB,IAAI,CAAC,OAAO,CAAC,WAAW,CAAC;KAC5B,EACD;QACI,WAAW,EACP,kKAAkK;KACzK,CACJ;CACJ,EACD;IACI,oBAAoB,EAAE,IAAI;IAC1B,WAAW,EACP,kGAAkG;CACzG,CACJ,CAAA"}
+{"version":3,"file":"claim.js","sourceRoot":"","sources":["../../../src/lib/schemata/claim.ts"],"names":[],"mappings":"AAAA,OAAO,IAAI,EAAE,EAAe,MAAM,SAAS,CAAA;AAC3C,OAAO,EAAE,IAAI,EAAE,MAAM,aAAa,CAAA;AAElC,MAAM,CAAC,MAAM,yBAAyB,GAAG,IAAI,CAAC,OAAO,CAAC,QAAQ,EAAE;IAC5D,WAAW,EACP,4FAA4F;CACnG,CAAC,CAAA;AAGF,MAAM,CAAC,MAAM,2BAA2B,GAAG,IAAI,CAAC,OAAO,CAAC,UAAU,EAAE;IAChE,WAAW,EACP,0JAA0J;CACjK,CAAC,CAAA;AAGF,MAAM,CAAC,MAAM,4BAA4B,GAAG,IAAI,CAAC,OAAO,CAAC,WAAW,EAAE;IAClE,WAAW,EACP,oKAAoK;CAC3K,CAAC,CAAA;AAKF,MAAM,CAAC,MAAM,mBAAmB,GAAG,IAAI,CAAC,KAAK,CACzC;IACI,yBAAyB;IACzB,2BAA2B;IAC3B,4BAA4B;CAC/B,EACD;IACI,WAAW,EACP,kKAAkK;CACzK,CACJ,CAAA;AAGD,MAAM,CAAC,MAAM,eAAe,GAAG,IAAI,CAAC,MAAM,CACtC;IACI,EAAE,EAAE,IAAI;IACR,OAAO,EAAE,IAAI,CAAC,MAAM,CAAC;QACjB,WAAW,EAAE,oCAAoC;KACpD,CAAC;IACF,MAAM,EAAE,IAAI,CAAC,OAAO,CAAC;QACjB,WAAW,EACP,gFAAgF;KACvF,CAAC;IACF,QAAQ,EAAE,IAAI,CAAC,MAAM,CAAC;QAClB,WAAW,EAAE,2CAA2C;KAC3D,CAAC;IACF,IAAI,EAAE,mBAAmB;CAC5B,EACD;IACI,oBAAoB,EAAE,IAAI;IAC1B,WAAW,EACP,kGAAkG;CACzG,CACJ,CAAA"}

package/dist/lib/schemata/import.d.ts.map

@@ -1 +1 @@
-{"version":3,"file":"import.d.ts","sourceRoot":"","sources":["../../../src/lib/schemata/import.ts"],"names":[],"mappings":"AAAA,OAAO,IAAI,EAAE,EAAE,KAAK,MAAM,EAAE,MAAM,SAAS,CAAA;AAG3C,eAAO,MAAM,6BAA6B;;EAKzC,CAAA;AACD,MAAM,MAAM,wBAAwB,GAAG,MAAM,CACzC,OAAO,6BAA6B,CACvC,CAAA;AAED,eAAO,MAAM,qBAAqB;;;;;IAK9B,oEAAoE;;IAEpE;;;;OAIG;;IAIH;;;OAGG;;EAEL,CAAA;AAEF,MAAM,MAAM,gBAAgB,GAAG,MAAM,CAAC,OAAO,qBAAqB,CAAC,CAAA;AAEnE,wEAAwE;AACxE,eAAO,MAAM,mBAAmB;;;;EAW/B,CAAA;AACD,MAAM,MAAM,cAAc,GAAG,MAAM,CAAC,OAAO,mBAAmB,CAAC,CAAA;AAE/D,eAAO,MAAM,8BAA8B;;;EAM1C,CAAA;AACD,MAAM,MAAM,yBAAyB,GAAG,MAAM,CAC1C,OAAO,8BAA8B,CACxC,CAAA;AAED,eAAO,MAAM,sBAAsB;;;;;IAE/B,+FAA+F;;;;;;;;;;;QA/C/F,oEAAoE;;QAEpE;;;;WAIG;;QAIH;;;WAGG;;;EAqCL,CAAA;AAEF,MAAM,MAAM,iBAAiB,GAAG,MAAM,CAAC,OAAO,sBAAsB,CAAC,CAAA"}
+{"version":3,"file":"import.d.ts","sourceRoot":"","sources":["../../../src/lib/schemata/import.ts"],"names":[],"mappings":"AAAA,OAAO,IAAI,EAAE,EAAE,KAAK,MAAM,EAAE,MAAM,SAAS,CAAA;AAI3C,eAAO,MAAM,6BAA6B;;EAKzC,CAAA;AACD,MAAM,MAAM,wBAAwB,GAAG,MAAM,CACzC,OAAO,6BAA6B,CACvC,CAAA;AAED,eAAO,MAAM,qBAAqB;;;;;IAK9B,oEAAoE;;IAEpE;;;;OAIG;;IAIH;;;OAGG;;EAEL,CAAA;AAEF,MAAM,MAAM,gBAAgB,GAAG,MAAM,CAAC,OAAO,qBAAqB,CAAC,CAAA;AAEnE,wEAAwE;AACxE,eAAO,MAAM,mBAAmB;;;;EAO/B,CAAA;AACD,MAAM,MAAM,cAAc,GAAG,MAAM,CAAC,OAAO,mBAAmB,CAAC,CAAA;AAE/D,eAAO,MAAM,8BAA8B;;;EAM1C,CAAA;AACD,MAAM,MAAM,yBAAyB,GAAG,MAAM,CAC1C,OAAO,8BAA8B,CACxC,CAAA;AAED,eAAO,MAAM,sBAAsB;;;;;IAE/B,+FAA+F;;;;;;;;;;;QA3C/F,oEAAoE;;QAEpE;;;;WAIG;;QAIH;;;WAGG;;;EAiCL,CAAA;AAEF,MAAM,MAAM,iBAAiB,GAAG,MAAM,CAAC,OAAO,sBAAsB,CAAC,CAAA"}

package/dist/lib/schemata/import.js

@@ -1,5 +1,6 @@
 import Type, {} from "typebox";
 import { UUID } from "./shared.js";
+import { CoreClaimTypeSchema } from "./claim.js";
 export const CoreYamlPremiseMetadataSchema = Type.Object({
     title: Type.Optional(Type.String()),
 }, { additionalProperties: Type.String() });
@@ -23,11 +24,7 @@ export const CoreYamlPremiseSchema = Type.Object({
 /** A claim declared inline at the top level of a YAML argument file. */
 export const CoreYamlClaimSchema = Type.Object({
     id: UUID,
-    type: Type.Union([
-        Type.Literal("normal"),
-        Type.Literal("citation"),
-        Type.Literal("axiomatic"),
-    ]),
+    type: CoreClaimTypeSchema,
     title: Type.Optional(Type.String()),
 }, { additionalProperties: true });
 export const CoreYamlArgumentMetadataSchema = Type.Object({

package/dist/lib/schemata/import.js.map

@@ -1 +1 @@
-{"version":3,"file":"import.js","sourceRoot":"","sources":["../../../src/lib/schemata/import.ts"],"names":[],"mappings":"AAAA,OAAO,IAAI,EAAE,EAAe,MAAM,SAAS,CAAA;AAC3C,OAAO,EAAE,IAAI,EAAE,MAAM,aAAa,CAAA;AAElC,MAAM,CAAC,MAAM,6BAA6B,GAAG,IAAI,CAAC,MAAM,CACpD;IACI,KAAK,EAAE,IAAI,CAAC,QAAQ,CAAC,IAAI,CAAC,MAAM,EAAE,CAAC;CACtC,EACD,EAAE,oBAAoB,EAAE,IAAI,CAAC,MAAM,EAAE,EAAE,CAC1C,CAAA;AAKD,MAAM,CAAC,MAAM,qBAAqB,GAAG,IAAI,CAAC,MAAM,CAAC;IAC7C,QAAQ,EAAE,IAAI,CAAC,QAAQ,CAAC,6BAA6B,CAAC;IACtD,IAAI,EAAE,IAAI,CAAC,QAAQ,CACf,IAAI,CAAC,KAAK,CAAC,CAAC,IAAI,CAAC,OAAO,CAAC,YAAY,CAAC,EAAE,IAAI,CAAC,OAAO,CAAC,YAAY,CAAC,CAAC,CAAC,CACvE;IACD,oEAAoE;IACpE,OAAO,EAAE,IAAI,CAAC,QAAQ,CAAC,IAAI,CAAC,MAAM,EAAE,CAAC;IACrC;;;;OAIG;IACH,IAAI,EAAE,IAAI,CAAC,QAAQ,CACf,IAAI,CAAC,KAAK,CAAC,CAAC,IAAI,CAAC,OAAO,CAAC,UAAU,CAAC,EAAE,IAAI,CAAC,OAAO,CAAC,YAAY,CAAC,CAAC,CAAC,CACrE;IACD;;;OAGG;IACH,cAAc,EAAE,IAAI,CAAC,QAAQ,CAAC,IAAI,CAAC;CACtC,CAAC,CAAA;AAIF,wEAAwE;AACxE,MAAM,CAAC,MAAM,mBAAmB,GAAG,IAAI,CAAC,MAAM,CAC1C;IACI,EAAE,EAAE,IAAI;IACR,IAAI,EAAE,IAAI,CAAC,KAAK,CAAC;QACb,IAAI,CAAC,OAAO,CAAC,QAAQ,CAAC;QACtB,IAAI,CAAC,OAAO,CAAC,UAAU,CAAC;QACxB,IAAI,CAAC,OAAO,CAAC,WAAW,CAAC;KAC5B,CAAC;IACF,KAAK,EAAE,IAAI,CAAC,QAAQ,CAAC,IAAI,CAAC,MAAM,EAAE,CAAC;CACtC,EACD,EAAE,oBAAoB,EAAE,IAAI,EAAE,CACjC,CAAA;AAGD,MAAM,CAAC,MAAM,8BAA8B,GAAG,IAAI,CAAC,MAAM,CACrD;IACI,KAAK,EAAE,IAAI,CAAC,MAAM,EAAE;IACpB,WAAW,EAAE,IAAI,CAAC,QAAQ,CAAC,IAAI,CAAC,MAAM,CAAC,EAAE,OAAO,EAAE,EAAE,EAAE,CAAC,CAAC;CAC3D,EACD,EAAE,oBAAoB,EAAE,IAAI,CAAC,MAAM,EAAE,EAAE,CAC1C,CAAA;AAKD,MAAM,CAAC,MAAM,sBAAsB,GAAG,IAAI,CAAC,MAAM,CAAC;IAC9C,QAAQ,EAAE,8BAA8B;IACxC,+FAA+F;IAC/F,MAAM,EAAE,IAAI,CAAC,QAAQ,CAAC,IAAI,CAAC,KAAK,CAAC,mBAAmB,CAAC,CAAC;IACtD,QAAQ,EAAE,IAAI,CAAC,KAAK,CAAC,qBAAqB,EAAE,EAAE,QAAQ,EAAE,CAAC,EAAE,CAAC;CAC/D,CAAC,CAAA"}
+{"version":3,"file":"import.js","sourceRoot":"","sources":["../../../src/lib/schemata/import.ts"],"names":[],"mappings":"AAAA,OAAO,IAAI,EAAE,EAAe,MAAM,SAAS,CAAA;AAC3C,OAAO,EAAE,IAAI,EAAE,MAAM,aAAa,CAAA;AAClC,OAAO,EAAE,mBAAmB,EAAE,MAAM,YAAY,CAAA;AAEhD,MAAM,CAAC,MAAM,6BAA6B,GAAG,IAAI,CAAC,MAAM,CACpD;IACI,KAAK,EAAE,IAAI,CAAC,QAAQ,CAAC,IAAI,CAAC,MAAM,EAAE,CAAC;CACtC,EACD,EAAE,oBAAoB,EAAE,IAAI,CAAC,MAAM,EAAE,EAAE,CAC1C,CAAA;AAKD,MAAM,CAAC,MAAM,qBAAqB,GAAG,IAAI,CAAC,MAAM,CAAC;IAC7C,QAAQ,EAAE,IAAI,CAAC,QAAQ,CAAC,6BAA6B,CAAC;IACtD,IAAI,EAAE,IAAI,CAAC,QAAQ,CACf,IAAI,CAAC,KAAK,CAAC,CAAC,IAAI,CAAC,OAAO,CAAC,YAAY,CAAC,EAAE,IAAI,CAAC,OAAO,CAAC,YAAY,CAAC,CAAC,CAAC,CACvE;IACD,oEAAoE;IACpE,OAAO,EAAE,IAAI,CAAC,QAAQ,CAAC,IAAI,CAAC,MAAM,EAAE,CAAC;IACrC;;;;OAIG;IACH,IAAI,EAAE,IAAI,CAAC,QAAQ,CACf,IAAI,CAAC,KAAK,CAAC,CAAC,IAAI,CAAC,OAAO,CAAC,UAAU,CAAC,EAAE,IAAI,CAAC,OAAO,CAAC,YAAY,CAAC,CAAC,CAAC,CACrE;IACD;;;OAGG;IACH,cAAc,EAAE,IAAI,CAAC,QAAQ,CAAC,IAAI,CAAC;CACtC,CAAC,CAAA;AAIF,wEAAwE;AACxE,MAAM,CAAC,MAAM,mBAAmB,GAAG,IAAI,CAAC,MAAM,CAC1C;IACI,EAAE,EAAE,IAAI;IACR,IAAI,EAAE,mBAAmB;IACzB,KAAK,EAAE,IAAI,CAAC,QAAQ,CAAC,IAAI,CAAC,MAAM,EAAE,CAAC;CACtC,EACD,EAAE,oBAAoB,EAAE,IAAI,EAAE,CACjC,CAAA;AAGD,MAAM,CAAC,MAAM,8BAA8B,GAAG,IAAI,CAAC,MAAM,CACrD;IACI,KAAK,EAAE,IAAI,CAAC,MAAM,EAAE;IACpB,WAAW,EAAE,IAAI,CAAC,QAAQ,CAAC,IAAI,CAAC,MAAM,CAAC,EAAE,OAAO,EAAE,EAAE,EAAE,CAAC,CAAC;CAC3D,EACD,EAAE,oBAAoB,EAAE,IAAI,CAAC,MAAM,EAAE,EAAE,CAC1C,CAAA;AAKD,MAAM,CAAC,MAAM,sBAAsB,GAAG,IAAI,CAAC,MAAM,CAAC;IAC9C,QAAQ,EAAE,8BAA8B;IACxC,+FAA+F;IAC/F,MAAM,EAAE,IAAI,CAAC,QAAQ,CAAC,IAAI,CAAC,KAAK,CAAC,mBAAmB,CAAC,CAAC;IACtD,QAAQ,EAAE,IAAI,CAAC,KAAK,CAAC,qBAAqB,EAAE,EAAE,QAAQ,EAAE,CAAC,EAAE,CAAC;CAC/D,CAAC,CAAA"}

package/dist/lib/schemata/index.d.ts

@@ -1,8 +1,6 @@
 export * from "./analysis.js";
 export * from "./argument.js";
 export * from "./claim.js";
-export * from "./claim-axiom.js";
-export * from "./claim-citation.js";
 export * from "./claim-connection.js";
 export * from "./fork.js";
 export * from "./propositional.js";

package/dist/lib/schemata/index.d.ts.map

@@ -1 +1 @@
-{"version":3,"file":"index.d.ts","sourceRoot":"","sources":["../../../src/lib/schemata/index.ts"],"names":[],"mappings":"AAAA,cAAc,eAAe,CAAA;AAC7B,cAAc,eAAe,CAAA;AAC7B,cAAc,YAAY,CAAA;AAC1B,cAAc,kBAAkB,CAAA;AAChC,cAAc,qBAAqB,CAAA;AACnC,cAAc,uBAAuB,CAAA;AACrC,cAAc,WAAW,CAAA;AACzB,cAAc,oBAAoB,CAAA;AAClC,cAAc,aAAa,CAAA"}
+{"version":3,"file":"index.d.ts","sourceRoot":"","sources":["../../../src/lib/schemata/index.ts"],"names":[],"mappings":"AAAA,cAAc,eAAe,CAAA;AAC7B,cAAc,eAAe,CAAA;AAC7B,cAAc,YAAY,CAAA;AAC1B,cAAc,uBAAuB,CAAA;AACrC,cAAc,WAAW,CAAA;AACzB,cAAc,oBAAoB,CAAA;AAClC,cAAc,aAAa,CAAA"}

package/dist/lib/schemata/index.js

@@ -1,8 +1,6 @@
 export * from "./analysis.js";
 export * from "./argument.js";
 export * from "./claim.js";
-export * from "./claim-axiom.js";
-export * from "./claim-citation.js";
 export * from "./claim-connection.js";
 export * from "./fork.js";
 export * from "./propositional.js";

package/dist/lib/schemata/index.js.map

@@ -1 +1 @@
-{"version":3,"file":"index.js","sourceRoot":"","sources":["../../../src/lib/schemata/index.ts"],"names":[],"mappings":"AAAA,cAAc,eAAe,CAAA;AAC7B,cAAc,eAAe,CAAA;AAC7B,cAAc,YAAY,CAAA;AAC1B,cAAc,kBAAkB,CAAA;AAChC,cAAc,qBAAqB,CAAA;AACnC,cAAc,uBAAuB,CAAA;AACrC,cAAc,WAAW,CAAA;AACzB,cAAc,oBAAoB,CAAA;AAClC,cAAc,aAAa,CAAA"}
+{"version":3,"file":"index.js","sourceRoot":"","sources":["../../../src/lib/schemata/index.ts"],"names":[],"mappings":"AAAA,cAAc,eAAe,CAAA;AAC7B,cAAc,eAAe,CAAA;AAC7B,cAAc,YAAY,CAAA;AAC1B,cAAc,uBAAuB,CAAA;AACrC,cAAc,WAAW,CAAA;AACzB,cAAc,oBAAoB,CAAA;AAClC,cAAc,aAAa,CAAA"}

package/dist/lib/utils/lookup.d.ts

@@ -38,8 +38,8 @@ export declare const EMPTY_CLAIM_LOOKUP: TClaimLookup;
  * a fresh empty implementation; values are stateless.
  *
  * @example
- *   const emptyCitations = emptyClaimConnectionLookup<TCoreClaimCitation>()
- *   const emptyAxioms = emptyClaimConnectionLookup<TCoreClaimAxiom>()
+ *   const emptyCitations = emptyClaimConnectionLookup<TCoreClaimConnection>()
+ *   const emptyAxioms = emptyClaimConnectionLookup<TCoreClaimConnection>()
  */
 export declare function emptyClaimConnectionLookup<TConn extends TCoreClaimConnection = TCoreClaimConnection>(): TClaimConnectionLookup<TConn>;
 //# sourceMappingURL=lookup.d.ts.map

package/dist/lib/utils/lookup.js

@@ -47,8 +47,8 @@ export const EMPTY_CLAIM_LOOKUP = {
  * a fresh empty implementation; values are stateless.
  *
  * @example
- *   const emptyCitations = emptyClaimConnectionLookup<TCoreClaimCitation>()
- *   const emptyAxioms = emptyClaimConnectionLookup<TCoreClaimAxiom>()
+ *   const emptyCitations = emptyClaimConnectionLookup<TCoreClaimConnection>()
+ *   const emptyAxioms = emptyClaimConnectionLookup<TCoreClaimConnection>()
  */
 export function emptyClaimConnectionLookup() {
     return {

package/package.json

@@ -1,6 +1,6 @@
 {
   "name": "@proposit/proposit-core",
-  "version": "0.12.1",
+  "version": "0.12.3",
   "description": "Core engine for building and manipulating propositional logic arguments.",
   "license": "MIT",
   "keywords": [

package/dist/lib/schemata/claim-axiom.d.ts

@@ -1,11 +0,0 @@
-import Type, { type Static } from "typebox";
-export declare const CoreClaimAxiomSchema: Type.TObject<{
-    id: Type.TString;
-    claimId: Type.TString;
-    claimVersion: Type.TNumber;
-    supportingClaimId: Type.TString;
-    supportingClaimVersion: Type.TNumber;
-    checksum: Type.TString;
-}>;
-export type TCoreClaimAxiom = Static<typeof CoreClaimAxiomSchema>;
-//# sourceMappingURL=claim-axiom.d.ts.map

package/dist/lib/schemata/claim-axiom.d.ts.map

@@ -1 +0,0 @@
-{"version":3,"file":"claim-axiom.d.ts","sourceRoot":"","sources":["../../../src/lib/schemata/claim-axiom.ts"],"names":[],"mappings":"AAAA,OAAO,IAAI,EAAE,EAAE,KAAK,MAAM,EAAE,MAAM,SAAS,CAAA;AAG3C,eAAO,MAAM,oBAAoB;;;;;;;EAShC,CAAA;AACD,MAAM,MAAM,eAAe,GAAG,MAAM,CAAC,OAAO,oBAAoB,CAAC,CAAA"}

package/dist/lib/schemata/claim-axiom.js

@@ -1,9 +0,0 @@
-import Type, {} from "typebox";
-import { CoreClaimConnectionSchema } from "./claim-connection.js";
-export const CoreClaimAxiomSchema = Type.Object({
-    ...CoreClaimConnectionSchema.properties,
-}, {
-    additionalProperties: true,
-    description: "A directional axiom-invocation edge: the claim at supportingClaimId (type='axiomatic') supports the claim at claimId (type='normal'). Extended via additionalProperties for app-level fields.",
-});
-//# sourceMappingURL=claim-axiom.js.map

package/dist/lib/schemata/claim-axiom.js.map

@@ -1 +0,0 @@
-{"version":3,"file":"claim-axiom.js","sourceRoot":"","sources":["../../../src/lib/schemata/claim-axiom.ts"],"names":[],"mappings":"AAAA,OAAO,IAAI,EAAE,EAAe,MAAM,SAAS,CAAA;AAC3C,OAAO,EAAE,yBAAyB,EAAE,MAAM,uBAAuB,CAAA;AAEjE,MAAM,CAAC,MAAM,oBAAoB,GAAG,IAAI,CAAC,MAAM,CAC3C;IACI,GAAG,yBAAyB,CAAC,UAAU;CAC1C,EACD;IACI,oBAAoB,EAAE,IAAI;IAC1B,WAAW,EACP,+LAA+L;CACtM,CACJ,CAAA"}

package/dist/lib/schemata/claim-citation.d.ts

@@ -1,11 +0,0 @@
-import Type, { type Static } from "typebox";
-export declare const CoreClaimCitationSchema: Type.TObject<{
-    id: Type.TString;
-    claimId: Type.TString;
-    claimVersion: Type.TNumber;
-    supportingClaimId: Type.TString;
-    supportingClaimVersion: Type.TNumber;
-    checksum: Type.TString;
-}>;
-export type TCoreClaimCitation = Static<typeof CoreClaimCitationSchema>;
-//# sourceMappingURL=claim-citation.d.ts.map

package/dist/lib/schemata/claim-citation.d.ts.map

@@ -1 +0,0 @@
-{"version":3,"file":"claim-citation.d.ts","sourceRoot":"","sources":["../../../src/lib/schemata/claim-citation.ts"],"names":[],"mappings":"AAAA,OAAO,IAAI,EAAE,EAAE,KAAK,MAAM,EAAE,MAAM,SAAS,CAAA;AAG3C,eAAO,MAAM,uBAAuB;;;;;;;EASnC,CAAA;AACD,MAAM,MAAM,kBAAkB,GAAG,MAAM,CAAC,OAAO,uBAAuB,CAAC,CAAA"}

package/dist/lib/schemata/claim-citation.js

@@ -1,9 +0,0 @@
-import Type, {} from "typebox";
-import { CoreClaimConnectionSchema } from "./claim-connection.js";
-export const CoreClaimCitationSchema = Type.Object({
-    ...CoreClaimConnectionSchema.properties,
-}, {
-    additionalProperties: true,
-    description: "A directional citation edge: the claim at supportingClaimId is cited as evidence for the claim at claimId. The supporting-side endpoint must reference a claim with type='citation'. Extended via additionalProperties for app-level fields.",
-});
-//# sourceMappingURL=claim-citation.js.map

package/dist/lib/schemata/claim-citation.js.map

@@ -1 +0,0 @@
-{"version":3,"file":"claim-citation.js","sourceRoot":"","sources":["../../../src/lib/schemata/claim-citation.ts"],"names":[],"mappings":"AAAA,OAAO,IAAI,EAAE,EAAe,MAAM,SAAS,CAAA;AAC3C,OAAO,EAAE,yBAAyB,EAAE,MAAM,uBAAuB,CAAA;AAEjE,MAAM,CAAC,MAAM,uBAAuB,GAAG,IAAI,CAAC,MAAM,CAC9C;IACI,GAAG,yBAAyB,CAAC,UAAU;CAC1C,EACD;IACI,oBAAoB,EAAE,IAAI;IAC1B,WAAW,EACP,8OAA8O;CACrP,CACJ,CAAA"}