@proposit/proposit-core 3.4.2 → 4.0.0

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

@@ -1,10 +1,37 @@
 import type { TCoreArgumentRoleState } from "../schemata/index.js";
 export type { TCoreArgumentRoleState };
+/**
+ * The fourth truth value: the reader's assignments, run through the steps they
+ * granted, force this both true and false.
+ *
+ * Only evaluation produces it. A reader assigns `TCoreTrivalentValue`, and the
+ * assignment types below deliberately exclude this literal so a caller cannot
+ * feed it back in.
+ */
+export declare const CONTESTED = "contested";
+/** The type of {@link CONTESTED}. */
+export type TCoreContestedValue = typeof CONTESTED;
 /** Three-valued truth value: true, false, or null (unset/unknown). */
 export type TCoreTrivalentValue = boolean | null;
+/**
+ * Four-valued truth value — the three a reader may assign, plus
+ * {@link CONTESTED}, which only evaluation can produce.
+ */
+export type TCoreQuadrivalentValue = TCoreTrivalentValue | TCoreContestedValue;
+/** Narrows a four-valued truth value to {@link CONTESTED}. */
+export declare function isContested(value: TCoreQuadrivalentValue | undefined): value is TCoreContestedValue;
 /** Maps variable IDs to three-valued truth values. */
 export type TCoreVariableAssignment = Record<string, TCoreTrivalentValue>;
-/** Operator acceptance state: accepted (true), rejected (false), or unset (normal evaluation). */
+/** Maps variable IDs to the four-valued results constraint closure produced. */
+export type TCoreResolvedVariableValues = Record<string, TCoreQuadrivalentValue>;
+/**
+ * Operator decision recorded by a reader.
+ *
+ * `"accepted"` grants the step: constraint propagation may derive values
+ * through it. `"rejected"` withholds the step and **strikes the whole premise
+ * the operator lives in** from the evaluated set — it asserts nothing, and in
+ * particular never forces the expression or its children to `false`.
+ */
 export type TCoreOperatorAssignment = "accepted" | "rejected";
 /** Full expression assignment: variable truth values and operator acceptance states. */
 export interface TCoreExpressionAssignment {
@@ -13,6 +40,19 @@ export interface TCoreExpressionAssignment {
     /** Operator expression ID → accepted/rejected. Unset operators evaluate normally. */
     operatorAssignments: Record<string, TCoreOperatorAssignment>;
 }
+/**
+ * An assignment carrying the values constraint closure resolved, which may
+ * include {@link CONTESTED}. Evaluation feeds its own closure output back into
+ * premise evaluation through this type; a reader supplies
+ * {@link TCoreExpressionAssignment}, which is assignable to this one but never
+ * the reverse.
+ */
+export interface TCoreResolvedAssignment {
+    /** Variable ID → true/false/null/contested. */
+    variables: TCoreResolvedVariableValues;
+    /** Operator expression ID → accepted/rejected. Unset operators evaluate normally. */
+    operatorAssignments: Record<string, TCoreOperatorAssignment>;
+}
 /** Severity level for validation issues. */
 export type TCoreValidationSeverity = "error" | "warning";
 /** Machine-readable codes for all validation issues. */
@@ -39,39 +79,39 @@ export interface TCoreValidationResult {
 }
 export interface TCoreDirectionalVacuity {
     /** Truth value of the antecedent for this directional implication view. */
-    antecedentTrue: TCoreTrivalentValue;
+    antecedentTrue: TCoreQuadrivalentValue;
     /** Truth value of the consequent for this directional implication view. */
-    consequentTrue: TCoreTrivalentValue;
+    consequentTrue: TCoreQuadrivalentValue;
     /** Result of evaluating `antecedent -> consequent`. */
-    implicationValue: TCoreTrivalentValue;
+    implicationValue: TCoreQuadrivalentValue;
     /** `true` iff the implication is true because the antecedent is false; `null` if indeterminate. */
-    isVacuouslyTrue: TCoreTrivalentValue;
+    isVacuouslyTrue: TCoreQuadrivalentValue;
     /** `true` iff the antecedent was true (the implication "fired"); `null` if indeterminate. */
-    fired: TCoreTrivalentValue;
+    fired: TCoreQuadrivalentValue;
 }
 export type TCorePremiseInferenceDiagnostic = {
     kind: "implies";
     premiseId: string;
     rootExpressionId: string;
-    leftValue: TCoreTrivalentValue;
-    rightValue: TCoreTrivalentValue;
-    rootValue: TCoreTrivalentValue;
-    antecedentTrue: TCoreTrivalentValue;
-    consequentTrue: TCoreTrivalentValue;
-    isVacuouslyTrue: TCoreTrivalentValue;
-    fired: TCoreTrivalentValue;
-    firedAndHeld: TCoreTrivalentValue;
+    leftValue: TCoreQuadrivalentValue;
+    rightValue: TCoreQuadrivalentValue;
+    rootValue: TCoreQuadrivalentValue;
+    antecedentTrue: TCoreQuadrivalentValue;
+    consequentTrue: TCoreQuadrivalentValue;
+    isVacuouslyTrue: TCoreQuadrivalentValue;
+    fired: TCoreQuadrivalentValue;
+    firedAndHeld: TCoreQuadrivalentValue;
 } | {
     kind: "iff";
     premiseId: string;
     rootExpressionId: string;
-    leftValue: TCoreTrivalentValue;
-    rightValue: TCoreTrivalentValue;
-    rootValue: TCoreTrivalentValue;
+    leftValue: TCoreQuadrivalentValue;
+    rightValue: TCoreQuadrivalentValue;
+    rootValue: TCoreQuadrivalentValue;
     leftToRight: TCoreDirectionalVacuity;
     rightToLeft: TCoreDirectionalVacuity;
-    bothSidesTrue: TCoreTrivalentValue;
-    bothSidesFalse: TCoreTrivalentValue;
+    bothSidesTrue: TCoreQuadrivalentValue;
+    bothSidesFalse: TCoreQuadrivalentValue;
 };
 export interface TCorePremiseEvaluationResult {
     /** ID of the evaluated premise. */
@@ -81,11 +121,11 @@ export interface TCorePremiseEvaluationResult {
     /** Root expression ID, if the premise has a root. */
     rootExpressionId?: string;
     /** Truth value of the root expression, if the premise was evaluable. */
-    rootValue?: TCoreTrivalentValue;
+    rootValue?: TCoreQuadrivalentValue;
     /** Per-expression truth values keyed by expression ID. */
-    expressionValues: Record<string, TCoreTrivalentValue>;
+    expressionValues: Record<string, TCoreQuadrivalentValue>;
     /** Referenced variable truth values keyed by variable ID. */
-    variableValues: Record<string, TCoreTrivalentValue>;
+    variableValues: Record<string, TCoreQuadrivalentValue>;
     /** Inference-specific diagnostics for `implies`/`iff` roots. */
     inferenceDiagnostic?: TCorePremiseInferenceDiagnostic;
 }
@@ -98,14 +138,26 @@ export interface TCoreArgumentEvaluationOptions {
     includeDiagnostics?: boolean;
     /** Run argument/premise evaluability validation before evaluating. */
     validateFirst?: boolean;
+    /**
+     * Variable IDs pinned `true` in every row of the premise-set
+     * satisfiability search — typically axiomatic-bound variables, which the
+     * engine forces true. They are also never treated as reader assertions.
+     */
+    forcedTrueVariableIds?: ReadonlySet<string>;
+    /**
+     * Premise-set satisfiability computed by the caller. Supplying it skips
+     * the search — `checkArgumentValidity` computes it once and threads it
+     * through its truth-table rows, where the surviving set never varies.
+     */
+    premiseSetSatisfiable?: TCoreTrivalentValue;
 }
 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;
-    /** The assignment used for this evaluation. */
-    assignment?: TCoreExpressionAssignment;
+    /** The assignment used for this evaluation, after constraint closure. */
+    assignment?: TCoreResolvedAssignment;
     /** All variable IDs referenced across evaluated supporting/conclusion/constraint premises. */
     referencedVariableIds?: string[];
     /** Evaluation result for the designated conclusion premise. */
@@ -114,23 +166,162 @@ export interface TCoreArgumentEvaluationResult {
     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;
+    /**
+     * IDs of premises struck from the evaluated set because the reader
+     * rejected an operator inside them. Struck premises are still evaluated
+     * and still present in `supportingPremises` / `constraintPremises`, so a
+     * consumer can render them crossed out — they are simply excluded from the
+     * aggregates, from constraint propagation, and from the satisfiability
+     * search.
+     *
+     * The conclusion premise and derivation premises are never struck.
+     */
+    struckPremiseIds?: string[];
+    /** Number of supporting premises that were not struck. */
+    survivingSupportingPremiseCount?: number;
+    /** `true` iff every surviving constraint premise evaluates to true. */
+    isAdmissibleAssignment?: TCoreQuadrivalentValue;
+    /**
+     * `true` iff every surviving supporting premise evaluates to true.
+     *
+     * Vacuously `true` when every supporting premise is struck — read it
+     * together with `survivingSupportingPremiseCount`, and never as
+     * "the argument worked". Whether the argument reached its conclusion is
+     * `conclusionAttribution`, not this field.
+     */
+    survivingSupportingPremisesTrue?: TCoreQuadrivalentValue;
     /** 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;
+    conclusionTrue?: TCoreQuadrivalentValue;
+    /**
+     * `true` iff constraints are satisfied, every surviving supporting premise
+     * is true, and the conclusion is false.
+     *
+     * A reader-relative gap under one assignment — **not** a countermodel to
+     * entailment, which is the stronger claim `checkValidity` answers.
+     *
+     * It rests on `survivingSupportingPremisesTrue`, which is vacuously `true`
+     * when nothing survives, so this field is `null` when the argument had
+     * supporting premises and the reader struck every one of them: the case was
+     * withheld, not weighed and found wanting. An argument authored with no
+     * supporting premises at all is the entailment-from-nothing case and still
+     * reports `true` for a false conclusion.
+     */
+    premisesHoldConclusionFalse?: TCoreQuadrivalentValue;
+    /**
+     * Variable IDs whose value came out {@link CONTESTED}, sorted. Always
+     * present when `ok`, and **not** gated on `includeDiagnostics`.
+     *
+     * Read this rather than inferring a conflict from the aggregates above.
+     * Propagation carries only the told-true component forward, so a contested
+     * variable can yield an uncontested `true` downstream and leave
+     * `conclusionTrue`, `isAdmissibleAssignment`,
+     * `survivingSupportingPremisesTrue`, `premisesHoldConclusionFalse` and
+     * `premiseSetSatisfiable` all reading clean while the reader's inputs
+     * still force something both true and false. A non-empty array is the one
+     * fact that always records it.
+     *
+     * Variable-keyed, covering every premise in the argument rather than only
+     * `referencedVariableIds`. `variableProvenance[id].contestedBy` names the
+     * granted steps behind each entry.
+     */
+    contestedVariableIds?: string[];
+    /**
+     * Where the conclusion's truth came from. `assertedByReader` records that
+     * the reader supplied a value for at least one claim the conclusion
+     * premise references; `reachedWithoutAssertion` withholds all of them,
+     * re-runs constraint propagation from the reduced seed, and reports
+     * whether the conclusion premise root still comes back `true`.
+     */
+    conclusionAttribution?: TCoreValueAttribution;
+    /**
+     * Per-claim attribution, one entry per reader-asserted claim-bound
+     * variable. `reachedWithoutAssertion` here asks whether the **same value**
+     * returns once the reader's own assignment of that variable is withheld —
+     * the conclusion asks whether it comes back `true`. Populated only when
+     * `includeDiagnostics: true`, and omitted entirely when no operator is
+     * accepted (nothing can be derived, so every answer would be `false`).
+     */
+    claimAttribution?: Record<string, TCoreValueAttribution>;
+    /**
+     * `true` iff some total assignment makes every surviving premise true.
+     * Asked of the surviving premise set alone, ignoring the reader's own
+     * assignment. `null` means "not determined" — the premise set has more
+     * free variables than the search ceiling.
+     *
+     * When `false`, constraint propagation is skipped entirely: nothing is
+     * derived, and the conclusion reports only what the reader asserted.
+     */
+    premiseSetSatisfiable?: TCoreTrivalentValue;
     /**
      * Evaluator's authoritative propagated variable values across the whole
      * argument. Populated only when `includeDiagnostics: true`. Key set
      * matches `referencedVariableIds`; still-unresolved variables appear
      * with value `null`.
      */
-    propagatedVariableValues?: Record<string, TCoreTrivalentValue>;
+    propagatedVariableValues?: TCoreResolvedVariableValues;
+    /**
+     * Where each propagated value came from, keyed like
+     * `propagatedVariableValues`. Populated only when
+     * `includeDiagnostics: true`.
+     */
+    variableProvenance?: Record<string, TCoreVariableProvenance>;
+}
+/** Whether a value was supplied by the reader, and whether it holds without that. */
+export interface TCoreValueAttribution {
+    /** `true` iff the reader supplied `true` or `false`. An explicit unknown is a decision, not an assertion. */
+    assertedByReader: boolean;
+    /** `true` iff the value still holds once the reader's own assertion is withheld and closure is recomputed. */
+    reachedWithoutAssertion: boolean;
+}
+/** Where a propagated variable value came from. */
+export type TCoreValueOrigin = "asserted" | "derived" | "contested" | "unassigned";
+/** The granted operator step that produced a derived value. */
+export interface TCoreDerivationStep {
+    /** The accepted operator expression that produced the value. */
+    expressionId: string;
+    /** The premise that operator lives in. */
+    premiseId: string;
+    /**
+     * Variable IDs whose values the step consumed. One immediate step is
+     * recorded per value; walk these transitively to reconstruct a chain.
+     */
+    fromVariableIds: string[];
+}
+export interface TCoreVariableProvenance {
+    /** The variable's value after propagation. */
+    value: TCoreQuadrivalentValue;
+    /**
+     * `"contested"` whenever the value is {@link CONTESTED}, whatever else
+     * contributed; otherwise `"asserted"` for a reader-supplied `true`/`false`,
+     * `"derived"` for anything propagation produced, `"unassigned"` for a value
+     * still unresolved.
+     */
+    origin: TCoreValueOrigin;
+    /** The immediate producing step; present iff `origin === "derived"`. */
+    derivedBy?: TCoreDerivationStep;
+    /**
+     * Every granted step that contributed a truth component to a contested
+     * value, in a stable order; present iff `origin === "contested"`. The
+     * reader's own assertion is not a step and never appears here — compare
+     * `assignment.variables[id]` to see whether one of the two components came
+     * from the reader. `derivedBy` is absent for a contested value: naming one
+     * producing step is a lie once two steps disagree.
+     */
+    contestedBy?: TCoreDerivationStep[];
+}
+/** Options for `propagateOperatorConstraints`. */
+export interface TCorePropagationOptions {
+    /**
+     * Premise IDs excluded from propagation entirely — their expressions are
+     * not indexed, so no operator inside them contributes a value.
+     */
+    excludedPremiseIds?: ReadonlySet<string>;
+    /**
+     * Variable IDs dropped from the seed before closure runs. Used by the
+     * attribution counterfactual: withhold an assertion, then recompute from
+     * the remaining inputs rather than deleting a value after the fact.
+     */
+    withheldVariableIds?: ReadonlySet<string>;
 }
 export interface TCoreValidityCheckOptions {
     /** Stop at first counterexample or continue exhaustively. */
@@ -158,7 +349,7 @@ export interface TCoreValidityCheckOptions {
 }
 export interface TCoreCounterexample {
     /** Assignment under which the argument fails to preserve truth. */
-    assignment: TCoreExpressionAssignment;
+    assignment: TCoreResolvedAssignment;
     /** Full argument evaluation result for that assignment. */
     result: TCoreArgumentEvaluationResult;
 }

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

@@ -1 +1 @@
-{"version":3,"file":"evaluation.d.ts","sourceRoot":"","sources":["../../../src/lib/types/evaluation.ts"],"names":[],"mappings":"AAAA,OAAO,KAAK,EAAE,sBAAsB,EAAE,MAAM,sBAAsB,CAAA;AAElE,YAAY,EAAE,sBAAsB,EAAE,CAAA;AAEtC,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,kGAAkG;AAClG,MAAM,MAAM,uBAAuB,GAAG,UAAU,GAAG,UAAU,CAAA;AAE7D,wFAAwF;AACxF,MAAM,WAAW,yBAAyB;IACtC,6DAA6D;IAC7D,SAAS,EAAE,uBAAuB,CAAA;IAClC,qFAAqF;IACrF,mBAAmB,EAAE,MAAM,CAAC,MAAM,EAAE,uBAAuB,CAAC,CAAA;CAC/D;AAED,4CAA4C;AAC5C,MAAM,MAAM,uBAAuB,GAAG,OAAO,GAAG,SAAS,CAAA;AAEzD,wDAAwD;AACxD,MAAM,MAAM,mBAAmB,GACzB,wBAAwB,GACxB,+BAA+B,GAC/B,sCAAsC,GACtC,oCAAoC,GACpC,eAAe,GACf,sBAAsB,GACtB,uBAAuB,GACvB,0BAA0B,GAC1B,+BAA+B,GAC/B,0BAA0B,GAC1B,6BAA6B,GAC7B,6BAA6B,GAC7B,8CAA8C,GAC9C,+CAA+C,GAC/C,kDAAkD,GAClD,iBAAiB,GACjB,0BAA0B,GAC1B,8BAA8B,CAAA;AAEpC,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;IACnD;;;;;OAKG;IACH,wBAAwB,CAAC,EAAE,MAAM,CAAC,MAAM,EAAE,mBAAmB,CAAC,CAAA;CACjE;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;IACvB;;;;OAIG;IACH,mBAAmB,CAAC,EAAE,GAAG,CAAC,MAAM,CAAC,CAAA;IACjC;;;;OAIG;IACH,qBAAqB,CAAC,EAAE,GAAG,CAAC,MAAM,CAAC,CAAA;CACtC;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"}
+{"version":3,"file":"evaluation.d.ts","sourceRoot":"","sources":["../../../src/lib/types/evaluation.ts"],"names":[],"mappings":"AAAA,OAAO,KAAK,EAAE,sBAAsB,EAAE,MAAM,sBAAsB,CAAA;AAElE,YAAY,EAAE,sBAAsB,EAAE,CAAA;AAEtC;;;;;;;GAOG;AACH,eAAO,MAAM,SAAS,cAAc,CAAA;AAEpC,qCAAqC;AACrC,MAAM,MAAM,mBAAmB,GAAG,OAAO,SAAS,CAAA;AAElD,sEAAsE;AACtE,MAAM,MAAM,mBAAmB,GAAG,OAAO,GAAG,IAAI,CAAA;AAEhD;;;GAGG;AACH,MAAM,MAAM,sBAAsB,GAAG,mBAAmB,GAAG,mBAAmB,CAAA;AAE9E,8DAA8D;AAC9D,wBAAgB,WAAW,CACvB,KAAK,EAAE,sBAAsB,GAAG,SAAS,GAC1C,KAAK,IAAI,mBAAmB,CAE9B;AAED,sDAAsD;AACtD,MAAM,MAAM,uBAAuB,GAAG,MAAM,CAAC,MAAM,EAAE,mBAAmB,CAAC,CAAA;AAEzE,gFAAgF;AAChF,MAAM,MAAM,2BAA2B,GAAG,MAAM,CAAC,MAAM,EAAE,sBAAsB,CAAC,CAAA;AAEhF;;;;;;;GAOG;AACH,MAAM,MAAM,uBAAuB,GAAG,UAAU,GAAG,UAAU,CAAA;AAE7D,wFAAwF;AACxF,MAAM,WAAW,yBAAyB;IACtC,6DAA6D;IAC7D,SAAS,EAAE,uBAAuB,CAAA;IAClC,qFAAqF;IACrF,mBAAmB,EAAE,MAAM,CAAC,MAAM,EAAE,uBAAuB,CAAC,CAAA;CAC/D;AAED;;;;;;GAMG;AACH,MAAM,WAAW,uBAAuB;IACpC,+CAA+C;IAC/C,SAAS,EAAE,2BAA2B,CAAA;IACtC,qFAAqF;IACrF,mBAAmB,EAAE,MAAM,CAAC,MAAM,EAAE,uBAAuB,CAAC,CAAA;CAC/D;AAED,4CAA4C;AAC5C,MAAM,MAAM,uBAAuB,GAAG,OAAO,GAAG,SAAS,CAAA;AAEzD,wDAAwD;AACxD,MAAM,MAAM,mBAAmB,GACzB,wBAAwB,GACxB,+BAA+B,GAC/B,sCAAsC,GACtC,oCAAoC,GACpC,eAAe,GACf,sBAAsB,GACtB,uBAAuB,GACvB,0BAA0B,GAC1B,+BAA+B,GAC/B,0BAA0B,GAC1B,6BAA6B,GAC7B,6BAA6B,GAC7B,8CAA8C,GAC9C,+CAA+C,GAC/C,kDAAkD,GAClD,iBAAiB,GACjB,0BAA0B,GAC1B,8BAA8B,CAAA;AAEpC,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,sBAAsB,CAAA;IACtC,2EAA2E;IAC3E,cAAc,EAAE,sBAAsB,CAAA;IACtC,uDAAuD;IACvD,gBAAgB,EAAE,sBAAsB,CAAA;IACxC,mGAAmG;IACnG,eAAe,EAAE,sBAAsB,CAAA;IACvC,6FAA6F;IAC7F,KAAK,EAAE,sBAAsB,CAAA;CAChC;AAED,MAAM,MAAM,+BAA+B,GACrC;IACI,IAAI,EAAE,SAAS,CAAA;IACf,SAAS,EAAE,MAAM,CAAA;IACjB,gBAAgB,EAAE,MAAM,CAAA;IACxB,SAAS,EAAE,sBAAsB,CAAA;IACjC,UAAU,EAAE,sBAAsB,CAAA;IAClC,SAAS,EAAE,sBAAsB,CAAA;IACjC,cAAc,EAAE,sBAAsB,CAAA;IACtC,cAAc,EAAE,sBAAsB,CAAA;IACtC,eAAe,EAAE,sBAAsB,CAAA;IACvC,KAAK,EAAE,sBAAsB,CAAA;IAC7B,YAAY,EAAE,sBAAsB,CAAA;CACvC,GACD;IACI,IAAI,EAAE,KAAK,CAAA;IACX,SAAS,EAAE,MAAM,CAAA;IACjB,gBAAgB,EAAE,MAAM,CAAA;IACxB,SAAS,EAAE,sBAAsB,CAAA;IACjC,UAAU,EAAE,sBAAsB,CAAA;IAClC,SAAS,EAAE,sBAAsB,CAAA;IACjC,WAAW,EAAE,uBAAuB,CAAA;IACpC,WAAW,EAAE,uBAAuB,CAAA;IACpC,aAAa,EAAE,sBAAsB,CAAA;IACrC,cAAc,EAAE,sBAAsB,CAAA;CACzC,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,sBAAsB,CAAA;IAClC,0DAA0D;IAC1D,gBAAgB,EAAE,MAAM,CAAC,MAAM,EAAE,sBAAsB,CAAC,CAAA;IACxD,6DAA6D;IAC7D,cAAc,EAAE,MAAM,CAAC,MAAM,EAAE,sBAAsB,CAAC,CAAA;IACtD,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;IACvB;;;;OAIG;IACH,qBAAqB,CAAC,EAAE,WAAW,CAAC,MAAM,CAAC,CAAA;IAC3C;;;;OAIG;IACH,qBAAqB,CAAC,EAAE,mBAAmB,CAAA;CAC9C;AAED,MAAM,WAAW,6BAA6B;IAC1C,sFAAsF;IACtF,EAAE,EAAE,OAAO,CAAA;IACX,4FAA4F;IAC5F,UAAU,CAAC,EAAE,qBAAqB,CAAA;IAClC,yEAAyE;IACzE,UAAU,CAAC,EAAE,uBAAuB,CAAA;IACpC,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;;;;;;;;;OASG;IACH,gBAAgB,CAAC,EAAE,MAAM,EAAE,CAAA;IAC3B,0DAA0D;IAC1D,+BAA+B,CAAC,EAAE,MAAM,CAAA;IACxC,uEAAuE;IACvE,sBAAsB,CAAC,EAAE,sBAAsB,CAAA;IAC/C;;;;;;;OAOG;IACH,+BAA+B,CAAC,EAAE,sBAAsB,CAAA;IACxD,iEAAiE;IACjE,cAAc,CAAC,EAAE,sBAAsB,CAAA;IACvC;;;;;;;;;;;;;OAaG;IACH,2BAA2B,CAAC,EAAE,sBAAsB,CAAA;IACpD;;;;;;;;;;;;;;;;OAgBG;IACH,oBAAoB,CAAC,EAAE,MAAM,EAAE,CAAA;IAC/B;;;;;;OAMG;IACH,qBAAqB,CAAC,EAAE,qBAAqB,CAAA;IAC7C;;;;;;;OAOG;IACH,gBAAgB,CAAC,EAAE,MAAM,CAAC,MAAM,EAAE,qBAAqB,CAAC,CAAA;IACxD;;;;;;;;OAQG;IACH,qBAAqB,CAAC,EAAE,mBAAmB,CAAA;IAC3C;;;;;OAKG;IACH,wBAAwB,CAAC,EAAE,2BAA2B,CAAA;IACtD;;;;OAIG;IACH,kBAAkB,CAAC,EAAE,MAAM,CAAC,MAAM,EAAE,uBAAuB,CAAC,CAAA;CAC/D;AAED,qFAAqF;AACrF,MAAM,WAAW,qBAAqB;IAClC,6GAA6G;IAC7G,gBAAgB,EAAE,OAAO,CAAA;IACzB,8GAA8G;IAC9G,uBAAuB,EAAE,OAAO,CAAA;CACnC;AAED,mDAAmD;AACnD,MAAM,MAAM,gBAAgB,GACtB,UAAU,GACV,SAAS,GACT,WAAW,GACX,YAAY,CAAA;AAElB,+DAA+D;AAC/D,MAAM,WAAW,mBAAmB;IAChC,gEAAgE;IAChE,YAAY,EAAE,MAAM,CAAA;IACpB,0CAA0C;IAC1C,SAAS,EAAE,MAAM,CAAA;IACjB;;;OAGG;IACH,eAAe,EAAE,MAAM,EAAE,CAAA;CAC5B;AAED,MAAM,WAAW,uBAAuB;IACpC,8CAA8C;IAC9C,KAAK,EAAE,sBAAsB,CAAA;IAC7B;;;;;OAKG;IACH,MAAM,EAAE,gBAAgB,CAAA;IACxB,wEAAwE;IACxE,SAAS,CAAC,EAAE,mBAAmB,CAAA;IAC/B;;;;;;;OAOG;IACH,WAAW,CAAC,EAAE,mBAAmB,EAAE,CAAA;CACtC;AAED,kDAAkD;AAClD,MAAM,WAAW,uBAAuB;IACpC;;;OAGG;IACH,kBAAkB,CAAC,EAAE,WAAW,CAAC,MAAM,CAAC,CAAA;IACxC;;;;OAIG;IACH,mBAAmB,CAAC,EAAE,WAAW,CAAC,MAAM,CAAC,CAAA;CAC5C;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;IACvB;;;;OAIG;IACH,mBAAmB,CAAC,EAAE,GAAG,CAAC,MAAM,CAAC,CAAA;IACjC;;;;OAIG;IACH,qBAAqB,CAAC,EAAE,GAAG,CAAC,MAAM,CAAC,CAAA;CACtC;AAED,MAAM,WAAW,mBAAmB;IAChC,mEAAmE;IACnE,UAAU,EAAE,uBAAuB,CAAA;IACnC,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/types/evaluation.js

@@ -1,2 +1,14 @@
-export {};
+/**
+ * The fourth truth value: the reader's assignments, run through the steps they
+ * granted, force this both true and false.
+ *
+ * Only evaluation produces it. A reader assigns `TCoreTrivalentValue`, and the
+ * assignment types below deliberately exclude this literal so a caller cannot
+ * feed it back in.
+ */
+export const CONTESTED = "contested";
+/** Narrows a four-valued truth value to {@link CONTESTED}. */
+export function isContested(value) {
+    return value === CONTESTED;
+}
 //# sourceMappingURL=evaluation.js.map

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

@@ -1 +1 @@
-{"version":3,"file":"evaluation.js","sourceRoot":"","sources":["../../../src/lib/types/evaluation.ts"],"names":[],"mappings":""}
+{"version":3,"file":"evaluation.js","sourceRoot":"","sources":["../../../src/lib/types/evaluation.ts"],"names":[],"mappings":"AAIA;;;;;;;GAOG;AACH,MAAM,CAAC,MAAM,SAAS,GAAG,WAAW,CAAA;AAcpC,8DAA8D;AAC9D,MAAM,UAAU,WAAW,CACvB,KAAyC;IAEzC,OAAO,KAAK,KAAK,SAAS,CAAA;AAC9B,CAAC"}

package/package.json

@@ -1,6 +1,6 @@
 {
   "name": "@proposit/proposit-core",
-  "version": "3.4.2",
+  "version": "4.0.0",
   "description": "Core engine for building and manipulating propositional logic arguments.",
   "license": "MIT",
   "keywords": [

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

@@ -1,29 +0,0 @@
-import type { TCoreArgumentEvaluationResult } from "../../types/evaluation.js";
-/**
- * Human-readable grade for an argument evaluation result.
- * Summarizes the logical status of the argument under the given assignment.
- */
-export type TCoreEvaluationGrade = "sound" | "vacuously-true" | "unsound" | "counterexample" | "inadmissible" | "indeterminate";
-export interface TCoreEvaluationGrading {
-    /** Machine-readable grade. */
-    grade: TCoreEvaluationGrade;
-    /** Short human-readable label (e.g. "Sound", "Vacuously True"). */
-    label: string;
-    /** Display color name for UI rendering. */
-    color: "green" | "orange" | "red" | "gray";
-}
-/**
- * Derives a human-readable grade from an argument evaluation result.
- *
- * Precedence:
- * 1. Evaluation failed (ok=false) → indeterminate
- * 2. Inadmissible assignment → inadmissible
- * 3. Supporting premise false → unsound
- * 4. Counterexample (all supporting true, conclusion false) → counterexample
- * 5. Supporting premises not known true (unknown or absent) → indeterminate
- * 6. Conclusion vacuously true → vacuously-true
- * 7. Conclusion true → sound
- * 8. Otherwise → indeterminate
- */
-export declare function gradeEvaluation(result: TCoreArgumentEvaluationResult): TCoreEvaluationGrading;
-//# sourceMappingURL=grading.d.ts.map

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

@@ -1 +0,0 @@
-{"version":3,"file":"grading.d.ts","sourceRoot":"","sources":["../../../../src/lib/core/evaluation/grading.ts"],"names":[],"mappings":"AAAA,OAAO,KAAK,EAAE,6BAA6B,EAAE,MAAM,2BAA2B,CAAA;AAE9E;;;GAGG;AACH,MAAM,MAAM,oBAAoB,GAC1B,OAAO,GACP,gBAAgB,GAChB,SAAS,GACT,gBAAgB,GAChB,cAAc,GACd,eAAe,CAAA;AAErB,MAAM,WAAW,sBAAsB;IACnC,8BAA8B;IAC9B,KAAK,EAAE,oBAAoB,CAAA;IAC3B,mEAAmE;IACnE,KAAK,EAAE,MAAM,CAAA;IACb,2CAA2C;IAC3C,KAAK,EAAE,OAAO,GAAG,QAAQ,GAAG,KAAK,GAAG,MAAM,CAAA;CAC7C;AAED;;;;;;;;;;;;GAYG;AACH,wBAAgB,eAAe,CAC3B,MAAM,EAAE,6BAA6B,GACtC,sBAAsB,CAyCxB"}

package/dist/lib/core/evaluation/grading.js

@@ -1,50 +0,0 @@
-/**
- * Derives a human-readable grade from an argument evaluation result.
- *
- * Precedence:
- * 1. Evaluation failed (ok=false) → indeterminate
- * 2. Inadmissible assignment → inadmissible
- * 3. Supporting premise false → unsound
- * 4. Counterexample (all supporting true, conclusion false) → counterexample
- * 5. Supporting premises not known true (unknown or absent) → indeterminate
- * 6. Conclusion vacuously true → vacuously-true
- * 7. Conclusion true → sound
- * 8. Otherwise → indeterminate
- */
-export function gradeEvaluation(result) {
-    if (!result.ok) {
-        return { grade: "indeterminate", label: "Indeterminate", color: "gray" };
-    }
-    if (result.isAdmissibleAssignment === false) {
-        return { grade: "inadmissible", label: "Inadmissible", color: "gray" };
-    }
-    if (result.allSupportingPremisesTrue === false) {
-        return { grade: "unsound", label: "Unsound", color: "red" };
-    }
-    if (result.isCounterexample === true) {
-        return {
-            grade: "counterexample",
-            label: "Counterexample",
-            color: "red",
-        };
-    }
-    // Soundness requires the supporting premises to be true. An unknown or
-    // absent value is not true, so it can never reach sound or vacuously-true.
-    if (result.allSupportingPremisesTrue !== true) {
-        return { grade: "indeterminate", label: "Indeterminate", color: "gray" };
-    }
-    if (result.conclusionTrue === true) {
-        // Check if conclusion is vacuously true
-        const diag = result.conclusion?.inferenceDiagnostic;
-        if (diag?.kind === "implies" && diag.isVacuouslyTrue === true) {
-            return {
-                grade: "vacuously-true",
-                label: "Vacuously True",
-                color: "orange",
-            };
-        }
-        return { grade: "sound", label: "Sound", color: "green" };
-    }
-    return { grade: "indeterminate", label: "Indeterminate", color: "gray" };
-}
-//# sourceMappingURL=grading.js.map

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

@@ -1 +0,0 @@
-{"version":3,"file":"grading.js","sourceRoot":"","sources":["../../../../src/lib/core/evaluation/grading.ts"],"names":[],"mappings":"AAuBA;;;;;;;;;;;;GAYG;AACH,MAAM,UAAU,eAAe,CAC3B,MAAqC;IAErC,IAAI,CAAC,MAAM,CAAC,EAAE,EAAE,CAAC;QACb,OAAO,EAAE,KAAK,EAAE,eAAe,EAAE,KAAK,EAAE,eAAe,EAAE,KAAK,EAAE,MAAM,EAAE,CAAA;IAC5E,CAAC;IAED,IAAI,MAAM,CAAC,sBAAsB,KAAK,KAAK,EAAE,CAAC;QAC1C,OAAO,EAAE,KAAK,EAAE,cAAc,EAAE,KAAK,EAAE,cAAc,EAAE,KAAK,EAAE,MAAM,EAAE,CAAA;IAC1E,CAAC;IAED,IAAI,MAAM,CAAC,yBAAyB,KAAK,KAAK,EAAE,CAAC;QAC7C,OAAO,EAAE,KAAK,EAAE,SAAS,EAAE,KAAK,EAAE,SAAS,EAAE,KAAK,EAAE,KAAK,EAAE,CAAA;IAC/D,CAAC;IAED,IAAI,MAAM,CAAC,gBAAgB,KAAK,IAAI,EAAE,CAAC;QACnC,OAAO;YACH,KAAK,EAAE,gBAAgB;YACvB,KAAK,EAAE,gBAAgB;YACvB,KAAK,EAAE,KAAK;SACf,CAAA;IACL,CAAC;IAED,uEAAuE;IACvE,2EAA2E;IAC3E,IAAI,MAAM,CAAC,yBAAyB,KAAK,IAAI,EAAE,CAAC;QAC5C,OAAO,EAAE,KAAK,EAAE,eAAe,EAAE,KAAK,EAAE,eAAe,EAAE,KAAK,EAAE,MAAM,EAAE,CAAA;IAC5E,CAAC;IAED,IAAI,MAAM,CAAC,cAAc,KAAK,IAAI,EAAE,CAAC;QACjC,wCAAwC;QACxC,MAAM,IAAI,GAAG,MAAM,CAAC,UAAU,EAAE,mBAAmB,CAAA;QACnD,IAAI,IAAI,EAAE,IAAI,KAAK,SAAS,IAAI,IAAI,CAAC,eAAe,KAAK,IAAI,EAAE,CAAC;YAC5D,OAAO;gBACH,KAAK,EAAE,gBAAgB;gBACvB,KAAK,EAAE,gBAAgB;gBACvB,KAAK,EAAE,QAAQ;aAClB,CAAA;QACL,CAAC;QACD,OAAO,EAAE,KAAK,EAAE,OAAO,EAAE,KAAK,EAAE,OAAO,EAAE,KAAK,EAAE,OAAO,EAAE,CAAA;IAC7D,CAAC;IAED,OAAO,EAAE,KAAK,EAAE,eAAe,EAAE,KAAK,EAAE,eAAe,EAAE,KAAK,EAAE,MAAM,EAAE,CAAA;AAC5E,CAAC"}

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

@@ -1,12 +0,0 @@
-import type { TCoreTrivalentValue } from "../../types/evaluation.js";
-/** Kleene three-valued NOT: null propagates. */
-export declare function kleeneNot(a: TCoreTrivalentValue): TCoreTrivalentValue;
-/** Kleene three-valued AND: false dominates, null propagates. */
-export declare function kleeneAnd(a: TCoreTrivalentValue, b: TCoreTrivalentValue): TCoreTrivalentValue;
-/** Kleene three-valued OR: true dominates, null propagates. */
-export declare function kleeneOr(a: TCoreTrivalentValue, b: TCoreTrivalentValue): TCoreTrivalentValue;
-/** Kleene three-valued material implication: NOT a OR b. */
-export declare function kleeneImplies(a: TCoreTrivalentValue, b: TCoreTrivalentValue): TCoreTrivalentValue;
-/** Kleene three-valued biconditional: (a -> b) AND (b -> a). */
-export declare function kleeneIff(a: TCoreTrivalentValue, b: TCoreTrivalentValue): TCoreTrivalentValue;
-//# sourceMappingURL=kleene.d.ts.map

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

@@ -1 +0,0 @@
-{"version":3,"file":"kleene.d.ts","sourceRoot":"","sources":["../../../../src/lib/core/evaluation/kleene.ts"],"names":[],"mappings":"AAAA,OAAO,KAAK,EAAE,mBAAmB,EAAE,MAAM,2BAA2B,CAAA;AAEpE,gDAAgD;AAChD,wBAAgB,SAAS,CAAC,CAAC,EAAE,mBAAmB,GAAG,mBAAmB,CAErE;AAED,iEAAiE;AACjE,wBAAgB,SAAS,CACrB,CAAC,EAAE,mBAAmB,EACtB,CAAC,EAAE,mBAAmB,GACvB,mBAAmB,CAIrB;AAED,+DAA+D;AAC/D,wBAAgB,QAAQ,CACpB,CAAC,EAAE,mBAAmB,EACtB,CAAC,EAAE,mBAAmB,GACvB,mBAAmB,CAIrB;AAED,4DAA4D;AAC5D,wBAAgB,aAAa,CACzB,CAAC,EAAE,mBAAmB,EACtB,CAAC,EAAE,mBAAmB,GACvB,mBAAmB,CAErB;AAED,gEAAgE;AAChE,wBAAgB,SAAS,CACrB,CAAC,EAAE,mBAAmB,EACtB,CAAC,EAAE,mBAAmB,GACvB,mBAAmB,CAErB"}

package/dist/lib/core/evaluation/kleene.js

@@ -1,29 +0,0 @@
-/** Kleene three-valued NOT: null propagates. */
-export function kleeneNot(a) {
-    return a === null ? null : !a;
-}
-/** Kleene three-valued AND: false dominates, null propagates. */
-export function kleeneAnd(a, b) {
-    if (a === false || b === false)
-        return false;
-    if (a === null || b === null)
-        return null;
-    return true;
-}
-/** Kleene three-valued OR: true dominates, null propagates. */
-export function kleeneOr(a, b) {
-    if (a === true || b === true)
-        return true;
-    if (a === null || b === null)
-        return null;
-    return false;
-}
-/** Kleene three-valued material implication: NOT a OR b. */
-export function kleeneImplies(a, b) {
-    return kleeneOr(kleeneNot(a), b);
-}
-/** Kleene three-valued biconditional: (a -> b) AND (b -> a). */
-export function kleeneIff(a, b) {
-    return kleeneAnd(kleeneImplies(a, b), kleeneImplies(b, a));
-}
-//# sourceMappingURL=kleene.js.map

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

@@ -1 +0,0 @@
-{"version":3,"file":"kleene.js","sourceRoot":"","sources":["../../../../src/lib/core/evaluation/kleene.ts"],"names":[],"mappings":"AAEA,gDAAgD;AAChD,MAAM,UAAU,SAAS,CAAC,CAAsB;IAC5C,OAAO,CAAC,KAAK,IAAI,CAAC,CAAC,CAAC,IAAI,CAAC,CAAC,CAAC,CAAC,CAAC,CAAA;AACjC,CAAC;AAED,iEAAiE;AACjE,MAAM,UAAU,SAAS,CACrB,CAAsB,EACtB,CAAsB;IAEtB,IAAI,CAAC,KAAK,KAAK,IAAI,CAAC,KAAK,KAAK;QAAE,OAAO,KAAK,CAAA;IAC5C,IAAI,CAAC,KAAK,IAAI,IAAI,CAAC,KAAK,IAAI;QAAE,OAAO,IAAI,CAAA;IACzC,OAAO,IAAI,CAAA;AACf,CAAC;AAED,+DAA+D;AAC/D,MAAM,UAAU,QAAQ,CACpB,CAAsB,EACtB,CAAsB;IAEtB,IAAI,CAAC,KAAK,IAAI,IAAI,CAAC,KAAK,IAAI;QAAE,OAAO,IAAI,CAAA;IACzC,IAAI,CAAC,KAAK,IAAI,IAAI,CAAC,KAAK,IAAI;QAAE,OAAO,IAAI,CAAA;IACzC,OAAO,KAAK,CAAA;AAChB,CAAC;AAED,4DAA4D;AAC5D,MAAM,UAAU,aAAa,CACzB,CAAsB,EACtB,CAAsB;IAEtB,OAAO,QAAQ,CAAC,SAAS,CAAC,CAAC,CAAC,EAAE,CAAC,CAAC,CAAA;AACpC,CAAC;AAED,gEAAgE;AAChE,MAAM,UAAU,SAAS,CACrB,CAAsB,EACtB,CAAsB;IAEtB,OAAO,SAAS,CAAC,aAAa,CAAC,CAAC,EAAE,CAAC,CAAC,EAAE,aAAa,CAAC,CAAC,EAAE,CAAC,CAAC,CAAC,CAAA;AAC9D,CAAC"}