The valuation-residue-field conjecture for superrosy fields

Let $K$ be a superrosy field and let $v$ be a non-trivial valuation on $K$. Its value group is the ordered abelian group of values, and its residue field is the quotient field induced by the valuation. The valuation-residue-field conjecture. The value group of $v$ is divisible, and its residue field is algebraically closed or real closed. The source presents this as a characteristic-zero generalization of a proved positive-characteristic result; it remains an open problem in the supplied text.