Isaev's invariant-generation conjecture for homogeneous binary forms

Let $X^n$ be the space of homogeneous binary forms of degree $n$, let ${\mathcal R}^n$ be the collection of invariant rational functions on $X^n$ obtained by evaluating absolute classical invariants on binary forms associated to the moduli algebras of the corresponding homogeneous plane curve germs, and let $\check{\mathcal I}^n$ be the algebra of restrictions to $X^n$ of all absolute invariants of degree-$n$ binary forms. Isaev's invariant-generation conjecture. One has

$${\mathcal R}^n=\check{\mathcal I}^n.$$

The inclusion ${\mathcal R}^n\subseteq\check{\mathcal I}^n$ is known from the cited invariant-theoretic results; the conjecture asserts that the invariants arising from the associated binary forms exhaust all absolute invariants on $X^n$.