@polintpro/proposit-core 0.1.2 → 0.1.3

package/dist/lib/core/VariableManager.js.map

@@ -1 +1 @@
-{"version":3,"file":"VariableManager.js","sourceRoot":"","sources":["../../../src/lib/core/VariableManager.ts"],"names":[],"mappings":"AAEA,MAAM,OAAO,eAAe;IAChB,SAAS,CAAqC;IAC9C,eAAe,CAAa;IAEpC,YAAY,mBAA6C,EAAE;QACvD,IAAI,CAAC,SAAS,GAAG,IAAI,GAAG,EAAE,CAAA;QAC1B,IAAI,CAAC,eAAe,GAAG,IAAI,GAAG,EAAE,CAAA;QAEhC,KAAK,MAAM,QAAQ,IAAI,gBAAgB,EAAE,CAAC;YACtC,IAAI,CAAC,WAAW,CAAC,QAAQ,CAAC,CAAA;QAC9B,CAAC;IACL,CAAC;IAEM,OAAO;QACV,OAAO,KAAK,CAAC,IAAI,CAAC,IAAI,CAAC,SAAS,CAAC,MAAM,EAAE,CAAC,CAAA;IAC9C,CAAC;IAEM,WAAW,CAAC,QAAgC;QAC/C,IAAI,IAAI,CAAC,eAAe,CAAC,GAAG,CAAC,QAAQ,CAAC,MAAM,CAAC,EAAE,CAAC;YAC5C,MAAM,IAAI,KAAK,CACX,oBAAoB,QAAQ,CAAC,MAAM,mBAAmB,CACzD,CAAA;QACL,CAAC;QACD,IAAI,IAAI,CAAC,SAAS,CAAC,GAAG,CAAC,QAAQ,CAAC,EAAE,CAAC,EAAE,CAAC;YAClC,MAAM,IAAI,KAAK,CAAC,qBAAqB,QAAQ,CAAC,EAAE,mBAAmB,CAAC,CAAA;QACxE,CAAC;QAED,IAAI,CAAC,SAAS,CAAC,GAAG,CAAC,QAAQ,CAAC,EAAE,EAAE,QAAQ,CAAC,CAAA;QACzC,IAAI,CAAC,eAAe,CAAC,GAAG,CAAC,QAAQ,CAAC,MAAM,CAAC,CAAA;IAC7C,CAAC;IAEM,cAAc,CAAC,UAAkB;QACpC,MAAM,QAAQ,GAAG,IAAI,CAAC,SAAS,CAAC,GAAG,CAAC,UAAU,CAAC,CAAA;QAC/C,IAAI,CAAC,QAAQ,EAAE,CAAC;YACZ,OAAO,SAAS,CAAA;QACpB,CAAC;QAED,IAAI,CAAC,SAAS,CAAC,MAAM,CAAC,UAAU,CAAC,CAAA;QACjC,IAAI,CAAC,eAAe,CAAC,MAAM,CAAC,QAAQ,CAAC,MAAM,CAAC,CAAA;QAC5C,OAAO,QAAQ,CAAA;IACnB,CAAC;IAEM,WAAW,CAAC,UAAkB;QACjC,OAAO,IAAI,CAAC,SAAS,CAAC,GAAG,CAAC,UAAU,CAAC,CAAA;IACzC,CAAC;IAEM,WAAW,CAAC,UAAkB;QACjC,OAAO,IAAI,CAAC,SAAS,CAAC,GAAG,CAAC,UAAU,CAAC,CAAA;IACzC,CAAC;IAEM,cAAc,CAAC,UAAkB,EAAE,SAAiB;QACvD,MAAM,QAAQ,GAAG,IAAI,CAAC,SAAS,CAAC,GAAG,CAAC,UAAU,CAAC,CAAA;QAC/C,IAAI,CAAC,QAAQ,EAAE,CAAC;YACZ,MAAM,IAAI,KAAK,CAAC,aAAa,UAAU,mBAAmB,CAAC,CAAA;QAC/D,CAAC;QACD,IACI,IAAI,CAAC,eAAe,CAAC,GAAG,CAAC,SAAS,CAAC;YACnC,QAAQ,CAAC,MAAM,KAAK,SAAS,EAC/B,CAAC;YACC,MAAM,IAAI,KAAK,CAAC,oBAAoB,SAAS,sBAAsB,CAAC,CAAA;QACxE,CAAC;QACD,IAAI,CAAC,eAAe,CAAC,MAAM,CAAC,QAAQ,CAAC,MAAM,CAAC,CAAA;QAC5C,IAAI,CAAC,eAAe,CAAC,GAAG,CAAC,SAAS,CAAC,CAAA;QACnC,IAAI,CAAC,SAAS,CAAC,GAAG,CAAC,UAAU,EAAE,EAAE,GAAG,QAAQ,EAAE,MAAM,EAAE,SAAS,EAAE,CAAC,CAAA;IACtE,CAAC;CACJ"}
+{"version":3,"file":"VariableManager.js","sourceRoot":"","sources":["../../../src/lib/core/VariableManager.ts"],"names":[],"mappings":"AAEA,MAAM,OAAO,eAAe;IAChB,SAAS,CAAyC;IAClD,eAAe,CAAa;IAEpC,YAAY,mBAAiD,EAAE;QAC3D,IAAI,CAAC,SAAS,GAAG,IAAI,GAAG,EAAE,CAAA;QAC1B,IAAI,CAAC,eAAe,GAAG,IAAI,GAAG,EAAE,CAAA;QAEhC,KAAK,MAAM,QAAQ,IAAI,gBAAgB,EAAE,CAAC;YACtC,IAAI,CAAC,WAAW,CAAC,QAAQ,CAAC,CAAA;QAC9B,CAAC;IACL,CAAC;IAEM,OAAO;QACV,OAAO,KAAK,CAAC,IAAI,CAAC,IAAI,CAAC,SAAS,CAAC,MAAM,EAAE,CAAC,CAAA;IAC9C,CAAC;IAEM,WAAW,CAAC,QAAoC;QACnD,IAAI,IAAI,CAAC,eAAe,CAAC,GAAG,CAAC,QAAQ,CAAC,MAAM,CAAC,EAAE,CAAC;YAC5C,MAAM,IAAI,KAAK,CACX,oBAAoB,QAAQ,CAAC,MAAM,mBAAmB,CACzD,CAAA;QACL,CAAC;QACD,IAAI,IAAI,CAAC,SAAS,CAAC,GAAG,CAAC,QAAQ,CAAC,EAAE,CAAC,EAAE,CAAC;YAClC,MAAM,IAAI,KAAK,CAAC,qBAAqB,QAAQ,CAAC,EAAE,mBAAmB,CAAC,CAAA;QACxE,CAAC;QAED,IAAI,CAAC,SAAS,CAAC,GAAG,CAAC,QAAQ,CAAC,EAAE,EAAE,QAAQ,CAAC,CAAA;QACzC,IAAI,CAAC,eAAe,CAAC,GAAG,CAAC,QAAQ,CAAC,MAAM,CAAC,CAAA;IAC7C,CAAC;IAEM,cAAc,CAAC,UAAkB;QACpC,MAAM,QAAQ,GAAG,IAAI,CAAC,SAAS,CAAC,GAAG,CAAC,UAAU,CAAC,CAAA;QAC/C,IAAI,CAAC,QAAQ,EAAE,CAAC;YACZ,OAAO,SAAS,CAAA;QACpB,CAAC;QAED,IAAI,CAAC,SAAS,CAAC,MAAM,CAAC,UAAU,CAAC,CAAA;QACjC,IAAI,CAAC,eAAe,CAAC,MAAM,CAAC,QAAQ,CAAC,MAAM,CAAC,CAAA;QAC5C,OAAO,QAAQ,CAAA;IACnB,CAAC;IAEM,WAAW,CAAC,UAAkB;QACjC,OAAO,IAAI,CAAC,SAAS,CAAC,GAAG,CAAC,UAAU,CAAC,CAAA;IACzC,CAAC;IAEM,WAAW,CACd,UAAkB;QAElB,OAAO,IAAI,CAAC,SAAS,CAAC,GAAG,CAAC,UAAU,CAAC,CAAA;IACzC,CAAC;IAEM,cAAc,CAAC,UAAkB,EAAE,SAAiB;QACvD,MAAM,QAAQ,GAAG,IAAI,CAAC,SAAS,CAAC,GAAG,CAAC,UAAU,CAAC,CAAA;QAC/C,IAAI,CAAC,QAAQ,EAAE,CAAC;YACZ,MAAM,IAAI,KAAK,CAAC,aAAa,UAAU,mBAAmB,CAAC,CAAA;QAC/D,CAAC;QACD,IACI,IAAI,CAAC,eAAe,CAAC,GAAG,CAAC,SAAS,CAAC;YACnC,QAAQ,CAAC,MAAM,KAAK,SAAS,EAC/B,CAAC;YACC,MAAM,IAAI,KAAK,CAAC,oBAAoB,SAAS,sBAAsB,CAAC,CAAA;QACxE,CAAC;QACD,IAAI,CAAC,eAAe,CAAC,MAAM,CAAC,QAAQ,CAAC,MAAM,CAAC,CAAA;QAC5C,IAAI,CAAC,eAAe,CAAC,GAAG,CAAC,SAAS,CAAC,CAAA;QACnC,IAAI,CAAC,SAAS,CAAC,GAAG,CAAC,UAAU,EAAE,EAAE,GAAG,QAAQ,EAAE,MAAM,EAAE,SAAS,EAAE,CAAC,CAAA;IACtE,CAAC;CACJ"}

package/dist/lib/core/evaluation/shared.d.ts

@@ -1,6 +1,6 @@
-import type { TDirectionalVacuity, TValidationIssue, TValidationResult } from "../../types/evaluation.js";
-export declare function makeValidationResult(issues: TValidationIssue[]): TValidationResult;
-export declare function makeErrorIssue(issue: Omit<TValidationIssue, "severity">): TValidationIssue;
+import type { TCoreDirectionalVacuity, TCoreValidationIssue, TCoreValidationResult } from "../../types/evaluation.js";
+export declare function makeValidationResult(issues: TCoreValidationIssue[]): TCoreValidationResult;
+export declare function makeErrorIssue(issue: Omit<TCoreValidationIssue, "severity">): TCoreValidationIssue;
 export declare function implicationValue(antecedent: boolean, consequent: boolean): boolean;
-export declare function buildDirectionalVacuity(antecedentTrue: boolean, consequentTrue: boolean): TDirectionalVacuity;
+export declare function buildDirectionalVacuity(antecedentTrue: boolean, consequentTrue: boolean): TCoreDirectionalVacuity;
 //# sourceMappingURL=shared.d.ts.map

package/dist/lib/core/evaluation/shared.d.ts.map

@@ -1 +1 @@
-{"version":3,"file":"shared.d.ts","sourceRoot":"","sources":["../../../../src/lib/core/evaluation/shared.ts"],"names":[],"mappings":"AAAA,OAAO,KAAK,EACR,mBAAmB,EACnB,gBAAgB,EAChB,iBAAiB,EACpB,MAAM,2BAA2B,CAAA;AAElC,wBAAgB,oBAAoB,CAChC,MAAM,EAAE,gBAAgB,EAAE,GAC3B,iBAAiB,CAKnB;AAED,wBAAgB,cAAc,CAC1B,KAAK,EAAE,IAAI,CAAC,gBAAgB,EAAE,UAAU,CAAC,GAC1C,gBAAgB,CAElB;AAED,wBAAgB,gBAAgB,CAC5B,UAAU,EAAE,OAAO,EACnB,UAAU,EAAE,OAAO,GACpB,OAAO,CAET;AAED,wBAAgB,uBAAuB,CACnC,cAAc,EAAE,OAAO,EACvB,cAAc,EAAE,OAAO,GACxB,mBAAmB,CASrB"}
+{"version":3,"file":"shared.d.ts","sourceRoot":"","sources":["../../../../src/lib/core/evaluation/shared.ts"],"names":[],"mappings":"AAAA,OAAO,KAAK,EACR,uBAAuB,EACvB,oBAAoB,EACpB,qBAAqB,EACxB,MAAM,2BAA2B,CAAA;AAElC,wBAAgB,oBAAoB,CAChC,MAAM,EAAE,oBAAoB,EAAE,GAC/B,qBAAqB,CAKvB;AAED,wBAAgB,cAAc,CAC1B,KAAK,EAAE,IAAI,CAAC,oBAAoB,EAAE,UAAU,CAAC,GAC9C,oBAAoB,CAEtB;AAED,wBAAgB,gBAAgB,CAC5B,UAAU,EAAE,OAAO,EACnB,UAAU,EAAE,OAAO,GACpB,OAAO,CAET;AAED,wBAAgB,uBAAuB,CACnC,cAAc,EAAE,OAAO,EACvB,cAAc,EAAE,OAAO,GACxB,uBAAuB,CASzB"}

package/dist/lib/core/evaluation/shared.js.map

@@ -1 +1 @@
-{"version":3,"file":"shared.js","sourceRoot":"","sources":["../../../../src/lib/core/evaluation/shared.ts"],"names":[],"mappings":"AAMA,MAAM,UAAU,oBAAoB,CAChC,MAA0B;IAE1B,OAAO;QACH,EAAE,EAAE,MAAM,CAAC,KAAK,CAAC,CAAC,KAAK,EAAE,EAAE,CAAC,KAAK,CAAC,QAAQ,KAAK,OAAO,CAAC;QACvD,MAAM;KACT,CAAA;AACL,CAAC;AAED,MAAM,UAAU,cAAc,CAC1B,KAAyC;IAEzC,OAAO,EAAE,QAAQ,EAAE,OAAO,EAAE,GAAG,KAAK,EAAE,CAAA;AAC1C,CAAC;AAED,MAAM,UAAU,gBAAgB,CAC5B,UAAmB,EACnB,UAAmB;IAEnB,OAAO,CAAC,UAAU,IAAI,UAAU,CAAA;AACpC,CAAC;AAED,MAAM,UAAU,uBAAuB,CACnC,cAAuB,EACvB,cAAuB;IAEvB,MAAM,WAAW,GAAG,gBAAgB,CAAC,cAAc,EAAE,cAAc,CAAC,CAAA;IACpE,OAAO;QACH,cAAc;QACd,cAAc;QACd,gBAAgB,EAAE,WAAW;QAC7B,eAAe,EAAE,CAAC,cAAc;QAChC,KAAK,EAAE,cAAc;KACxB,CAAA;AACL,CAAC"}
+{"version":3,"file":"shared.js","sourceRoot":"","sources":["../../../../src/lib/core/evaluation/shared.ts"],"names":[],"mappings":"AAMA,MAAM,UAAU,oBAAoB,CAChC,MAA8B;IAE9B,OAAO;QACH,EAAE,EAAE,MAAM,CAAC,KAAK,CAAC,CAAC,KAAK,EAAE,EAAE,CAAC,KAAK,CAAC,QAAQ,KAAK,OAAO,CAAC;QACvD,MAAM;KACT,CAAA;AACL,CAAC;AAED,MAAM,UAAU,cAAc,CAC1B,KAA6C;IAE7C,OAAO,EAAE,QAAQ,EAAE,OAAO,EAAE,GAAG,KAAK,EAAE,CAAA;AAC1C,CAAC;AAED,MAAM,UAAU,gBAAgB,CAC5B,UAAmB,EACnB,UAAmB;IAEnB,OAAO,CAAC,UAAU,IAAI,UAAU,CAAA;AACpC,CAAC;AAED,MAAM,UAAU,uBAAuB,CACnC,cAAuB,EACvB,cAAuB;IAEvB,MAAM,WAAW,GAAG,gBAAgB,CAAC,cAAc,EAAE,cAAc,CAAC,CAAA;IACpE,OAAO;QACH,cAAc;QACd,cAAc;QACd,gBAAgB,EAAE,WAAW;QAC7B,eAAe,EAAE,CAAC,cAAc;QAChC,KAAK,EAAE,cAAc;KACxB,CAAA;AACL,CAAC"}

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

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

package/dist/lib/schemata/analysis.js

@@ -1,6 +1,6 @@
 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(), {

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,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,21 +1,21 @@
 import Type, { type Static } from "typebox";
-export declare const ArgumentMetaSchema: Type.TObject<{
+export declare const CoreArgumentMetaSchema: Type.TObject<{
     id: Type.TString;
     title: Type.TString;
     description: 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;
@@ -26,18 +26,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,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,13 +1,13 @@
 import Type, {} from "typebox";
 import { UUID } from "./shared.js";
-export const ArgumentMetaSchema = Type.Object({
+export const CoreArgumentMetaSchema = Type.Object({
     id: UUID,
     title: Type.String(),
     description: Type.String(),
 }, {
     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 +16,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,16 +24,16 @@ 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),
 });

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,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/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,23 @@ 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 PremiseMetaSchema: Type.TObject<{
+export type TCorePropositionalVariable = Static<typeof CorePropositionalVariableSchema>;
+export declare const CorePremiseMetaSchema: Type.TObject<{
     id: Type.TString;
     title: Type.TOptional<Type.TString>;
 }>;
-export type TPremiseMeta = Static<typeof PremiseMetaSchema>;
-export declare const PremiseDataSchema: Type.TObject<{
+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,10 +99,9 @@ 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>;
 }>, Type.TObject<{
@@ -132,7 +131,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,+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

@@ -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,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 PremiseMetaSchema = Type.Object({
+export const CorePremiseMetaSchema = Type.Object({
     // Auto-generated UUID
     id: UUID,
     title: Type.Optional(Type.String({
         description: "An optional title for this premise, for display purposes.",
     })),
 });
-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.
+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(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.",
-        }),
-    ]),
 });
-export const PremiseSchema = Type.Intersect([
-    PremiseMetaSchema,
-    PremiseDataSchema,
+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,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,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,iBAAiB,GAAG,IAAI,CAAC,MAAM,CAAC;IACzC,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,iBAAiB,GAAG,IAAI,CAAC,MAAM,CAAC;IACzC,8EAA8E;IAC9E,6EAA6E;IAC7E,6BAA6B;IAC7B,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,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;CACL,CAAC,CAAA;AAGF,MAAM,CAAC,MAAM,aAAa,GAAG,IAAI,CAAC,SAAS,CAAC;IACxC,iBAAiB;IACjB,iBAAiB;CACpB,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,34 +1,34 @@
-import type { TArgument, TArgumentRoleState, TPremise } from "../schemata/index.js";
-export type TPremiseRole = "supporting" | "conclusion";
-export type { TArgumentRoleState };
-export interface TArgumentEngineData {
-    argument: TArgument;
-    premises: TPremise[];
-    roles: TArgumentRoleState;
+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 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;
@@ -47,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,EACR,SAAS,EACT,kBAAkB,EAClB,QAAQ,EACX,MAAM,sBAAsB,CAAA;AAE7B,MAAM,MAAM,YAAY,GAAG,YAAY,GAAG,YAAY,CAAA;AAEtD,YAAY,EAAE,kBAAkB,EAAE,CAAA;AAElC,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.2",
+  "version": "0.1.3",
   "description": "Core engine for building and manipulating propositional logic arguments.",
   "license": "MIT",
   "type": "module",
@@ -13,7 +13,7 @@
     }
   },
   "bin": {
-    "core": "./dist/cli.js"
+    "proposit-core": "./dist/cli.js"
   },
   "files": [
     "dist"