The purported trace on the dynamic tracing category satisfies the traced monoidal axioms

Let $t$ be a monad equipped with an exceptional structure, and let the purported trace on the category denoted by $\mathbf{DK}_{t}$ be the trace constructed above from the corresponding iteration map. Trace conjecture. The purported trace on $\mathbf{DK}_{t}$ defined above satisfies the axioms of a traced monoidal category. This asserts that the construction yields a genuine traced monoidal structure, but the supplied text gives no evidence that the axioms have been proved or that the claim has been resolved.