@polintpro/proposit-core 0.1.2 → 0.1.4

package/dist/lib/core/parser/formula.d.ts

@@ -0,0 +1,23 @@
+export type FormulaAST = {
+    type: "variable";
+    name: string;
+} | {
+    type: "not";
+    operand: FormulaAST;
+} | {
+    type: "and";
+    operands: FormulaAST[];
+} | {
+    type: "or";
+    operands: FormulaAST[];
+} | {
+    type: "implies";
+    left: FormulaAST;
+    right: FormulaAST;
+} | {
+    type: "iff";
+    left: FormulaAST;
+    right: FormulaAST;
+};
+export declare function parseFormula(input: string): FormulaAST;
+//# sourceMappingURL=formula.d.ts.map

package/dist/lib/core/parser/formula.d.ts.map

@@ -0,0 +1 @@
+{"version":3,"file":"formula.d.ts","sourceRoot":"","sources":["../../../../src/lib/core/parser/formula.ts"],"names":[],"mappings":"AAGA,MAAM,MAAM,UAAU,GAChB;IAAE,IAAI,EAAE,UAAU,CAAC;IAAC,IAAI,EAAE,MAAM,CAAA;CAAE,GAClC;IAAE,IAAI,EAAE,KAAK,CAAC;IAAC,OAAO,EAAE,UAAU,CAAA;CAAE,GACpC;IAAE,IAAI,EAAE,KAAK,CAAC;IAAC,QAAQ,EAAE,UAAU,EAAE,CAAA;CAAE,GACvC;IAAE,IAAI,EAAE,IAAI,CAAC;IAAC,QAAQ,EAAE,UAAU,EAAE,CAAA;CAAE,GACtC;IAAE,IAAI,EAAE,SAAS,CAAC;IAAC,IAAI,EAAE,UAAU,CAAC;IAAC,KAAK,EAAE,UAAU,CAAA;CAAE,GACxD;IAAE,IAAI,EAAE,KAAK,CAAC;IAAC,IAAI,EAAE,UAAU,CAAC;IAAC,KAAK,EAAE,UAAU,CAAA;CAAE,CAAA;AAE1D,wBAAgB,YAAY,CAAC,KAAK,EAAE,MAAM,GAAG,UAAU,CAGtD"}

package/dist/lib/core/parser/formula.js

@@ -0,0 +1,7 @@
+// @ts-expect-error — generated parser has no type declarations
+import { parse as pegParse } from "./formula-gen.js";
+export function parseFormula(input) {
+    // eslint-disable-next-line @typescript-eslint/no-unsafe-call -- generated parser has no type declarations
+    return pegParse(input);
+}
+//# sourceMappingURL=formula.js.map

package/dist/lib/core/parser/formula.js.map

@@ -0,0 +1 @@
+{"version":3,"file":"formula.js","sourceRoot":"","sources":["../../../../src/lib/core/parser/formula.ts"],"names":[],"mappings":"AAAA,+DAA+D;AAC/D,OAAO,EAAE,KAAK,IAAI,QAAQ,EAAE,MAAM,kBAAkB,CAAA;AAUpD,MAAM,UAAU,YAAY,CAAC,KAAa;IACtC,0GAA0G;IAC1G,OAAO,QAAQ,CAAC,KAAK,CAAe,CAAA;AACxC,CAAC"}

package/dist/lib/index.d.ts

@@ -1,4 +1,13 @@
+/**
+ * Library barrel export. Re-exports core classes, evaluation types, diff
+ * types, and the diff function.
+ */
 export { ArgumentEngine } from "./core/ArgumentEngine.js";
 export { PremiseManager } from "./core/PremiseManager.js";
 export * from "./types/evaluation.js";
+export * from "./types/diff.js";
+export { diffArguments, defaultCompareArgument, defaultCompareVariable, defaultComparePremise, defaultCompareExpression, } from "./core/diff.js";
+export { importArgumentFromYaml } from "./core/import.js";
+export { parseFormula } from "./core/parser/formula.js";
+export type { FormulaAST } from "./core/parser/formula.js";
 //# sourceMappingURL=index.d.ts.map

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

@@ -1 +1 @@
-{"version":3,"file":"index.d.ts","sourceRoot":"","sources":["../../src/lib/index.ts"],"names":[],"mappings":"AAAA,OAAO,EAAE,cAAc,EAAE,MAAM,0BAA0B,CAAA;AACzD,OAAO,EAAE,cAAc,EAAE,MAAM,0BAA0B,CAAA;AACzD,cAAc,uBAAuB,CAAA"}
+{"version":3,"file":"index.d.ts","sourceRoot":"","sources":["../../src/lib/index.ts"],"names":[],"mappings":"AAAA;;;GAGG;AACH,OAAO,EAAE,cAAc,EAAE,MAAM,0BAA0B,CAAA;AACzD,OAAO,EAAE,cAAc,EAAE,MAAM,0BAA0B,CAAA;AACzD,cAAc,uBAAuB,CAAA;AACrC,cAAc,iBAAiB,CAAA;AAC/B,OAAO,EACH,aAAa,EACb,sBAAsB,EACtB,sBAAsB,EACtB,qBAAqB,EACrB,wBAAwB,GAC3B,MAAM,gBAAgB,CAAA;AACvB,OAAO,EAAE,sBAAsB,EAAE,MAAM,kBAAkB,CAAA;AACzD,OAAO,EAAE,YAAY,EAAE,MAAM,0BAA0B,CAAA;AACvD,YAAY,EAAE,UAAU,EAAE,MAAM,0BAA0B,CAAA"}

package/dist/lib/index.js

@@ -1,4 +1,12 @@
+/**
+ * Library barrel export. Re-exports core classes, evaluation types, diff
+ * types, and the diff function.
+ */
 export { ArgumentEngine } from "./core/ArgumentEngine.js";
 export { PremiseManager } from "./core/PremiseManager.js";
 export * from "./types/evaluation.js";
+export * from "./types/diff.js";
+export { diffArguments, defaultCompareArgument, defaultCompareVariable, defaultComparePremise, defaultCompareExpression, } from "./core/diff.js";
+export { importArgumentFromYaml } from "./core/import.js";
+export { parseFormula } from "./core/parser/formula.js";
 //# sourceMappingURL=index.js.map

package/dist/lib/index.js.map

@@ -1 +1 @@
-{"version":3,"file":"index.js","sourceRoot":"","sources":["../../src/lib/index.ts"],"names":[],"mappings":"AAAA,OAAO,EAAE,cAAc,EAAE,MAAM,0BAA0B,CAAA;AACzD,OAAO,EAAE,cAAc,EAAE,MAAM,0BAA0B,CAAA;AACzD,cAAc,uBAAuB,CAAA"}
+{"version":3,"file":"index.js","sourceRoot":"","sources":["../../src/lib/index.ts"],"names":[],"mappings":"AAAA;;;GAGG;AACH,OAAO,EAAE,cAAc,EAAE,MAAM,0BAA0B,CAAA;AACzD,OAAO,EAAE,cAAc,EAAE,MAAM,0BAA0B,CAAA;AACzD,cAAc,uBAAuB,CAAA;AACrC,cAAc,iBAAiB,CAAA;AAC/B,OAAO,EACH,aAAa,EACb,sBAAsB,EACtB,sBAAsB,EACtB,qBAAqB,EACrB,wBAAwB,GAC3B,MAAM,gBAAgB,CAAA;AACvB,OAAO,EAAE,sBAAsB,EAAE,MAAM,kBAAkB,CAAA;AACzD,OAAO,EAAE,YAAY,EAAE,MAAM,0BAA0B,CAAA"}

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

@@ -1,8 +1,9 @@
 import Type, { type Static } from "typebox";
-export declare const AnalysisFileSchema: Type.TObject<{
+export declare const CoreAnalysisFileSchema: Type.TObject<{
     argumentId: Type.TString;
     argumentVersion: Type.TNumber;
-    assignments: Type.TRecord<"^.*$", Type.TBoolean>;
+    assignments: Type.TRecord<"^.*$", Type.TUnion<[Type.TBoolean, Type.TNull]>>;
+    rejectedExpressionIds: Type.TArray<Type.TString>;
 }>;
-export type TAnalysisFile = Static<typeof AnalysisFileSchema>;
+export type TCoreAnalysisFile = Static<typeof CoreAnalysisFileSchema>;
 //# sourceMappingURL=analysis.d.ts.map

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

@@ -1 +1 @@
-{"version":3,"file":"analysis.d.ts","sourceRoot":"","sources":["../../../src/lib/schemata/analysis.ts"],"names":[],"mappings":"AAAA,OAAO,IAAI,EAAE,EAAE,KAAK,MAAM,EAAE,MAAM,SAAS,CAAA;AAG3C,eAAO,MAAM,kBAAkB;;;;EAM7B,CAAA;AACF,MAAM,MAAM,aAAa,GAAG,MAAM,CAAC,OAAO,kBAAkB,CAAC,CAAA"}
+{"version":3,"file":"analysis.d.ts","sourceRoot":"","sources":["../../../src/lib/schemata/analysis.ts"],"names":[],"mappings":"AAAA,OAAO,IAAI,EAAE,EAAE,KAAK,MAAM,EAAE,MAAM,SAAS,CAAA;AAG3C,eAAO,MAAM,sBAAsB;;;;;EAajC,CAAA;AACF,MAAM,MAAM,iBAAiB,GAAG,MAAM,CAAC,OAAO,sBAAsB,CAAC,CAAA"}

package/dist/lib/schemata/analysis.js

@@ -1,10 +1,13 @@
 import Type, {} from "typebox";
 import { UUID } from "./shared.js";
-export const AnalysisFileSchema = Type.Object({
+export const CoreAnalysisFileSchema = Type.Object({
     argumentId: UUID,
     argumentVersion: Type.Number(),
-    assignments: Type.Record(Type.String(), Type.Boolean(), {
-        description: "Variable symbol → truth-value mapping.",
+    assignments: Type.Record(Type.String(), Type.Union([Type.Boolean(), Type.Null()]), {
+        description: "Variable symbol → true/false/null (unset).",
+    }),
+    rejectedExpressionIds: Type.Array(Type.String(), {
+        description: "Expression IDs rejected by the user.",
     }),
 });
 //# sourceMappingURL=analysis.js.map

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

@@ -1 +1 @@
-{"version":3,"file":"analysis.js","sourceRoot":"","sources":["../../../src/lib/schemata/analysis.ts"],"names":[],"mappings":"AAAA,OAAO,IAAI,EAAE,EAAe,MAAM,SAAS,CAAA;AAC3C,OAAO,EAAE,IAAI,EAAE,MAAM,aAAa,CAAA;AAElC,MAAM,CAAC,MAAM,kBAAkB,GAAG,IAAI,CAAC,MAAM,CAAC;IAC1C,UAAU,EAAE,IAAI;IAChB,eAAe,EAAE,IAAI,CAAC,MAAM,EAAE;IAC9B,WAAW,EAAE,IAAI,CAAC,MAAM,CAAC,IAAI,CAAC,MAAM,EAAE,EAAE,IAAI,CAAC,OAAO,EAAE,EAAE;QACpD,WAAW,EAAE,wCAAwC;KACxD,CAAC;CACL,CAAC,CAAA"}
+{"version":3,"file":"analysis.js","sourceRoot":"","sources":["../../../src/lib/schemata/analysis.ts"],"names":[],"mappings":"AAAA,OAAO,IAAI,EAAE,EAAe,MAAM,SAAS,CAAA;AAC3C,OAAO,EAAE,IAAI,EAAE,MAAM,aAAa,CAAA;AAElC,MAAM,CAAC,MAAM,sBAAsB,GAAG,IAAI,CAAC,MAAM,CAAC;IAC9C,UAAU,EAAE,IAAI;IAChB,eAAe,EAAE,IAAI,CAAC,MAAM,EAAE;IAC9B,WAAW,EAAE,IAAI,CAAC,MAAM,CACpB,IAAI,CAAC,MAAM,EAAE,EACb,IAAI,CAAC,KAAK,CAAC,CAAC,IAAI,CAAC,OAAO,EAAE,EAAE,IAAI,CAAC,IAAI,EAAE,CAAC,CAAC,EACzC;QACI,WAAW,EAAE,4CAA4C;KAC5D,CACJ;IACD,qBAAqB,EAAE,IAAI,CAAC,KAAK,CAAC,IAAI,CAAC,MAAM,EAAE,EAAE;QAC7C,WAAW,EAAE,sCAAsC;KACtD,CAAC;CACL,CAAC,CAAA"}

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

@@ -1,24 +1,33 @@
 import Type, { type Static } from "typebox";
-export declare const ArgumentMetaSchema: Type.TObject<{
-    id: Type.TString;
+export declare const CoreArgumentMetadataSchema: Type.TObject<{
     title: Type.TString;
-    description: Type.TString;
+    description: Type.TOptional<Type.TString>;
+}>;
+export type TCoreArgumentMetadata = Static<typeof CoreArgumentMetadataSchema>;
+export declare const CoreArgumentMetaSchema: Type.TObject<{
+    id: Type.TString;
+    metadata: Type.TObject<{
+        title: Type.TString;
+        description: Type.TOptional<Type.TString>;
+    }>;
 }>;
-export type TArgumentMeta = Static<typeof ArgumentMetaSchema>;
-export declare const ArgumentVersionedSchema: Type.TObject<{
+export type TCoreArgumentMeta = Static<typeof CoreArgumentMetaSchema>;
+export declare const CoreArgumentVersionedSchema: Type.TObject<{
     version: Type.TNumber;
     createdAt: Type.TNumber;
 }>;
-export type TArgumentVersioned = Static<typeof ArgumentVersionedSchema>;
-export declare const ArgumentMutableDataSchema: Type.TObject<{
+export type TCoreArgumentVersioned = Static<typeof CoreArgumentVersionedSchema>;
+export declare const CoreArgumentMutableDataSchema: Type.TObject<{
     published: Type.TBoolean;
     publishedAt: Type.TOptional<Type.TNumber>;
 }>;
-export type TArgumentMutableData = Static<typeof ArgumentMutableDataSchema>;
-export declare const ArgumentSchema: Type.TIntersect<[Type.TObject<{
+export type TCoreArgumentMutableData = Static<typeof CoreArgumentMutableDataSchema>;
+export declare const CoreArgumentSchema: Type.TIntersect<[Type.TObject<{
     id: Type.TString;
-    title: Type.TString;
-    description: Type.TString;
+    metadata: Type.TObject<{
+        title: Type.TString;
+        description: Type.TOptional<Type.TString>;
+    }>;
 }>, Type.TObject<{
     version: Type.TNumber;
     createdAt: Type.TNumber;
@@ -26,18 +35,18 @@ export declare const ArgumentSchema: Type.TIntersect<[Type.TObject<{
     published: Type.TBoolean;
     publishedAt: Type.TOptional<Type.TNumber>;
 }>]>;
-export type TArgument = Static<typeof ArgumentSchema>;
-export declare const ArgumentVersionMetaSchema: Type.TIntersect<[Type.TObject<{
+export type TCoreArgument = Static<typeof CoreArgumentSchema>;
+export declare const CoreArgumentVersionMetaSchema: Type.TIntersect<[Type.TObject<{
     version: Type.TNumber;
     createdAt: Type.TNumber;
 }>, Type.TObject<{
     published: Type.TBoolean;
     publishedAt: Type.TOptional<Type.TNumber>;
 }>]>;
-export type TArgumentVersionMeta = Static<typeof ArgumentVersionMetaSchema>;
-export declare const ArgumentRoleStateSchema: Type.TObject<{
+export type TCoreArgumentVersionMeta = Static<typeof CoreArgumentVersionMetaSchema>;
+export declare const CoreArgumentRoleStateSchema: Type.TObject<{
     conclusionPremiseId: Type.TOptional<Type.TString>;
     supportingPremiseIds: Type.TArray<Type.TString>;
 }>;
-export type TArgumentRoleState = Static<typeof ArgumentRoleStateSchema>;
+export type TCoreArgumentRoleState = Static<typeof CoreArgumentRoleStateSchema>;
 //# sourceMappingURL=argument.d.ts.map

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

@@ -1 +1 @@
-{"version":3,"file":"argument.d.ts","sourceRoot":"","sources":["../../../src/lib/schemata/argument.ts"],"names":[],"mappings":"AAAA,OAAO,IAAI,EAAE,EAAE,KAAK,MAAM,EAAE,MAAM,SAAS,CAAA;AAG3C,eAAO,MAAM,kBAAkB;;;;EAU9B,CAAA;AACD,MAAM,MAAM,aAAa,GAAG,MAAM,CAAC,OAAO,kBAAkB,CAAC,CAAA;AAE7D,eAAO,MAAM,uBAAuB;;;EAanC,CAAA;AACD,MAAM,MAAM,kBAAkB,GAAG,MAAM,CAAC,OAAO,uBAAuB,CAAC,CAAA;AAEvE,eAAO,MAAM,yBAAyB;;;EAcrC,CAAA;AACD,MAAM,MAAM,oBAAoB,GAAG,MAAM,CAAC,OAAO,yBAAyB,CAAC,CAAA;AAE3E,eAAO,MAAM,cAAc;;;;;;;;;;IAIzB,CAAA;AACF,MAAM,MAAM,SAAS,GAAG,MAAM,CAAC,OAAO,cAAc,CAAC,CAAA;AAErD,eAAO,MAAM,yBAAyB;;;;;;IAGpC,CAAA;AACF,MAAM,MAAM,oBAAoB,GAAG,MAAM,CAAC,OAAO,yBAAyB,CAAC,CAAA;AAE3E,eAAO,MAAM,uBAAuB;;;EAGlC,CAAA;AACF,MAAM,MAAM,kBAAkB,GAAG,MAAM,CAAC,OAAO,uBAAuB,CAAC,CAAA"}
+{"version":3,"file":"argument.d.ts","sourceRoot":"","sources":["../../../src/lib/schemata/argument.ts"],"names":[],"mappings":"AAAA,OAAO,IAAI,EAAE,EAAE,KAAK,MAAM,EAAE,MAAM,SAAS,CAAA;AAG3C,eAAO,MAAM,0BAA0B;;;EAStC,CAAA;AACD,MAAM,MAAM,qBAAqB,GAAG,MAAM,CAAC,OAAO,0BAA0B,CAAC,CAAA;AAE7E,eAAO,MAAM,sBAAsB;;;;;;EASlC,CAAA;AACD,MAAM,MAAM,iBAAiB,GAAG,MAAM,CAAC,OAAO,sBAAsB,CAAC,CAAA;AAErE,eAAO,MAAM,2BAA2B;;;EAavC,CAAA;AACD,MAAM,MAAM,sBAAsB,GAAG,MAAM,CAAC,OAAO,2BAA2B,CAAC,CAAA;AAE/E,eAAO,MAAM,6BAA6B;;;EAczC,CAAA;AACD,MAAM,MAAM,wBAAwB,GAAG,MAAM,CACzC,OAAO,6BAA6B,CACvC,CAAA;AAED,eAAO,MAAM,kBAAkB;;;;;;;;;;;;IAI7B,CAAA;AACF,MAAM,MAAM,aAAa,GAAG,MAAM,CAAC,OAAO,kBAAkB,CAAC,CAAA;AAE7D,eAAO,MAAM,6BAA6B;;;;;;IAGxC,CAAA;AACF,MAAM,MAAM,wBAAwB,GAAG,MAAM,CACzC,OAAO,6BAA6B,CACvC,CAAA;AAED,eAAO,MAAM,2BAA2B;;;EASvC,CAAA;AACD,MAAM,MAAM,sBAAsB,GAAG,MAAM,CAAC,OAAO,2BAA2B,CAAC,CAAA"}

package/dist/lib/schemata/argument.js

@@ -1,13 +1,19 @@
 import Type, {} from "typebox";
 import { UUID } from "./shared.js";
-export const ArgumentMetaSchema = Type.Object({
-    id: UUID,
+export const CoreArgumentMetadataSchema = Type.Object({
     title: Type.String(),
-    description: Type.String(),
+    description: Type.Optional(Type.String()),
+}, {
+    additionalProperties: Type.String(),
+    description: "User-facing descriptive metadata for an argument.",
+});
+export const CoreArgumentMetaSchema = Type.Object({
+    id: UUID,
+    metadata: CoreArgumentMetadataSchema,
 }, {
     description: "Metadata for an argument that does not change for different versions of the same argument.",
 });
-export const ArgumentVersionedSchema = Type.Object({
+export const CoreArgumentVersionedSchema = Type.Object({
     version: Type.Number(),
     createdAt: Type.Number({
         description: "Unix timestamp in milliseconds of when the argument was created.",
@@ -16,7 +22,7 @@ export const ArgumentVersionedSchema = Type.Object({
 }, {
     description: "Data for an argument that will differ between different versions of the same argument",
 });
-export const ArgumentMutableDataSchema = Type.Object({
+export const CoreArgumentMutableDataSchema = Type.Object({
     published: Type.Boolean(),
     publishedAt: Type.Optional(Type.Number({
         description: "Unix timestamp in milliseconds of when the argument was published.",
@@ -24,17 +30,19 @@ export const ArgumentMutableDataSchema = Type.Object({
 }, {
     description: "Data for an argument that can be changed (e.g. published status).",
 });
-export const ArgumentSchema = Type.Intersect([
-    ArgumentMetaSchema,
-    ArgumentVersionedSchema,
-    ArgumentMutableDataSchema,
+export const CoreArgumentSchema = Type.Intersect([
+    CoreArgumentMetaSchema,
+    CoreArgumentVersionedSchema,
+    CoreArgumentMutableDataSchema,
 ]);
-export const ArgumentVersionMetaSchema = Type.Intersect([
-    ArgumentVersionedSchema,
-    ArgumentMutableDataSchema,
+export const CoreArgumentVersionMetaSchema = Type.Intersect([
+    CoreArgumentVersionedSchema,
+    CoreArgumentMutableDataSchema,
 ]);
-export const ArgumentRoleStateSchema = Type.Object({
+export const CoreArgumentRoleStateSchema = Type.Object({
     conclusionPremiseId: Type.Optional(UUID),
     supportingPremiseIds: Type.Array(UUID),
+}, {
+    description: "Tracks which premises serve as the conclusion and which are supporting.",
 });
 //# sourceMappingURL=argument.js.map

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

@@ -1 +1 @@
-{"version":3,"file":"argument.js","sourceRoot":"","sources":["../../../src/lib/schemata/argument.ts"],"names":[],"mappings":"AAAA,OAAO,IAAI,EAAE,EAAe,MAAM,SAAS,CAAA;AAC3C,OAAO,EAAE,IAAI,EAAE,MAAM,aAAa,CAAA;AAElC,MAAM,CAAC,MAAM,kBAAkB,GAAG,IAAI,CAAC,MAAM,CACzC;IACI,EAAE,EAAE,IAAI;IACR,KAAK,EAAE,IAAI,CAAC,MAAM,EAAE;IACpB,WAAW,EAAE,IAAI,CAAC,MAAM,EAAE;CAC7B,EACD;IACI,WAAW,EACP,4FAA4F;CACnG,CACJ,CAAA;AAGD,MAAM,CAAC,MAAM,uBAAuB,GAAG,IAAI,CAAC,MAAM,CAC9C;IACI,OAAO,EAAE,IAAI,CAAC,MAAM,EAAE;IACtB,SAAS,EAAE,IAAI,CAAC,MAAM,CAAC;QACnB,WAAW,EACP,kEAAkE;QACtE,OAAO,EAAE,GAAG,EAAE,CAAC,IAAI,CAAC,GAAG,EAAE;KAC5B,CAAC;CACL,EACD;IACI,WAAW,EACP,uFAAuF;CAC9F,CACJ,CAAA;AAGD,MAAM,CAAC,MAAM,yBAAyB,GAAG,IAAI,CAAC,MAAM,CAChD;IACI,SAAS,EAAE,IAAI,CAAC,OAAO,EAAE;IACzB,WAAW,EAAE,IAAI,CAAC,QAAQ,CACtB,IAAI,CAAC,MAAM,CAAC;QACR,WAAW,EACP,oEAAoE;KAC3E,CAAC,CACL;CACJ,EACD;IACI,WAAW,EACP,mEAAmE;CAC1E,CACJ,CAAA;AAGD,MAAM,CAAC,MAAM,cAAc,GAAG,IAAI,CAAC,SAAS,CAAC;IACzC,kBAAkB;IAClB,uBAAuB;IACvB,yBAAyB;CAC5B,CAAC,CAAA;AAGF,MAAM,CAAC,MAAM,yBAAyB,GAAG,IAAI,CAAC,SAAS,CAAC;IACpD,uBAAuB;IACvB,yBAAyB;CAC5B,CAAC,CAAA;AAGF,MAAM,CAAC,MAAM,uBAAuB,GAAG,IAAI,CAAC,MAAM,CAAC;IAC/C,mBAAmB,EAAE,IAAI,CAAC,QAAQ,CAAC,IAAI,CAAC;IACxC,oBAAoB,EAAE,IAAI,CAAC,KAAK,CAAC,IAAI,CAAC;CACzC,CAAC,CAAA"}
+{"version":3,"file":"argument.js","sourceRoot":"","sources":["../../../src/lib/schemata/argument.ts"],"names":[],"mappings":"AAAA,OAAO,IAAI,EAAE,EAAe,MAAM,SAAS,CAAA;AAC3C,OAAO,EAAE,IAAI,EAAE,MAAM,aAAa,CAAA;AAElC,MAAM,CAAC,MAAM,0BAA0B,GAAG,IAAI,CAAC,MAAM,CACjD;IACI,KAAK,EAAE,IAAI,CAAC,MAAM,EAAE;IACpB,WAAW,EAAE,IAAI,CAAC,QAAQ,CAAC,IAAI,CAAC,MAAM,EAAE,CAAC;CAC5C,EACD;IACI,oBAAoB,EAAE,IAAI,CAAC,MAAM,EAAE;IACnC,WAAW,EAAE,mDAAmD;CACnE,CACJ,CAAA;AAGD,MAAM,CAAC,MAAM,sBAAsB,GAAG,IAAI,CAAC,MAAM,CAC7C;IACI,EAAE,EAAE,IAAI;IACR,QAAQ,EAAE,0BAA0B;CACvC,EACD;IACI,WAAW,EACP,4FAA4F;CACnG,CACJ,CAAA;AAGD,MAAM,CAAC,MAAM,2BAA2B,GAAG,IAAI,CAAC,MAAM,CAClD;IACI,OAAO,EAAE,IAAI,CAAC,MAAM,EAAE;IACtB,SAAS,EAAE,IAAI,CAAC,MAAM,CAAC;QACnB,WAAW,EACP,kEAAkE;QACtE,OAAO,EAAE,GAAG,EAAE,CAAC,IAAI,CAAC,GAAG,EAAE;KAC5B,CAAC;CACL,EACD;IACI,WAAW,EACP,uFAAuF;CAC9F,CACJ,CAAA;AAGD,MAAM,CAAC,MAAM,6BAA6B,GAAG,IAAI,CAAC,MAAM,CACpD;IACI,SAAS,EAAE,IAAI,CAAC,OAAO,EAAE;IACzB,WAAW,EAAE,IAAI,CAAC,QAAQ,CACtB,IAAI,CAAC,MAAM,CAAC;QACR,WAAW,EACP,oEAAoE;KAC3E,CAAC,CACL;CACJ,EACD;IACI,WAAW,EACP,mEAAmE;CAC1E,CACJ,CAAA;AAKD,MAAM,CAAC,MAAM,kBAAkB,GAAG,IAAI,CAAC,SAAS,CAAC;IAC7C,sBAAsB;IACtB,2BAA2B;IAC3B,6BAA6B;CAChC,CAAC,CAAA;AAGF,MAAM,CAAC,MAAM,6BAA6B,GAAG,IAAI,CAAC,SAAS,CAAC;IACxD,2BAA2B;IAC3B,6BAA6B;CAChC,CAAC,CAAA;AAKF,MAAM,CAAC,MAAM,2BAA2B,GAAG,IAAI,CAAC,MAAM,CAClD;IACI,mBAAmB,EAAE,IAAI,CAAC,QAAQ,CAAC,IAAI,CAAC;IACxC,oBAAoB,EAAE,IAAI,CAAC,KAAK,CAAC,IAAI,CAAC;CACzC,EACD;IACI,WAAW,EACP,yEAAyE;CAChF,CACJ,CAAA"}

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

@@ -0,0 +1,33 @@
+import Type, { type Static } from "typebox";
+export declare const CoreYamlPremiseMetadataSchema: Type.TObject<{
+    title: Type.TOptional<Type.TString>;
+}>;
+export type TCoreYamlPremiseMetadata = Static<typeof CoreYamlPremiseMetadataSchema>;
+export declare const CoreYamlPremiseSchema: Type.TObject<{
+    metadata: Type.TOptional<Type.TObject<{
+        title: Type.TOptional<Type.TString>;
+    }>>;
+    role: Type.TOptional<Type.TUnion<[Type.TLiteral<"conclusion">, Type.TLiteral<"supporting">]>>;
+    formula: Type.TString;
+}>;
+export type TCoreYamlPremise = Static<typeof CoreYamlPremiseSchema>;
+export declare const CoreYamlArgumentMetadataSchema: Type.TObject<{
+    title: Type.TString;
+    description: Type.TOptional<Type.TString>;
+}>;
+export type TCoreYamlArgumentMetadata = Static<typeof CoreYamlArgumentMetadataSchema>;
+export declare const CoreYamlArgumentSchema: Type.TObject<{
+    metadata: Type.TObject<{
+        title: Type.TString;
+        description: Type.TOptional<Type.TString>;
+    }>;
+    premises: Type.TArray<Type.TObject<{
+        metadata: Type.TOptional<Type.TObject<{
+            title: Type.TOptional<Type.TString>;
+        }>>;
+        role: Type.TOptional<Type.TUnion<[Type.TLiteral<"conclusion">, Type.TLiteral<"supporting">]>>;
+        formula: Type.TString;
+    }>>;
+}>;
+export type TCoreYamlArgument = Static<typeof CoreYamlArgumentSchema>;
+//# sourceMappingURL=import.d.ts.map

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

@@ -0,0 +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;AAE3C,eAAO,MAAM,6BAA6B;;EAKzC,CAAA;AACD,MAAM,MAAM,wBAAwB,GAAG,MAAM,CACzC,OAAO,6BAA6B,CACvC,CAAA;AAED,eAAO,MAAM,qBAAqB;;;;;;EAMhC,CAAA;AAEF,MAAM,MAAM,gBAAgB,GAAG,MAAM,CAAC,OAAO,qBAAqB,CAAC,CAAA;AAEnE,eAAO,MAAM,8BAA8B;;;EAM1C,CAAA;AACD,MAAM,MAAM,yBAAyB,GAAG,MAAM,CAC1C,OAAO,8BAA8B,CACxC,CAAA;AAED,eAAO,MAAM,sBAAsB;;;;;;;;;;;;EAGjC,CAAA;AAEF,MAAM,MAAM,iBAAiB,GAAG,MAAM,CAAC,OAAO,sBAAsB,CAAC,CAAA"}

package/dist/lib/schemata/import.js

@@ -0,0 +1,18 @@
+import Type, {} from "typebox";
+export const CoreYamlPremiseMetadataSchema = Type.Object({
+    title: Type.Optional(Type.String()),
+}, { additionalProperties: Type.String() });
+export const CoreYamlPremiseSchema = Type.Object({
+    metadata: Type.Optional(CoreYamlPremiseMetadataSchema),
+    role: Type.Optional(Type.Union([Type.Literal("conclusion"), Type.Literal("supporting")])),
+    formula: Type.String(),
+});
+export const CoreYamlArgumentMetadataSchema = Type.Object({
+    title: Type.String(),
+    description: Type.Optional(Type.String({ default: "" })),
+}, { additionalProperties: Type.String() });
+export const CoreYamlArgumentSchema = Type.Object({
+    metadata: CoreYamlArgumentMetadataSchema,
+    premises: Type.Array(CoreYamlPremiseSchema, { minItems: 1 }),
+});
+//# sourceMappingURL=import.js.map

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

@@ -0,0 +1 @@
+{"version":3,"file":"import.js","sourceRoot":"","sources":["../../../src/lib/schemata/import.ts"],"names":[],"mappings":"AAAA,OAAO,IAAI,EAAE,EAAe,MAAM,SAAS,CAAA;AAE3C,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,OAAO,EAAE,IAAI,CAAC,MAAM,EAAE;CACzB,CAAC,CAAA;AAIF,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,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,5 +1,6 @@
 export * from "./analysis.js";
 export * from "./argument.js";
+export * from "./import.js";
 export * from "./propositional.js";
 export * from "./shared.js";
 //# sourceMappingURL=index.d.ts.map

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,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,aAAa,CAAA;AAC3B,cAAc,oBAAoB,CAAA;AAClC,cAAc,aAAa,CAAA"}

package/dist/lib/schemata/index.js

@@ -1,5 +1,6 @@
 export * from "./analysis.js";
 export * from "./argument.js";
+export * from "./import.js";
 export * from "./propositional.js";
 export * from "./shared.js";
 //# sourceMappingURL=index.js.map

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,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,aAAa,CAAA;AAC3B,cAAc,oBAAoB,CAAA;AAClC,cAAc,aAAa,CAAA"}

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

@@ -1,7 +1,7 @@
 import Type, { type Static } from "typebox";
-export declare const PropositionalExpressionTypes: Type.TUnion<[Type.TLiteral<"variable">, Type.TLiteral<"operator">, Type.TLiteral<"formula">]>;
-export type TPropositionalExpressionTypes = Static<typeof PropositionalExpressionTypes>;
-export declare const PropositionalVariableExpressionSchema: Type.TObject<{
+export declare const CorePropositionalExpressionTypes: Type.TUnion<[Type.TLiteral<"variable">, Type.TLiteral<"operator">, Type.TLiteral<"formula">]>;
+export type TCorePropositionalExpressionTypes = Static<typeof CorePropositionalExpressionTypes>;
+export declare const CorePropositionalVariableExpressionSchema: Type.TObject<{
     id: Type.TString;
     argumentId: Type.TString;
     argumentVersion: Type.TNumber;
@@ -10,10 +10,10 @@ export declare const PropositionalVariableExpressionSchema: Type.TObject<{
     type: Type.TLiteral<"variable">;
     variableId: Type.TString;
 }>;
-export type TPropositionalVariableExpression = Static<typeof PropositionalVariableExpressionSchema>;
-export declare const LogicalOperatorType: Type.TUnion<[Type.TLiteral<"not">, Type.TLiteral<"and">, Type.TLiteral<"or">, Type.TLiteral<"implies">, Type.TLiteral<"iff">]>;
-export type TLogicalOperatorType = Static<typeof LogicalOperatorType>;
-export declare const OperatorExpressionSchema: Type.TObject<{
+export type TCorePropositionalVariableExpression = Static<typeof CorePropositionalVariableExpressionSchema>;
+export declare const CoreLogicalOperatorType: Type.TUnion<[Type.TLiteral<"not">, Type.TLiteral<"and">, Type.TLiteral<"or">, Type.TLiteral<"implies">, Type.TLiteral<"iff">]>;
+export type TCoreLogicalOperatorType = Static<typeof CoreLogicalOperatorType>;
+export declare const CoreOperatorExpressionSchema: Type.TObject<{
     id: Type.TString;
     argumentId: Type.TString;
     argumentVersion: Type.TNumber;
@@ -22,8 +22,8 @@ export declare const OperatorExpressionSchema: Type.TObject<{
     type: Type.TLiteral<"operator">;
     operator: Type.TUnion<[Type.TLiteral<"not">, Type.TLiteral<"and">, Type.TLiteral<"or">, Type.TLiteral<"implies">, Type.TLiteral<"iff">]>;
 }>;
-export type TOperatorExpression = Static<typeof OperatorExpressionSchema>;
-export declare const FormulaExpressionSchema: Type.TObject<{
+export type TCoreOperatorExpression = Static<typeof CoreOperatorExpressionSchema>;
+export declare const CoreFormulaExpressionSchema: Type.TObject<{
     id: Type.TString;
     argumentId: Type.TString;
     argumentVersion: Type.TNumber;
@@ -31,8 +31,8 @@ export declare const FormulaExpressionSchema: Type.TObject<{
     position: Type.TUnion<[Type.TInteger, Type.TNull]>;
     type: Type.TLiteral<"formula">;
 }>;
-export type TFormulaExpression = Static<typeof FormulaExpressionSchema>;
-export declare const PropositionalExpressionSchema: Type.TUnion<[Type.TObject<{
+export type TCoreFormulaExpression = Static<typeof CoreFormulaExpressionSchema>;
+export declare const CorePropositionalExpressionSchema: Type.TUnion<[Type.TObject<{
     id: Type.TString;
     argumentId: Type.TString;
     argumentVersion: Type.TNumber;
@@ -56,23 +56,32 @@ export declare const PropositionalExpressionSchema: Type.TUnion<[Type.TObject<{
     position: Type.TUnion<[Type.TInteger, Type.TNull]>;
     type: Type.TLiteral<"formula">;
 }>]>;
-export type TPropositionalExpressionCombined = Static<typeof PropositionalExpressionSchema>;
-export type TPropositionalExpression<T extends TPropositionalExpressionTypes = TPropositionalExpressionTypes> = Extract<TPropositionalExpressionCombined, {
+export type TCorePropositionalExpressionCombined = Static<typeof CorePropositionalExpressionSchema>;
+export type TCorePropositionalExpression<T extends TCorePropositionalExpressionTypes = TCorePropositionalExpressionTypes> = Extract<TCorePropositionalExpressionCombined, {
     type: T;
 }>;
-export declare const PropositionalVariableSchema: Type.TObject<{
+export declare const CoreVariableMetadataSchema: Type.TRecord<"^.*$", Type.TString>;
+export type TCoreVariableMetadata = Static<typeof CoreVariableMetadataSchema>;
+export declare const CorePropositionalVariableSchema: Type.TObject<{
     id: Type.TString;
     argumentId: Type.TString;
     argumentVersion: Type.TNumber;
     symbol: Type.TString;
+    metadata: Type.TRecord<"^.*$", Type.TString>;
 }>;
-export type TPropositionalVariable = Static<typeof PropositionalVariableSchema>;
-export declare const PremiseMetaSchema: Type.TObject<{
-    id: Type.TString;
+export type TCorePropositionalVariable = Static<typeof CorePropositionalVariableSchema>;
+export declare const CorePremiseMetadataSchema: Type.TObject<{
     title: Type.TOptional<Type.TString>;
 }>;
-export type TPremiseMeta = Static<typeof PremiseMetaSchema>;
-export declare const PremiseDataSchema: Type.TObject<{
+export type TCorePremiseMetadata = Static<typeof CorePremiseMetadataSchema>;
+export declare const CorePremiseMetaSchema: Type.TObject<{
+    id: Type.TString;
+    metadata: Type.TObject<{
+        title: Type.TOptional<Type.TString>;
+    }>;
+}>;
+export type TCorePremiseMeta = Static<typeof CorePremiseMetaSchema>;
+export declare const CorePremiseDataSchema: Type.TObject<{
     rootExpressionId: Type.TOptional<Type.TString>;
     variables: Type.TArray<Type.TString>;
     expressions: Type.TArray<Type.TUnion<[Type.TObject<{
@@ -99,12 +108,13 @@ export declare const PremiseDataSchema: Type.TObject<{
         position: Type.TUnion<[Type.TInteger, Type.TNull]>;
         type: Type.TLiteral<"formula">;
     }>]>>;
-    type: Type.TUnion<[Type.TLiteral<"inference">, Type.TLiteral<"constraint">]>;
 }>;
-export type TPremiseData = Static<typeof PremiseDataSchema>;
-export declare const PremiseSchema: Type.TIntersect<[Type.TObject<{
+export type TCorePremiseData = Static<typeof CorePremiseDataSchema>;
+export declare const CorePremiseSchema: Type.TIntersect<[Type.TObject<{
     id: Type.TString;
-    title: Type.TOptional<Type.TString>;
+    metadata: Type.TObject<{
+        title: Type.TOptional<Type.TString>;
+    }>;
 }>, Type.TObject<{
     rootExpressionId: Type.TOptional<Type.TString>;
     variables: Type.TArray<Type.TString>;
@@ -132,7 +142,6 @@ export declare const PremiseSchema: Type.TIntersect<[Type.TObject<{
         position: Type.TUnion<[Type.TInteger, Type.TNull]>;
         type: Type.TLiteral<"formula">;
     }>]>>;
-    type: Type.TUnion<[Type.TLiteral<"inference">, Type.TLiteral<"constraint">]>;
 }>]>;
-export type TPremise = Static<typeof PremiseSchema>;
+export type TCorePremise = Static<typeof CorePremiseSchema>;
 //# sourceMappingURL=propositional.d.ts.map

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

@@ -1 +1 @@
-{"version":3,"file":"propositional.d.ts","sourceRoot":"","sources":["../../../src/lib/schemata/propositional.ts"],"names":[],"mappings":"AAAA,OAAO,IAAI,EAAE,EAAE,KAAK,MAAM,EAAE,MAAM,SAAS,CAAA;AAO3C,eAAO,MAAM,4BAA4B,+FAIvC,CAAA;AACF,MAAM,MAAM,6BAA6B,GAAG,MAAM,CAC9C,OAAO,4BAA4B,CACtC,CAAA;AAoBD,eAAO,MAAM,qCAAqC;;;;;;;;EAMjD,CAAA;AAED,MAAM,MAAM,gCAAgC,GAAG,MAAM,CACjD,OAAO,qCAAqC,CAC/C,CAAA;AAED,eAAO,MAAM,mBAAmB,gIAM9B,CAAA;AAEF,MAAM,MAAM,oBAAoB,GAAG,MAAM,CAAC,OAAO,mBAAmB,CAAC,CAAA;AAErE,eAAO,MAAM,wBAAwB;;;;;;;;EAMpC,CAAA;AACD,MAAM,MAAM,mBAAmB,GAAG,MAAM,CAAC,OAAO,wBAAwB,CAAC,CAAA;AAEzE,eAAO,MAAM,uBAAuB;;;;;;;EAKnC,CAAA;AACD,MAAM,MAAM,kBAAkB,GAAG,MAAM,CAAC,OAAO,uBAAuB,CAAC,CAAA;AAEvE,eAAO,MAAM,6BAA6B;;;;;;;;;;;;;;;;;;;;;;;IAIxC,CAAA;AAEF,MAAM,MAAM,gCAAgC,GAAG,MAAM,CACjD,OAAO,6BAA6B,CACvC,CAAA;AAED,MAAM,MAAM,wBAAwB,CAChC,CAAC,SAAS,6BAA6B,GAAG,6BAA6B,IACvE,OAAO,CAAC,gCAAgC,EAAE;IAAE,IAAI,EAAE,CAAC,CAAA;CAAE,CAAC,CAAA;AAE1D,eAAO,MAAM,2BAA2B;;;;;EAKtC,CAAA;AAEF,MAAM,MAAM,sBAAsB,GAAG,MAAM,CAAC,OAAO,2BAA2B,CAAC,CAAA;AAE/E,eAAO,MAAM,iBAAiB;;;EAS5B,CAAA;AACF,MAAM,MAAM,YAAY,GAAG,MAAM,CAAC,OAAO,iBAAiB,CAAC,CAAA;AAE3D,eAAO,MAAM,iBAAiB;;;;;;;;;;;;;;;;;;;;;;;;;;;;EAsB5B,CAAA;AACF,MAAM,MAAM,YAAY,GAAG,MAAM,CAAC,OAAO,iBAAiB,CAAC,CAAA;AAE3D,eAAO,MAAM,aAAa;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;IAGxB,CAAA;AAEF,MAAM,MAAM,QAAQ,GAAG,MAAM,CAAC,OAAO,aAAa,CAAC,CAAA"}
+{"version":3,"file":"propositional.d.ts","sourceRoot":"","sources":["../../../src/lib/schemata/propositional.ts"],"names":[],"mappings":"AAAA,OAAO,IAAI,EAAE,EAAE,KAAK,MAAM,EAAE,MAAM,SAAS,CAAA;AAO3C,eAAO,MAAM,gCAAgC,+FAI3C,CAAA;AACF,MAAM,MAAM,iCAAiC,GAAG,MAAM,CAClD,OAAO,gCAAgC,CAC1C,CAAA;AAoBD,eAAO,MAAM,yCAAyC;;;;;;;;EAMrD,CAAA;AAED,MAAM,MAAM,oCAAoC,GAAG,MAAM,CACrD,OAAO,yCAAyC,CACnD,CAAA;AAED,eAAO,MAAM,uBAAuB,gIAMlC,CAAA;AAEF,MAAM,MAAM,wBAAwB,GAAG,MAAM,CAAC,OAAO,uBAAuB,CAAC,CAAA;AAE7E,eAAO,MAAM,4BAA4B;;;;;;;;EAMxC,CAAA;AACD,MAAM,MAAM,uBAAuB,GAAG,MAAM,CACxC,OAAO,4BAA4B,CACtC,CAAA;AAED,eAAO,MAAM,2BAA2B;;;;;;;EAKvC,CAAA;AACD,MAAM,MAAM,sBAAsB,GAAG,MAAM,CAAC,OAAO,2BAA2B,CAAC,CAAA;AAE/E,eAAO,MAAM,iCAAiC;;;;;;;;;;;;;;;;;;;;;;;IAI5C,CAAA;AAEF,MAAM,MAAM,oCAAoC,GAAG,MAAM,CACrD,OAAO,iCAAiC,CAC3C,CAAA;AAED,MAAM,MAAM,4BAA4B,CACpC,CAAC,SAAS,iCAAiC,GACvC,iCAAiC,IACrC,OAAO,CAAC,oCAAoC,EAAE;IAAE,IAAI,EAAE,CAAC,CAAA;CAAE,CAAC,CAAA;AAE9D,eAAO,MAAM,0BAA0B,oCAMtC,CAAA;AACD,MAAM,MAAM,qBAAqB,GAAG,MAAM,CAAC,OAAO,0BAA0B,CAAC,CAAA;AAE7E,eAAO,MAAM,+BAA+B;;;;;;EAe3C,CAAA;AAED,MAAM,MAAM,0BAA0B,GAAG,MAAM,CAC3C,OAAO,+BAA+B,CACzC,CAAA;AAED,eAAO,MAAM,yBAAyB;;EAarC,CAAA;AACD,MAAM,MAAM,oBAAoB,GAAG,MAAM,CAAC,OAAO,yBAAyB,CAAC,CAAA;AAE3E,eAAO,MAAM,qBAAqB;;;;;EAQjC,CAAA;AACD,MAAM,MAAM,gBAAgB,GAAG,MAAM,CAAC,OAAO,qBAAqB,CAAC,CAAA;AAEnE,eAAO,MAAM,qBAAqB;;;;;;;;;;;;;;;;;;;;;;;;;;;EAmBjC,CAAA;AACD,MAAM,MAAM,gBAAgB,GAAG,MAAM,CAAC,OAAO,qBAAqB,CAAC,CAAA;AAEnE,eAAO,MAAM,iBAAiB;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;IAG5B,CAAA;AAEF,MAAM,MAAM,YAAY,GAAG,MAAM,CAAC,OAAO,iBAAiB,CAAC,CAAA"}

package/dist/lib/schemata/propositional.js

@@ -3,7 +3,7 @@ import { UUID, Nullable } from "./shared.js";
 const VariableType = Type.Literal("variable");
 const OperatorType = Type.Literal("operator");
 const FormulaType = Type.Literal("formula");
-export const PropositionalExpressionTypes = Type.Union([
+export const CorePropositionalExpressionTypes = Type.Union([
     VariableType,
     OperatorType,
     FormulaType,
@@ -20,64 +20,72 @@ const BasePropositionalExpressionSchema = Type.Object({
         description: "The ordering of this expression among its siblings under the same parent. Must be unique within (parentId, argumentId, argumentVersion).",
     })),
 });
-export const PropositionalVariableExpressionSchema = Type.Interface([BasePropositionalExpressionSchema], {
+export const CorePropositionalVariableExpressionSchema = Type.Interface([BasePropositionalExpressionSchema], {
     type: VariableType,
     variableId: UUID,
 });
-export const LogicalOperatorType = Type.Union([
+export const CoreLogicalOperatorType = Type.Union([
     Type.Literal("not"), // unary
     Type.Literal("and"), // variadic (≥2)
     Type.Literal("or"), // variadic (≥2)
     Type.Literal("implies"), // binary (ordered)
     Type.Literal("iff"), // binary (unordered but fixed 2)
 ]);
-export const OperatorExpressionSchema = Type.Interface([BasePropositionalExpressionSchema], {
+export const CoreOperatorExpressionSchema = Type.Interface([BasePropositionalExpressionSchema], {
     type: OperatorType,
-    operator: LogicalOperatorType,
+    operator: CoreLogicalOperatorType,
 });
-export const FormulaExpressionSchema = Type.Interface([BasePropositionalExpressionSchema], {
+export const CoreFormulaExpressionSchema = Type.Interface([BasePropositionalExpressionSchema], {
     type: FormulaType,
 });
-export const PropositionalExpressionSchema = Type.Union([
-    PropositionalVariableExpressionSchema,
-    OperatorExpressionSchema,
-    FormulaExpressionSchema,
+export const CorePropositionalExpressionSchema = Type.Union([
+    CorePropositionalVariableExpressionSchema,
+    CoreOperatorExpressionSchema,
+    CoreFormulaExpressionSchema,
 ]);
-export const PropositionalVariableSchema = Type.Object({
+export const CoreVariableMetadataSchema = Type.Record(Type.String(), Type.String(), {
+    description: "User-facing descriptive metadata for a variable.",
+});
+export const CorePropositionalVariableSchema = Type.Object({
     id: UUID,
     argumentId: UUID,
     argumentVersion: Type.Number(),
-    symbol: Type.String(),
+    symbol: Type.String({
+        description: 'Human-readable symbol for this variable (e.g. "P", "Q").',
+    }),
+    metadata: CoreVariableMetadataSchema,
+}, {
+    description: "A named propositional variable belonging to a specific argument version.",
 });
-export const PremiseMetaSchema = Type.Object({
-    // Auto-generated UUID
-    id: UUID,
+export const CorePremiseMetadataSchema = Type.Object({
     title: Type.Optional(Type.String({
         description: "An optional title for this premise, for display purposes.",
     })),
+}, {
+    additionalProperties: Type.String(),
+    description: "User-facing descriptive metadata for a premise.",
 });
-export const PremiseDataSchema = Type.Object({
-    // If the premise has expressions in it, this is the ID of the root expression
-    // which must be a relation operator if the type is "inference", else. it can
-    // be any type of expression.
-    rootExpressionId: Type.Optional(UUID),
+export const CorePremiseMetaSchema = Type.Object({
+    id: UUID,
+    metadata: CorePremiseMetadataSchema,
+}, {
+    description: "Identity and display metadata for a premise.",
+});
+export const CorePremiseDataSchema = Type.Object({
+    rootExpressionId: Type.Optional(Type.String({
+        description: "ID of the root expression, if the premise has expressions.",
+    })),
     variables: Type.Array(UUID, {
         description: "IDs of all variables referenced in this premise.",
     }),
-    expressions: Type.Array(PropositionalExpressionSchema, {
-        description: "All expressions that are part of this premise, including sub-expressions. The root of the premise will have a null parentId.",
+    expressions: Type.Array(CorePropositionalExpressionSchema, {
+        description: "All expressions in this premise. The root has a null parentId.",
     }),
-    type: Type.Union([
-        Type.Literal("inference", {
-            description: "A premise whose core operator is one of inference like implies or iff",
-        }),
-        Type.Literal("constraint", {
-            description: "A premise without an inference operator, it restricts the possible valuations of variables but is not part of the chain of logical reasoning.",
-        }),
-    ]),
+}, {
+    description: "Expression tree and variable references for a premise.",
 });
-export const PremiseSchema = Type.Intersect([
-    PremiseMetaSchema,
-    PremiseDataSchema,
+export const CorePremiseSchema = Type.Intersect([
+    CorePremiseMetaSchema,
+    CorePremiseDataSchema,
 ]);
 //# sourceMappingURL=propositional.js.map