Maximally-warped metrics with harmonic curvature

We describe the local structure of Riemannian manifolds with harmonic curvature which admit a maximum number, in a well-defined sense, of local warped-product decompositions, and at the same time their Ricci tensor has, at some point, only simple eigenvalues. We also prove that in every given dimension greater than two the local-isometry types of such manifolds form a finite-dimensional moduli space, and a nonempty open subset of this moduli space is realized by complete metrics.