We study optimal insurance contracts for an agent with Markovian private information. Our main results characterize the implications of constrained efficiency for long-run welfare and inequality. Under minimal technical conditions, there is Absolute Immiseration: in the long run, the...

We study optimal insurance contracts for an agent with Markovian private information. Our main results characterize the implications of constrained efficiency for long-run welfare and inequality. Under minimal technical conditions, there is Absolute Immiseration: in the long run, the agent's...

This supplement contains auxiliary technical results and proofs omitted from Bloedel, Krishna, and Leukhina (2025) (henceforth BKL) and its Supplemental Appendix (henceforth SA). First, Section I proves parts (a)–(c) and (e)–(f) of Theorem 3 from Appendix B.1 of BKL. (Part (d) of Theorem 3...