snark::user_command_verify_effectful::snark_user_command_verify_effects