Proofs of some partition identities conjectured by Kanade and Russell (Q6158146)

The Rogers-Ramanujan identities \[ \sum_{n=0}^\infty \frac{q^{n^2}}{(q;q)_n}=\frac{1}{(q,q^4;q^5)_\infty} \] and \[ \sum_{n=0}^\infty \frac{q^{n(n+1)}}{(q;q)_n}=\frac{1}{(q^2,q^3;q^5)_\infty} \] have deep connections to affine Lie algebras. There is a huge literature on relations between Lie algebras and Rogers-Ramanujan-type identities. \textit{S. Kanade} and \textit{M. C. Russell} [Electron. J. Comb. 26, No. 1, Research Paper P1.6, 33 p. (2019; Zbl 1409.05018)] discovered the nine conjectured identities, \begin{align*} F(q,1,q^{3}) &= \frac{(q^3;q^{12})_\infty}{(q,q^2;q^4)_\infty}, \\ F(q^2,q^4,q^{9}) &= \frac{(q^9;q^{12})_\infty}{(q^2,q^3;q^4)_\infty}, \\ F(q^4,q^6,q^{15}) &= \frac{1}{(q^4,q^5,q^6,q^7,q^8;q^{12})_\infty}, \\ F(q,q^6,q^{9}) &= \frac{1}{(q,q^4,q^6,q^8,q^{11};q^{12})_\infty}, \\ F(q^2,q^2,q^{9}) &= \frac{(q^6;q^{12})_\infty}{(q^2,q^3,q^4;q^6)_\infty}, \\ F(q^3,q^5,q^{12}) &= \frac{1}{(q^3;q^4)_\infty\,(q^4,q^5;q^{12})_\infty}, \\ F(q,q^3,q^{6}) &= \frac{1}{(q;q^4)_\infty\,(q^4,q^{11};q^{12})_\infty}, \\ F(q,q,q^{6}) &= \frac{1}{(q^3;q^4)_\infty\,(q,q^{8};q^{12})_\infty}, \\ F(q^2,q^{-1},q^{6}) &= \frac{1}{(q;q^4)_\infty\,(q^7,q^{8};q^{12})_\infty}, \end{align*} which give explicit values of the function \[ F(u,v,w)=\sum_{i,j,k=0}^\infty \frac{(-1)^k\,q^{3k(k-1)+(i+2j+3k)(i+2j+3k-1)}\,u^i\,v^j\,w^k}{(q;q)_i\, (q^4;q^4)_j\, (q^6;q^6)_w} . \] For each conjecture, Kanade and Russell gave a combinatorial interpretation in terms of partitions. The first five identities were proved by \textit{K. Bringmann} et al. [J. Reine Angew. Math. 766, 109--135 (2020; Zbl 1447.05023)]. In this paper, the authors give a more streamlined proof of those results, and prove the last four identities for the first time.