This paper quantitatively accounts for the cyclical dynamics of key macroeconomic housing and mortgage market variables using a tractable, search-theoretic model of housing with equilibrium mortgage default. To explain these dynamics, the model highlights the importance of liquidity spirals...