1: \begin{abstract}

2:  This paper, and its companion \cite{BCLV_subgroup_tests}, are devoted to  a negative resolution of the Aldous--Lyons Conjecture \cite{Aldous_Lyons_Conj,Aldous--Lyons_conj_blogpost}.

3:  \\

4: 

5:  

6:     In this part we study \emph{tailored non-local games}. This is a   subclass of \emph{non-local games} ---  combinatorial objects which model certain experiments in quantum mechanics, as well  as interactive proofs in complexity theory. Our main result is that, given a tailored non-local game $\game$, it is undecidable to distinguish between the case where  $\game$ has a special kind of perfect strategy, and the case where every strategy for $\game$ is far from being perfect. Using a reduction introduced in the companion paper~\cite{BCLV_subgroup_tests}, this undecidability result implies a negative answer to the Aldous--Lyons conjecture. Namely, it implies the existence of unimodular networks that are non-sofic.

7:     

8:     To prove our result, we use  a variant of the \emph{compression} technique developed in $\MIP^*=\RE$ \cite{MIPRE}. Our main technical contribution is to adapt this technique to the class of tailored non-local games. The main difficulty is in establishing \emph{answer reduction}, which requires a very careful adaptation of existing techniques in the construction of probabilistically checkable proofs. As a byproduct, we are reproving the negation of Connes' embedding problem \cite{connes1976classification} --- i.e., the existence of a   $\textrm{II}_1$-factor which cannot be embedded in an ultrapower of the hyperfinite $\textrm{II}_1$-factor --- first proved in \cite{MIPRE}, using an arguably more streamlined proof. In particular, we incorporate recent simplifications from the literature~\cite{de_la_Salle_spectral_gap,vidick2022almost} due to de la Salle and the third author.

9: \end{abstract}

10: