Projective covers of flat contramodules

We show that a direct limit of projective contramodules (over a right linear topological ring) is projective if it has a projective cover. A similar result is obtained for ∞-strictly flat contramodules of projective dimension not exceeding 1, using an argument based on the notion of the topological Jacobson radical. Covers and precovers of direct limits of more general classes of objects, both in abelian categories with exact and with nonexact direct limits, are also discussed, with an eye towards the Enochs conjecture about covers and direct limits, using locally split (mono)morphisms as the main technique. In particular, we offer a simple elementary proof of the Enochs conjecture for the left class of an n-tilting cotorsion pair in an abelian category with exact direct limits.