Evaluates the premise under an expression assignment.
Variable values are looked up using the four-valued Belnap connectives
(null = unknown, CONTESTED = forced both true and false). Missing
variables default to null. For inference premises (implies/iff),
an inferenceDiagnostic is always computed.
The parameter is the wider TCoreResolvedAssignment because
argument evaluation feeds its own constraint-closure output back
through here; a reader's TCoreExpressionAssignment is
assignable to it and stays three-valued.
Operator decisions do not affect premise evaluation. A rejected expression evaluates from its children like any other — a rejection is a decision about a step, and its effect (striking the whole premise from the evaluated set) belongs to argument-level evaluation.
The variable assignment and the reader's operator decisions.
Optionaloptions: { requireExactCoverage?: boolean; strictUnknownKeys?: boolean }Optional evaluation options.
OptionalrequireExactCoverage?: booleanIf true, the assignment must
cover exactly the referenced variables.
OptionalstrictUnknownKeys?: booleanIf true, unknown variable keys
in the assignment cause an error.
The premise evaluation result.
Validates that this premise is structurally ready for evaluation.
A validation result with any issues found.
Premise-level evaluation: single-assignment evaluation and evaluability validation.