Dirichlet problem for harmonic maps from strongly rectifiable spaces into regular balls in $\text{CAT}(1)$ spaces

In this note, we study the Dirichlet problem for harmonic maps from strongly rectifiable spaces into regular balls in $\text{CAT}(1)$ space. Under the setting, we prove that the Korevaar-Schoen energy admits a unique minimizer.