pub fn evaluate_rule(
exec_rule: &ExecutableRule,
context: &mut EvaluationContext,
) -> (OperationResult, Proof)Expand description
Evaluate a rule to produce its final result and proof. After planning, evaluation is guaranteed to complete — this function never returns a LemmaError. It produces an OperationResult (Value or Veto) and a Proof tree.