The generation conjecture for formal weights

Let $A(M^{\delta}_0)$ be the cooperadic algebra of Brown's compactified moduli spaces, let $\boldsymbol{\mathcal{Z}}_{\scriptstyle{\mathrm{ns}}}(A(M^{\delta}_0))$ be the associated algebra, and let $I(k_1,\ldots,k_r)$ be the formal weights defined by the corresponding top-dimensional forms. Formal-weight generation conjecture. The elements $I(k_1,\ldots,k_r)$ generate

$$\boldsymbol{\mathcal{Z}}_{\scriptstyle{\mathrm{ns}}}(A(M^{\delta}_0)).$$

Together with the formal associator conjecture, this would imply that the induced morphism

$$\mathfrak{grt}_1'\oplus\mathbb{Q}x^{01}\longrightarrow Q\boldsymbol{\mathcal{Z}}_{\scriptstyle{\mathrm{ns}}}(A(M^{\delta}_0))$$

is onto. This is a generation statement for the formal algebra modeled on multiple zeta values.