1: \begin{abstract}

2: We study closed, connected, spin $4$-manifolds up to stabilisation by connected sums with copies of $S^2 \times S^2$.

3: For a fixed fundamental group, there are primary, secondary and tertiary obstructions, which together with the signature lead to a complete stable classification.  The primary obstruction exactly detects $\mathbb{CP}^2$-stable diffeomorphism and was previously related to algebraic invariants by Kreck and the authors.

4: 	

5: In this article we formulate conjectural relationships of the secondary and tertiary obstructions with algebraic invariants: the secondary obstruction should be determined by the (stable) equivariant intersection form and the tertiary obstruction via a $\tau$-invariant recording intersection data between 2-spheres, with trivial algebraic self-intersection, and their Whitney discs.

6: 	

7: We prove our conjectures for the following classes of fundamental groups: groups of cohomological dimension at most $3$, right-angled Artin groups, abelian groups, and finite groups with quaternion or abelian $2$-Sylow subgroups.

8: 

9: We apply our theory to give a complete algebraic stable classification of spin $4$-manifolds with fundamental group $\Z \times \Z/2$.

10: \end{abstract}

11: