The Hrushovski property for compact special cube complexes

We show that any compact nonpositively curved cube complex embeds in a compact nonpositively curved cube complex where each combinatorial injective partial local isometry of extends to an automorphism of . When is special and the collection of injective partial local isometries satisfies certain conditions, we show that can be chosen to be special and the embedding can be chosen to be a local isometry.