Логика следующая:

-) создается исходный набор строк S0.
В примере это будет одна строка (1,2)
-) на основании S0 создается новый набор строк S1 - (2,4),(3,15)
-) на основании S1 создается новый набор строк S2 - (4,6),(5,35),(6,145)
-) на основании S2 создается новый набор строк S3 - (7,8),(8,55)
-) на основании S3 создается новый набор строк S4 - (9,75)
-) слияние промежуточных наборов S0, … S4 результат чего и виден и итоговом обращении к cte

В своей интерпретации, я на каждую строку предыдущего набора действовал сначала первой рекурсивной частью, потом второй. Но дока прямо говорит, что при наличии нескольких блоков в рекурсивной части порядок их применения не определен.
Each iteration of the recursive part operates only on the rows produced by the previous iteration. If the recursive part has multiple query blocks, iterations of each query block are scheduled in unspecified order, and each query block operates on rows that have been produced either by its previous iteration or by other query blocks since that previous iteration's end.

Глядя на первый пример, можно предположить, что:
а) сначала были сформированы наборы
S0: (1,2)
S1: (2,4)
S2: (3,6)
S3: (4,8)
путем применения первой части рекурсивного запроса
б) затем они дополнялись:
к S1 + (5,15)
к S2 + (6,35)
к S3 + (7,55)
сформирован S4 (8,75)
в) вернулись назад и дополняем наборы на основании новых строк, в итоге добавится только одна строка в S2 (9,145).

Вывод: использование пользовательских переменных в данном контексте некорректно, так как результат будет зависеть от плана выполнения запроса.

Akinaretvizan each query block operates on rows that have been produced either by its previous iteration or by other query blocks since that previous iteration's end . Вот над этой фразой надо долго думать... пока навскидку мне кажется, что тут может быть потенция потери записей, потому что блоки обрабатываются в общем случае последовательно... т.е. теоретически, если верить ЭТОЙ фразе, то записи, произведённые последним блоком на предыдущей итерации, не будут обрабатываться другими блоками на текущей итерации, потому как не подпадают ни под одно из двух данных тут определений.
Я перевел эту фразу как:
каждый блок запроса работает со строками, которые были созданы его предыдущей итерацией (т.е. итерацией конкретного блока) или другими блоками запроса с момента окончания предыдущей итерации (итерации того самого конкретного блока) .

Т.е. при наличии более одного блока каждый может вызываться несколько раз, чтобы обработать все строки из предыдущего промежуточного набора.