Component-count conjecture for positive definite $X_9$ singularities

Let $f_0$ be a real function singularity of type $+X_9$, and let a versal deformation of $f_0$ have discriminant variety in its parameter space. The virtual morsifications of $f_0$ are grouped into seven virtual components.

$+X_9$ component conjecture. Each of the seven virtual components is represented by exactly one connected component of the complement of the discriminant variety of any versal deformation of $+X_9$.

The preceding proposition establishes the seven virtual components and their total number of virtual morsifications. The conjecture asserts that no two virtual components are realized in the same discriminant-complement component and that all seven are realized.