Symmetric monoidality of the trivial module functor for orthogonal epimorphisms

Let $\mathsf{OEpi}$ be the category of orthogonal epimorphisms, let $O(\ast)$ denote its endomorphism category of objects, and let $\mathsf{RMod}_{O(\ast)}$ and $\mathsf{RMod}_{\mathsf{OEpi}}$ be the corresponding categories of right modules. Write $\mathsf{Triv}$ for the trivial-module functor.

Symmetric monoidality conjecture. For $\mathsf{OEpi}$,

$$\mathsf{Triv}: \mathsf{RMod}_{O(\ast)} \longrightarrow \mathsf{RMod}_{\mathsf{OEpi}}$$

is symmetric monoidal with respect to Day convolution.

This conjecture would imply a product rule for Weiss calculus, identifying the derivatives of a smash product with the Day convolution of the derivatives. The paper does not establish the required symmetric monoidality.