This is a follow-up to my last question, Homotopy excision for structured ring spectra -- reference?Homotopy excision for structured ring spectra -- reference?. The immediate reason why I care about Blakers-Massey theorems for ring spectra is to prove that algebraic $K$-theory for such rings is what is called an analytic functor. Has someone done this already?