Type Alias CheckFn 

pub type CheckFn = dyn Fn(&Doc) -> WriteReport + Send + Sync;

Doc -> WriteReport check callable; simulates a write without producing output.