Índice del nivel: Grafo y estado

0.1Por qué este nivel va primero

No puedes hacer durable, ni controlable por un humano, ni robusto, un agente que no es una máquina de estados. Antes de tocar checkpointing (N1), tools fiables (N2) o multi-agente (N3), necesitas una estructura sobre la que colgar todo eso. Ese es el trabajo de N0: convertir un agente-bucle opaco en un grafo donde el estado y las transiciones son explícitos, legibles y auditables.

Este nivel trabaja sobre Elcano, el agente de operaciones de cuenta que vas a endurecer todo el curso. Recibe peticiones que terminan en una acción consecuente e irreversible —emitir un reembolso, cambiar una suscripción—. Llega escrito como un agente ReAct a mano: un while con if y tool-calls. La avería de N0 es ese bucle implícito opaco: cuando duplica un reembolso, no puedes ver dónde lo decidió. Tu trabajo es remodelarlo como grafo —sin persistencia ni gate humano todavía; eso es N1—.

0.2Lecciones

1. Del bucle implícito al grafo — por qué un agente fiable es una máquina de estados y no un while+if; el coste de un bucle opaco; posicionamiento de LangGraph y fijación del stack a la serie 1.x.
2. Estado tipado — TypedDict, Annotated+reducers, add_messages/MessagesState, la decisión overwrite vs. acumular campo a campo, y los límites de Pydantic como estado.
3. Nodos, edges y ciclos — StateGraph, add_node, add_edge, add_conditional_edges, START/END, Command para enrutar y actualizar, y el ciclo que termina por condición.
4. El loop modelo↔tools como grafo — el lab: reescribir el agente-bucle con ToolNode/tools_condition, inspeccionar el estado con stream, y el atajo create_agent (con create_react_agent deprecado).
5. Checkpoint C0: grafo tipado y auditable — el mastery gate: el grafo de Elcano con diagrama y traza, evaluado con la rúbrica C0.

Apéndice: El harness en 30 minutos — el instrumento mínimo para medir coste, latencia y fiabilidad, si no hiciste el curso de evals.

0.3El checkpoint C0 — Grafo tipado y auditable

Partes del agente-bucle de Elcano y lo remodelas como StateGraph. El entregable tiene cuatro piezas. El grafo con estado tipado (reducers bien elegidos), nodos de responsabilidad única y ≥1 edge condicional. Un ciclo controlado que termina por END, no por contador. El diagrama del grafo. Y una traza por stream que muestra el estado en cada superstep, con la justificación de qué bug del bucle el grafo hace visible o imposible.

Se evalúa por cinco dimensiones:

1. Estado tipado correcto — reducers apropiados (add_messages; overwrite vs. operator.add); sin campos muertos.
2. Grafo explícito — nodos de responsabilidad única; ≥1 edge condicional; ciclo que termina por condición.
3. Inspeccionable — el estado es legible en cada superstep (stream); el flujo se entiende leyendo el grafo.
4. Paridad de comportamiento — resuelve los mismos casos que el agente-bucle original.
5. Justificación — sobre una traza concreta, qué bug del bucle el grafo hace visible o imposible.

Aprobado = ✔ en las dimensiones 1, 2 y 3. Las dimensiones 4 y 5 elevan el entregable.

0.4Antes de empezar

• Prerequisitos: Python async a nivel intermedio y haber construido al menos un agente con tool-calling. No necesitas conocer LangGraph a fondo: Elcano llega construido (como agente-bucle), y el grafo lo montas tú.
• Stack del curso: LangGraph 1.2.6 (jun 2026), Python ≥ 3.10. Si un tutorial dice "0.4" o usa create_react_agent como camino vigente, está desfasado —lo verás en L1 y L4—.
• ¿Hiciste el curso de Evals & Observabilidad? Si sí, usarás tu harness con ventaja para medir a Elcano. Si no, el apéndice A te monta el instrumento mínimo en 30 minutos.