Ciclo detectado durante a execução de consulta recursiva

No membro recursivo, você está participando apenas em a.product_id = b.product_id , em vez de a.order_id = b.order_id AND a.product_id = b.product_id; o que não importa diretamente aqui, mas sim se diferentes pedidos incluíssem os mesmos produtos, o que é provável no mundo real.

Seus dados e consulta não parecem ter ciclo. Você parece estar tropeçando no que parece ser um bug com junções ANSI; adicionando um cycle cláusula não revela nenhuma linha cíclica, como esperado - e faz com que funcione!; e funciona com junções de estilo antigo:

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

No entanto, você não precisa se associar; você pode fazer:

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 atribui a quantidade fixa 1 na seleção final, ou:

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 o atribui dentro e precisa rastrear a quantidade original como um novo alias.

Para ambos, removi o + 1 da comparação de quantidades, pois isso estava fazendo com que parasse cedo demais; com um order by adicionados, ambos recebem:

ORDER_ID	PRODUCT_ID	QUANTIDADE
ORD1	PROD1	1
ORD1	PROD1	1
ORD1	PROD1	1
ORD1	PROD1	1
ORD1	PROD1	1
ORD2	PROD2	1
ORD2	PROD2	1
ORD3	PROD3	1
ORD3	PROD3	1
ORD3	PROD3	1

db<>fiddle