Helly complexes are Hellyfications of their boundaries

Source abstract

We prove that every finite Helly complex is isomorphic, at the level of its $1$-skeleton, to the Hellyfication (equivalently, the discrete injective hull) of its combinatorial boundary equipped with the metric induced from the complex. In particular, the boundary-rigidity phenomenon for Helly complexes proved by Blufstein-Chalopin-Chepoi admits a canonical injective-hull interpretation, independent of reconstruction procedures based on dismantling.