types/manual_verification library