Codimension bound conjecture for transmission loci

Let $k\geq 2$, let $(C,p,q)$ satisfy $kp\sim kq$, and let $W^\tau(C,p,q)$ be the transmission locus associated to a transmission permutation $\tau$. Write $\operatorname{inv}_k(\tau)$ for its expected codimension.

Codimension bound conjecture. Every component of $W^\tau(C,p,q)$ has codimension at most $\operatorname{inv}_k(\tau)$.

The source states that Daksh Aggarwal proved this conjecture, together with other structural results on transmission loci; the proof is to appear in forthcoming work.