Preservation of L^{n+1,n+1}-local equivalences by the framed forgetful functor

Prove that the framed-to-unframed functor $\gamma_*$ preserves $L^{n+1,n+1}$-local equivalences, not merely $L^{n+1,n+1}$-local objects.

Background

The framed reconstruction and recognition arguments use the functor γ∗\gamma_* from framed motivic objects to ordinary motivic objects. The paper notes that preservation of Ln+1,n+1L^{n+1,n+1}-local objects follows essentially from the definitions.

However, preservation of local equivalences is a stronger property and is required to ensure that γ∗\gamma_* commutes with the corresponding localization functors. The authors cite an analogous result for n-birational localization but do not establish it for Ln+1,n+1L^{n+1,n+1}.

References

Although $\gamma_*$ preserves $L{n+1,n+1}$-local objects almost by definition (\Cref{defn of strong Lnn framed motiv}), it is not clear whether it preserves $L{n+1,n+1}$-local equivalences.

— Connectivity of the slice filtration  (2609.34535 - Maity, 28 Sep 2026) in Section 6.2, final remark before the discussion of recognition for f_n and s_n