@polintpro/proposit-core 0.1.1 → 0.1.3

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

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

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

@@ -0,0 +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,sBAAsB;;;;EAMjC,CAAA;AACF,MAAM,MAAM,iBAAiB,GAAG,MAAM,CAAC,OAAO,sBAAsB,CAAC,CAAA"}

package/dist/lib/schemata/analysis.js

@@ -0,0 +1,10 @@
+import Type, {} from "typebox";
+import { UUID } from "./shared.js";
+export const CoreAnalysisFileSchema = Type.Object({
+    argumentId: UUID,
+    argumentVersion: Type.Number(),
+    assignments: Type.Record(Type.String(), Type.Boolean(), {
+        description: "Variable symbol → truth-value mapping.",
+    }),
+});
+//# sourceMappingURL=analysis.js.map

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

@@ -0,0 +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,sBAAsB,GAAG,IAAI,CAAC,MAAM,CAAC;IAC9C,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"}

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

@@ -1,9 +1,43 @@
 import Type, { type Static } from "typebox";
-export declare const ArgumentSchema: Type.TObject<{
+export declare const CoreArgumentMetaSchema: Type.TObject<{
     id: Type.TString;
+    title: Type.TString;
+    description: Type.TString;
+}>;
+export type TCoreArgumentMeta = Static<typeof CoreArgumentMetaSchema>;
+export declare const CoreArgumentVersionedSchema: Type.TObject<{
     version: Type.TNumber;
+    createdAt: Type.TNumber;
+}>;
+export type TCoreArgumentVersioned = Static<typeof CoreArgumentVersionedSchema>;
+export declare const CoreArgumentMutableDataSchema: Type.TObject<{
+    published: Type.TBoolean;
+    publishedAt: Type.TOptional<Type.TNumber>;
+}>;
+export type TCoreArgumentMutableData = Static<typeof CoreArgumentMutableDataSchema>;
+export declare const CoreArgumentSchema: Type.TIntersect<[Type.TObject<{
+    id: Type.TString;
     title: Type.TString;
     description: Type.TString;
+}>, Type.TObject<{
+    version: Type.TNumber;
+    createdAt: Type.TNumber;
+}>, Type.TObject<{
+    published: Type.TBoolean;
+    publishedAt: Type.TOptional<Type.TNumber>;
+}>]>;
+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 TCoreArgumentVersionMeta = Static<typeof CoreArgumentVersionMetaSchema>;
+export declare const CoreArgumentRoleStateSchema: Type.TObject<{
+    conclusionPremiseId: Type.TOptional<Type.TString>;
+    supportingPremiseIds: Type.TArray<Type.TString>;
 }>;
-export type TArgument = Static<typeof ArgumentSchema>;
+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,cAAc;;;;;EAKzB,CAAA;AACF,MAAM,MAAM,SAAS,GAAG,MAAM,CAAC,OAAO,cAAc,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,sBAAsB;;;;EAUlC,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;;;EAGtC,CAAA;AACF,MAAM,MAAM,sBAAsB,GAAG,MAAM,CAAC,OAAO,2BAA2B,CAAC,CAAA"}

package/dist/lib/schemata/argument.js

@@ -1,9 +1,40 @@
 import Type, {} from "typebox";
-import { UUID } from "./shared";
-export const ArgumentSchema = Type.Object({
+import { UUID } from "./shared.js";
+export const CoreArgumentMetaSchema = Type.Object({
     id: UUID,
-    version: Type.Number(),
     title: Type.String(),
     description: Type.String(),
+}, {
+    description: "Metadata for an argument that does not change for different versions of the same argument.",
+});
+export const CoreArgumentVersionedSchema = Type.Object({
+    version: Type.Number(),
+    createdAt: Type.Number({
+        description: "Unix timestamp in milliseconds of when the argument was created.",
+        default: () => Date.now(),
+    }),
+}, {
+    description: "Data for an argument that will differ between different versions of the same argument",
+});
+export const CoreArgumentMutableDataSchema = Type.Object({
+    published: Type.Boolean(),
+    publishedAt: Type.Optional(Type.Number({
+        description: "Unix timestamp in milliseconds of when the argument was published.",
+    })),
+}, {
+    description: "Data for an argument that can be changed (e.g. published status).",
+});
+export const CoreArgumentSchema = Type.Intersect([
+    CoreArgumentMetaSchema,
+    CoreArgumentVersionedSchema,
+    CoreArgumentMutableDataSchema,
+]);
+export const CoreArgumentVersionMetaSchema = Type.Intersect([
+    CoreArgumentVersionedSchema,
+    CoreArgumentMutableDataSchema,
+]);
+export const CoreArgumentRoleStateSchema = Type.Object({
+    conclusionPremiseId: Type.Optional(UUID),
+    supportingPremiseIds: Type.Array(UUID),
 });
 //# 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,UAAU,CAAA;AAE/B,MAAM,CAAC,MAAM,cAAc,GAAG,IAAI,CAAC,MAAM,CAAC;IACtC,EAAE,EAAE,IAAI;IACR,OAAO,EAAE,IAAI,CAAC,MAAM,EAAE;IACtB,KAAK,EAAE,IAAI,CAAC,MAAM,EAAE;IACpB,WAAW,EAAE,IAAI,CAAC,MAAM,EAAE;CAC7B,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,sBAAsB,GAAG,IAAI,CAAC,MAAM,CAC7C;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,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,CAAC;IACnD,mBAAmB,EAAE,IAAI,CAAC,QAAQ,CAAC,IAAI,CAAC;IACxC,oBAAoB,EAAE,IAAI,CAAC,KAAK,CAAC,IAAI,CAAC;CACzC,CAAC,CAAA"}

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

@@ -1,4 +1,5 @@
-export * from "./argument";
-export * from "./propositional";
-export * from "./shared";
+export * from "./analysis.js";
+export * from "./argument.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,YAAY,CAAA;AAC1B,cAAc,iBAAiB,CAAA;AAC/B,cAAc,UAAU,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,oBAAoB,CAAA;AAClC,cAAc,aAAa,CAAA"}

package/dist/lib/schemata/index.js

@@ -1,4 +1,5 @@
-export * from "./argument";
-export * from "./propositional";
-export * from "./shared";
+export * from "./analysis.js";
+export * from "./argument.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,YAAY,CAAA;AAC1B,cAAc,iBAAiB,CAAA;AAC/B,cAAc,UAAU,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,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,26 +56,57 @@ 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 CorePropositionalVariableSchema: Type.TObject<{
     id: Type.TString;
     argumentId: Type.TString;
     argumentVersion: Type.TNumber;
     symbol: Type.TString;
 }>;
-export type TPropositionalVariable = Static<typeof PropositionalVariableSchema>;
-export declare const PremiseSchema: Type.TObject<{
+export type TCorePropositionalVariable = Static<typeof CorePropositionalVariableSchema>;
+export declare const CorePremiseMetaSchema: Type.TObject<{
     id: Type.TString;
+    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.TObject<{
+    variables: Type.TArray<Type.TString>;
+    expressions: Type.TArray<Type.TUnion<[Type.TObject<{
+        id: Type.TString;
+        argumentId: Type.TString;
+        argumentVersion: Type.TNumber;
+        parentId: Type.TUnion<[Type.TString, Type.TNull]>;
+        position: Type.TUnion<[Type.TInteger, Type.TNull]>;
+        type: Type.TLiteral<"variable">;
+        variableId: Type.TString;
+    }>, Type.TObject<{
         id: Type.TString;
         argumentId: Type.TString;
         argumentVersion: Type.TNumber;
-        symbol: Type.TString;
-    }>>;
+        parentId: Type.TUnion<[Type.TString, Type.TNull]>;
+        position: Type.TUnion<[Type.TInteger, Type.TNull]>;
+        type: Type.TLiteral<"operator">;
+        operator: Type.TUnion<[Type.TLiteral<"not">, Type.TLiteral<"and">, Type.TLiteral<"or">, Type.TLiteral<"implies">, Type.TLiteral<"iff">]>;
+    }>, Type.TObject<{
+        id: Type.TString;
+        argumentId: Type.TString;
+        argumentVersion: Type.TNumber;
+        parentId: Type.TUnion<[Type.TString, Type.TNull]>;
+        position: Type.TUnion<[Type.TInteger, Type.TNull]>;
+        type: Type.TLiteral<"formula">;
+    }>]>>;
+}>;
+export type TCorePremiseData = Static<typeof CorePremiseDataSchema>;
+export declare const CorePremiseSchema: Type.TIntersect<[Type.TObject<{
+    id: Type.TString;
+    title: Type.TOptional<Type.TString>;
+}>, Type.TObject<{
+    rootExpressionId: Type.TOptional<Type.TString>;
+    variables: Type.TArray<Type.TString>;
     expressions: Type.TArray<Type.TUnion<[Type.TObject<{
         id: Type.TString;
         argumentId: Type.TString;
@@ -100,8 +131,6 @@ export declare const PremiseSchema: Type.TObject<{
         position: Type.TUnion<[Type.TInteger, Type.TNull]>;
         type: Type.TLiteral<"formula">;
     }>]>>;
-    type: Type.TUnion<[Type.TLiteral<"inference">, Type.TLiteral<"constraint">]>;
-    title: Type.TOptional<Type.TString>;
-}>;
-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,aAAa;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;EA8BxB,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,+BAA+B;;;;;EAK1C,CAAA;AAEF,MAAM,MAAM,0BAA0B,GAAG,MAAM,CAC3C,OAAO,+BAA+B,CACzC,CAAA;AAED,eAAO,MAAM,qBAAqB;;;EAShC,CAAA;AACF,MAAM,MAAM,gBAAgB,GAAG,MAAM,CAAC,OAAO,qBAAqB,CAAC,CAAA;AAEnE,eAAO,MAAM,qBAAqB;;;;;;;;;;;;;;;;;;;;;;;;;;;EAUhC,CAAA;AACF,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

@@ -1,9 +1,9 @@
 import Type, {} from "typebox";
-import { UUID, Nullable } from "./shared";
+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,58 +20,54 @@ 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 CorePropositionalVariableSchema = Type.Object({
     id: UUID,
     argumentId: UUID,
     argumentVersion: Type.Number(),
     symbol: Type.String(),
 });
-export const PremiseSchema = Type.Object({
+export const CorePremiseMetaSchema = Type.Object({
     // Auto-generated UUID
     id: UUID,
-    // 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.
+    title: Type.Optional(Type.String({
+        description: "An optional title for this premise, for display purposes.",
+    })),
+});
+export const CorePremiseDataSchema = Type.Object({
+    // If the premise has expressions in it, this is the ID of the root expression.
     rootExpressionId: Type.Optional(UUID),
-    variables: Type.Array(PropositionalVariableSchema, {
-        description: "All variables referenced in this premise.",
+    variables: Type.Array(UUID, {
+        description: "IDs of all variables referenced in this premise.",
     }),
-    expressions: Type.Array(PropositionalExpressionSchema, {
+    expressions: Type.Array(CorePropositionalExpressionSchema, {
         description: "All expressions that are part of this premise, including sub-expressions. The root of the premise will have 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.",
-        }),
-    ]),
-    title: Type.Optional(Type.String({
-        description: "An optional title for this premise, for display purposes.",
-    })),
 });
+export const CorePremiseSchema = Type.Intersect([
+    CorePremiseMetaSchema,
+    CorePremiseDataSchema,
+]);
 //# sourceMappingURL=propositional.js.map

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

@@ -1 +1 @@
-{"version":3,"file":"propositional.js","sourceRoot":"","sources":["../../../src/lib/schemata/propositional.ts"],"names":[],"mappings":"AAAA,OAAO,IAAI,EAAE,EAAe,MAAM,SAAS,CAAA;AAC3C,OAAO,EAAE,IAAI,EAAE,QAAQ,EAAE,MAAM,UAAU,CAAA;AAEzC,MAAM,YAAY,GAAG,IAAI,CAAC,OAAO,CAAC,UAAU,CAAC,CAAA;AAC7C,MAAM,YAAY,GAAG,IAAI,CAAC,OAAO,CAAC,UAAU,CAAC,CAAA;AAC7C,MAAM,WAAW,GAAG,IAAI,CAAC,OAAO,CAAC,SAAS,CAAC,CAAA;AAE3C,MAAM,CAAC,MAAM,4BAA4B,GAAG,IAAI,CAAC,KAAK,CAAC;IACnD,YAAY;IACZ,YAAY;IACZ,WAAW;CACd,CAAC,CAAA;AAKF,MAAM,iCAAiC,GAAG,IAAI,CAAC,MAAM,CAAC;IAClD,EAAE,EAAE,IAAI;IACR,UAAU,EAAE,IAAI;IAChB,eAAe,EAAE,IAAI,CAAC,MAAM,EAAE;IAC9B,QAAQ,EAAE,QAAQ,CAAC,IAAI,EAAE;QACrB,WAAW,EACP,sFAAsF;KAC7F,CAAC;IAEF,QAAQ,EAAE,QAAQ,CACd,IAAI,CAAC,OAAO,CAAC;QACT,OAAO,EAAE,CAAC;QACV,WAAW,EACP,0IAA0I;KACjJ,CAAC,CACL;CACJ,CAAC,CAAA;AAEF,MAAM,CAAC,MAAM,qCAAqC,GAAG,IAAI,CAAC,SAAS,CAC/D,CAAC,iCAAiC,CAAC,EACnC;IACI,IAAI,EAAE,YAAY;IAClB,UAAU,EAAE,IAAI;CACnB,CACJ,CAAA;AAMD,MAAM,CAAC,MAAM,mBAAmB,GAAG,IAAI,CAAC,KAAK,CAAC;IAC1C,IAAI,CAAC,OAAO,CAAC,KAAK,CAAC,EAAE,QAAQ;IAC7B,IAAI,CAAC,OAAO,CAAC,KAAK,CAAC,EAAE,gBAAgB;IACrC,IAAI,CAAC,OAAO,CAAC,IAAI,CAAC,EAAE,gBAAgB;IACpC,IAAI,CAAC,OAAO,CAAC,SAAS,CAAC,EAAE,mBAAmB;IAC5C,IAAI,CAAC,OAAO,CAAC,KAAK,CAAC,EAAE,iCAAiC;CACzD,CAAC,CAAA;AAIF,MAAM,CAAC,MAAM,wBAAwB,GAAG,IAAI,CAAC,SAAS,CAClD,CAAC,iCAAiC,CAAC,EACnC;IACI,IAAI,EAAE,YAAY;IAClB,QAAQ,EAAE,mBAAmB;CAChC,CACJ,CAAA;AAGD,MAAM,CAAC,MAAM,uBAAuB,GAAG,IAAI,CAAC,SAAS,CACjD,CAAC,iCAAiC,CAAC,EACnC;IACI,IAAI,EAAE,WAAW;CACpB,CACJ,CAAA;AAGD,MAAM,CAAC,MAAM,6BAA6B,GAAG,IAAI,CAAC,KAAK,CAAC;IACpD,qCAAqC;IACrC,wBAAwB;IACxB,uBAAuB;CAC1B,CAAC,CAAA;AAUF,MAAM,CAAC,MAAM,2BAA2B,GAAG,IAAI,CAAC,MAAM,CAAC;IACnD,EAAE,EAAE,IAAI;IACR,UAAU,EAAE,IAAI;IAChB,eAAe,EAAE,IAAI,CAAC,MAAM,EAAE;IAC9B,MAAM,EAAE,IAAI,CAAC,MAAM,EAAE;CACxB,CAAC,CAAA;AAIF,MAAM,CAAC,MAAM,aAAa,GAAG,IAAI,CAAC,MAAM,CAAC;IACrC,sBAAsB;IACtB,EAAE,EAAE,IAAI;IACR,8EAA8E;IAC9E,6EAA6E;IAC7E,6BAA6B;IAC7B,gBAAgB,EAAE,IAAI,CAAC,QAAQ,CAAC,IAAI,CAAC;IACrC,SAAS,EAAE,IAAI,CAAC,KAAK,CAAC,2BAA2B,EAAE;QAC/C,WAAW,EAAE,2CAA2C;KAC3D,CAAC;IACF,WAAW,EAAE,IAAI,CAAC,KAAK,CAAC,6BAA6B,EAAE;QACnD,WAAW,EACP,8HAA8H;KACrI,CAAC;IACF,IAAI,EAAE,IAAI,CAAC,KAAK,CAAC;QACb,IAAI,CAAC,OAAO,CAAC,WAAW,EAAE;YACtB,WAAW,EACP,uEAAuE;SAC9E,CAAC;QACF,IAAI,CAAC,OAAO,CAAC,YAAY,EAAE;YACvB,WAAW,EACP,+IAA+I;SACtJ,CAAC;KACL,CAAC;IACF,KAAK,EAAE,IAAI,CAAC,QAAQ,CAChB,IAAI,CAAC,MAAM,CAAC;QACR,WAAW,EACP,2DAA2D;KAClE,CAAC,CACL;CACJ,CAAC,CAAA"}
+{"version":3,"file":"propositional.js","sourceRoot":"","sources":["../../../src/lib/schemata/propositional.ts"],"names":[],"mappings":"AAAA,OAAO,IAAI,EAAE,EAAe,MAAM,SAAS,CAAA;AAC3C,OAAO,EAAE,IAAI,EAAE,QAAQ,EAAE,MAAM,aAAa,CAAA;AAE5C,MAAM,YAAY,GAAG,IAAI,CAAC,OAAO,CAAC,UAAU,CAAC,CAAA;AAC7C,MAAM,YAAY,GAAG,IAAI,CAAC,OAAO,CAAC,UAAU,CAAC,CAAA;AAC7C,MAAM,WAAW,GAAG,IAAI,CAAC,OAAO,CAAC,SAAS,CAAC,CAAA;AAE3C,MAAM,CAAC,MAAM,gCAAgC,GAAG,IAAI,CAAC,KAAK,CAAC;IACvD,YAAY;IACZ,YAAY;IACZ,WAAW;CACd,CAAC,CAAA;AAKF,MAAM,iCAAiC,GAAG,IAAI,CAAC,MAAM,CAAC;IAClD,EAAE,EAAE,IAAI;IACR,UAAU,EAAE,IAAI;IAChB,eAAe,EAAE,IAAI,CAAC,MAAM,EAAE;IAC9B,QAAQ,EAAE,QAAQ,CAAC,IAAI,EAAE;QACrB,WAAW,EACP,sFAAsF;KAC7F,CAAC;IAEF,QAAQ,EAAE,QAAQ,CACd,IAAI,CAAC,OAAO,CAAC;QACT,OAAO,EAAE,CAAC;QACV,WAAW,EACP,0IAA0I;KACjJ,CAAC,CACL;CACJ,CAAC,CAAA;AAEF,MAAM,CAAC,MAAM,yCAAyC,GAAG,IAAI,CAAC,SAAS,CACnE,CAAC,iCAAiC,CAAC,EACnC;IACI,IAAI,EAAE,YAAY;IAClB,UAAU,EAAE,IAAI;CACnB,CACJ,CAAA;AAMD,MAAM,CAAC,MAAM,uBAAuB,GAAG,IAAI,CAAC,KAAK,CAAC;IAC9C,IAAI,CAAC,OAAO,CAAC,KAAK,CAAC,EAAE,QAAQ;IAC7B,IAAI,CAAC,OAAO,CAAC,KAAK,CAAC,EAAE,gBAAgB;IACrC,IAAI,CAAC,OAAO,CAAC,IAAI,CAAC,EAAE,gBAAgB;IACpC,IAAI,CAAC,OAAO,CAAC,SAAS,CAAC,EAAE,mBAAmB;IAC5C,IAAI,CAAC,OAAO,CAAC,KAAK,CAAC,EAAE,iCAAiC;CACzD,CAAC,CAAA;AAIF,MAAM,CAAC,MAAM,4BAA4B,GAAG,IAAI,CAAC,SAAS,CACtD,CAAC,iCAAiC,CAAC,EACnC;IACI,IAAI,EAAE,YAAY;IAClB,QAAQ,EAAE,uBAAuB;CACpC,CACJ,CAAA;AAKD,MAAM,CAAC,MAAM,2BAA2B,GAAG,IAAI,CAAC,SAAS,CACrD,CAAC,iCAAiC,CAAC,EACnC;IACI,IAAI,EAAE,WAAW;CACpB,CACJ,CAAA;AAGD,MAAM,CAAC,MAAM,iCAAiC,GAAG,IAAI,CAAC,KAAK,CAAC;IACxD,yCAAyC;IACzC,4BAA4B;IAC5B,2BAA2B;CAC9B,CAAC,CAAA;AAWF,MAAM,CAAC,MAAM,+BAA+B,GAAG,IAAI,CAAC,MAAM,CAAC;IACvD,EAAE,EAAE,IAAI;IACR,UAAU,EAAE,IAAI;IAChB,eAAe,EAAE,IAAI,CAAC,MAAM,EAAE;IAC9B,MAAM,EAAE,IAAI,CAAC,MAAM,EAAE;CACxB,CAAC,CAAA;AAMF,MAAM,CAAC,MAAM,qBAAqB,GAAG,IAAI,CAAC,MAAM,CAAC;IAC7C,sBAAsB;IACtB,EAAE,EAAE,IAAI;IACR,KAAK,EAAE,IAAI,CAAC,QAAQ,CAChB,IAAI,CAAC,MAAM,CAAC;QACR,WAAW,EACP,2DAA2D;KAClE,CAAC,CACL;CACJ,CAAC,CAAA;AAGF,MAAM,CAAC,MAAM,qBAAqB,GAAG,IAAI,CAAC,MAAM,CAAC;IAC7C,+EAA+E;IAC/E,gBAAgB,EAAE,IAAI,CAAC,QAAQ,CAAC,IAAI,CAAC;IACrC,SAAS,EAAE,IAAI,CAAC,KAAK,CAAC,IAAI,EAAE;QACxB,WAAW,EAAE,kDAAkD;KAClE,CAAC;IACF,WAAW,EAAE,IAAI,CAAC,KAAK,CAAC,iCAAiC,EAAE;QACvD,WAAW,EACP,8HAA8H;KACrI,CAAC;CACL,CAAC,CAAA;AAGF,MAAM,CAAC,MAAM,iBAAiB,GAAG,IAAI,CAAC,SAAS,CAAC;IAC5C,qBAAqB;IACrB,qBAAqB;CACxB,CAAC,CAAA"}

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

@@ -1,37 +1,34 @@
-import type { TArgument, TPremise } from "../schemata";
-export type TPremiseRole = "supporting" | "conclusion";
-export interface TArgumentRoleState {
-    supportingPremiseIds: string[];
-    conclusionPremiseId?: string;
+import type { TCoreArgument, TCoreArgumentRoleState, TCorePremise } from "../schemata/index.js";
+export type TCorePremiseRole = "supporting" | "conclusion";
+export type { TCoreArgumentRoleState };
+export interface TCoreArgumentEngineData {
+    argument: TCoreArgument;
+    premises: TCorePremise[];
+    roles: TCoreArgumentRoleState;
 }
-export interface TArgumentEngineData {
-    argument: TArgument;
-    premises: TPremise[];
-    roles: TArgumentRoleState;
-}
-export type TVariableAssignment = Record<string, boolean>;
-export type TValidationSeverity = "error" | "warning";
-export type TValidationCode = "ARGUMENT_NO_CONCLUSION" | "ARGUMENT_CONCLUSION_NOT_FOUND" | "ARGUMENT_SUPPORTING_PREMISE_NOT_FOUND" | "ARGUMENT_ROLE_OVERLAP" | "ARGUMENT_VARIABLE_ID_SYMBOL_MISMATCH" | "ARGUMENT_VARIABLE_SYMBOL_AMBIGUOUS" | "PREMISE_EMPTY" | "PREMISE_ROOT_MISSING" | "PREMISE_ROOT_MISMATCH" | "EXPR_CHILD_COUNT_INVALID" | "EXPR_BINARY_POSITIONS_INVALID" | "EXPR_VARIABLE_UNDECLARED" | "ASSIGNMENT_MISSING_VARIABLE" | "ASSIGNMENT_UNKNOWN_VARIABLE";
-export interface TValidationIssue {
-    code: TValidationCode;
-    severity: TValidationSeverity;
+export type TCoreVariableAssignment = Record<string, boolean>;
+export type TCoreValidationSeverity = "error" | "warning";
+export type TCoreValidationCode = "ARGUMENT_NO_CONCLUSION" | "ARGUMENT_CONCLUSION_NOT_FOUND" | "ARGUMENT_SUPPORTING_PREMISE_NOT_FOUND" | "ARGUMENT_ROLE_OVERLAP" | "ARGUMENT_VARIABLE_ID_SYMBOL_MISMATCH" | "ARGUMENT_VARIABLE_SYMBOL_AMBIGUOUS" | "PREMISE_EMPTY" | "PREMISE_ROOT_MISSING" | "PREMISE_ROOT_MISMATCH" | "EXPR_CHILD_COUNT_INVALID" | "EXPR_BINARY_POSITIONS_INVALID" | "EXPR_VARIABLE_UNDECLARED" | "ASSIGNMENT_MISSING_VARIABLE" | "ASSIGNMENT_UNKNOWN_VARIABLE";
+export interface TCoreValidationIssue {
+    code: TCoreValidationCode;
+    severity: TCoreValidationSeverity;
     message: string;
     premiseId?: string;
     expressionId?: string;
     variableId?: string;
 }
-export interface TValidationResult {
+export interface TCoreValidationResult {
     ok: boolean;
-    issues: TValidationIssue[];
+    issues: TCoreValidationIssue[];
 }
-export interface TDirectionalVacuity {
+export interface TCoreDirectionalVacuity {
     antecedentTrue: boolean;
     consequentTrue: boolean;
     implicationValue: boolean;
     isVacuouslyTrue: boolean;
     fired: boolean;
 }
-export type TPremiseInferenceDiagnostic = {
+export type TCorePremiseInferenceDiagnostic = {
     kind: "implies";
     premiseId: string;
     rootExpressionId: string;
@@ -50,59 +47,59 @@ export type TPremiseInferenceDiagnostic = {
     leftValue: boolean;
     rightValue: boolean;
     rootValue: boolean;
-    leftToRight: TDirectionalVacuity;
-    rightToLeft: TDirectionalVacuity;
+    leftToRight: TCoreDirectionalVacuity;
+    rightToLeft: TCoreDirectionalVacuity;
     bothSidesTrue: boolean;
     bothSidesFalse: boolean;
 };
-export interface TPremiseEvaluationResult {
+export interface TCorePremiseEvaluationResult {
     premiseId: string;
     premiseType: "inference" | "constraint";
     rootExpressionId?: string;
     rootValue?: boolean;
     expressionValues: Record<string, boolean>;
     variableValues: Record<string, boolean>;
-    inferenceDiagnostic?: TPremiseInferenceDiagnostic;
+    inferenceDiagnostic?: TCorePremiseInferenceDiagnostic;
 }
-export interface TArgumentEvaluationOptions {
+export interface TCoreArgumentEvaluationOptions {
     strictUnknownAssignmentKeys?: boolean;
     includeExpressionValues?: boolean;
     includeDiagnostics?: boolean;
     validateFirst?: boolean;
 }
-export interface TArgumentEvaluationResult {
+export interface TCoreArgumentEvaluationResult {
     ok: boolean;
-    validation?: TValidationResult;
-    assignment?: TVariableAssignment;
+    validation?: TCoreValidationResult;
+    assignment?: TCoreVariableAssignment;
     referencedVariableIds?: string[];
-    conclusion?: TPremiseEvaluationResult;
-    supportingPremises?: TPremiseEvaluationResult[];
-    constraintPremises?: TPremiseEvaluationResult[];
+    conclusion?: TCorePremiseEvaluationResult;
+    supportingPremises?: TCorePremiseEvaluationResult[];
+    constraintPremises?: TCorePremiseEvaluationResult[];
     isAdmissibleAssignment?: boolean;
     allSupportingPremisesTrue?: boolean;
     conclusionTrue?: boolean;
     isCounterexample?: boolean;
     preservesTruthUnderAssignment?: boolean;
 }
-export interface TValidityCheckOptions {
+export interface TCoreValidityCheckOptions {
     mode?: "firstCounterexample" | "exhaustive";
     maxVariables?: number;
     maxAssignmentsChecked?: number;
     includeCounterexampleEvaluations?: boolean;
     validateFirst?: boolean;
 }
-export interface TCounterexample {
-    assignment: TVariableAssignment;
-    result: TArgumentEvaluationResult;
+export interface TCoreCounterexample {
+    assignment: TCoreVariableAssignment;
+    result: TCoreArgumentEvaluationResult;
 }
-export interface TValidityCheckResult {
+export interface TCoreValidityCheckResult {
     ok: boolean;
-    validation?: TValidationResult;
+    validation?: TCoreValidationResult;
     isValid?: boolean;
     checkedVariableIds?: string[];
     numAssignmentsChecked?: number;
     numAdmissibleAssignments?: number;
-    counterexamples?: TCounterexample[];
+    counterexamples?: TCoreCounterexample[];
     truncated?: boolean;
 }
 //# sourceMappingURL=evaluation.d.ts.map

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

@@ -1 +1 @@
-{"version":3,"file":"evaluation.d.ts","sourceRoot":"","sources":["../../../src/lib/types/evaluation.ts"],"names":[],"mappings":"AAAA,OAAO,KAAK,EAAE,SAAS,EAAE,QAAQ,EAAE,MAAM,aAAa,CAAA;AAEtD,MAAM,MAAM,YAAY,GAAG,YAAY,GAAG,YAAY,CAAA;AAEtD,MAAM,WAAW,kBAAkB;IAE/B,oBAAoB,EAAE,MAAM,EAAE,CAAA;IAE9B,mBAAmB,CAAC,EAAE,MAAM,CAAA;CAC/B;AAED,MAAM,WAAW,mBAAmB;IAEhC,QAAQ,EAAE,SAAS,CAAA;IAEnB,QAAQ,EAAE,QAAQ,EAAE,CAAA;IAEpB,KAAK,EAAE,kBAAkB,CAAA;CAC5B;AAED,MAAM,MAAM,mBAAmB,GAAG,MAAM,CAAC,MAAM,EAAE,OAAO,CAAC,CAAA;AAEzD,MAAM,MAAM,mBAAmB,GAAG,OAAO,GAAG,SAAS,CAAA;AAErD,MAAM,MAAM,eAAe,GACrB,wBAAwB,GACxB,+BAA+B,GAC/B,uCAAuC,GACvC,uBAAuB,GACvB,sCAAsC,GACtC,oCAAoC,GACpC,eAAe,GACf,sBAAsB,GACtB,uBAAuB,GACvB,0BAA0B,GAC1B,+BAA+B,GAC/B,0BAA0B,GAC1B,6BAA6B,GAC7B,6BAA6B,CAAA;AAEnC,MAAM,WAAW,gBAAgB;IAE7B,IAAI,EAAE,eAAe,CAAA;IAErB,QAAQ,EAAE,mBAAmB,CAAA;IAE7B,OAAO,EAAE,MAAM,CAAA;IAEf,SAAS,CAAC,EAAE,MAAM,CAAA;IAElB,YAAY,CAAC,EAAE,MAAM,CAAA;IAErB,UAAU,CAAC,EAAE,MAAM,CAAA;CACtB;AAED,MAAM,WAAW,iBAAiB;IAE9B,EAAE,EAAE,OAAO,CAAA;IAEX,MAAM,EAAE,gBAAgB,EAAE,CAAA;CAC7B;AAED,MAAM,WAAW,mBAAmB;IAEhC,cAAc,EAAE,OAAO,CAAA;IAEvB,cAAc,EAAE,OAAO,CAAA;IAEvB,gBAAgB,EAAE,OAAO,CAAA;IAEzB,eAAe,EAAE,OAAO,CAAA;IAExB,KAAK,EAAE,OAAO,CAAA;CACjB;AAED,MAAM,MAAM,2BAA2B,GACjC;IACI,IAAI,EAAE,SAAS,CAAA;IACf,SAAS,EAAE,MAAM,CAAA;IACjB,gBAAgB,EAAE,MAAM,CAAA;IACxB,SAAS,EAAE,OAAO,CAAA;IAClB,UAAU,EAAE,OAAO,CAAA;IACnB,SAAS,EAAE,OAAO,CAAA;IAClB,cAAc,EAAE,OAAO,CAAA;IACvB,cAAc,EAAE,OAAO,CAAA;IACvB,eAAe,EAAE,OAAO,CAAA;IACxB,KAAK,EAAE,OAAO,CAAA;IACd,YAAY,EAAE,OAAO,CAAA;CACxB,GACD;IACI,IAAI,EAAE,KAAK,CAAA;IACX,SAAS,EAAE,MAAM,CAAA;IACjB,gBAAgB,EAAE,MAAM,CAAA;IACxB,SAAS,EAAE,OAAO,CAAA;IAClB,UAAU,EAAE,OAAO,CAAA;IACnB,SAAS,EAAE,OAAO,CAAA;IAClB,WAAW,EAAE,mBAAmB,CAAA;IAChC,WAAW,EAAE,mBAAmB,CAAA;IAChC,aAAa,EAAE,OAAO,CAAA;IACtB,cAAc,EAAE,OAAO,CAAA;CAC1B,CAAA;AAEP,MAAM,WAAW,wBAAwB;IAErC,SAAS,EAAE,MAAM,CAAA;IAEjB,WAAW,EAAE,WAAW,GAAG,YAAY,CAAA;IAEvC,gBAAgB,CAAC,EAAE,MAAM,CAAA;IAEzB,SAAS,CAAC,EAAE,OAAO,CAAA;IAEnB,gBAAgB,EAAE,MAAM,CAAC,MAAM,EAAE,OAAO,CAAC,CAAA;IAEzC,cAAc,EAAE,MAAM,CAAC,MAAM,EAAE,OAAO,CAAC,CAAA;IAEvC,mBAAmB,CAAC,EAAE,2BAA2B,CAAA;CACpD;AAED,MAAM,WAAW,0BAA0B;IAEvC,2BAA2B,CAAC,EAAE,OAAO,CAAA;IAErC,uBAAuB,CAAC,EAAE,OAAO,CAAA;IAEjC,kBAAkB,CAAC,EAAE,OAAO,CAAA;IAE5B,aAAa,CAAC,EAAE,OAAO,CAAA;CAC1B;AAED,MAAM,WAAW,yBAAyB;IAEtC,EAAE,EAAE,OAAO,CAAA;IAEX,UAAU,CAAC,EAAE,iBAAiB,CAAA;IAE9B,UAAU,CAAC,EAAE,mBAAmB,CAAA;IAEhC,qBAAqB,CAAC,EAAE,MAAM,EAAE,CAAA;IAEhC,UAAU,CAAC,EAAE,wBAAwB,CAAA;IAErC,kBAAkB,CAAC,EAAE,wBAAwB,EAAE,CAAA;IAE/C,kBAAkB,CAAC,EAAE,wBAAwB,EAAE,CAAA;IAE/C,sBAAsB,CAAC,EAAE,OAAO,CAAA;IAEhC,yBAAyB,CAAC,EAAE,OAAO,CAAA;IAEnC,cAAc,CAAC,EAAE,OAAO,CAAA;IAExB,gBAAgB,CAAC,EAAE,OAAO,CAAA;IAE1B,6BAA6B,CAAC,EAAE,OAAO,CAAA;CAC1C;AAED,MAAM,WAAW,qBAAqB;IAElC,IAAI,CAAC,EAAE,qBAAqB,GAAG,YAAY,CAAA;IAE3C,YAAY,CAAC,EAAE,MAAM,CAAA;IAErB,qBAAqB,CAAC,EAAE,MAAM,CAAA;IAE9B,gCAAgC,CAAC,EAAE,OAAO,CAAA;IAE1C,aAAa,CAAC,EAAE,OAAO,CAAA;CAC1B;AAED,MAAM,WAAW,eAAe;IAE5B,UAAU,EAAE,mBAAmB,CAAA;IAE/B,MAAM,EAAE,yBAAyB,CAAA;CACpC;AAED,MAAM,WAAW,oBAAoB;IAEjC,EAAE,EAAE,OAAO,CAAA;IAEX,UAAU,CAAC,EAAE,iBAAiB,CAAA;IAE9B,OAAO,CAAC,EAAE,OAAO,CAAA;IAEjB,kBAAkB,CAAC,EAAE,MAAM,EAAE,CAAA;IAE7B,qBAAqB,CAAC,EAAE,MAAM,CAAA;IAE9B,wBAAwB,CAAC,EAAE,MAAM,CAAA;IAEjC,eAAe,CAAC,EAAE,eAAe,EAAE,CAAA;IAEnC,SAAS,CAAC,EAAE,OAAO,CAAA;CACtB"}
+{"version":3,"file":"evaluation.d.ts","sourceRoot":"","sources":["../../../src/lib/types/evaluation.ts"],"names":[],"mappings":"AAAA,OAAO,KAAK,EACR,aAAa,EACb,sBAAsB,EACtB,YAAY,EACf,MAAM,sBAAsB,CAAA;AAE7B,MAAM,MAAM,gBAAgB,GAAG,YAAY,GAAG,YAAY,CAAA;AAE1D,YAAY,EAAE,sBAAsB,EAAE,CAAA;AAEtC,MAAM,WAAW,uBAAuB;IAEpC,QAAQ,EAAE,aAAa,CAAA;IAEvB,QAAQ,EAAE,YAAY,EAAE,CAAA;IAExB,KAAK,EAAE,sBAAsB,CAAA;CAChC;AAED,MAAM,MAAM,uBAAuB,GAAG,MAAM,CAAC,MAAM,EAAE,OAAO,CAAC,CAAA;AAE7D,MAAM,MAAM,uBAAuB,GAAG,OAAO,GAAG,SAAS,CAAA;AAEzD,MAAM,MAAM,mBAAmB,GACzB,wBAAwB,GACxB,+BAA+B,GAC/B,uCAAuC,GACvC,uBAAuB,GACvB,sCAAsC,GACtC,oCAAoC,GACpC,eAAe,GACf,sBAAsB,GACtB,uBAAuB,GACvB,0BAA0B,GAC1B,+BAA+B,GAC/B,0BAA0B,GAC1B,6BAA6B,GAC7B,6BAA6B,CAAA;AAEnC,MAAM,WAAW,oBAAoB;IAEjC,IAAI,EAAE,mBAAmB,CAAA;IAEzB,QAAQ,EAAE,uBAAuB,CAAA;IAEjC,OAAO,EAAE,MAAM,CAAA;IAEf,SAAS,CAAC,EAAE,MAAM,CAAA;IAElB,YAAY,CAAC,EAAE,MAAM,CAAA;IAErB,UAAU,CAAC,EAAE,MAAM,CAAA;CACtB;AAED,MAAM,WAAW,qBAAqB;IAElC,EAAE,EAAE,OAAO,CAAA;IAEX,MAAM,EAAE,oBAAoB,EAAE,CAAA;CACjC;AAED,MAAM,WAAW,uBAAuB;IAEpC,cAAc,EAAE,OAAO,CAAA;IAEvB,cAAc,EAAE,OAAO,CAAA;IAEvB,gBAAgB,EAAE,OAAO,CAAA;IAEzB,eAAe,EAAE,OAAO,CAAA;IAExB,KAAK,EAAE,OAAO,CAAA;CACjB;AAED,MAAM,MAAM,+BAA+B,GACrC;IACI,IAAI,EAAE,SAAS,CAAA;IACf,SAAS,EAAE,MAAM,CAAA;IACjB,gBAAgB,EAAE,MAAM,CAAA;IACxB,SAAS,EAAE,OAAO,CAAA;IAClB,UAAU,EAAE,OAAO,CAAA;IACnB,SAAS,EAAE,OAAO,CAAA;IAClB,cAAc,EAAE,OAAO,CAAA;IACvB,cAAc,EAAE,OAAO,CAAA;IACvB,eAAe,EAAE,OAAO,CAAA;IACxB,KAAK,EAAE,OAAO,CAAA;IACd,YAAY,EAAE,OAAO,CAAA;CACxB,GACD;IACI,IAAI,EAAE,KAAK,CAAA;IACX,SAAS,EAAE,MAAM,CAAA;IACjB,gBAAgB,EAAE,MAAM,CAAA;IACxB,SAAS,EAAE,OAAO,CAAA;IAClB,UAAU,EAAE,OAAO,CAAA;IACnB,SAAS,EAAE,OAAO,CAAA;IAClB,WAAW,EAAE,uBAAuB,CAAA;IACpC,WAAW,EAAE,uBAAuB,CAAA;IACpC,aAAa,EAAE,OAAO,CAAA;IACtB,cAAc,EAAE,OAAO,CAAA;CAC1B,CAAA;AAEP,MAAM,WAAW,4BAA4B;IAEzC,SAAS,EAAE,MAAM,CAAA;IAEjB,WAAW,EAAE,WAAW,GAAG,YAAY,CAAA;IAEvC,gBAAgB,CAAC,EAAE,MAAM,CAAA;IAEzB,SAAS,CAAC,EAAE,OAAO,CAAA;IAEnB,gBAAgB,EAAE,MAAM,CAAC,MAAM,EAAE,OAAO,CAAC,CAAA;IAEzC,cAAc,EAAE,MAAM,CAAC,MAAM,EAAE,OAAO,CAAC,CAAA;IAEvC,mBAAmB,CAAC,EAAE,+BAA+B,CAAA;CACxD;AAED,MAAM,WAAW,8BAA8B;IAE3C,2BAA2B,CAAC,EAAE,OAAO,CAAA;IAErC,uBAAuB,CAAC,EAAE,OAAO,CAAA;IAEjC,kBAAkB,CAAC,EAAE,OAAO,CAAA;IAE5B,aAAa,CAAC,EAAE,OAAO,CAAA;CAC1B;AAED,MAAM,WAAW,6BAA6B;IAE1C,EAAE,EAAE,OAAO,CAAA;IAEX,UAAU,CAAC,EAAE,qBAAqB,CAAA;IAElC,UAAU,CAAC,EAAE,uBAAuB,CAAA;IAEpC,qBAAqB,CAAC,EAAE,MAAM,EAAE,CAAA;IAEhC,UAAU,CAAC,EAAE,4BAA4B,CAAA;IAEzC,kBAAkB,CAAC,EAAE,4BAA4B,EAAE,CAAA;IAEnD,kBAAkB,CAAC,EAAE,4BAA4B,EAAE,CAAA;IAEnD,sBAAsB,CAAC,EAAE,OAAO,CAAA;IAEhC,yBAAyB,CAAC,EAAE,OAAO,CAAA;IAEnC,cAAc,CAAC,EAAE,OAAO,CAAA;IAExB,gBAAgB,CAAC,EAAE,OAAO,CAAA;IAE1B,6BAA6B,CAAC,EAAE,OAAO,CAAA;CAC1C;AAED,MAAM,WAAW,yBAAyB;IAEtC,IAAI,CAAC,EAAE,qBAAqB,GAAG,YAAY,CAAA;IAE3C,YAAY,CAAC,EAAE,MAAM,CAAA;IAErB,qBAAqB,CAAC,EAAE,MAAM,CAAA;IAE9B,gCAAgC,CAAC,EAAE,OAAO,CAAA;IAE1C,aAAa,CAAC,EAAE,OAAO,CAAA;CAC1B;AAED,MAAM,WAAW,mBAAmB;IAEhC,UAAU,EAAE,uBAAuB,CAAA;IAEnC,MAAM,EAAE,6BAA6B,CAAA;CACxC;AAED,MAAM,WAAW,wBAAwB;IAErC,EAAE,EAAE,OAAO,CAAA;IAEX,UAAU,CAAC,EAAE,qBAAqB,CAAA;IAElC,OAAO,CAAC,EAAE,OAAO,CAAA;IAEjB,kBAAkB,CAAC,EAAE,MAAM,EAAE,CAAA;IAE7B,qBAAqB,CAAC,EAAE,MAAM,CAAA;IAE9B,wBAAwB,CAAC,EAAE,MAAM,CAAA;IAEjC,eAAe,CAAC,EAAE,mBAAmB,EAAE,CAAA;IAEvC,SAAS,CAAC,EAAE,OAAO,CAAA;CACtB"}

package/package.json

@@ -1,6 +1,6 @@
 {
   "name": "@polintpro/proposit-core",
-  "version": "0.1.1",
+  "version": "0.1.3",
   "description": "Core engine for building and manipulating propositional logic arguments.",
   "license": "MIT",
   "type": "module",
@@ -12,6 +12,9 @@
       "import": "./dist/index.js"
     }
   },
+  "bin": {
+    "proposit-core": "./dist/cli.js"
+  },
   "files": [
     "dist"
   ],
@@ -32,6 +35,7 @@
     "vitest": "^4.0.18"
   },
   "dependencies": {
+    "commander": "^14.0.3",
     "typebox": "^1.1.0"
   },
   "scripts": {
@@ -41,6 +45,7 @@
     "prettify": "pnpm prettier -w .",
     "prettify:check": "pnpm prettier --check .",
     "test": "pnpm vitest run",
-    "check": "pnpm run typecheck && pnpm run lint && pnpm run test && pnpm run build"
+    "check": "pnpm run typecheck && pnpm run lint && pnpm run test && pnpm run build",
+    "cli": "node dist/cli.js"
   }
 }