Coordinación verificable para agentes LLM mediante diagramas de secuencia de mensajes.