Joyce's generic local-model conjecture for codimension-two singularities

An SL fibration is a special Lagrangian fibration, and a singularity has codimension two when its image in the base has codimension two. The fibration $\hat F$ is the local model constructed in Theorem 6.2. Joyce's generic local-model conjecture. The SL fibration $\hat F$ is a generic local model for one kind of codimension-two singularities of SL fibrations $f:M\rightarrow B$ of almost Calabi–Yau $3$-folds, with `generic' used in the sense of the paper's Definition 3.4. The model describes a transition in which singularities of multiplicity one meet and cancel, and is proposed as one generic codimension-two phenomenon; the paper does not establish that it is exhaustive or prove the conjecture.