Ciclo detectado al ejecutar consulta recursiva

En el miembro recursivo al que actualmente solo se está uniendo en a.product_id = b.product_id , en lugar de a.order_id = b.order_id AND a.product_id = b.product_id; lo cual no importa directamente aquí, pero lo haría si diferentes pedidos incluyeran los mismos productos, lo cual es probable en el mundo real.

Sin embargo, sus datos y consultas en realidad no parecen tener un ciclo. Parece que se está tropezando con lo que parece ser un error con las uniones ANSI; agregando un cycle la cláusula no revela ninguna fila de ciclo, como se esperaba, ¡y hace que funcione!; y funciona con uniones de estilo antiguo:

WITH
    cte (order_id,
         product_id,
         quantity,
         cnt)
    AS
        (SELECT order_id,
                product_id,
                1 as quantity,
                1 as cnt
           FROM order_tbl2        
         UNION ALL
         SELECT a.order_id,
                a.product_id,
                b.quantity,
                b.cnt + 1
           FROM order_tbl2 A, cte b
          WHERE b.cnt + 1 < a.quantity
            AND a.order_id = b.order_id
            AND a.product_id = b.product_id
            )
SELECT order_id, product_id, quantity
  FROM cte;

db<>fiddle

Sin embargo, no es necesario que te unas; puedes hacer:

WITH
    cte (order_id,
         product_id,
         quantity,
         cnt)
    AS
        (SELECT order_id,
                product_id,
                quantity,
                1 as cnt
           FROM order_tbl2        
         UNION ALL
         SELECT b.order_id,
                b.product_id,
                b.quantity,
                b.cnt + 1
           FROM cte b
          WHERE  b.cnt < b.quantity)
SELECT order_id, product_id, 1 as quantity
  FROM cte;

que asigna la cantidad fija 1 en la selección final, o:

WITH
    cte (order_id,
         product_id,
         real_quantity,
         quantity,
         cnt)
    AS
        (SELECT order_id,
                product_id,
                quantity as real_quantity,
                1 as quantity,
                1 as cnt
           FROM order_tbl2        
         UNION ALL
         SELECT b.order_id,
                b.product_id,
                b.real_quantity,
                b.quantity,
                b.cnt + 1
           FROM cte b
          WHERE  b.cnt < b.real_quantity)
SELECT order_id, product_id, quantity
  FROM cte;

que lo asigna dentro y necesita rastrear la cantidad original como un nuevo alias.

Para ambos, eliminé el + 1 de la comparación de cantidades, ya que eso hacía que se detuviera demasiado pronto; con un order by agregado, ambos obtienen:

db<>fiddle