Cyklus zjištěn při provádění rekurzivního dotazu

V rekurzivním členu se aktuálně připojujete pouze na a.product_id = b.product_id , nikoli a.order_id = b.order_id AND a.product_id = b.product_id; na čemž zde přímo nezáleží, ale kdyby různé objednávky zahrnovaly stejné produkty, což je v reálném světě pravděpodobné.

Zdá se však, že vaše data a dotaz ve skutečnosti nemají cyklus. Zdá se, že zakopáváte o něco, co se zdá být chybou s připojením ANSI; přidání cycle klauzule neodhaluje žádné cyklické řádky, jak se očekávalo – a funguje to!; a funguje to se starými spoji:

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<>housle

Nemusíte se však vůbec připojovat; můžete udělat:

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;

který přiřadí pevné 1 množství v konečném výběru, nebo:

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;

který jej přiřadí dovnitř a potřebuje sledovat původní množství jako nový alias.

U obou jsem odstranil + 1 z kvantitativního srovnání, protože to způsobilo zastavení příliš brzy; s order by přidáno, oba dostanou:

db<>fiddle