pub fn run_validator<'a, V>(
validator: &V,
problem: &RefutationProblem<'a>,
workspace: &mut EstimationWorkspace,
ctx: &ExecutionContext,
) -> Result<RefutationReport, ValidationError>where
V: Validator<RefutationProblem<'a>, Prepared = PreparedRefutation<'a>, Report = RefutationReport>,Expand description
Run validator end-to-end (prepare → validate) for suite dispatch.
§Errors
Propagates prepare/validate failures.