Conjecture on the Moussong metric for virtual Deligne complexes

Let $\Gamma$ be a Coxeter graph, and let $\mathrm{vD}_{\Gamma}$ be the virtual Deligne complex associated with the virtual Artin group $\mathrm{VA}[\Gamma]$. Equip $\mathrm{vD}_{\Gamma}$ with its Moussong metric. Virtual Deligne CAT(0) conjecture. For any Coxeter graph $\Gamma$, the virtual Deligne complex $\mathrm{vD}_{\Gamma}$, equipped with the Moussong metric, is CAT(0). The conjecture is proved in this paper for locally reducible Coxeter graphs, including 2-dimensional graphs and graphs with no label equal to $3$, but remains open for general Coxeter graphs.