Homomorphism to Marks’ example under non-smoothness

Prove or disprove that every Δ-regular acyclic Borel graph with no smooth Borel superequivalence relation whose classes admit Borel Δ-colorings admits a Borel homomorphism from Marks’ Schreier graph of the free part of the left-shift action of Γ_Δ on 2^{Γ_Δ}.

Background

Known complexity constructions use families of Borel graphs parametrized by reals. The paper proposes that excluding smooth local pieces might force a universal obstruction represented by Marks’ example, but explicitly leaves this homomorphism question open.

References

Does Marks' example, i.e., the Schreier graph of the free part of the left-shift action of $\Gamma_\Delta$ on $2{\Gamma_\Delta}$, Borel homomorph to ${G}$?

From descriptive to distributed  (2502.15347 - Grebík et al., 21 Feb 2025) in Problem immediately following the discussion of non-smooth Borel superequivalence relations, Section 6 (Complexity)