Inferencia completa de tipos de sesión con garantías de progreso para ML