Let $(X,d,x)$ be a separable pointed metric space and let $\mathcal{F}(X)$ be its Arens-Eells (also called its Lipschitz-Free space; in the case where $X$ is Banach) space. We view the $1$-Wasserstein space $\mathcal{W}(X)$ as a convex subset of $\mathcal{F}(X)$ via the usual embedding: $$ \mathcal{W}(X)\ni \mu \mapsto \left[f\mapsto \int_{u\in X} f(u) [\mu-\delta_{x}](du)\right] \in \operatorname{Lip}_0(X)' =:\mathcal{F}(X); \qquad \boldsymbol{(1)} $$ where the functions $f$ on the right-hand side belong to $\operatorname{Lip}_0(X)$ (so $f(x)=0$, but for generality I have defined them on all of $\operatorname{Lip}(X)$).

THE ASSUMPTION:

We assume that $(X,d,x)$ is such that $\mathcal{F}(X)$ has the bounded approximation property (BAP) (extensive research has been conducted over the last decade on this question, and many "interesting/typical" pointed metric spaces satisfy this assumption). Furthermore, in a broad range of "tame cases" explicit estimates on the operator-norm of the sequence of operators realizing the bounded-approximation property are known (for instance for any closed-subset of an $N$-dimensional Euclidean space the rate is $C\sqrt{N}$ for some universal constant $C$.

THE QUESTION(s): Let $K\subseteq \mathcal{W}(X)$ be given and let $(T_n)_{n=1}^{\infty}$ be a sequence of finite-rank operators converging to the identity on $K$ and whose operator norm is uniformly bounded by some constant $\lambda>0$.

Then, can we perturb the build a sequence of affine maps $(A_n)_{n=1}^{\infty}$ which are finite-rank, approximate the identity, and such that $A_n(K)\subseteq K$ for all $n$?

Comment: I expect that is possible and that one can construct this map by exploiting the fact that $\mathcal{W}(X)$ is a convex subset of a co-dimension $0$ affine subset of $\mathcal{F}(X)$.