clementine_core::verifier::states