The May–Ravenel collapse and torsion conjecture

Consider the May–Ravenel spectral sequence used to compute the relevant $\mathrm{tmf}$-resolution input for $Z$. Torsion conjecture. The May–Ravenel spectral sequence collapses at $E_1$ with no hidden $v_2$-extensions. This is explicitly introduced as an optimistic assumption for analyzing unbounded $v_2$-torsion; its consequences for the $\mathrm{tmf}$-ASS remain conjectural.