El operador satisfies de TypeScript: seguridad de tipos sin perder la inferencia

El operador satisfies llegó en TypeScript 4.9 y sigue siendo una de las funciones menos aprovechadas del lenguaje. La mayoría de las bases de código que podrían beneficiarse de él todavía recurren a anotaciones de tipo —que ensanchan los tipos— o a aserciones as —que le mienten al compilador—. satisfies resuelve el dilema: valida que un valor cumpla con un tipo sin cambiar lo que el compilador sabe sobre la forma específica de ese valor.

Entender la diferencia entre validación y ensanchamiento desbloquea una familia de patrones que hacen que los objetos de configuración, las tablas de búsqueda y los registros sean genuinamente más seguros y expresivos.