The valuation conjecture for dp-finite fields

Let $K$ be an unstable dp-finite field embedded in a monster model $\mathbb{K} \succeq K$. Let $I_K$ be the group of $K$-infinitesimals, equivalently the smallest additive subgroup of $\mathbb{K}$ that is type-definable over $K$ and satisfies

$$\operatorname{dp-rk}(I_K)=\operatorname{dp-rk}(\mathbb{K}).$$

For an additive subgroup $J$ of $\mathbb{K}$, define

$$\operatorname{Stab}(J):=\{a\in\mathbb{K}:a\cdot J\subseteq J\}.$$

Valuation conjecture. The group $I_K$ is an ideal in a valuation ring on $\mathbb{K}$; equivalently, $\operatorname{Stab}(I_K)$ is a valuation ring.

This is the main gap in extending the classification strategy for unstable dp-minimal fields to dp-finite fields. The supplied text gives no resolution of the conjecture.