The classification conjecture for stable tangle singularities

For integers $m$ and $p$, consider stable $m$-tangle singularities in codimension $p$, together with the paper's equivalence relation $\sF$.

Classifications of stable tangle singularities is tractable. The $\sF$-equivalence classes of stable $m$-tangle singularities in codimension $p$ are constructively classifiable, and there are finitely many such classes for any pair $(m,p)$.

The paper has constructive finite classifications in certain low-dimensional cases and conjectures that analogous classifications exist in all dimensions and codimensions.