TypeScript: el contrato que entienden humanos y agentes.

Cuando un agente genera TypeScript —JavaScript con tipos declarados que el compilador comprueba antes de ejecutar—, el compilador es el primer revisor. Un tsconfig laxo (any implícito, skipLibCheck como muleta) deja pasar código que un humano tardaría horas en deshacer.

El contrato útil es el contrario: strict, noUncheckedIndexedAccess y tipos de dominio en un paquete compartido. En lenguaje llano: el tipo dice «un pedido tiene id numérico y email obligatorio»; si el agente inventa un campo, el compilador grita antes de que llegue al cliente.

Project references y monorepos bien partidos evitan que el modelo «adivine» la forma de un DTO —objeto de transferencia de datos—. Si el tipo vive junto al validador Zod o al esquema Prisma, el agente reutiliza en lugar de inventar. Piénsalo como piezas de LEGO con forma única: solo encajan donde deben.

TypeScript no sustituye pruebas ni revisión humana. Sí reduce el espacio de alucinación: el error de tipos es inmediato, barato e independiente del modelo. Human + IA funciona mejor cuando el lenguaje ya dice «no» a combinaciones imposibles.

En Ambigram mantenemos tipos de dominio —Cliente, Presupuesto, Lead— en paquetes que el front y el back importan igual. Cuando un agente toca la API, ve los mismos nombres y reglas que ve el desarrollador en el IDE.

El contrato entre humanos y agentes no es un PDF de arquitectura que nadie abre. Es un tsconfig estricto, tipos compartidos y CI que falla si alguien —humano o máquina— rompe el contrato. Eso es documentación ejecutable, no decoración.