This paper extends the dynamic Mirrlees model to general equilibrium and derives the optimal social insurance policies against persistent idiosyncratic risk over the life cycle. Agents are heterogeneous in their work ability, which is private information and evolves stochastically over time, and...