All currently known construction methods of smooth compact $\mathrm G_2$-manifolds have been tied to certain singular $\mathrm G_2$-spaces, which in Joyce’s original construction are $\mathrm G_2$-orbifolds and in Kovalev’s ...