Function verify 

pub fn verify(
    artifacts: &[Artifact],
    schemas: &GeneratedSchemas,
) -> Result<(), Error>

violations as an error: nothing, or one Stale naming every one of them. This is what generate and generate --check refuse on.