The associated-form conjecture for invariants of degree-\n(m-2) forms

Let $X_n^m$ be the space of degree-$m$ forms in $n$ variables, and let ${\mathcal I}_n^m$ denote the relevant algebra of invariants of such forms. For $Q\in X_n^m$, let $\mathbf Q$ be a form associated to $Q$, meaning a highest-degree form of degree $n(m-2)$ on $\mathbb C^n$ arising from the nil-polynomial of the associated Artinian Gorenstein algebra.

Associated-form conjecture. For any ${\tt I}\in{\mathcal I}_n^m$ there exists an absolute invariant $\mathbf I$ of forms of degree $n(m-2)$ on $\mathbb C^n$ such that, for all $Q\in X_n^m$, the invariant $\mathbf I$ is defined at some (hence at every) form $\mathbf Q$ associated to $Q$ and

$$\mathbf I(\mathbf Q)={\tt I}(Q).$$

The conjecture proposes that every invariant of degree-$m$ forms can be recovered from an absolute invariant of their associated forms. It was essentially verified for binary quartics ($n=2$, $m=4$) and ternary cubics ($n=3$, $m=3$), but the general statement is resolved according to the supplied status evidence.