Lipschitz regularity of Sobolev maps from RCD(K,N) spaces to CAT(0) spaces

We establish a quantitative criterion for local Lipschitz regularity of Sobolev maps in the sense of Korevaar and Schoen from finite-dimensional \((K,N)\) spaces into complete \((0)\) spaces, without assuming harmonicity. We quantify the failure of local energy minimality by the harmonic replacement potential, a dyadic sum of the square roots of normalized energy gaps between a map and its harmonic replacements. We prove that this potential, together with an averaged energy term, controls the minimal weak upper gradient pointwise, with constants depending only on the curvature-dimension bounds and the scale. In particular, local boundedness of the replacement potential implies that the map admits a locally Lipschitz representative.