Type Alias RuleFn 

pub type RuleFn = fn(&ValidationContext<'_>) -> Vec<Violation>;

Whole-corpus check function type (ADR-034 §2, §9a).

Receives the corpus snapshot and config context; returns all violations produced by the rule in one call.