Module validator 

Validator contract.

Effect refuters (§18.2) implement this trait. The trait is named Validator (not Refuter) per DESIGN.

SPDX-License-Identifier: MIT OR Apache-2.0

Structs

PreparedRefutation

Prepared effect-refutation problem: borrowed inputs plus a per-unit panel slice plan when problem.temporal targets a panel.

Traits

Validator

Validation / refutation algorithm over artifact type A .

Functions

run_validator

Run validator end-to-end (prepare → validate) for suite dispatch.