Analytic trace ideals for proper forcing with continuous reading of names

Let $I$ be a $c3$-ideal on $2^\omega$ or $\omega^\omega$, and let $P_I$ be the corresponding factor poset. Assume that $P_I$ is proper and has continuous reading of names. Trace-ideal conjecture. If the trace ideal is analytic, then it is Borel. This proposes a criterion for when the trace ideal associated with such a forcing is definable; the source states that no satisfactory criterion is otherwise known, and gives no resolution of the conjecture.