with recursive d(node, dist, visited, min_elem, min_dist) as (
  select
    node, -- все вершины графа
    case when node = _init_node then 0 else edges.weight end, -- начальная метка
   '{}'::int[], -- посещенные вершины
   _init_node, -- вершина с минимальной меткой
   0 -- величина минимальной метки
  from nodes
  left join edges on () -- ребра из _init_node

  union all

  select d.node, least(d.min_dist + edges.weight, d.dist), d.visited || d.min_elem,
    first_value(d.node) over (order by d.dist) -- filter (where d.node <> all(d.visited)) не работает
  from d
  join edges on () and d.node_id <> all(d.visited) -- ребра из вершины минимальной меткой
-- не работает, потому что нельзя дважды ссылаться на определяемую реляцию
-- join lateral (select node, dist from d where node <> all(d.visited) order by dist limit 1) as min on true
)