There is a well understood bifibration of $\infty$-categories over the $\infty$-category of commutative ring spectra whose fiber over a ring $R$ is the category of $R$-module spectra. This is in analogy to the usual Grothendieck fibration over commutative rings in discrete algebra. One then can ask which morphisms of commutative ring spectra are of effective descent for modules. In other words, one can ask whether or not the category of $R$-modules is equivalent to the category of descent data for some morphism $R\to S$ (which is constructed as as the homotopical totalization of the Amitsur complex).
Rognes has introduced a notion of faithful morphism of ring spectra which is the following: if $\phi:R\to S$ is a morphism of ring spectra, then it is faithful if for every $R$-module $M$, $M\wedge_RS\simeq \ast$ implies that $M\simeq\ast$. Lurie has also introduced a notion of faithfully flat: the morphism $\phi$ is faithfully flat if $\pi_0(\phi):\pi_0R\to\pi_0S$ is faithfully flat and $\pi_iS\cong \pi_iR\otimes_{\pi_0R}\pi_0 S$. Are either of these sufficient to imply effective decent for modules?
What if we say that morphism is faithful in the sense of Rognes but also a Galois extension for some stably dualizable group $G$ or even a Hopf-Galois extension?
Is there a classification of effective descent morphisms in this setting?
Thanks!
