Mészáros–Setiabrata–St. Dizier interval-support conjecture for Grothendieck polynomials

Let $S_n$ be the symmetric group, let $\omega\in S_n$, and let $p_1(x_1,\ldots,x_n)$ and $p_2(x_1,\ldots,x_n)$ be monomials with nonzero coefficient in the Grothendieck polynomial $\mathfrak{G}_{\omega}$ such that $p_1$ divides $p_2$. Mészáros–Setiabrata–St. Dizier's interval-support conjecture. Every monomial $q(x_1,\ldots,x_n)$ satisfying $p_1\mid q$ and $q\mid p_2$ also has nonzero coefficient in $\mathfrak{G}_{\omega}$. This predicts that the support of each Grothendieck polynomial is order-convex under divisibility; the source presents it as a conjecture about support, with no resolution supplied.