Derived equivalences of upper-triangular ring spectra via lax limits | Synapse