Tableau formula for vexillary double Edelman--Greene coefficients

Lam, Lee and Shimozono recently introduced backstable double Grothendieck polynomials to represent $K$-theory classes of the infinite flag variety. They used them to define double $\beta$-Stanley symmetric functions, which expand into double stable Grothendieck functions with polynomial coefficients called double $\beta$-Edelman--Greene coefficients. Anderson proved these coefficients are $\beta$-Graham positive. For vexillary permutations, this is equivalent to a statement for skew flagged double $\beta$-Grothendieck functions. Working in this setting, we give a tableau formula for vexillary double $\beta$-Edelman--Greene coefficients that is manifestly $\beta$-Graham positive. Our formula demonstrates a finer notion of positivity than was previously known.