Nonpositive-curvature metric conjecture for relative Artin complexes

Let $A_S$ be an Artin group and let $S'\subset S$ be an irreducible almost spherical subset. Equip the relative Artin complex $\Delta_{S,S'}$ with the metric described in the source's second metric construction. Assume that the type of $S'$ is not among $\{\widetilde F_4,\widetilde E_6,\widetilde E_7,\widetilde E_8,[3,5,3],[5,3,3,3]\}$. Convex bicombing conjecture. The resulting metric space $\Delta_{S,S'}$ has a convex geodesic bicombing and is therefore contractible. The proposed metric is intended to provide a contraction through geodesics; the conjecture is open, with the source indicating that an appropriate link condition should suffice.