The universal quandle-coloring separation conjecture

Let $\mathcal S=(Q_1,Q_2,\ldots)$ be a sequence of finite quandles, and define the coloring invariant

$$C(K)=\bigl(\operatorname{Col}_{Q_1}(K),\operatorname{Col}_{Q_2}(K),\ldots\bigr).$$

Universal quandle-coloring separation conjecture. There exists such a sequence satisfying, for all knots $K,K'$,

$$C(K')=C(K)\quad\text{if and only if}\quad K'=K\text{ or }K'=mr(K).$$

This is a stronger global form of the finite-knot separation problem and is presented as an open conjecture; the paper gives finite computational evidence but does not establish the assertion for all knots.