The freeness conjecture for the Hopf monoid of acyclic orientations

Let $\mathbf{g}$ be a positive graphical species, and let $\overrightarrow{\mathbf{A}}$ denote the graphical species of acyclic orientations. Write $\circ$ for the composition product of graphical species. Freeness conjecture. $\overrightarrow{\mathbf{A}} \circ \mathbf{g}$ is the free disjoint commutative Hopf monoid on the positive graphical species $\mathbf{g}$. The conjecture proposes a universal free construction of disjoint commutative Hopf monoids from positive graphical species; its status is left open in the source.