The compactification conjecture for collapsing Ricci-flat metrics

In Setup I.B.1, let $(Z,d)$ be the metric completion of $(Y\setminus S',\omega_0)$ and define

$$S_Z=Z\setminus (Y\setminus S')\subset Z.$$

Compactification conjecture. The following hold:

1. $(Z,d)$ is a compact metric space and $(X,\omega_t)\to(Z,d)$ in the Gromov–Hausdorff topology as $t\to0$.
2. $S_Z$ has real Hausdorff codimension at least $2$.
3. $Z$ is homeomorphic to $Y$.

These assertions describe the expected completion of the collapsed metric on the smooth part of the base. Parts of the conjecture are known in several projective, hyperkähler, and simple-normal-crossings settings, but the general statement remains open.