Evaluates the premise under a three-valued expression assignment.
Variable values are looked up using Kleene three-valued logic
(null = unknown). Missing variables default to null. For
inference premises (implies/iff), an inferenceDiagnostic is
computed with three-valued fields unless the root is rejected.
The variable assignment and optional rejected expression IDs.
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.