Trait CustomEffectValidator 

pub trait CustomEffectValidator: Send + Sync {
    // Required methods
    fn name(&self) -> &str;
    fn validate(
        &self,
        problem: &RefutationProblem<'_>,
        ctx: &ExecutionContext,
    ) -> Result<RefutationReport, ValidationError>;
}

Slow-path custom effect validator (Python / user callbacks).

Distinct from crate::Validator which uses associated types and is not dyn-safe.

Deliberately not sealed: object-safe extension for host languages (PyO3) and app-level hooks. Prefer crate::Validator for in-crate refuters.

Required Methods

fn name(&self) -> &str

Stable name written into RefutationReport::refuter.

fn validate( &self, problem: &RefutationProblem<'_>, ctx: &ExecutionContext, ) -> Result<RefutationReport, ValidationError>

Run the check against a prepared refutation problem.

Errors

Validation / applicability failures.

Dyn Compatibility

This trait is dyn compatible.

In older versions of Rust, dyn compatibility was called "object safety".

Implementors