Let's summarize what can be written.

1. HMS for K-theoretic Coulomb branches

basically we want to prove half, or even less than half (no generation result). so, this can only be called as, symplectic realization of multiplicative KLRW algebra.

So, what is cKLRW and why is it related to (additive resolved) Coulomb branch? We need to say a few sentences:

• additive resolved Coulomb branch is a symplectic resolution of conic symplectic singularity, so one can use Bezrukavnikov-Kaledin to construct tilting bundles
• When Webster did that procedure (char p quantization) for Coulomb branch. If we do it honestly, then we need to consider the convolution algebra of $BFN=map(bubble, N/G)$, but with $F_p$ coefficient. This way, the resulting algebra is over $F_p$. Then, we turn on deformation quantization for the Coulomb branch algebra, by that we mean we choose a $\C^*$-action on that BFN space (where $\C^*$ acts on the domain, but could also acts on the target $N$). So the equivariant BM homology (or K-theory) picked up another equivariance over $\C^*$, and the convolution algebra has one more parameter. Then, somehow, it become $\mu_p$ fixed point of the BFN space.