Existence of the augmentation polynomial for every knot

Let $K$ be a knot. The augmentation variety $V_K$ is the set of augmentation values in $(\mathbb{C}^*)^3$, and the augmentation polynomial is defined when the maximal-dimensional part of the Zariski closure of $V_K$ has codimension $1$. Existence conjecture. The condition about this Zariski closure holds for every knot $K$, so the augmentation polynomial is always defined. This asserts universal existence of the three-variable augmentation polynomial, beyond the cases where it has been explicitly computed.