Interface TCoreArgumentEvaluationResult

The assignment used for this evaluation, after constraint closure.

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).

Evaluation result for the designated conclusion premise.

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.

The truth value of the conclusion premise root expression.

Evaluation results for constraint premises (used to determine admissibility).

Variable IDs whose value came out 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.

true iff every surviving constraint premise evaluates to true.

false means evaluation could not be completed (typically validation failure).

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.

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.

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.

All variable IDs referenced across evaluated supporting/conclusion/constraint premises.

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.

Evaluation results for premises designated as supporting the argument.

Number of supporting premises that were not struck.

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.

Validation output when ok === false, or when validation was requested and included.

Where each propagated value came from, keyed like propagatedVariableValues. Populated only when includeDiagnostics: true.