Cocompact cubulation and CAT(0) conjecture for quandle products

Let $\mathfrak{Q}$ be a quandle product with trivial holonomy of finitely many groups, each of which is cocompactly cubulable or CAT(0). Cocompact cubulation and CAT(0) conjecture. The quandle product $\mathfrak{Q}$ is cocompactly cubulable or CAT(0), respectively. The conjecture asks whether the geometric properties of acting geometrically on a CAT(0) cube complex or on a CAT(0) space are preserved by quandle products with trivial holonomy. The authors explain that existing graph-product machinery does not apply verbatim because prism stabilisers need not decompose as products of clique stabilisers, but expect this to be only a technical obstacle.