Clark–Elhamdadi–Saito–Yeatman conjecture on finite quandle coloring invariants

For a knot or link $L$, let $\mathcal{K}(L)$ denote its fundamental quandle, and let $\chi_L(X):=|\operatorname{Hom}_{\operatorname{quandle}}(\mathcal{K}(L),X)|$ be the quandle counting invariant associated with a finite quandle $X$. Clark–Elhamdadi–Saito–Yeatman conjecture. There exists a sequence of finite quandles

$$S=(Q_1,Q_2,\ldots,Q_n,\ldots)$$

such that the invariant

$$C(L):=(\chi_L(Q_1),\chi_L(Q_2),\ldots,\chi_L(Q_n),\ldots)$$

satisfies, for all knots $K,K'$, $C(K')=C(K)$ if and only if $\mathcal{K}(K')=\mathcal{K}(K)$. Thus, the sequence of coloring invariants would distinguish knots exactly up to isomorphism of their fundamental quandles. The claim is presented as an unproved conjecture and would provide a countable family of finite-quandle invariants detecting the fundamental quandle of every knot.