@polintpro/proposit-core 0.1.2 → 0.1.4

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,0BAA0B,GAAG,IAAI,CAAC,MAAM,CACjD,IAAI,CAAC,MAAM,EAAE,EACb,IAAI,CAAC,MAAM,EAAE,EACb;IACI,WAAW,EAAE,kDAAkD;CAClE,CACJ,CAAA;AAGD,MAAM,CAAC,MAAM,+BAA+B,GAAG,IAAI,CAAC,MAAM,CACtD;IACI,EAAE,EAAE,IAAI;IACR,UAAU,EAAE,IAAI;IAChB,eAAe,EAAE,IAAI,CAAC,MAAM,EAAE;IAC9B,MAAM,EAAE,IAAI,CAAC,MAAM,CAAC;QAChB,WAAW,EACP,0DAA0D;KACjE,CAAC;IACF,QAAQ,EAAE,0BAA0B;CACvC,EACD;IACI,WAAW,EACP,0EAA0E;CACjF,CACJ,CAAA;AAMD,MAAM,CAAC,MAAM,yBAAyB,GAAG,IAAI,CAAC,MAAM,CAChD;IACI,KAAK,EAAE,IAAI,CAAC,QAAQ,CAChB,IAAI,CAAC,MAAM,CAAC;QACR,WAAW,EACP,2DAA2D;KAClE,CAAC,CACL;CACJ,EACD;IACI,oBAAoB,EAAE,IAAI,CAAC,MAAM,EAAE;IACnC,WAAW,EAAE,iDAAiD;CACjE,CACJ,CAAA;AAGD,MAAM,CAAC,MAAM,qBAAqB,GAAG,IAAI,CAAC,MAAM,CAC5C;IACI,EAAE,EAAE,IAAI;IACR,QAAQ,EAAE,yBAAyB;CACtC,EACD;IACI,WAAW,EAAE,8CAA8C;CAC9D,CACJ,CAAA;AAGD,MAAM,CAAC,MAAM,qBAAqB,GAAG,IAAI,CAAC,MAAM,CAC5C;IACI,gBAAgB,EAAE,IAAI,CAAC,QAAQ,CAC3B,IAAI,CAAC,MAAM,CAAC;QACR,WAAW,EACP,4DAA4D;KACnE,CAAC,CACL;IACD,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,gEAAgE;KACvE,CAAC;CACL,EACD;IACI,WAAW,EAAE,wDAAwD;CACxE,CACJ,CAAA;AAGD,MAAM,CAAC,MAAM,iBAAiB,GAAG,IAAI,CAAC,SAAS,CAAC;IAC5C,qBAAqB;IACrB,qBAAqB;CACxB,CAAC,CAAA"}

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

@@ -0,0 +1,56 @@
+import type { TCoreArgument, TCorePremise, TCorePropositionalExpression, TCorePropositionalVariable } from "../schemata/index.js";
+/** A single field-level change on an entity. */
+export interface TCoreFieldChange {
+    field: string;
+    before: unknown;
+    after: unknown;
+}
+/** Field-level diff for a single matched entity. */
+export interface TCoreEntityFieldDiff<T> {
+    before: T;
+    after: T;
+    changes: TCoreFieldChange[];
+}
+/** Set-level diff for a collection of ID-keyed entities. */
+export interface TCoreEntitySetDiff<T extends {
+    id: string;
+}> {
+    added: T[];
+    removed: T[];
+    modified: TCoreEntityFieldDiff<T>[];
+}
+/** Premise diff includes nested expression diffs. */
+export interface TCorePremiseDiff extends TCoreEntityFieldDiff<TCorePremise> {
+    expressions: TCoreEntitySetDiff<TCorePropositionalExpression>;
+}
+export interface TCorePremiseSetDiff {
+    added: TCorePremise[];
+    removed: TCorePremise[];
+    modified: TCorePremiseDiff[];
+}
+/** Role changes between two argument versions. */
+export interface TCoreRoleDiff {
+    conclusion: {
+        before: string | undefined;
+        after: string | undefined;
+    };
+    supportingAdded: string[];
+    supportingRemoved: string[];
+}
+/** Top-level diff result from `diffArguments`. */
+export interface TCoreArgumentDiff {
+    argument: TCoreEntityFieldDiff<TCoreArgument>;
+    variables: TCoreEntitySetDiff<TCorePropositionalVariable>;
+    premises: TCorePremiseSetDiff;
+    roles: TCoreRoleDiff;
+}
+/** A comparator receives two matched objects and returns field-level changes. */
+export type TCoreFieldComparator<T> = (before: T, after: T) => TCoreFieldChange[];
+/** Per-entity comparator overrides for `diffArguments`. */
+export interface TCoreDiffOptions {
+    compareArgument?: TCoreFieldComparator<TCoreArgument>;
+    compareVariable?: TCoreFieldComparator<TCorePropositionalVariable>;
+    comparePremise?: TCoreFieldComparator<TCorePremise>;
+    compareExpression?: TCoreFieldComparator<TCorePropositionalExpression>;
+}
+//# sourceMappingURL=diff.d.ts.map

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

@@ -0,0 +1 @@
+{"version":3,"file":"diff.d.ts","sourceRoot":"","sources":["../../../src/lib/types/diff.ts"],"names":[],"mappings":"AAAA,OAAO,KAAK,EACR,aAAa,EACb,YAAY,EACZ,4BAA4B,EAC5B,0BAA0B,EAC7B,MAAM,sBAAsB,CAAA;AAE7B,gDAAgD;AAChD,MAAM,WAAW,gBAAgB;IAC7B,KAAK,EAAE,MAAM,CAAA;IACb,MAAM,EAAE,OAAO,CAAA;IACf,KAAK,EAAE,OAAO,CAAA;CACjB;AAED,oDAAoD;AACpD,MAAM,WAAW,oBAAoB,CAAC,CAAC;IACnC,MAAM,EAAE,CAAC,CAAA;IACT,KAAK,EAAE,CAAC,CAAA;IACR,OAAO,EAAE,gBAAgB,EAAE,CAAA;CAC9B;AAED,4DAA4D;AAC5D,MAAM,WAAW,kBAAkB,CAAC,CAAC,SAAS;IAAE,EAAE,EAAE,MAAM,CAAA;CAAE;IACxD,KAAK,EAAE,CAAC,EAAE,CAAA;IACV,OAAO,EAAE,CAAC,EAAE,CAAA;IACZ,QAAQ,EAAE,oBAAoB,CAAC,CAAC,CAAC,EAAE,CAAA;CACtC;AAED,qDAAqD;AACrD,MAAM,WAAW,gBAAiB,SAAQ,oBAAoB,CAAC,YAAY,CAAC;IACxE,WAAW,EAAE,kBAAkB,CAAC,4BAA4B,CAAC,CAAA;CAChE;AAED,MAAM,WAAW,mBAAmB;IAChC,KAAK,EAAE,YAAY,EAAE,CAAA;IACrB,OAAO,EAAE,YAAY,EAAE,CAAA;IACvB,QAAQ,EAAE,gBAAgB,EAAE,CAAA;CAC/B;AAED,kDAAkD;AAClD,MAAM,WAAW,aAAa;IAC1B,UAAU,EAAE;QAAE,MAAM,EAAE,MAAM,GAAG,SAAS,CAAC;QAAC,KAAK,EAAE,MAAM,GAAG,SAAS,CAAA;KAAE,CAAA;IACrE,eAAe,EAAE,MAAM,EAAE,CAAA;IACzB,iBAAiB,EAAE,MAAM,EAAE,CAAA;CAC9B;AAED,kDAAkD;AAClD,MAAM,WAAW,iBAAiB;IAC9B,QAAQ,EAAE,oBAAoB,CAAC,aAAa,CAAC,CAAA;IAC7C,SAAS,EAAE,kBAAkB,CAAC,0BAA0B,CAAC,CAAA;IACzD,QAAQ,EAAE,mBAAmB,CAAA;IAC7B,KAAK,EAAE,aAAa,CAAA;CACvB;AAED,iFAAiF;AACjF,MAAM,MAAM,oBAAoB,CAAC,CAAC,IAAI,CAClC,MAAM,EAAE,CAAC,EACT,KAAK,EAAE,CAAC,KACP,gBAAgB,EAAE,CAAA;AAEvB,2DAA2D;AAC3D,MAAM,WAAW,gBAAgB;IAC7B,eAAe,CAAC,EAAE,oBAAoB,CAAC,aAAa,CAAC,CAAA;IACrD,eAAe,CAAC,EAAE,oBAAoB,CAAC,0BAA0B,CAAC,CAAA;IAClE,cAAc,CAAC,EAAE,oBAAoB,CAAC,YAAY,CAAC,CAAA;IACnD,iBAAiB,CAAC,EAAE,oBAAoB,CAAC,4BAA4B,CAAC,CAAA;CACzE"}

package/dist/lib/types/diff.js

@@ -0,0 +1,2 @@
+export {};
+//# sourceMappingURL=diff.js.map

package/dist/lib/types/diff.js.map

@@ -0,0 +1 @@
+{"version":3,"file":"diff.js","sourceRoot":"","sources":["../../../src/lib/types/diff.ts"],"names":[],"mappings":""}

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

@@ -1,105 +1,172 @@
-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";
+/** Role that a premise plays in an argument. */
+export type TCorePremiseRole = "supporting" | "conclusion";
+export type { TCoreArgumentRoleState };
+export interface TCoreArgumentEngineData {
+    /** Snapshot of the argument metadata managed by the engine. */
+    argument: TCoreArgument;
+    /** Serialized premise snapshots (one per premise manager). */
+    premises: TCorePremise[];
+    /** Current role assignments for the premises in this engine. */
+    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;
+/** Three-valued truth value: true, false, or null (unset/unknown). */
+export type TCoreTrivalentValue = boolean | null;
+/** Maps variable IDs to three-valued truth values. */
+export type TCoreVariableAssignment = Record<string, TCoreTrivalentValue>;
+/** Full expression assignment: variable truth values and rejected expression IDs. */
+export interface TCoreExpressionAssignment {
+    /** Variable ID → true/false/null (null = unset/not sure). */
+    variables: TCoreVariableAssignment;
+    /** Expression IDs the user rejects (evaluate to false, children skipped). */
+    rejectedExpressionIds: string[];
+}
+/** Severity level for validation issues. */
+export type TCoreValidationSeverity = "error" | "warning";
+/** Machine-readable codes for all validation issues. */
+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 {
+    /** Machine-readable issue code for callers/tests/UI logic. */
+    code: TCoreValidationCode;
+    /** Severity level; `error` blocks evaluation/validity checks. */
+    severity: TCoreValidationSeverity;
+    /** Human-readable explanation of the issue. */
     message: string;
+    /** Premise associated with the issue, when applicable. */
     premiseId?: string;
+    /** Expression associated with the issue, when applicable. */
     expressionId?: string;
+    /** Variable associated with the issue, when applicable. */
     variableId?: string;
 }
-export interface TValidationResult {
+export interface TCoreValidationResult {
+    /** `true` iff no `error`-severity issues are present. */
     ok: boolean;
-    issues: TValidationIssue[];
+    /** Full list of validation findings (errors and warnings). */
+    issues: TCoreValidationIssue[];
 }
-export interface TDirectionalVacuity {
-    antecedentTrue: boolean;
-    consequentTrue: boolean;
-    implicationValue: boolean;
-    isVacuouslyTrue: boolean;
-    fired: boolean;
+export interface TCoreDirectionalVacuity {
+    /** Truth value of the antecedent for this directional implication view. */
+    antecedentTrue: TCoreTrivalentValue;
+    /** Truth value of the consequent for this directional implication view. */
+    consequentTrue: TCoreTrivalentValue;
+    /** Result of evaluating `antecedent -> consequent`. */
+    implicationValue: TCoreTrivalentValue;
+    /** `true` iff the implication is true because the antecedent is false; `null` if indeterminate. */
+    isVacuouslyTrue: TCoreTrivalentValue;
+    /** `true` iff the antecedent was true (the implication "fired"); `null` if indeterminate. */
+    fired: TCoreTrivalentValue;
 }
-export type TPremiseInferenceDiagnostic = {
+export type TCorePremiseInferenceDiagnostic = {
     kind: "implies";
     premiseId: string;
     rootExpressionId: string;
-    leftValue: boolean;
-    rightValue: boolean;
-    rootValue: boolean;
-    antecedentTrue: boolean;
-    consequentTrue: boolean;
-    isVacuouslyTrue: boolean;
-    fired: boolean;
-    firedAndHeld: boolean;
+    leftValue: TCoreTrivalentValue;
+    rightValue: TCoreTrivalentValue;
+    rootValue: TCoreTrivalentValue;
+    antecedentTrue: TCoreTrivalentValue;
+    consequentTrue: TCoreTrivalentValue;
+    isVacuouslyTrue: TCoreTrivalentValue;
+    fired: TCoreTrivalentValue;
+    firedAndHeld: TCoreTrivalentValue;
 } | {
     kind: "iff";
     premiseId: string;
     rootExpressionId: string;
-    leftValue: boolean;
-    rightValue: boolean;
-    rootValue: boolean;
-    leftToRight: TDirectionalVacuity;
-    rightToLeft: TDirectionalVacuity;
-    bothSidesTrue: boolean;
-    bothSidesFalse: boolean;
+    leftValue: TCoreTrivalentValue;
+    rightValue: TCoreTrivalentValue;
+    rootValue: TCoreTrivalentValue;
+    leftToRight: TCoreDirectionalVacuity;
+    rightToLeft: TCoreDirectionalVacuity;
+    bothSidesTrue: TCoreTrivalentValue;
+    bothSidesFalse: TCoreTrivalentValue;
 };
-export interface TPremiseEvaluationResult {
+export interface TCorePremiseEvaluationResult {
+    /** ID of the evaluated premise. */
     premiseId: string;
+    /** Premise classification derived from the root expression. */
     premiseType: "inference" | "constraint";
+    /** Root expression ID, if the premise has a root. */
     rootExpressionId?: string;
-    rootValue?: boolean;
-    expressionValues: Record<string, boolean>;
-    variableValues: Record<string, boolean>;
-    inferenceDiagnostic?: TPremiseInferenceDiagnostic;
+    /** Truth value of the root expression, if the premise was evaluable. */
+    rootValue?: TCoreTrivalentValue;
+    /** Per-expression truth values keyed by expression ID. */
+    expressionValues: Record<string, TCoreTrivalentValue>;
+    /** Referenced variable truth values keyed by variable ID. */
+    variableValues: Record<string, TCoreTrivalentValue>;
+    /** Inference-specific diagnostics for `implies`/`iff` roots. */
+    inferenceDiagnostic?: TCorePremiseInferenceDiagnostic;
 }
-export interface TArgumentEvaluationOptions {
+export interface TCoreArgumentEvaluationOptions {
+    /** Reject assignment keys that are not referenced by the evaluated premises. */
     strictUnknownAssignmentKeys?: boolean;
+    /** Include per-expression truth maps in premise results (may be verbose). */
     includeExpressionValues?: boolean;
+    /** Include inference diagnostics in premise results. */
     includeDiagnostics?: boolean;
+    /** Run argument/premise evaluability validation before evaluating. */
     validateFirst?: boolean;
 }
-export interface TArgumentEvaluationResult {
+export interface TCoreArgumentEvaluationResult {
+    /** `false` means evaluation could not be completed (typically validation failure). */
     ok: boolean;
-    validation?: TValidationResult;
-    assignment?: TVariableAssignment;
+    /** Validation output when `ok === false`, or when validation was requested and included. */
+    validation?: TCoreValidationResult;
+    /** The assignment used for this evaluation. */
+    assignment?: TCoreExpressionAssignment;
+    /** All variable IDs referenced across evaluated supporting/conclusion/constraint premises. */
     referencedVariableIds?: string[];
-    conclusion?: TPremiseEvaluationResult;
-    supportingPremises?: TPremiseEvaluationResult[];
-    constraintPremises?: TPremiseEvaluationResult[];
-    isAdmissibleAssignment?: boolean;
-    allSupportingPremisesTrue?: boolean;
-    conclusionTrue?: boolean;
-    isCounterexample?: boolean;
-    preservesTruthUnderAssignment?: boolean;
+    /** Evaluation result for the designated conclusion premise. */
+    conclusion?: TCorePremiseEvaluationResult;
+    /** Evaluation results for premises designated as supporting the argument. */
+    supportingPremises?: TCorePremiseEvaluationResult[];
+    /** Evaluation results for constraint premises (used to determine admissibility). */
+    constraintPremises?: TCorePremiseEvaluationResult[];
+    /** `true` iff all constraint premises evaluate to true under the assignment. */
+    isAdmissibleAssignment?: TCoreTrivalentValue;
+    /** `true` iff every supporting premise evaluates to true. */
+    allSupportingPremisesTrue?: TCoreTrivalentValue;
+    /** The truth value of the conclusion premise root expression. */
+    conclusionTrue?: TCoreTrivalentValue;
+    /** `true` iff constraints are satisfied, all supporting premises are true, and the conclusion is false. */
+    isCounterexample?: TCoreTrivalentValue;
+    /** Convenience inverse of `isCounterexample` for the evaluated assignment. */
+    preservesTruthUnderAssignment?: TCoreTrivalentValue;
 }
-export interface TValidityCheckOptions {
+export interface TCoreValidityCheckOptions {
+    /** Stop at first counterexample or continue exhaustively. */
     mode?: "firstCounterexample" | "exhaustive";
+    /** Safety limit for the number of variables used in truth-table generation. */
     maxVariables?: number;
+    /** Safety limit for generated assignments checked before truncating. */
     maxAssignmentsChecked?: number;
+    /** Include full evaluation payloads for captured counterexamples. */
     includeCounterexampleEvaluations?: boolean;
+    /** Run evaluability validation before truth-table search. */
     validateFirst?: boolean;
 }
-export interface TCounterexample {
-    assignment: TVariableAssignment;
-    result: TArgumentEvaluationResult;
+export interface TCoreCounterexample {
+    /** Assignment under which the argument fails to preserve truth. */
+    assignment: TCoreExpressionAssignment;
+    /** Full argument evaluation result for that assignment. */
+    result: TCoreArgumentEvaluationResult;
 }
-export interface TValidityCheckResult {
+export interface TCoreValidityCheckResult {
+    /** `false` means the validity check could not run to completion. */
     ok: boolean;
-    validation?: TValidationResult;
+    /** Validation output when `ok === false`. */
+    validation?: TCoreValidationResult;
+    /** Validity result when known; may be omitted if truncated before conclusion. */
     isValid?: boolean;
+    /** Variable IDs used to generate the checked assignments. */
     checkedVariableIds?: string[];
+    /** Total number of assignments evaluated (including inadmissible ones). */
     numAssignmentsChecked?: number;
+    /** Number of assignments satisfying all constraints. */
     numAdmissibleAssignments?: number;
-    counterexamples?: TCounterexample[];
+    /** Counterexamples found (one or many depending on mode/options). */
+    counterexamples?: TCoreCounterexample[];
+    /** `true` iff checking stopped due to a configured limit. */
     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,gDAAgD;AAChD,MAAM,MAAM,gBAAgB,GAAG,YAAY,GAAG,YAAY,CAAA;AAE1D,YAAY,EAAE,sBAAsB,EAAE,CAAA;AAEtC,MAAM,WAAW,uBAAuB;IACpC,+DAA+D;IAC/D,QAAQ,EAAE,aAAa,CAAA;IACvB,8DAA8D;IAC9D,QAAQ,EAAE,YAAY,EAAE,CAAA;IACxB,gEAAgE;IAChE,KAAK,EAAE,sBAAsB,CAAA;CAChC;AAED,sEAAsE;AACtE,MAAM,MAAM,mBAAmB,GAAG,OAAO,GAAG,IAAI,CAAA;AAEhD,sDAAsD;AACtD,MAAM,MAAM,uBAAuB,GAAG,MAAM,CAAC,MAAM,EAAE,mBAAmB,CAAC,CAAA;AAEzE,qFAAqF;AACrF,MAAM,WAAW,yBAAyB;IACtC,6DAA6D;IAC7D,SAAS,EAAE,uBAAuB,CAAA;IAClC,6EAA6E;IAC7E,qBAAqB,EAAE,MAAM,EAAE,CAAA;CAClC;AAED,4CAA4C;AAC5C,MAAM,MAAM,uBAAuB,GAAG,OAAO,GAAG,SAAS,CAAA;AAEzD,wDAAwD;AACxD,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;IACjC,8DAA8D;IAC9D,IAAI,EAAE,mBAAmB,CAAA;IACzB,iEAAiE;IACjE,QAAQ,EAAE,uBAAuB,CAAA;IACjC,+CAA+C;IAC/C,OAAO,EAAE,MAAM,CAAA;IACf,0DAA0D;IAC1D,SAAS,CAAC,EAAE,MAAM,CAAA;IAClB,6DAA6D;IAC7D,YAAY,CAAC,EAAE,MAAM,CAAA;IACrB,2DAA2D;IAC3D,UAAU,CAAC,EAAE,MAAM,CAAA;CACtB;AAED,MAAM,WAAW,qBAAqB;IAClC,yDAAyD;IACzD,EAAE,EAAE,OAAO,CAAA;IACX,8DAA8D;IAC9D,MAAM,EAAE,oBAAoB,EAAE,CAAA;CACjC;AAED,MAAM,WAAW,uBAAuB;IACpC,2EAA2E;IAC3E,cAAc,EAAE,mBAAmB,CAAA;IACnC,2EAA2E;IAC3E,cAAc,EAAE,mBAAmB,CAAA;IACnC,uDAAuD;IACvD,gBAAgB,EAAE,mBAAmB,CAAA;IACrC,mGAAmG;IACnG,eAAe,EAAE,mBAAmB,CAAA;IACpC,6FAA6F;IAC7F,KAAK,EAAE,mBAAmB,CAAA;CAC7B;AAED,MAAM,MAAM,+BAA+B,GACrC;IACI,IAAI,EAAE,SAAS,CAAA;IACf,SAAS,EAAE,MAAM,CAAA;IACjB,gBAAgB,EAAE,MAAM,CAAA;IACxB,SAAS,EAAE,mBAAmB,CAAA;IAC9B,UAAU,EAAE,mBAAmB,CAAA;IAC/B,SAAS,EAAE,mBAAmB,CAAA;IAC9B,cAAc,EAAE,mBAAmB,CAAA;IACnC,cAAc,EAAE,mBAAmB,CAAA;IACnC,eAAe,EAAE,mBAAmB,CAAA;IACpC,KAAK,EAAE,mBAAmB,CAAA;IAC1B,YAAY,EAAE,mBAAmB,CAAA;CACpC,GACD;IACI,IAAI,EAAE,KAAK,CAAA;IACX,SAAS,EAAE,MAAM,CAAA;IACjB,gBAAgB,EAAE,MAAM,CAAA;IACxB,SAAS,EAAE,mBAAmB,CAAA;IAC9B,UAAU,EAAE,mBAAmB,CAAA;IAC/B,SAAS,EAAE,mBAAmB,CAAA;IAC9B,WAAW,EAAE,uBAAuB,CAAA;IACpC,WAAW,EAAE,uBAAuB,CAAA;IACpC,aAAa,EAAE,mBAAmB,CAAA;IAClC,cAAc,EAAE,mBAAmB,CAAA;CACtC,CAAA;AAEP,MAAM,WAAW,4BAA4B;IACzC,mCAAmC;IACnC,SAAS,EAAE,MAAM,CAAA;IACjB,+DAA+D;IAC/D,WAAW,EAAE,WAAW,GAAG,YAAY,CAAA;IACvC,qDAAqD;IACrD,gBAAgB,CAAC,EAAE,MAAM,CAAA;IACzB,wEAAwE;IACxE,SAAS,CAAC,EAAE,mBAAmB,CAAA;IAC/B,0DAA0D;IAC1D,gBAAgB,EAAE,MAAM,CAAC,MAAM,EAAE,mBAAmB,CAAC,CAAA;IACrD,6DAA6D;IAC7D,cAAc,EAAE,MAAM,CAAC,MAAM,EAAE,mBAAmB,CAAC,CAAA;IACnD,gEAAgE;IAChE,mBAAmB,CAAC,EAAE,+BAA+B,CAAA;CACxD;AAED,MAAM,WAAW,8BAA8B;IAC3C,gFAAgF;IAChF,2BAA2B,CAAC,EAAE,OAAO,CAAA;IACrC,6EAA6E;IAC7E,uBAAuB,CAAC,EAAE,OAAO,CAAA;IACjC,wDAAwD;IACxD,kBAAkB,CAAC,EAAE,OAAO,CAAA;IAC5B,sEAAsE;IACtE,aAAa,CAAC,EAAE,OAAO,CAAA;CAC1B;AAED,MAAM,WAAW,6BAA6B;IAC1C,sFAAsF;IACtF,EAAE,EAAE,OAAO,CAAA;IACX,4FAA4F;IAC5F,UAAU,CAAC,EAAE,qBAAqB,CAAA;IAClC,+CAA+C;IAC/C,UAAU,CAAC,EAAE,yBAAyB,CAAA;IACtC,8FAA8F;IAC9F,qBAAqB,CAAC,EAAE,MAAM,EAAE,CAAA;IAChC,+DAA+D;IAC/D,UAAU,CAAC,EAAE,4BAA4B,CAAA;IACzC,6EAA6E;IAC7E,kBAAkB,CAAC,EAAE,4BAA4B,EAAE,CAAA;IACnD,oFAAoF;IACpF,kBAAkB,CAAC,EAAE,4BAA4B,EAAE,CAAA;IACnD,gFAAgF;IAChF,sBAAsB,CAAC,EAAE,mBAAmB,CAAA;IAC5C,6DAA6D;IAC7D,yBAAyB,CAAC,EAAE,mBAAmB,CAAA;IAC/C,iEAAiE;IACjE,cAAc,CAAC,EAAE,mBAAmB,CAAA;IACpC,2GAA2G;IAC3G,gBAAgB,CAAC,EAAE,mBAAmB,CAAA;IACtC,8EAA8E;IAC9E,6BAA6B,CAAC,EAAE,mBAAmB,CAAA;CACtD;AAED,MAAM,WAAW,yBAAyB;IACtC,6DAA6D;IAC7D,IAAI,CAAC,EAAE,qBAAqB,GAAG,YAAY,CAAA;IAC3C,+EAA+E;IAC/E,YAAY,CAAC,EAAE,MAAM,CAAA;IACrB,wEAAwE;IACxE,qBAAqB,CAAC,EAAE,MAAM,CAAA;IAC9B,qEAAqE;IACrE,gCAAgC,CAAC,EAAE,OAAO,CAAA;IAC1C,6DAA6D;IAC7D,aAAa,CAAC,EAAE,OAAO,CAAA;CAC1B;AAED,MAAM,WAAW,mBAAmB;IAChC,mEAAmE;IACnE,UAAU,EAAE,yBAAyB,CAAA;IACrC,2DAA2D;IAC3D,MAAM,EAAE,6BAA6B,CAAA;CACxC;AAED,MAAM,WAAW,wBAAwB;IACrC,oEAAoE;IACpE,EAAE,EAAE,OAAO,CAAA;IACX,6CAA6C;IAC7C,UAAU,CAAC,EAAE,qBAAqB,CAAA;IAClC,iFAAiF;IACjF,OAAO,CAAC,EAAE,OAAO,CAAA;IACjB,6DAA6D;IAC7D,kBAAkB,CAAC,EAAE,MAAM,EAAE,CAAA;IAC7B,2EAA2E;IAC3E,qBAAqB,CAAC,EAAE,MAAM,CAAA;IAC9B,wDAAwD;IACxD,wBAAwB,CAAC,EAAE,MAAM,CAAA;IACjC,qEAAqE;IACrE,eAAe,CAAC,EAAE,mBAAmB,EAAE,CAAA;IACvC,6DAA6D;IAC7D,SAAS,CAAC,EAAE,OAAO,CAAA;CACtB"}

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

@@ -1,6 +1,12 @@
+/**
+ * Returns the value for `key` from `map`, creating and inserting it via
+ * `makeDefault` if absent.
+ */
 export declare function getOrCreate<K, V>(map: Map<K, V>, key: K, makeDefault: () => V): V;
+/** Returns a shallow-copied array of items sorted by `id` in lexicographic order. */
 export declare function sortedCopyById<T extends {
     id: string;
 }>(items: T[]): T[];
+/** Deduplicates and sorts an iterable of strings. */
 export declare function sortedUnique(values: Iterable<string>): string[];
 //# sourceMappingURL=collections.d.ts.map

package/dist/lib/utils/collections.d.ts.map

@@ -1 +1 @@
-{"version":3,"file":"collections.d.ts","sourceRoot":"","sources":["../../../src/lib/utils/collections.ts"],"names":[],"mappings":"AAAA,wBAAgB,WAAW,CAAC,CAAC,EAAE,CAAC,EAC5B,GAAG,EAAE,GAAG,CAAC,CAAC,EAAE,CAAC,CAAC,EACd,GAAG,EAAE,CAAC,EACN,WAAW,EAAE,MAAM,CAAC,GACrB,CAAC,CASH;AAED,wBAAgB,cAAc,CAAC,CAAC,SAAS;IAAE,EAAE,EAAE,MAAM,CAAA;CAAE,EAAE,KAAK,EAAE,CAAC,EAAE,GAAG,CAAC,EAAE,CAIxE;AAED,wBAAgB,YAAY,CAAC,MAAM,EAAE,QAAQ,CAAC,MAAM,CAAC,GAAG,MAAM,EAAE,CAE/D"}
+{"version":3,"file":"collections.d.ts","sourceRoot":"","sources":["../../../src/lib/utils/collections.ts"],"names":[],"mappings":"AAAA;;;GAGG;AACH,wBAAgB,WAAW,CAAC,CAAC,EAAE,CAAC,EAC5B,GAAG,EAAE,GAAG,CAAC,CAAC,EAAE,CAAC,CAAC,EACd,GAAG,EAAE,CAAC,EACN,WAAW,EAAE,MAAM,CAAC,GACrB,CAAC,CASH;AAED,qFAAqF;AACrF,wBAAgB,cAAc,CAAC,CAAC,SAAS;IAAE,EAAE,EAAE,MAAM,CAAA;CAAE,EAAE,KAAK,EAAE,CAAC,EAAE,GAAG,CAAC,EAAE,CAIxE;AAED,qDAAqD;AACrD,wBAAgB,YAAY,CAAC,MAAM,EAAE,QAAQ,CAAC,MAAM,CAAC,GAAG,MAAM,EAAE,CAE/D"}

package/dist/lib/utils/collections.js

@@ -1,3 +1,7 @@
+/**
+ * Returns the value for `key` from `map`, creating and inserting it via
+ * `makeDefault` if absent.
+ */
 export function getOrCreate(map, key, makeDefault) {
     const existing = map.get(key);
     if (existing !== undefined) {
@@ -7,11 +11,13 @@ export function getOrCreate(map, key, makeDefault) {
     map.set(key, value);
     return value;
 }
+/** Returns a shallow-copied array of items sorted by `id` in lexicographic order. */
 export function sortedCopyById(items) {
     return [...items]
         .map((item) => ({ ...item }))
         .sort((a, b) => a.id.localeCompare(b.id));
 }
+/** Deduplicates and sorts an iterable of strings. */
 export function sortedUnique(values) {
     return Array.from(new Set(values)).sort((a, b) => a.localeCompare(b));
 }

package/dist/lib/utils/collections.js.map

@@ -1 +1 @@
-{"version":3,"file":"collections.js","sourceRoot":"","sources":["../../../src/lib/utils/collections.ts"],"names":[],"mappings":"AAAA,MAAM,UAAU,WAAW,CACvB,GAAc,EACd,GAAM,EACN,WAAoB;IAEpB,MAAM,QAAQ,GAAG,GAAG,CAAC,GAAG,CAAC,GAAG,CAAC,CAAA;IAC7B,IAAI,QAAQ,KAAK,SAAS,EAAE,CAAC;QACzB,OAAO,QAAQ,CAAA;IACnB,CAAC;IAED,MAAM,KAAK,GAAG,WAAW,EAAE,CAAA;IAC3B,GAAG,CAAC,GAAG,CAAC,GAAG,EAAE,KAAK,CAAC,CAAA;IACnB,OAAO,KAAK,CAAA;AAChB,CAAC;AAED,MAAM,UAAU,cAAc,CAA2B,KAAU;IAC/D,OAAO,CAAC,GAAG,KAAK,CAAC;SACZ,GAAG,CAAC,CAAC,IAAI,EAAE,EAAE,CAAC,CAAC,EAAE,GAAG,IAAI,EAAE,CAAC,CAAC;SAC5B,IAAI,CAAC,CAAC,CAAC,EAAE,CAAC,EAAE,EAAE,CAAC,CAAC,CAAC,EAAE,CAAC,aAAa,CAAC,CAAC,CAAC,EAAE,CAAC,CAAC,CAAA;AACjD,CAAC;AAED,MAAM,UAAU,YAAY,CAAC,MAAwB;IACjD,OAAO,KAAK,CAAC,IAAI,CAAC,IAAI,GAAG,CAAC,MAAM,CAAC,CAAC,CAAC,IAAI,CAAC,CAAC,CAAC,EAAE,CAAC,EAAE,EAAE,CAAC,CAAC,CAAC,aAAa,CAAC,CAAC,CAAC,CAAC,CAAA;AACzE,CAAC"}
+{"version":3,"file":"collections.js","sourceRoot":"","sources":["../../../src/lib/utils/collections.ts"],"names":[],"mappings":"AAAA;;;GAGG;AACH,MAAM,UAAU,WAAW,CACvB,GAAc,EACd,GAAM,EACN,WAAoB;IAEpB,MAAM,QAAQ,GAAG,GAAG,CAAC,GAAG,CAAC,GAAG,CAAC,CAAA;IAC7B,IAAI,QAAQ,KAAK,SAAS,EAAE,CAAC;QACzB,OAAO,QAAQ,CAAA;IACnB,CAAC;IAED,MAAM,KAAK,GAAG,WAAW,EAAE,CAAA;IAC3B,GAAG,CAAC,GAAG,CAAC,GAAG,EAAE,KAAK,CAAC,CAAA;IACnB,OAAO,KAAK,CAAA;AAChB,CAAC;AAED,qFAAqF;AACrF,MAAM,UAAU,cAAc,CAA2B,KAAU;IAC/D,OAAO,CAAC,GAAG,KAAK,CAAC;SACZ,GAAG,CAAC,CAAC,IAAI,EAAE,EAAE,CAAC,CAAC,EAAE,GAAG,IAAI,EAAE,CAAC,CAAC;SAC5B,IAAI,CAAC,CAAC,CAAC,EAAE,CAAC,EAAE,EAAE,CAAC,CAAC,CAAC,EAAE,CAAC,aAAa,CAAC,CAAC,CAAC,EAAE,CAAC,CAAC,CAAA;AACjD,CAAC;AAED,qDAAqD;AACrD,MAAM,UAAU,YAAY,CAAC,MAAwB;IACjD,OAAO,KAAK,CAAC,IAAI,CAAC,IAAI,GAAG,CAAC,MAAM,CAAC,CAAC,CAAC,IAAI,CAAC,CAAC,CAAC,EAAE,CAAC,EAAE,EAAE,CAAC,CAAC,CAAC,aAAa,CAAC,CAAC,CAAC,CAAC,CAAA;AACzE,CAAC"}

package/dist/lib/utils.d.ts

@@ -1,9 +1,16 @@
 type DefaultValueFactory<K, V> = (key?: K) => V;
+/**
+ * A `Map` subclass that auto-creates values for missing keys using a
+ * factory function. Optionally enforces an LRU-style size limit by
+ * evicting the oldest entry when the limit is reached.
+ */
 export declare class DefaultMap<K, V> extends Map<K, V> {
     private mkDefault;
     private limit;
     constructor(mkDefault: DefaultValueFactory<K, V>, entries?: Iterable<[K, V]>, limit?: number);
+    /** Returns the value for `key`, creating it via the factory if absent. */
     get(key: K): V;
+    /** Sets `key` to `value`, evicting the oldest entry if the size limit is reached. */
     set(key: K, value: V): this;
 }
 export {};

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

@@ -1 +1 @@
-{"version":3,"file":"utils.d.ts","sourceRoot":"","sources":["../../src/lib/utils.ts"],"names":[],"mappings":"AAAA,KAAK,mBAAmB,CAAC,CAAC,EAAE,CAAC,IAAI,CAAC,GAAG,CAAC,EAAE,CAAC,KAAK,CAAC,CAAA;AAC/C,qBAAa,UAAU,CAAC,CAAC,EAAE,CAAC,CAAE,SAAQ,GAAG,CAAC,CAAC,EAAE,CAAC,CAAC;IAC3C,OAAO,CAAC,SAAS,CAA2B;IAC5C,OAAO,CAAC,KAAK,CAAQ;gBAGjB,SAAS,EAAE,mBAAmB,CAAC,CAAC,EAAE,CAAC,CAAC,EACpC,OAAO,CAAC,EAAE,QAAQ,CAAC,CAAC,CAAC,EAAE,CAAC,CAAC,CAAC,EAC1B,KAAK,SAAK;IAYP,GAAG,CAAC,GAAG,EAAE,CAAC,GAAG,CAAC;IAOd,GAAG,CAAC,GAAG,EAAE,CAAC,EAAE,KAAK,EAAE,CAAC;CAS9B"}
+{"version":3,"file":"utils.d.ts","sourceRoot":"","sources":["../../src/lib/utils.ts"],"names":[],"mappings":"AAAA,KAAK,mBAAmB,CAAC,CAAC,EAAE,CAAC,IAAI,CAAC,GAAG,CAAC,EAAE,CAAC,KAAK,CAAC,CAAA;AAE/C;;;;GAIG;AACH,qBAAa,UAAU,CAAC,CAAC,EAAE,CAAC,CAAE,SAAQ,GAAG,CAAC,CAAC,EAAE,CAAC,CAAC;IAC3C,OAAO,CAAC,SAAS,CAA2B;IAC5C,OAAO,CAAC,KAAK,CAAQ;gBAGjB,SAAS,EAAE,mBAAmB,CAAC,CAAC,EAAE,CAAC,CAAC,EACpC,OAAO,CAAC,EAAE,QAAQ,CAAC,CAAC,CAAC,EAAE,CAAC,CAAC,CAAC,EAC1B,KAAK,SAAK;IAOd,0EAA0E;IACnE,GAAG,CAAC,GAAG,EAAE,CAAC,GAAG,CAAC;IAOrB,qFAAqF;IAC9E,GAAG,CAAC,GAAG,EAAE,CAAC,EAAE,KAAK,EAAE,CAAC;CAS9B"}

package/dist/lib/utils.js

@@ -1,22 +1,24 @@
+/**
+ * A `Map` subclass that auto-creates values for missing keys using a
+ * factory function. Optionally enforces an LRU-style size limit by
+ * evicting the oldest entry when the limit is reached.
+ */
 export class DefaultMap extends Map {
     mkDefault;
     limit;
     constructor(mkDefault, entries, limit = -1) {
-        /**
-         * mkDefault is a function which (optionally) takes one argument, a value passed as the key,
-         * and returns a value which to use if that key is not present in the map. The function may
-         * throw an error if the key is invalid or forbidden to limit the scope of values in the map.
-         */
         super(entries);
         this.mkDefault = mkDefault;
         this.limit = limit;
     }
+    /** Returns the value for `key`, creating it via the factory if absent. */
     get(key) {
         if (!this.has(key)) {
             this.set(key, this.mkDefault(key));
         }
         return super.get(key);
     }
+    /** Sets `key` to `value`, evicting the oldest entry if the size limit is reached. */
     set(key, value) {
         if (this.limit >= 0 && this.size + 1 >= this.limit) {
             // Remove the oldest entry when the limit is reached

package/dist/lib/utils.js.map

@@ -1 +1 @@
-{"version":3,"file":"utils.js","sourceRoot":"","sources":["../../src/lib/utils.ts"],"names":[],"mappings":"AACA,MAAM,OAAO,UAAiB,SAAQ,GAAS;IACnC,SAAS,CAA2B;IACpC,KAAK,CAAQ;IAErB,YACI,SAAoC,EACpC,OAA0B,EAC1B,KAAK,GAAG,CAAC,CAAC;QAEV;;;;WAIG;QACH,KAAK,CAAC,OAAO,CAAC,CAAA;QACd,IAAI,CAAC,SAAS,GAAG,SAAS,CAAA;QAC1B,IAAI,CAAC,KAAK,GAAG,KAAK,CAAA;IACtB,CAAC;IAEM,GAAG,CAAC,GAAM;QACb,IAAI,CAAC,IAAI,CAAC,GAAG,CAAC,GAAG,CAAC,EAAE,CAAC;YACjB,IAAI,CAAC,GAAG,CAAC,GAAG,EAAE,IAAI,CAAC,SAAS,CAAC,GAAG,CAAC,CAAC,CAAA;QACtC,CAAC;QACD,OAAO,KAAK,CAAC,GAAG,CAAC,GAAG,CAAE,CAAA;IAC1B,CAAC;IAEM,GAAG,CAAC,GAAM,EAAE,KAAQ;QACvB,IAAI,IAAI,CAAC,KAAK,IAAI,CAAC,IAAI,IAAI,CAAC,IAAI,GAAG,CAAC,IAAI,IAAI,CAAC,KAAK,EAAE,CAAC;YACjD,oDAAoD;YACpD,mFAAmF;YACnF,MAAM,SAAS,GAAG,IAAI,CAAC,IAAI,EAAE,CAAC,IAAI,EAAE,CAAC,KAAK,CAAA;YAC1C,IAAI,SAAS,KAAK,SAAS;gBAAE,IAAI,CAAC,MAAM,CAAC,SAAS,CAAC,CAAA;QACvD,CAAC;QACD,OAAO,KAAK,CAAC,GAAG,CAAC,GAAG,EAAE,KAAK,CAAC,CAAA;IAChC,CAAC;CACJ"}
+{"version":3,"file":"utils.js","sourceRoot":"","sources":["../../src/lib/utils.ts"],"names":[],"mappings":"AAEA;;;;GAIG;AACH,MAAM,OAAO,UAAiB,SAAQ,GAAS;IACnC,SAAS,CAA2B;IACpC,KAAK,CAAQ;IAErB,YACI,SAAoC,EACpC,OAA0B,EAC1B,KAAK,GAAG,CAAC,CAAC;QAEV,KAAK,CAAC,OAAO,CAAC,CAAA;QACd,IAAI,CAAC,SAAS,GAAG,SAAS,CAAA;QAC1B,IAAI,CAAC,KAAK,GAAG,KAAK,CAAA;IACtB,CAAC;IAED,0EAA0E;IACnE,GAAG,CAAC,GAAM;QACb,IAAI,CAAC,IAAI,CAAC,GAAG,CAAC,GAAG,CAAC,EAAE,CAAC;YACjB,IAAI,CAAC,GAAG,CAAC,GAAG,EAAE,IAAI,CAAC,SAAS,CAAC,GAAG,CAAC,CAAC,CAAA;QACtC,CAAC;QACD,OAAO,KAAK,CAAC,GAAG,CAAC,GAAG,CAAE,CAAA;IAC1B,CAAC;IAED,qFAAqF;IAC9E,GAAG,CAAC,GAAM,EAAE,KAAQ;QACvB,IAAI,IAAI,CAAC,KAAK,IAAI,CAAC,IAAI,IAAI,CAAC,IAAI,GAAG,CAAC,IAAI,IAAI,CAAC,KAAK,EAAE,CAAC;YACjD,oDAAoD;YACpD,mFAAmF;YACnF,MAAM,SAAS,GAAG,IAAI,CAAC,IAAI,EAAE,CAAC,IAAI,EAAE,CAAC,KAAK,CAAA;YAC1C,IAAI,SAAS,KAAK,SAAS;gBAAE,IAAI,CAAC,MAAM,CAAC,SAAS,CAAC,CAAA;QACvD,CAAC;QACD,OAAO,KAAK,CAAC,GAAG,CAAC,GAAG,EAAE,KAAK,CAAC,CAAA;IAChC,CAAC;CACJ"}

package/package.json

@@ -1,8 +1,16 @@
 {
   "name": "@polintpro/proposit-core",
-  "version": "0.1.2",
+  "version": "0.1.4",
   "description": "Core engine for building and manipulating propositional logic arguments.",
   "license": "MIT",
+  "keywords": [
+    "propositional-logic",
+    "logic-engine",
+    "argument",
+    "validation",
+    "formal-logic"
+  ],
+  "homepage": "https://github.com/polintpro/proposit-core",
   "type": "module",
   "main": "./dist/index.js",
   "types": "./dist/index.d.ts",
@@ -13,7 +21,7 @@
     }
   },
   "bin": {
-    "core": "./dist/cli.js"
+    "proposit-core": "./dist/cli.js"
   },
   "files": [
     "dist"
@@ -26,9 +34,11 @@
     "access": "public"
   },
   "devDependencies": {
+    "@types/js-yaml": "^4.0.9",
     "@types/node": "^25.2.3",
     "eslint": "^9.39.2",
     "globals": "^16.5.0",
+    "peggy": "^5.0.6",
     "prettier": "^3.8.1",
     "typescript": "^5.9.3",
     "typescript-eslint": "^8.55.0",
@@ -36,10 +46,12 @@
   },
   "dependencies": {
     "commander": "^14.0.3",
+    "js-yaml": "^4.1.1",
     "typebox": "^1.1.0"
   },
   "scripts": {
-    "build": "pnpm tsc -p tsconfig.build.json",
+    "generate:parser": "peggy --format es -o src/lib/core/parser/formula-gen.js src/lib/core/parser/formula.peggy",
+    "build": "pnpm run generate:parser && pnpm tsc -p tsconfig.build.json && cp src/lib/core/parser/formula-gen.js dist/lib/core/parser/formula-gen.js",
     "typecheck": "pnpm tsc -p tsconfig.json",
     "lint": "pnpm run prettify:check && pnpm eslint .",
     "prettify": "pnpm prettier -w .",