Qué muestra este recorrido

Verificadores determinísticos primero, juicio residual tipado y política separada.

Lectura: este flujo condensa responsabilidades y decisiones con fines didácticos. No es una traza real de ejecución ni prueba por sí mismo que cada rama se haya ejercitado en un ambiente de producción.