A Python library for data validation using type annotations. Models define expected data shapes and automatically validate input. Used extensively by **FastAPI**. (Ch. 17)