@polintpro/proposit-core 0.1.3 → 0.1.4

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

@@ -1,105 +1,172 @@
 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 TCoreVariableAssignment = Record<string, boolean>;
+/** 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 TCoreValidationResult {
+    /** `true` iff no `error`-severity issues are present. */
     ok: boolean;
+    /** Full list of validation findings (errors and warnings). */
     issues: TCoreValidationIssue[];
 }
 export interface TCoreDirectionalVacuity {
-    antecedentTrue: boolean;
-    consequentTrue: boolean;
-    implicationValue: boolean;
-    isVacuouslyTrue: boolean;
-    fired: boolean;
+    /** 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 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;
+    leftValue: TCoreTrivalentValue;
+    rightValue: TCoreTrivalentValue;
+    rootValue: TCoreTrivalentValue;
     leftToRight: TCoreDirectionalVacuity;
     rightToLeft: TCoreDirectionalVacuity;
-    bothSidesTrue: boolean;
-    bothSidesFalse: boolean;
+    bothSidesTrue: TCoreTrivalentValue;
+    bothSidesFalse: TCoreTrivalentValue;
 };
 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>;
+    /** 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 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 TCoreArgumentEvaluationResult {
+    /** `false` means evaluation could not be completed (typically validation failure). */
     ok: boolean;
+    /** Validation output when `ok === false`, or when validation was requested and included. */
     validation?: TCoreValidationResult;
-    assignment?: TCoreVariableAssignment;
+    /** The assignment used for this evaluation. */
+    assignment?: TCoreExpressionAssignment;
+    /** All variable IDs referenced across evaluated supporting/conclusion/constraint premises. */
     referencedVariableIds?: string[];
+    /** 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[];
-    isAdmissibleAssignment?: boolean;
-    allSupportingPremisesTrue?: boolean;
-    conclusionTrue?: boolean;
-    isCounterexample?: boolean;
-    preservesTruthUnderAssignment?: boolean;
+    /** `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 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 TCoreCounterexample {
-    assignment: TCoreVariableAssignment;
+    /** Assignment under which the argument fails to preserve truth. */
+    assignment: TCoreExpressionAssignment;
+    /** Full argument evaluation result for that assignment. */
     result: TCoreArgumentEvaluationResult;
 }
 export interface TCoreValidityCheckResult {
+    /** `false` means the validity check could not run to completion. */
     ok: boolean;
+    /** 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 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,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"}
+{"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.3",
+  "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",
@@ -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 .",