Strong Palis conjecture for robust heterodimensional cycles

Let $M$ be a closed manifold, and let $\operatorname{Diff}^1(M)$ be the space of $C^1$-diffeomorphisms of $M$. A robust heterodimensional cycle is a heterodimensional cycle that persists for all diffeomorphisms in a $C^1$ neighborhood. Strong Palis conjecture. The union of the set of hyperbolic diffeomorphisms, namely those satisfying Axiom A and the no-cycle condition, and the set of diffeomorphisms having a robust heterodimensional cycle is dense in $\operatorname{Diff}^1(M)$. This is presented as a strong version of Palis' conjecture and as a reformulation of a question of Bonatti and Díaz; the source does not state that it has been resolved.