Pick the recipe. Escoge la receta.

Generative Specification is the discipline that lets AI-assisted development run end-to-end without drift — without someone reading every line of generated code to catch the AI's mistakes. The idea: the spec is the work; the code is what derives from it. State your intent precisely enough and the formal tradition that took two and a half millennia to build — type systems, contracts, lattices, session types — runs against your project automatically. La Especificación Generativa es la disciplina que permite que el desarrollo con IA funcione de extremo a extremo sin desviarse — sin que alguien tenga que leer cada línea generada para cazar errores. La idea: la especificación es el trabajo; el código es lo que se deriva de ella. Declara tu intención con suficiente precisión y la tradición formal de dos mil quinientos años — sistemas de tipos, contratos, retículos, tipos de sesión — corre automáticamente sobre tu proyecto.

The cookbook is the practical side. You don't need to read the white paper to use it — pick the recipe that matches your situation, follow the prompts, and your AI assistant will walk you through the rest. If you want to go deeper after, the links at the bottom take you to the theory. El recetario es el lado práctico. No necesitas leer el white paper para usarlo — escoge la receta que encaja con tu situación, sigue las indicaciones, y tu asistente de IA te lleva por el resto. Si después quieres profundizar, los enlaces de abajo te llevan a la teoría.