Kirszbraun extensions preserving uniform distance in Hilbert spaces

Let $X$ be a subset of a real Hilbert space and let $v\colon X\to Y$, where $Y$ is a real Hilbert space. We prove that the following conditions are equivalent: whenever $A\subset X$, $\rho\geq0$, and $u\colon A\to Y$ is $1$-Lipschitz with $\left\lVert u(x)-v(x)\right\lVert\leq\rho$ for $x\in A$, there is a $1$-Lipschitz extension $\widetilde u\colon X\to Y$ with $\left\lVert \widetilde u(x)-v(x)\right \lVert\leq\rho$ for $x\in X$; and for every $1\leq k\leq\dim Y$, $$\left\lVert v(x_0)-\sum_{i=1}^k t_i v(x_i)\right\lVert \leq \left\lVert x_0-\sum_{i=1}^k t_i x_i \right \lVert$$ whenever $x_0,\ldots,x_k\in X$, $t_1,\ldots,t_k\geq0$, and $\sum_{i=1}^k t_i=1$. Previous necessity results required $\dim Y\leq3$ or convexity of $X$. For finite-dimensional targets, an application gives an exact data processing characterisation for a finite branching hierarchy connecting Wasserstein and barycentric weak transport. If $Y$ is infinite-dimensional or $\dim\operatorname{Aff}X+1\leq\dim Y$, we also obtain a lifting theorem for convex Lipschitz functions and transfer convex Poincar\'e inequalities without increasing the constant.