The Gromov–Hausdorff limit conjecture for collapsing Ricci-flat metrics in Setup I.A

In Setup I.A, let $(X,\omega_t)$ be the corresponding family of Ricci-flat manifolds and let $Z$ denote its Gromov–Hausdorff limit. Gromov–Hausdorff limit conjecture. The limit $Z$ is homeomorphic to a normal compact Kähler analytic space $Y$, and the singular set of $Z$ has real Hausdorff codimension at least $4$. If the analytic contraction conjecture holds, $Y$ should be the same space appearing in that conjecture. This expectation extends the rational case, where the limit is known to be homeomorphic to the algebraic contraction space.