CREATE EXTENSION pg_sorted_heap;
SET client_min_messages = warning;
CREATE TABLE facts_sh (
  entity_id   int4 NOT NULL,
  relation_id int2 NOT NULL,
  target_id   int4 NOT NULL,
  embedding   svec(4) NOT NULL,
  payload     text NOT NULL,
  PRIMARY KEY (entity_id, relation_id, target_id)
) USING sorted_heap;
INSERT INTO facts_sh VALUES
  (1, 1, 2, '[1,0,0,0]'::svec, 'a'),
  (1, 2, 3, '[0.9,0.1,0,0]'::svec, 'b'),
  (2, 1, 4, '[0,1,0,0]'::svec, 'c'),
  (3, 1, 1, '[0,0,1,0]'::svec, 'd'),
  (3, 2, 5, '[0,0,0.9,0.1]'::svec, 'e'),
  (4, 1, 6, '[0,0,0,1]'::svec, 'f');
COPY (
  SELECT 'ok'
  FROM (SELECT sorted_heap_compact('facts_sh'::regclass)) s
) TO STDOUT;
ok
ANALYZE facts_sh;
COPY (
  SELECT entity_id, relation_id, target_id, payload
  FROM sorted_heap_expand_ids('facts_sh'::regclass, ARRAY[1,3], NULL, 0)
  ORDER BY entity_id, relation_id, target_id
) TO STDOUT;
1	1	2	a
1	2	3	b
3	1	1	d
3	2	5	e
COPY (
  SELECT entity_id, relation_id, target_id, payload
  FROM sorted_heap_expand_ids('facts_sh'::regclass, ARRAY[1,3], 1, 0)
  ORDER BY entity_id, relation_id, target_id
) TO STDOUT;
1	1	2	a
3	1	1	d
COPY (
  SELECT entity_id, relation_id, target_id, payload
  FROM sorted_heap_expand_ids('facts_sh'::regclass, ARRAY[1,3], NULL, 2)
  ORDER BY entity_id, relation_id, target_id
) TO STDOUT;
1	1	2	a
1	2	3	b
COPY (
  SELECT entity_id, relation_id, target_id, payload, round(distance::numeric, 6) AS distance
  FROM sorted_heap_expand_rerank('facts_sh'::regclass, ARRAY[1,3], '[1,0,0,0]'::svec, 2, NULL, 0)
  ORDER BY distance, entity_id, relation_id, target_id
) TO STDOUT;
1	1	2	a	0.000000
1	2	3	b	0.006116
COPY (
  SELECT entity_id, relation_id, target_id, payload, round(distance::numeric, 6) AS distance
  FROM sorted_heap_graph_rag_scan('facts_sh'::regclass, '[1,0,0,0]'::svec, 2, 2, NULL, 0)
  ORDER BY distance, entity_id, relation_id, target_id
) TO STDOUT;
2	1	4	c	1.000000
3	1	1	d	1.000000
COPY (
  SELECT entity_id, relation_id, target_id, payload
  FROM sorted_heap_expand_ids('facts_sh'::regclass, ARRAY[1,3], 2, 0)
  ORDER BY entity_id, relation_id, target_id
) TO STDOUT;
1	2	3	b
3	2	5	e
COPY (
  SELECT entity_id, relation_id, target_id, payload, round(distance::numeric, 6) AS distance
  FROM sorted_heap_expand_rerank('facts_sh'::regclass, ARRAY[1,3], '[1,0,0,0]'::svec, 2, 2, 0)
  ORDER BY distance, entity_id, relation_id, target_id
) TO STDOUT;
1	2	3	b	0.006116
3	2	5	e	1.000000
COPY (
  SELECT entity_id, relation_id, target_id, payload, round(distance::numeric, 6) AS distance
  FROM sorted_heap_expand_twohop_rerank('facts_sh'::regclass, ARRAY[1,3], '[1,0,0,0]'::svec, 2, 1, 1, 0)
  ORDER BY distance, entity_id, relation_id, target_id
) TO STDOUT;
1	1	2	a	0.000000
2	1	4	c	1.000000
COPY (
  SELECT entity_id, relation_id, target_id, payload, round(distance::numeric, 6) AS distance
  FROM sorted_heap_expand_twohop_path_rerank('facts_sh'::regclass, ARRAY[1,3], '[1,0,0,0]'::svec, 2, 1, 2, 0)
  ORDER BY distance, entity_id, relation_id, target_id
) TO STDOUT;
1	2	3	b	1.006116
COPY (
  SELECT entity_id, relation_id, target_id, payload, round(distance::numeric, 6) AS distance
  FROM sorted_heap_graph_rag_scan('facts_sh'::regclass, '[1,0,0,0]'::svec, 2, 2, 2, 0)
  ORDER BY distance, entity_id, relation_id, target_id
) TO STDOUT;
3	2	5	e	1.000000
COPY (
  SELECT entity_id, relation_id, target_id, payload, round(distance::numeric, 6) AS distance
  FROM sorted_heap_graph_rag_twohop_scan('facts_sh'::regclass, '[0,0,1,0]'::svec, 2, 2, 1, 2, 0)
  ORDER BY distance, entity_id, relation_id, target_id
) TO STDOUT;
1	2	3	b	1.000000
COPY (
  SELECT entity_id, relation_id, target_id, payload, round(distance::numeric, 6) AS distance
  FROM sorted_heap_graph_rag_twohop_path_scan('facts_sh'::regclass, '[0,0,1,0]'::svec, 2, 2, 1, 2, 0)
  ORDER BY distance, entity_id, relation_id, target_id
) TO STDOUT;
1	2	3	b	1.000000
COPY (
  SELECT entity_id, relation_id, target_id, payload, round(distance::numeric, 6) AS distance
  FROM sorted_heap_graph_rag(
    'facts_sh'::regclass,
    '[1,0,0,0]'::svec,
    relation_path := ARRAY[2],
    ann_k := 2,
    top_k := 2,
    score_mode := 'endpoint',
    limit_rows := 0
  )
  ORDER BY distance, entity_id, relation_id, target_id
) TO STDOUT;
1	2	3	b	0.006116
COPY (
  SELECT entity_id, relation_id, target_id, payload, round(distance::numeric, 6) AS distance
  FROM sorted_heap_graph_rag(
    'facts_sh'::regclass,
    '[0,0,1,0]'::svec,
    relation_path := ARRAY[1,2],
    ann_k := 2,
    top_k := 2,
    score_mode := 'endpoint',
    limit_rows := 0
  )
  ORDER BY distance, entity_id, relation_id, target_id
) TO STDOUT;
1	2	3	b	1.000000
COPY (
  SELECT entity_id, relation_id, target_id, payload, round(distance::numeric, 6) AS distance
  FROM sorted_heap_graph_rag(
    'facts_sh'::regclass,
    '[0,0,1,0]'::svec,
    relation_path := ARRAY[1,2],
    ann_k := 2,
    top_k := 2,
    score_mode := 'path',
    limit_rows := 0
  )
  ORDER BY distance, entity_id, relation_id, target_id
) TO STDOUT;
1	2	3	b	1.000000
COPY (
  WITH helper AS (
    SELECT entity_id, relation_id, target_id, payload
    FROM sorted_heap_expand_ids('facts_sh'::regclass, ARRAY[1,3], NULL, 0)
  ),
  sql_baseline AS (
    SELECT entity_id, relation_id, target_id, payload
    FROM facts_sh
    WHERE entity_id = ANY (ARRAY[1,3]::int4[])
  )
  SELECT count(*) AS diff_rows
  FROM (
    (SELECT * FROM helper EXCEPT ALL SELECT * FROM sql_baseline)
    UNION ALL
    (SELECT * FROM sql_baseline EXCEPT ALL SELECT * FROM helper)
  ) diff
) TO STDOUT;
0
COPY (
  WITH helper AS (
    SELECT entity_id, relation_id, target_id, payload, round(distance::numeric, 6) AS distance
    FROM sorted_heap_expand_rerank('facts_sh'::regclass, ARRAY[1,3], '[1,0,0,0]'::svec, 2, NULL, 0)
  ),
  sql_baseline AS (
    SELECT entity_id, relation_id, target_id, payload,
           round((embedding <=> '[1,0,0,0]'::svec)::numeric, 6) AS distance
    FROM facts_sh
    WHERE entity_id = ANY (ARRAY[1,3]::int4[])
    ORDER BY embedding <=> '[1,0,0,0]'::svec, entity_id, relation_id, target_id
    LIMIT 2
  )
  SELECT count(*) AS rerank_diff_rows
  FROM (
    (SELECT * FROM helper EXCEPT ALL SELECT * FROM sql_baseline)
    UNION ALL
    (SELECT * FROM sql_baseline EXCEPT ALL SELECT * FROM helper)
  ) diff
) TO STDOUT;
0
COPY (
  WITH helper AS (
    SELECT entity_id, relation_id, target_id, payload, round(distance::numeric, 6) AS distance
    FROM sorted_heap_expand_twohop_rerank('facts_sh'::regclass, ARRAY[1,3], '[1,0,0,0]'::svec, 2, 1, 1, 0)
  ),
  hop1 AS MATERIALIZED (
    SELECT DISTINCT target_id
    FROM facts_sh
    WHERE entity_id = ANY (ARRAY[1,3]::int4[])
      AND relation_id = 1
  ),
  sql_baseline AS (
    SELECT entity_id, relation_id, target_id, payload,
           round((embedding <=> '[1,0,0,0]'::svec)::numeric, 6) AS distance
    FROM facts_sh
    WHERE entity_id = ANY (ARRAY(SELECT target_id FROM hop1))
      AND relation_id = 1
    ORDER BY embedding <=> '[1,0,0,0]'::svec, entity_id, relation_id, target_id
    LIMIT 2
  )
  SELECT count(*) AS twohop_rerank_diff_rows
  FROM (
    (SELECT * FROM helper EXCEPT ALL SELECT * FROM sql_baseline)
    UNION ALL
    (SELECT * FROM sql_baseline EXCEPT ALL SELECT * FROM helper)
  ) diff
) TO STDOUT;
0
COPY (
  WITH helper AS (
    SELECT entity_id, relation_id, target_id, payload, round(distance::numeric, 6) AS distance
    FROM sorted_heap_expand_twohop_path_rerank('facts_sh'::regclass, ARRAY[1,3], '[1,0,0,0]'::svec, 2, 1, 2, 0)
  ),
  hop1 AS MATERIALIZED (
    SELECT DISTINCT ON (target_id)
           target_id AS parent_id,
           (embedding <=> '[1,0,0,0]'::svec) AS hop1_distance
    FROM facts_sh
    WHERE entity_id = ANY (ARRAY[1,3]::int4[])
      AND relation_id = 1
    ORDER BY target_id, embedding <=> '[1,0,0,0]'::svec, entity_id
  ),
  sql_baseline AS (
    SELECT city.entity_id, city.relation_id, city.target_id, city.payload,
           round(((city.embedding <=> '[1,0,0,0]'::svec) + hop1.hop1_distance)::numeric, 6) AS distance
    FROM facts_sh city
    JOIN hop1 ON hop1.parent_id = city.entity_id
    WHERE city.relation_id = 2
    ORDER BY ((city.embedding <=> '[1,0,0,0]'::svec) + hop1.hop1_distance),
             city.entity_id, city.relation_id, city.target_id
    LIMIT 2
  )
  SELECT count(*) AS twohop_path_rerank_diff_rows
  FROM (
    (SELECT * FROM helper EXCEPT ALL SELECT * FROM sql_baseline)
    UNION ALL
    (SELECT * FROM sql_baseline EXCEPT ALL SELECT * FROM helper)
  ) diff
) TO STDOUT;
0
COPY (
  WITH helper AS (
    SELECT entity_id, relation_id, target_id, payload, round(distance::numeric, 6) AS distance
    FROM sorted_heap_graph_rag_scan('facts_sh'::regclass, '[1,0,0,0]'::svec, 2, 2, NULL, 0)
  ),
  ann AS MATERIALIZED (
    SELECT target_id
    FROM facts_sh
    ORDER BY embedding <=> '[1,0,0,0]'::svec
    LIMIT 2
  ),
  seeds AS MATERIALIZED (
    SELECT DISTINCT target_id FROM ann
  ),
  expanded AS MATERIALIZED (
    SELECT *
    FROM facts_sh
    WHERE entity_id = ANY (ARRAY(SELECT target_id FROM seeds))
  ),
  sql_baseline AS (
    SELECT entity_id, relation_id, target_id, payload,
           round((embedding <=> '[1,0,0,0]'::svec)::numeric, 6) AS distance
    FROM expanded
    ORDER BY embedding <=> '[1,0,0,0]'::svec, entity_id, relation_id, target_id
    LIMIT 2
  )
  SELECT count(*) AS graph_rag_diff_rows
  FROM (
    (SELECT * FROM helper EXCEPT ALL SELECT * FROM sql_baseline)
    UNION ALL
    (SELECT * FROM sql_baseline EXCEPT ALL SELECT * FROM helper)
  ) diff
) TO STDOUT;
0
COPY (
  WITH helper AS (
    SELECT entity_id, relation_id, target_id, payload, round(distance::numeric, 6) AS distance
    FROM sorted_heap_graph_rag(
      'facts_sh'::regclass,
      '[1,0,0,0]'::svec,
      relation_path := ARRAY[2],
      ann_k := 2,
      top_k := 2,
      score_mode := 'endpoint',
      limit_rows := 0
    )
  ),
  ann AS MATERIALIZED (
    SELECT DISTINCT entity_id
    FROM (
      SELECT entity_id
      FROM facts_sh
      ORDER BY embedding <=> '[1,0,0,0]'::svec
      LIMIT 2
    ) ann
  ),
  sql_baseline AS (
    SELECT entity_id, relation_id, target_id, payload,
           round((embedding <=> '[1,0,0,0]'::svec)::numeric, 6) AS distance
    FROM facts_sh
    WHERE entity_id = ANY (ARRAY(SELECT entity_id FROM ann))
      AND relation_id = 2
    ORDER BY embedding <=> '[1,0,0,0]'::svec, entity_id, relation_id, target_id
    LIMIT 2
  )
  SELECT count(*) AS graph_rag_unified_onehop_diff_rows
  FROM (
    (SELECT * FROM helper EXCEPT ALL SELECT * FROM sql_baseline)
    UNION ALL
    (SELECT * FROM sql_baseline EXCEPT ALL SELECT * FROM helper)
  ) diff
) TO STDOUT;
0
COPY (
  WITH endpoint_mode AS (
    SELECT entity_id, relation_id, target_id, payload, round(distance::numeric, 6) AS distance
    FROM sorted_heap_graph_rag(
      'facts_sh'::regclass,
      '[1,0,0,0]'::svec,
      relation_path := ARRAY[2],
      ann_k := 2,
      top_k := 2,
      score_mode := 'endpoint',
      limit_rows := 0
    )
  ),
  path_mode AS (
    SELECT entity_id, relation_id, target_id, payload, round(distance::numeric, 6) AS distance
    FROM sorted_heap_graph_rag(
      'facts_sh'::regclass,
      '[1,0,0,0]'::svec,
      relation_path := ARRAY[2],
      ann_k := 2,
      top_k := 2,
      score_mode := 'path',
      limit_rows := 0
    )
  )
  SELECT count(*) AS graph_rag_unified_onehop_path_equivalence_diff_rows
  FROM (
    (SELECT * FROM endpoint_mode EXCEPT ALL SELECT * FROM path_mode)
    UNION ALL
    (SELECT * FROM path_mode EXCEPT ALL SELECT * FROM endpoint_mode)
  ) diff
) TO STDOUT;
0
COPY (
  WITH helper AS (
    SELECT entity_id, relation_id, target_id, payload, round(distance::numeric, 6) AS distance
    FROM sorted_heap_graph_rag_twohop_scan('facts_sh'::regclass, '[0,0,1,0]'::svec, 2, 2, 1, 2, 0)
  ),
  ann AS MATERIALIZED (
    SELECT entity_id
    FROM facts_sh
    ORDER BY embedding <=> '[0,0,1,0]'::svec
    LIMIT 2
  ),
  seeds AS MATERIALIZED (
    SELECT DISTINCT entity_id FROM ann
  ),
  hop1 AS MATERIALIZED (
    SELECT DISTINCT target_id
    FROM facts_sh
    WHERE entity_id = ANY (ARRAY(SELECT entity_id FROM seeds))
      AND relation_id = 1
  ),
  sql_baseline AS (
    SELECT entity_id, relation_id, target_id, payload,
           round((embedding <=> '[0,0,1,0]'::svec)::numeric, 6) AS distance
    FROM facts_sh
    WHERE entity_id = ANY (ARRAY(SELECT target_id FROM hop1))
      AND relation_id = 2
    ORDER BY embedding <=> '[0,0,1,0]'::svec, entity_id, relation_id, target_id
    LIMIT 2
  )
  SELECT count(*) AS graph_rag_twohop_diff_rows
  FROM (
    (SELECT * FROM helper EXCEPT ALL SELECT * FROM sql_baseline)
    UNION ALL
    (SELECT * FROM sql_baseline EXCEPT ALL SELECT * FROM helper)
  ) diff
) TO STDOUT;
0
COPY (
  WITH helper AS (
    SELECT entity_id, relation_id, target_id, payload, round(distance::numeric, 6) AS distance
    FROM sorted_heap_graph_rag(
      'facts_sh'::regclass,
      '[0,0,1,0]'::svec,
      relation_path := ARRAY[1,2],
      ann_k := 2,
      top_k := 2,
      score_mode := 'endpoint',
      limit_rows := 0
    )
  ),
  baseline AS (
    SELECT entity_id, relation_id, target_id, payload, round(distance::numeric, 6) AS distance
    FROM sorted_heap_graph_rag_twohop_scan('facts_sh'::regclass, '[0,0,1,0]'::svec, 2, 2, 1, 2, 0)
  )
  SELECT count(*) AS graph_rag_unified_twohop_diff_rows
  FROM (
    (SELECT * FROM helper EXCEPT ALL SELECT * FROM baseline)
    UNION ALL
    (SELECT * FROM baseline EXCEPT ALL SELECT * FROM helper)
  ) diff
) TO STDOUT;
0
COPY (
  WITH helper AS (
    SELECT entity_id, relation_id, target_id, payload, round(distance::numeric, 6) AS distance
    FROM sorted_heap_graph_rag_twohop_path_scan('facts_sh'::regclass, '[0,0,1,0]'::svec, 2, 2, 1, 2, 0)
  ),
  ann AS MATERIALIZED (
    SELECT entity_id
    FROM facts_sh
    ORDER BY embedding <=> '[0,0,1,0]'::svec
    LIMIT 2
  ),
  seeds AS MATERIALIZED (
    SELECT DISTINCT entity_id FROM ann
  ),
  hop1 AS MATERIALIZED (
    SELECT DISTINCT ON (target_id)
           target_id AS parent_id,
           (embedding <=> '[0,0,1,0]'::svec) AS hop1_distance
    FROM facts_sh
    WHERE entity_id = ANY (ARRAY(SELECT entity_id FROM seeds))
      AND relation_id = 1
    ORDER BY target_id, embedding <=> '[0,0,1,0]'::svec, entity_id
  ),
  sql_baseline AS (
    SELECT city.entity_id, city.relation_id, city.target_id, city.payload,
           round(((city.embedding <=> '[0,0,1,0]'::svec) + hop1.hop1_distance)::numeric, 6) AS distance
    FROM facts_sh city
    JOIN hop1 ON hop1.parent_id = city.entity_id
    WHERE city.relation_id = 2
    ORDER BY ((city.embedding <=> '[0,0,1,0]'::svec) + hop1.hop1_distance),
             city.entity_id, city.relation_id, city.target_id
    LIMIT 2
  )
  SELECT count(*) AS graph_rag_twohop_path_diff_rows
  FROM (
    (SELECT * FROM helper EXCEPT ALL SELECT * FROM sql_baseline)
    UNION ALL
    (SELECT * FROM sql_baseline EXCEPT ALL SELECT * FROM helper)
  ) diff
) TO STDOUT;
0
COPY (
  WITH helper AS (
    SELECT entity_id, relation_id, target_id, payload, round(distance::numeric, 6) AS distance
    FROM sorted_heap_graph_rag(
      'facts_sh'::regclass,
      '[0,0,1,0]'::svec,
      relation_path := ARRAY[1,2],
      ann_k := 2,
      top_k := 2,
      score_mode := 'path',
      limit_rows := 0
    )
  ),
  baseline AS (
    SELECT entity_id, relation_id, target_id, payload, round(distance::numeric, 6) AS distance
    FROM sorted_heap_graph_rag_twohop_path_scan('facts_sh'::regclass, '[0,0,1,0]'::svec, 2, 2, 1, 2, 0)
  )
  SELECT count(*) AS graph_rag_unified_twohop_path_diff_rows
  FROM (
    (SELECT * FROM helper EXCEPT ALL SELECT * FROM baseline)
    UNION ALL
    (SELECT * FROM baseline EXCEPT ALL SELECT * FROM helper)
  ) diff
) TO STDOUT;
0
COPY (
  WITH helper AS (
    SELECT entity_id, relation_id, target_id, payload
    FROM sorted_heap_expand_ids('facts_sh'::regclass, ARRAY[1,3], 2, 0)
  ),
  sql_baseline AS (
    SELECT entity_id, relation_id, target_id, payload
    FROM facts_sh
    WHERE entity_id = ANY (ARRAY[1,3]::int4[])
      AND relation_id = 2
  )
  SELECT count(*) AS filtered_diff_rows
  FROM (
    (SELECT * FROM helper EXCEPT ALL SELECT * FROM sql_baseline)
    UNION ALL
    (SELECT * FROM sql_baseline EXCEPT ALL SELECT * FROM helper)
  ) diff
) TO STDOUT;
0
COPY (
  WITH helper AS (
    SELECT entity_id, relation_id, target_id, payload, round(distance::numeric, 6) AS distance
    FROM sorted_heap_expand_rerank('facts_sh'::regclass, ARRAY[1,3], '[1,0,0,0]'::svec, 2, 2, 0)
  ),
  sql_baseline AS (
    SELECT entity_id, relation_id, target_id, payload,
           round((embedding <=> '[1,0,0,0]'::svec)::numeric, 6) AS distance
    FROM facts_sh
    WHERE entity_id = ANY (ARRAY[1,3]::int4[])
      AND relation_id = 2
    ORDER BY embedding <=> '[1,0,0,0]'::svec, entity_id, relation_id, target_id
    LIMIT 2
  )
  SELECT count(*) AS filtered_rerank_diff_rows
  FROM (
    (SELECT * FROM helper EXCEPT ALL SELECT * FROM sql_baseline)
    UNION ALL
    (SELECT * FROM sql_baseline EXCEPT ALL SELECT * FROM helper)
  ) diff
) TO STDOUT;
0
COPY (
  WITH helper AS (
    SELECT entity_id, relation_id, target_id, payload, round(distance::numeric, 6) AS distance
    FROM sorted_heap_graph_rag_scan('facts_sh'::regclass, '[1,0,0,0]'::svec, 2, 2, 2, 0)
  ),
  ann AS MATERIALIZED (
    SELECT target_id
    FROM facts_sh
    ORDER BY embedding <=> '[1,0,0,0]'::svec
    LIMIT 2
  ),
  seeds AS MATERIALIZED (
    SELECT DISTINCT target_id FROM ann
  ),
  expanded AS MATERIALIZED (
    SELECT *
    FROM facts_sh
    WHERE entity_id = ANY (ARRAY(SELECT target_id FROM seeds))
      AND relation_id = 2
  ),
  sql_baseline AS (
    SELECT entity_id, relation_id, target_id, payload,
           round((embedding <=> '[1,0,0,0]'::svec)::numeric, 6) AS distance
    FROM expanded
    ORDER BY embedding <=> '[1,0,0,0]'::svec, entity_id, relation_id, target_id
    LIMIT 2
  )
  SELECT count(*) AS filtered_graph_rag_diff_rows
  FROM (
    (SELECT * FROM helper EXCEPT ALL SELECT * FROM sql_baseline)
    UNION ALL
    (SELECT * FROM sql_baseline EXCEPT ALL SELECT * FROM helper)
  ) diff
) TO STDOUT;
0
COPY (
  SELECT 'ok'
  FROM (SELECT sorted_heap_graph_rag_reset_stats()) s
) TO STDOUT;
ok
COPY (
  SELECT entity_id, relation_id, target_id, payload, round(distance::numeric, 6) AS distance
  FROM sorted_heap_expand_rerank('facts_sh'::regclass, ARRAY[1,3], '[1,0,0,0]'::svec, 2, 2, 0)
  ORDER BY distance, entity_id, relation_id, target_id
) TO STDOUT;
1	2	3	b	0.006116
3	2	5	e	1.000000
COPY (
  SELECT calls, api, seed_count, expanded_rows, reranked_rows, returned_rows,
         (ann_ms >= 0.0)::int,
         (expand_ms >= 0.0)::int,
         (rerank_ms >= 0.0)::int,
         (total_ms >= 0.0)::int
  FROM sorted_heap_graph_rag_stats()
) TO STDOUT;
1	sorted_heap_expand_rerank	2	2	2	2	1	1	1	1
COPY (
  SELECT 'ok'
  FROM (SELECT sorted_heap_graph_rag_reset_stats()) s
) TO STDOUT;
ok
COPY (
  SELECT entity_id, relation_id, target_id, payload, round(distance::numeric, 6) AS distance
  FROM sorted_heap_graph_rag(
    'facts_sh'::regclass,
    '[0,0,1,0]'::svec,
    relation_path := ARRAY[1,2],
    ann_k := 2,
    top_k := 2,
    score_mode := 'path',
    limit_rows := 0
  )
  ORDER BY distance, entity_id, relation_id, target_id
) TO STDOUT;
1	2	3	b	1.000000
COPY (
  SELECT calls, api, seed_count, expanded_rows, reranked_rows, returned_rows,
         (ann_ms >= 0.0)::int,
         (expand_ms >= 0.0)::int,
         (rerank_ms >= 0.0)::int,
         (total_ms >= 0.0)::int
  FROM sorted_heap_graph_rag_stats()
) TO STDOUT;
1	sorted_heap_graph_rag_twohop_path_scan	1	2	1	1	1	1	1	1
CREATE TABLE facts_chain_sh (
  entity_id   int4 NOT NULL,
  relation_id int2 NOT NULL,
  target_id   int4 NOT NULL,
  embedding   svec(4) NOT NULL,
  payload     text NOT NULL,
  PRIMARY KEY (entity_id, relation_id, target_id)
) USING sorted_heap;
INSERT INTO facts_chain_sh VALUES
  (8, 1, 18, '[-1,0,0,0]'::svec, 'm1'),
  (18, 2, 28, '[-0.8,-0.2,0,0]'::svec, 'm2'),
  (28, 3, 38, '[-0.6,-0.4,0,0]'::svec, 'm3'),
  (9, 1, 19, '[0,1,0,0]'::svec, 'n1'),
  (19, 2, 29, '[0,0.8,0.2,0]'::svec, 'n2'),
  (29, 3, 39, '[0,0.6,0.4,0]'::svec, 'n3');
COPY (
  SELECT 'ok'
  FROM (SELECT sorted_heap_compact('facts_chain_sh'::regclass)) s
) TO STDOUT;
ok
ANALYZE facts_chain_sh;
COPY (
  SELECT entity_id, relation_id, target_id, payload, round(distance::numeric, 6) AS distance
  FROM sorted_heap_expand_multihop_rerank(
    'facts_chain_sh'::regclass,
    ARRAY[8],
    '[-1,0,0,0]'::svec,
    2,
    ARRAY[1,2,3],
    0
  )
  ORDER BY distance, entity_id, relation_id, target_id
) TO STDOUT;
28	3	38	m3	0.167950
COPY (
  SELECT entity_id, relation_id, target_id, payload, round(distance::numeric, 6) AS distance
  FROM sorted_heap_expand_multihop_path_rerank(
    'facts_chain_sh'::regclass,
    ARRAY[8],
    '[-1,0,0,0]'::svec,
    2,
    ARRAY[1,2,3],
    0
  )
  ORDER BY distance, entity_id, relation_id, target_id
) TO STDOUT;
28	3	38	m3	0.197807
COPY (
  SELECT entity_id, relation_id, target_id, payload, round(distance::numeric, 6) AS distance
  FROM sorted_heap_graph_rag(
    'facts_chain_sh'::regclass,
    '[-1,0,0,0]'::svec,
    relation_path := ARRAY[1,2,3],
    ann_k := 1,
    top_k := 2,
    score_mode := 'endpoint',
    limit_rows := 0
  )
  ORDER BY distance, entity_id, relation_id, target_id
) TO STDOUT;
28	3	38	m3	0.167950
COPY (
  SELECT entity_id, relation_id, target_id, payload, round(distance::numeric, 6) AS distance
  FROM sorted_heap_graph_rag(
    'facts_chain_sh'::regclass,
    '[-1,0,0,0]'::svec,
    relation_path := ARRAY[1,2,3],
    ann_k := 1,
    top_k := 2,
    score_mode := 'path',
    limit_rows := 0
  )
  ORDER BY distance, entity_id, relation_id, target_id
) TO STDOUT;
28	3	38	m3	0.197807
COPY (
  WITH helper AS (
    SELECT entity_id, relation_id, target_id, payload, round(distance::numeric, 6) AS distance
    FROM sorted_heap_expand_multihop_rerank(
      'facts_chain_sh'::regclass,
      ARRAY[8],
      '[-1,0,0,0]'::svec,
      2,
      ARRAY[1,2,3],
      0
    )
  ),
  hop1 AS MATERIALIZED (
    SELECT DISTINCT target_id
    FROM facts_chain_sh
    WHERE entity_id = ANY (ARRAY[8]::int4[])
      AND relation_id = 1
  ),
  hop2 AS MATERIALIZED (
    SELECT DISTINCT target_id
    FROM facts_chain_sh
    WHERE entity_id = ANY (ARRAY(SELECT target_id FROM hop1))
      AND relation_id = 2
  ),
  sql_baseline AS (
    SELECT entity_id, relation_id, target_id, payload,
           round((embedding <=> '[-1,0,0,0]'::svec)::numeric, 6) AS distance
    FROM facts_chain_sh
    WHERE entity_id = ANY (ARRAY(SELECT target_id FROM hop2))
      AND relation_id = 3
    ORDER BY embedding <=> '[-1,0,0,0]'::svec, entity_id, relation_id, target_id
    LIMIT 2
  )
  SELECT count(*) AS multihop_rerank_diff_rows
  FROM (
    (SELECT * FROM helper EXCEPT ALL SELECT * FROM sql_baseline)
    UNION ALL
    (SELECT * FROM sql_baseline EXCEPT ALL SELECT * FROM helper)
  ) diff
) TO STDOUT;
0
COPY (
  WITH helper AS (
    SELECT entity_id, relation_id, target_id, payload, round(distance::numeric, 6) AS distance
    FROM sorted_heap_expand_multihop_path_rerank(
      'facts_chain_sh'::regclass,
      ARRAY[8],
      '[-1,0,0,0]'::svec,
      2,
      ARRAY[1,2,3],
      0
    )
  ),
  hop1 AS MATERIALIZED (
    SELECT DISTINCT ON (target_id)
           target_id AS node_1,
           (embedding <=> '[-1,0,0,0]'::svec) AS d1
    FROM facts_chain_sh
    WHERE entity_id = ANY (ARRAY[8]::int4[])
      AND relation_id = 1
    ORDER BY target_id, embedding <=> '[-1,0,0,0]'::svec, entity_id
  ),
  hop2 AS MATERIALIZED (
    SELECT DISTINCT ON (t.target_id)
           t.target_id AS node_2,
           (hop1.d1 + (t.embedding <=> '[-1,0,0,0]'::svec)) AS d2
    FROM facts_chain_sh t
    JOIN hop1 ON hop1.node_1 = t.entity_id
    WHERE t.relation_id = 2
    ORDER BY t.target_id, (hop1.d1 + (t.embedding <=> '[-1,0,0,0]'::svec)), t.entity_id
  ),
  sql_baseline AS (
    SELECT t.entity_id, t.relation_id, t.target_id, t.payload,
           round((hop2.d2 + (t.embedding <=> '[-1,0,0,0]'::svec))::numeric, 6) AS distance
    FROM facts_chain_sh t
    JOIN hop2 ON hop2.node_2 = t.entity_id
    WHERE t.relation_id = 3
    ORDER BY (hop2.d2 + (t.embedding <=> '[-1,0,0,0]'::svec)),
             t.entity_id, t.relation_id, t.target_id
    LIMIT 2
  )
  SELECT count(*) AS multihop_path_rerank_diff_rows
  FROM (
    (SELECT * FROM helper EXCEPT ALL SELECT * FROM sql_baseline)
    UNION ALL
    (SELECT * FROM sql_baseline EXCEPT ALL SELECT * FROM helper)
  ) diff
) TO STDOUT;
0
CREATE TABLE facts_chain_seg_a (
  entity_id   int4 NOT NULL,
  relation_id int2 NOT NULL,
  target_id   int4 NOT NULL,
  embedding   svec(4) NOT NULL,
  payload     text NOT NULL,
  PRIMARY KEY (entity_id, relation_id, target_id)
) USING sorted_heap;
CREATE TABLE facts_chain_seg_b (
  entity_id   int4 NOT NULL,
  relation_id int2 NOT NULL,
  target_id   int4 NOT NULL,
  embedding   svec(4) NOT NULL,
  payload     text NOT NULL,
  PRIMARY KEY (entity_id, relation_id, target_id)
) USING sorted_heap;
INSERT INTO facts_chain_seg_a VALUES
  (8, 1, 18, '[-1,0,0,0]'::svec, 'm1'),
  (18, 2, 28, '[-0.8,-0.2,0,0]'::svec, 'm2'),
  (28, 3, 38, '[-0.6,-0.4,0,0]'::svec, 'm3');
INSERT INTO facts_chain_seg_b VALUES
  (9, 1, 19, '[0,1,0,0]'::svec, 'n1'),
  (19, 2, 29, '[0,0.8,0.2,0]'::svec, 'n2'),
  (29, 3, 39, '[0,0.6,0.4,0]'::svec, 'n3');
COPY (
  SELECT 'ok'
  FROM (SELECT sorted_heap_compact('facts_chain_seg_a'::regclass)) s
) TO STDOUT;
ok
COPY (
  SELECT 'ok'
  FROM (SELECT sorted_heap_compact('facts_chain_seg_b'::regclass)) s
) TO STDOUT;
ok
ANALYZE facts_chain_seg_a;
ANALYZE facts_chain_seg_b;
COPY (
  SELECT 'ok'
  FROM (
    SELECT sorted_heap_graph_segment_meta_register('facts_chain_seg_a'::regclass, 'hot', 'left', ARRAY['hot','mutable'])
  ) s
) TO STDOUT;
ok
COPY (
  SELECT 'ok'
  FROM (
    SELECT sorted_heap_graph_segment_meta_register('facts_chain_seg_b'::regclass, 'sealed', 'right', ARRAY['sealed','archive'])
  ) s
) TO STDOUT;
ok
COPY (
  SELECT rel::text, coalesce(segment_group, ''), coalesce(relation_family, ''), coalesce(array_to_string(segment_labels, ','), '')
  FROM sorted_heap_graph_segment_meta_config()
) TO STDOUT;
facts_chain_seg_a	hot	left	hot,mutable
facts_chain_seg_b	sealed	right	sealed,archive
COPY (
  SELECT 'ok'
  FROM (
    SELECT sorted_heap_graph_segment_register('chain_route', 'facts_chain_seg_a'::regclass, 1, 8, 'hot', 'left')
  ) s
) TO STDOUT;
ok
COPY (
  SELECT 'ok'
  FROM (
    SELECT sorted_heap_graph_segment_register('chain_route', 'facts_chain_seg_b'::regclass, 9, 16, 'sealed', 'right')
  ) s
) TO STDOUT;
ok
COPY (
  SELECT 'ok'
  FROM (
    SELECT sorted_heap_graph_segment_register('chain_grouped', 'facts_chain_seg_a'::regclass, 1, 16, 'hot', 'left')
  ) s
) TO STDOUT;
ok
COPY (
  SELECT 'ok'
  FROM (
    SELECT sorted_heap_graph_segment_register('chain_grouped', 'facts_chain_seg_b'::regclass, 1, 16, 'sealed', 'right')
  ) s
) TO STDOUT;
ok
COPY (
  SELECT route_name, rel::text, route_min, route_max, coalesce(segment_group, ''), coalesce(relation_family, '')
  FROM sorted_heap_graph_segment_config('chain_route')
) TO STDOUT;
chain_route	facts_chain_seg_a	1	8	hot	left
chain_route	facts_chain_seg_b	9	16	sealed	right
COPY (
  SELECT route_name, rel::text, route_min, route_max,
         coalesce(route_segment_group, ''), coalesce(route_relation_family, ''),
         coalesce(shared_segment_group, ''), coalesce(shared_relation_family, ''),
         coalesce(effective_segment_group, ''), coalesce(effective_relation_family, ''),
         coalesce(array_to_string(shared_segment_labels, ','), ''),
         coalesce(array_to_string(effective_segment_labels, ','), ''),
         segment_group_source, relation_family_source, segment_labels_source
  FROM sorted_heap_graph_segment_catalog('chain_grouped')
) TO STDOUT;
chain_grouped	facts_chain_seg_a	1	16	hot	left	hot	left	hot	left	hot,mutable	hot,mutable	route	route	shared
chain_grouped	facts_chain_seg_b	1	16	sealed	right	sealed	right	sealed	right	sealed,archive	sealed,archive	route	route	shared
COPY (
  SELECT 'ok'
  FROM (
    SELECT sorted_heap_graph_segment_register('chain_meta_grouped', 'facts_chain_seg_a'::regclass, 1, 16)
  ) s
) TO STDOUT;
ok
COPY (
  SELECT 'ok'
  FROM (
    SELECT sorted_heap_graph_segment_register('chain_meta_grouped', 'facts_chain_seg_b'::regclass, 1, 16)
  ) s
) TO STDOUT;
ok
COPY (
  SELECT route_name, rel::text, route_min, route_max, coalesce(segment_group, ''), coalesce(relation_family, ''), coalesce(array_to_string(segment_labels, ','), '')
  FROM sorted_heap_graph_segment_config('chain_meta_grouped')
) TO STDOUT;
chain_meta_grouped	facts_chain_seg_a	1	16	hot	left	hot,mutable
chain_meta_grouped	facts_chain_seg_b	1	16	sealed	right	sealed,archive
COPY (
  SELECT route_name, rel::text, route_min, route_max,
         coalesce(route_segment_group, ''), coalesce(route_relation_family, ''),
         coalesce(shared_segment_group, ''), coalesce(shared_relation_family, ''),
         coalesce(effective_segment_group, ''), coalesce(effective_relation_family, ''),
         coalesce(array_to_string(shared_segment_labels, ','), ''),
         coalesce(array_to_string(effective_segment_labels, ','), ''),
         segment_group_source, relation_family_source, segment_labels_source
  FROM sorted_heap_graph_segment_catalog('chain_meta_grouped')
) TO STDOUT;
chain_meta_grouped	facts_chain_seg_a	1	16			hot	left	hot	left	hot,mutable	hot,mutable	shared	shared	shared
chain_meta_grouped	facts_chain_seg_b	1	16			sealed	right	sealed	right	sealed,archive	sealed,archive	shared	shared	shared
COPY (
  SELECT rel::text, route_min, route_max, coalesce(segment_group, ''), coalesce(relation_family, ''), coalesce(array_to_string(segment_labels, ','), '')
  FROM sorted_heap_graph_segment_resolve('chain_route', 8, 0)
) TO STDOUT;
facts_chain_seg_a	1	8	hot	left	hot,mutable
COPY (
  SELECT rel::text, route_min, route_max, coalesce(segment_group, ''), coalesce(relation_family, ''), coalesce(array_to_string(segment_labels, ','), '')
  FROM sorted_heap_graph_segment_resolve('chain_grouped', 8, 0, ARRAY['hot'])
) TO STDOUT;
facts_chain_seg_a	1	16	hot	left	hot,mutable
COPY (
  SELECT rel::text, route_min, route_max, coalesce(segment_group, ''), coalesce(relation_family, ''), coalesce(array_to_string(segment_labels, ','), '')
  FROM sorted_heap_graph_segment_resolve('chain_grouped', 8, 1, ARRAY['sealed','hot'])
) TO STDOUT;
facts_chain_seg_b	1	16	sealed	right	sealed,archive
COPY (
  SELECT rel::text, route_min, route_max, coalesce(segment_group, ''), coalesce(relation_family, ''), coalesce(array_to_string(segment_labels, ','), '')
  FROM sorted_heap_graph_segment_resolve('chain_grouped', 8, 0, ARRAY['hot','sealed'], 'right')
) TO STDOUT;
facts_chain_seg_b	1	16	sealed	right	sealed,archive
COPY (
  SELECT rel::text, route_min, route_max, coalesce(segment_group, ''), coalesce(relation_family, ''), coalesce(array_to_string(segment_labels, ','), '')
  FROM sorted_heap_graph_segment_resolve('chain_meta_grouped', 8, 0, ARRAY['hot'])
) TO STDOUT;
facts_chain_seg_a	1	16	hot	left	hot,mutable
COPY (
  SELECT rel::text, route_min, route_max, coalesce(segment_group, ''), coalesce(relation_family, ''), coalesce(array_to_string(segment_labels, ','), '')
  FROM sorted_heap_graph_segment_resolve('chain_meta_grouped', 8, 0, ARRAY['hot','sealed'], 'right')
) TO STDOUT;
facts_chain_seg_b	1	16	sealed	right	sealed,archive
COPY (
  SELECT rel::text, route_min, route_max, coalesce(segment_group, ''), coalesce(relation_family, ''), coalesce(array_to_string(segment_labels, ','), '')
  FROM sorted_heap_graph_segment_resolve('chain_meta_grouped', 8, 0, NULL, NULL, ARRAY['archive'])
) TO STDOUT;
facts_chain_seg_b	1	16	sealed	right	sealed,archive
COPY (
  SELECT 'ok'
  FROM (
    SELECT sorted_heap_graph_route_policy_register('chain_grouped', 'prefer_hot', ARRAY['hot','sealed'])
  ) s
) TO STDOUT;
ok
COPY (
  SELECT 'ok'
  FROM (
    SELECT sorted_heap_graph_route_policy_register('chain_grouped', 'prefer_sealed', ARRAY['sealed','hot'])
  ) s
) TO STDOUT;
ok
COPY (
  SELECT rel::text, route_min, route_max, coalesce(segment_group, ''), coalesce(relation_family, '')
  FROM sorted_heap_graph_segment_resolve('chain_grouped', 8, 0, ARRAY['hot','sealed'], 'right')
) TO STDOUT;
facts_chain_seg_b	1	16	sealed	right
COPY (
  SELECT route_name, policy_name, array_to_string(segment_groups, ',')
  FROM sorted_heap_graph_route_policy_config('chain_grouped')
) TO STDOUT;
chain_grouped	prefer_hot	hot,sealed
chain_grouped	prefer_sealed	sealed,hot
COPY (
  SELECT array_to_string(sorted_heap_graph_route_policy_groups('chain_grouped', 'prefer_sealed'), ',')
) TO STDOUT;
sealed,hot
COPY (
  SELECT 'ok'
  FROM (
    SELECT sorted_heap_graph_route_profile_register('chain_grouped', 'sealed_right', 'prefer_sealed', NULL, 'right', 1, ARRAY['archive'])
  ) s
) TO STDOUT;
ok
COPY (
  SELECT 'ok'
  FROM (
    SELECT sorted_heap_graph_route_profile_register('chain_grouped', 'inline_sealed_right', NULL, ARRAY['sealed','hot'], 'right', 1, ARRAY['archive'])
  ) s
) TO STDOUT;
ok
COPY (
  SELECT route_name, profile_name, coalesce(policy_name, ''), coalesce(array_to_string(segment_groups, ','), ''), coalesce(relation_family, ''), fanout_limit, coalesce(array_to_string(segment_labels, ','), '')
  FROM sorted_heap_graph_route_profile_config('chain_grouped')
) TO STDOUT;
chain_grouped	inline_sealed_right		sealed,hot	right	1	archive
chain_grouped	sealed_right	prefer_sealed		right	1	archive
COPY (
  SELECT coalesce(policy_name, ''), coalesce(array_to_string(segment_groups, ','), ''), coalesce(relation_family, ''), fanout_limit, coalesce(array_to_string(segment_labels, ','), '')
  FROM sorted_heap_graph_route_profile_resolve('chain_grouped', 'sealed_right')
) TO STDOUT;
prefer_sealed		right	1	archive
COPY (
  SELECT coalesce(policy_name, ''), coalesce(array_to_string(segment_groups, ','), ''), coalesce(relation_family, ''), fanout_limit, coalesce(array_to_string(segment_labels, ','), '')
  FROM sorted_heap_graph_route_profile_resolve('chain_grouped', 'inline_sealed_right')
) TO STDOUT;
	sealed,hot	right	1	archive
COPY (
  SELECT 'ok'
  FROM (
    SELECT sorted_heap_graph_route_default_register('chain_grouped', 'inline_sealed_right')
  ) s
) TO STDOUT;
ok
COPY (
  SELECT route_name, profile_name
  FROM sorted_heap_graph_route_default_config('chain_grouped')
) TO STDOUT;
chain_grouped	inline_sealed_right
COPY (
  SELECT sorted_heap_graph_route_default_resolve('chain_grouped')
) TO STDOUT;
inline_sealed_right
COPY (
  SELECT route_name, profile_name, coalesce(policy_name, ''),
         coalesce(array_to_string(inline_segment_groups, ','), ''),
         coalesce(array_to_string(policy_segment_groups, ','), ''),
         coalesce(array_to_string(effective_segment_groups, ','), ''),
         segment_groups_source,
         coalesce(relation_family, ''),
         fanout_limit,
         coalesce(array_to_string(segment_labels, ','), ''),
         is_default
  FROM sorted_heap_graph_route_profile_catalog('chain_grouped')
) TO STDOUT;
chain_grouped	inline_sealed_right		sealed,hot		sealed,hot	inline	right	1	archive	t
chain_grouped	sealed_right	prefer_sealed		sealed,hot	sealed,hot	policy	right	1	archive	f
COPY (
  SELECT route_name,
         range_shard_count,
         exact_binding_count,
         policy_count,
         profile_count,
         coalesce(default_profile_name, ''),
         coalesce(array_to_string(default_effective_segment_groups, ','), ''),
         coalesce(default_segment_groups_source, ''),
         coalesce(default_relation_family, ''),
         coalesce(default_fanout_limit::text, ''),
         coalesce(array_to_string(default_segment_labels, ','), '')
  FROM sorted_heap_graph_route_catalog('chain_grouped')
) TO STDOUT;
chain_grouped	2	0	2	2	inline_sealed_right	sealed,hot	inline	right	1	archive
COPY (
  SELECT source_rel::text, entity_id, relation_id, target_id, payload,
         round(distance::numeric, 6) AS distance
  FROM sorted_heap_graph_rag_segmented(
    ARRAY['facts_chain_seg_a'::regclass, 'facts_chain_seg_b'::regclass],
    '[-1,0,0,0]'::svec,
    relation_path := ARRAY[1,2,3],
    ann_k := 1,
    top_k := 2,
    score_mode := 'path',
    limit_rows := 0
  )
  ORDER BY distance, entity_id, relation_id, target_id, source_rel::text
) TO STDOUT;
facts_chain_seg_a	28	3	38	m3	0.197807
facts_chain_seg_b	29	3	39	n3	3.000000
COPY (
  WITH helper AS (
    SELECT entity_id, relation_id, target_id, payload, round(distance::numeric, 6) AS distance
    FROM sorted_heap_graph_rag_segmented(
      ARRAY['facts_chain_seg_a'::regclass, 'facts_chain_seg_b'::regclass],
      '[-1,0,0,0]'::svec,
      relation_path := ARRAY[1,2,3],
      ann_k := 1,
      top_k := 2,
      score_mode := 'endpoint',
      limit_rows := 0
    )
  ),
  baseline AS (
    SELECT entity_id, relation_id, target_id, payload, round(distance::numeric, 6) AS distance
    FROM (
      SELECT entity_id, relation_id, target_id, payload, distance
      FROM sorted_heap_graph_rag(
        'facts_chain_seg_a'::regclass,
        '[-1,0,0,0]'::svec,
        relation_path := ARRAY[1,2,3],
        ann_k := 1,
        top_k := 2,
        score_mode := 'endpoint',
        limit_rows := 0
      )
      UNION ALL
      SELECT entity_id, relation_id, target_id, payload, distance
      FROM sorted_heap_graph_rag(
        'facts_chain_seg_b'::regclass,
        '[-1,0,0,0]'::svec,
        relation_path := ARRAY[1,2,3],
        ann_k := 1,
        top_k := 2,
        score_mode := 'endpoint',
        limit_rows := 0
      )
    ) merged
    ORDER BY distance, entity_id, relation_id, target_id
    LIMIT 2
  )
  SELECT count(*) AS segmented_multihop_diff_rows
  FROM (
    (SELECT * FROM helper EXCEPT ALL SELECT * FROM baseline)
    UNION ALL
    (SELECT * FROM baseline EXCEPT ALL SELECT * FROM helper)
  ) diff
) TO STDOUT;
0
COPY (
  WITH helper AS (
    SELECT entity_id, relation_id, target_id, payload, round(distance::numeric, 6) AS distance
    FROM sorted_heap_graph_rag_routed_profile(
      'chain_grouped',
      8,
      'inline_sealed_right',
      '[-1,0,0,0]'::svec,
      relation_path := ARRAY[1,2,3],
      ann_k := 1,
      top_k := 2,
      score_mode := 'path',
      limit_rows := 0
    )
  ),
  baseline AS (
    SELECT entity_id, relation_id, target_id, payload, round(distance::numeric, 6) AS distance
    FROM sorted_heap_graph_rag(
      'facts_chain_seg_b'::regclass,
      '[-1,0,0,0]'::svec,
      relation_path := ARRAY[1,2,3],
      ann_k := 1,
      top_k := 2,
      score_mode := 'path',
      limit_rows := 0
    )
  )
  SELECT count(*) AS routed_inline_profile_multihop_path_diff_rows
  FROM (
    (SELECT * FROM helper EXCEPT ALL SELECT * FROM baseline)
    UNION ALL
    (SELECT * FROM baseline EXCEPT ALL SELECT * FROM helper)
  ) diff
) TO STDOUT;
0
COPY (
  WITH helper AS (
    SELECT entity_id, relation_id, target_id, payload, round(distance::numeric, 6) AS distance
    FROM sorted_heap_graph_rag_routed_default(
      'chain_grouped',
      8,
      '[-1,0,0,0]'::svec,
      relation_path := ARRAY[1,2,3],
      ann_k := 1,
      top_k := 2,
      score_mode := 'path',
      limit_rows := 0
    )
  ),
  baseline AS (
    SELECT entity_id, relation_id, target_id, payload, round(distance::numeric, 6) AS distance
    FROM sorted_heap_graph_rag(
      'facts_chain_seg_b'::regclass,
      '[-1,0,0,0]'::svec,
      relation_path := ARRAY[1,2,3],
      ann_k := 1,
      top_k := 2,
      score_mode := 'path',
      limit_rows := 0
    )
  )
  SELECT count(*) AS routed_default_multihop_path_diff_rows
  FROM (
    (SELECT * FROM helper EXCEPT ALL SELECT * FROM baseline)
    UNION ALL
    (SELECT * FROM baseline EXCEPT ALL SELECT * FROM helper)
  ) diff
) TO STDOUT;
0
COPY (
  WITH helper AS (
    SELECT entity_id, relation_id, target_id, payload, round(distance::numeric, 6) AS distance
    FROM sorted_heap_graph_rag_routed_profile(
      'chain_grouped',
      8,
      'sealed_right',
      '[-1,0,0,0]'::svec,
      relation_path := ARRAY[1,2,3],
      ann_k := 1,
      top_k := 2,
      score_mode := 'path',
      limit_rows := 0
    )
  ),
  baseline AS (
    SELECT entity_id, relation_id, target_id, payload, round(distance::numeric, 6) AS distance
    FROM sorted_heap_graph_rag(
      'facts_chain_seg_b'::regclass,
      '[-1,0,0,0]'::svec,
      relation_path := ARRAY[1,2,3],
      ann_k := 1,
      top_k := 2,
      score_mode := 'path',
      limit_rows := 0
    )
  )
  SELECT count(*) AS routed_profile_multihop_path_diff_rows
  FROM (
    (SELECT * FROM helper EXCEPT ALL SELECT * FROM baseline)
    UNION ALL
    (SELECT * FROM baseline EXCEPT ALL SELECT * FROM helper)
  ) diff
) TO STDOUT;
0
COPY (
  WITH helper AS (
    SELECT entity_id, relation_id, target_id, payload, round(distance::numeric, 6) AS distance
    FROM sorted_heap_graph_rag_routed(
      'chain_meta_grouped',
      8,
      '[-1,0,0,0]'::svec,
      relation_path := ARRAY[1,2,3],
      ann_k := 1,
      top_k := 2,
      score_mode := 'path',
      limit_rows := 0,
      segment_groups := ARRAY['sealed'],
      relation_family := 'right'
    )
  ),
  baseline AS (
    SELECT entity_id, relation_id, target_id, payload, round(distance::numeric, 6) AS distance
    FROM sorted_heap_graph_rag(
      'facts_chain_seg_b'::regclass,
      '[-1,0,0,0]'::svec,
      relation_path := ARRAY[1,2,3],
      ann_k := 1,
      top_k := 2,
      score_mode := 'path',
      limit_rows := 0
    )
  )
  SELECT count(*) AS routed_meta_multihop_path_diff_rows
  FROM (
    (SELECT * FROM helper EXCEPT ALL SELECT * FROM baseline)
    UNION ALL
    (SELECT * FROM baseline EXCEPT ALL SELECT * FROM helper)
  ) diff
) TO STDOUT;
0
COPY (
  WITH helper AS (
    SELECT entity_id, relation_id, target_id, payload, round(distance::numeric, 6) AS distance
    FROM sorted_heap_graph_rag_segmented(
      ARRAY['facts_chain_seg_a'::regclass, 'facts_chain_seg_b'::regclass],
      '[-1,0,0,0]'::svec,
      relation_path := ARRAY[1,2,3],
      ann_k := 1,
      top_k := 2,
      score_mode := 'path',
      limit_rows := 0
    )
  ),
  baseline AS (
    SELECT entity_id, relation_id, target_id, payload, round(distance::numeric, 6) AS distance
    FROM (
      SELECT entity_id, relation_id, target_id, payload, distance
      FROM sorted_heap_graph_rag(
        'facts_chain_seg_a'::regclass,
        '[-1,0,0,0]'::svec,
        relation_path := ARRAY[1,2,3],
        ann_k := 1,
        top_k := 2,
        score_mode := 'path',
        limit_rows := 0
      )
      UNION ALL
      SELECT entity_id, relation_id, target_id, payload, distance
      FROM sorted_heap_graph_rag(
        'facts_chain_seg_b'::regclass,
        '[-1,0,0,0]'::svec,
        relation_path := ARRAY[1,2,3],
        ann_k := 1,
        top_k := 2,
        score_mode := 'path',
        limit_rows := 0
      )
    ) merged
    ORDER BY distance, entity_id, relation_id, target_id
    LIMIT 2
  )
  SELECT count(*) AS segmented_multihop_path_diff_rows
  FROM (
    (SELECT * FROM helper EXCEPT ALL SELECT * FROM baseline)
    UNION ALL
    (SELECT * FROM baseline EXCEPT ALL SELECT * FROM helper)
  ) diff
) TO STDOUT;
0
COPY (
  SELECT source_rel::text, entity_id, relation_id, target_id, payload,
         round(distance::numeric, 6) AS distance
  FROM sorted_heap_graph_rag_routed(
    'chain_route',
    8,
    '[-1,0,0,0]'::svec,
    relation_path := ARRAY[1,2,3],
    ann_k := 1,
    top_k := 2,
    score_mode := 'path',
    limit_rows := 0
  )
  ORDER BY distance, entity_id, relation_id, target_id, source_rel::text
) TO STDOUT;
facts_chain_seg_a	28	3	38	m3	0.197807
COPY (
  WITH helper AS (
    SELECT entity_id, relation_id, target_id, payload, round(distance::numeric, 6) AS distance
    FROM sorted_heap_graph_rag_routed(
      'chain_route',
      8,
      '[-1,0,0,0]'::svec,
      relation_path := ARRAY[1,2,3],
      ann_k := 1,
      top_k := 2,
      score_mode := 'path',
      limit_rows := 0
    )
  ),
  baseline AS (
    SELECT entity_id, relation_id, target_id, payload, round(distance::numeric, 6) AS distance
    FROM sorted_heap_graph_rag(
      'facts_chain_seg_a'::regclass,
      '[-1,0,0,0]'::svec,
      relation_path := ARRAY[1,2,3],
      ann_k := 1,
      top_k := 2,
      score_mode := 'path',
      limit_rows := 0
    )
  )
  SELECT count(*) AS routed_multihop_path_diff_rows
  FROM (
    (SELECT * FROM helper EXCEPT ALL SELECT * FROM baseline)
    UNION ALL
    (SELECT * FROM baseline EXCEPT ALL SELECT * FROM helper)
  ) diff
) TO STDOUT;
0
COPY (
  WITH helper AS (
    SELECT entity_id, relation_id, target_id, payload, round(distance::numeric, 6) AS distance
    FROM sorted_heap_graph_rag_routed(
      'chain_grouped',
      8,
      '[-1,0,0,0]'::svec,
      relation_path := ARRAY[1,2,3],
      ann_k := 1,
      top_k := 2,
      score_mode := 'path',
      limit_rows := 0,
      segment_groups := ARRAY['hot']
    )
  ),
  baseline AS (
    SELECT entity_id, relation_id, target_id, payload, round(distance::numeric, 6) AS distance
    FROM sorted_heap_graph_rag(
      'facts_chain_seg_a'::regclass,
      '[-1,0,0,0]'::svec,
      relation_path := ARRAY[1,2,3],
      ann_k := 1,
      top_k := 2,
      score_mode := 'path',
      limit_rows := 0
    )
  )
  SELECT count(*) AS routed_group_multihop_path_diff_rows
  FROM (
    (SELECT * FROM helper EXCEPT ALL SELECT * FROM baseline)
    UNION ALL
    (SELECT * FROM baseline EXCEPT ALL SELECT * FROM helper)
  ) diff
) TO STDOUT;
0
COPY (
  WITH helper AS (
    SELECT entity_id, relation_id, target_id, payload, round(distance::numeric, 6) AS distance
    FROM sorted_heap_graph_rag_routed(
      'chain_grouped',
      8,
      '[-1,0,0,0]'::svec,
      relation_path := ARRAY[1,2,3],
      ann_k := 1,
      top_k := 2,
      score_mode := 'path',
      limit_rows := 0,
      fanout_limit := 1,
      segment_groups := ARRAY['sealed','hot']
    )
  ),
  baseline AS (
    SELECT entity_id, relation_id, target_id, payload, round(distance::numeric, 6) AS distance
    FROM sorted_heap_graph_rag(
      'facts_chain_seg_b'::regclass,
      '[-1,0,0,0]'::svec,
      relation_path := ARRAY[1,2,3],
      ann_k := 1,
      top_k := 2,
      score_mode := 'path',
      limit_rows := 0
    )
  )
  SELECT count(*) AS routed_group_order_multihop_path_diff_rows
  FROM (
    (SELECT * FROM helper EXCEPT ALL SELECT * FROM baseline)
    UNION ALL
    (SELECT * FROM baseline EXCEPT ALL SELECT * FROM helper)
  ) diff
) TO STDOUT;
0
COPY (
  WITH helper AS (
    SELECT entity_id, relation_id, target_id, payload, round(distance::numeric, 6) AS distance
    FROM sorted_heap_graph_rag_routed(
      'chain_grouped',
      8,
      '[-1,0,0,0]'::svec,
      relation_path := ARRAY[1,2,3],
      ann_k := 1,
      top_k := 2,
      score_mode := 'path',
      limit_rows := 0,
      segment_groups := ARRAY['hot','sealed'],
      relation_family := 'right'
    )
  ),
  baseline AS (
    SELECT entity_id, relation_id, target_id, payload, round(distance::numeric, 6) AS distance
    FROM sorted_heap_graph_rag(
      'facts_chain_seg_b'::regclass,
      '[-1,0,0,0]'::svec,
      relation_path := ARRAY[1,2,3],
      ann_k := 1,
      top_k := 2,
      score_mode := 'path',
      limit_rows := 0
    )
  )
  SELECT count(*) AS routed_family_multihop_path_diff_rows
  FROM (
    (SELECT * FROM helper EXCEPT ALL SELECT * FROM baseline)
    UNION ALL
    (SELECT * FROM baseline EXCEPT ALL SELECT * FROM helper)
  ) diff
) TO STDOUT;
0
COPY (
  WITH helper AS (
    SELECT entity_id, relation_id, target_id, payload, round(distance::numeric, 6) AS distance
    FROM sorted_heap_graph_rag_routed(
      'chain_grouped',
      8,
      '[-1,0,0,0]'::svec,
      relation_path := ARRAY[1,2,3],
      ann_k := 1,
      top_k := 2,
      score_mode := 'path',
      limit_rows := 0,
      segment_groups := ARRAY['hot','sealed'],
      relation_family := 'right'
    )
  ),
  baseline AS (
    SELECT entity_id, relation_id, target_id, payload, round(distance::numeric, 6) AS distance
    FROM sorted_heap_graph_rag(
      'facts_chain_seg_b'::regclass,
      '[-1,0,0,0]'::svec,
      relation_path := ARRAY[1,2,3],
      ann_k := 1,
      top_k := 2,
      score_mode := 'path',
      limit_rows := 0
    )
  )
  SELECT count(*) AS routed_family_multihop_path_diff_rows
  FROM (
    (SELECT * FROM helper EXCEPT ALL SELECT * FROM baseline)
    UNION ALL
    (SELECT * FROM baseline EXCEPT ALL SELECT * FROM helper)
  ) diff
) TO STDOUT;
0
COPY (
  WITH helper AS (
    SELECT entity_id, relation_id, target_id, payload, round(distance::numeric, 6) AS distance
    FROM sorted_heap_graph_rag_routed_policy(
      'chain_grouped',
      8,
      'prefer_sealed',
      '[-1,0,0,0]'::svec,
      relation_path := ARRAY[1,2,3],
      ann_k := 1,
      top_k := 2,
      score_mode := 'path',
      limit_rows := 0,
      fanout_limit := 1
    )
  ),
  baseline AS (
    SELECT entity_id, relation_id, target_id, payload, round(distance::numeric, 6) AS distance
    FROM sorted_heap_graph_rag(
      'facts_chain_seg_b'::regclass,
      '[-1,0,0,0]'::svec,
      relation_path := ARRAY[1,2,3],
      ann_k := 1,
      top_k := 2,
      score_mode := 'path',
      limit_rows := 0
    )
  )
  SELECT count(*) AS routed_policy_multihop_path_diff_rows
  FROM (
    (SELECT * FROM helper EXCEPT ALL SELECT * FROM baseline)
    UNION ALL
    (SELECT * FROM baseline EXCEPT ALL SELECT * FROM helper)
  ) diff
) TO STDOUT;
0
COPY (
  WITH helper AS (
    SELECT entity_id, relation_id, target_id, payload, round(distance::numeric, 6) AS distance
    FROM sorted_heap_graph_rag_routed_policy(
      'chain_grouped',
      8,
      'prefer_sealed',
      '[-1,0,0,0]'::svec,
      relation_path := ARRAY[1,2,3],
      ann_k := 1,
      top_k := 2,
      score_mode := 'path',
      limit_rows := 0,
      fanout_limit := 1,
      relation_family := 'right'
    )
  ),
  baseline AS (
    SELECT entity_id, relation_id, target_id, payload, round(distance::numeric, 6) AS distance
    FROM sorted_heap_graph_rag(
      'facts_chain_seg_b'::regclass,
      '[-1,0,0,0]'::svec,
      relation_path := ARRAY[1,2,3],
      ann_k := 1,
      top_k := 2,
      score_mode := 'path',
      limit_rows := 0
    )
  )
  SELECT count(*) AS routed_policy_family_multihop_path_diff_rows
  FROM (
    (SELECT * FROM helper EXCEPT ALL SELECT * FROM baseline)
    UNION ALL
    (SELECT * FROM baseline EXCEPT ALL SELECT * FROM helper)
  ) diff
) TO STDOUT;
0
COPY (
  SELECT 'ok'
  FROM (
    SELECT sorted_heap_graph_exact_register('chain_exact', 'left', 'facts_chain_seg_a'::regclass, 100, 'hot', 'left')
  ) s
) TO STDOUT;
ok
COPY (
  SELECT 'ok'
  FROM (
    SELECT sorted_heap_graph_exact_register('chain_meta_exact', 'left', 'facts_chain_seg_a'::regclass, 100)
  ) s
) TO STDOUT;
ok
COPY (
  SELECT 'ok'
  FROM (
    SELECT sorted_heap_graph_exact_register('chain_exact', 'both', 'facts_chain_seg_a'::regclass, 100, 'hot', 'left')
  ) s
) TO STDOUT;
ok
COPY (
  SELECT 'ok'
  FROM (
    SELECT sorted_heap_graph_exact_register('chain_meta_exact', 'both', 'facts_chain_seg_a'::regclass, 100)
  ) s
) TO STDOUT;
ok
COPY (
  SELECT 'ok'
  FROM (
    SELECT sorted_heap_graph_exact_register('chain_exact', 'both', 'facts_chain_seg_b'::regclass, 50, 'sealed', 'right')
  ) s
) TO STDOUT;
ok
COPY (
  SELECT 'ok'
  FROM (
    SELECT sorted_heap_graph_exact_register('chain_meta_exact', 'both', 'facts_chain_seg_b'::regclass, 50)
  ) s
) TO STDOUT;
ok
COPY (
  SELECT route_name, route_key, rel::text, priority, coalesce(segment_group, ''), coalesce(relation_family, ''), coalesce(array_to_string(segment_labels, ','), '')
  FROM sorted_heap_graph_exact_config('chain_exact')
) TO STDOUT;
chain_exact	both	facts_chain_seg_a	100	hot	left	hot,mutable
chain_exact	both	facts_chain_seg_b	50	sealed	right	sealed,archive
chain_exact	left	facts_chain_seg_a	100	hot	left	hot,mutable
COPY (
  SELECT route_name, route_key, rel::text, priority,
         coalesce(route_segment_group, ''), coalesce(route_relation_family, ''),
         coalesce(shared_segment_group, ''), coalesce(shared_relation_family, ''),
         coalesce(effective_segment_group, ''), coalesce(effective_relation_family, ''),
         coalesce(array_to_string(shared_segment_labels, ','), ''),
         coalesce(array_to_string(effective_segment_labels, ','), ''),
         segment_group_source, relation_family_source, segment_labels_source
  FROM sorted_heap_graph_exact_catalog('chain_exact')
) TO STDOUT;
chain_exact	both	facts_chain_seg_a	100	hot	left	hot	left	hot	left	hot,mutable	hot,mutable	route	route	shared
chain_exact	both	facts_chain_seg_b	50	sealed	right	sealed	right	sealed	right	sealed,archive	sealed,archive	route	route	shared
chain_exact	left	facts_chain_seg_a	100	hot	left	hot	left	hot	left	hot,mutable	hot,mutable	route	route	shared
COPY (
  SELECT route_name, route_key, rel::text, priority, coalesce(segment_group, ''), coalesce(relation_family, ''), coalesce(array_to_string(segment_labels, ','), '')
  FROM sorted_heap_graph_exact_config('chain_meta_exact')
) TO STDOUT;
chain_meta_exact	both	facts_chain_seg_a	100	hot	left	hot,mutable
chain_meta_exact	both	facts_chain_seg_b	50	sealed	right	sealed,archive
chain_meta_exact	left	facts_chain_seg_a	100	hot	left	hot,mutable
COPY (
  SELECT route_name, route_key, rel::text, priority,
         coalesce(route_segment_group, ''), coalesce(route_relation_family, ''),
         coalesce(shared_segment_group, ''), coalesce(shared_relation_family, ''),
         coalesce(effective_segment_group, ''), coalesce(effective_relation_family, ''),
         coalesce(array_to_string(shared_segment_labels, ','), ''),
         coalesce(array_to_string(effective_segment_labels, ','), ''),
         segment_group_source, relation_family_source, segment_labels_source
  FROM sorted_heap_graph_exact_catalog('chain_meta_exact')
) TO STDOUT;
chain_meta_exact	both	facts_chain_seg_a	100			hot	left	hot	left	hot,mutable	hot,mutable	shared	shared	shared
chain_meta_exact	both	facts_chain_seg_b	50			sealed	right	sealed	right	sealed,archive	sealed,archive	shared	shared	shared
chain_meta_exact	left	facts_chain_seg_a	100			hot	left	hot	left	hot,mutable	hot,mutable	shared	shared	shared
COPY (
  SELECT rel::text, priority, coalesce(segment_group, ''), coalesce(relation_family, ''), coalesce(array_to_string(segment_labels, ','), '')
  FROM sorted_heap_graph_exact_resolve('chain_exact', 'left', 0)
) TO STDOUT;
facts_chain_seg_a	100	hot	left	hot,mutable
COPY (
  SELECT rel::text, priority, coalesce(segment_group, ''), coalesce(relation_family, ''), coalesce(array_to_string(segment_labels, ','), '')
  FROM sorted_heap_graph_exact_resolve('chain_exact', 'both', 0)
) TO STDOUT;
facts_chain_seg_a	100	hot	left	hot,mutable
facts_chain_seg_b	50	sealed	right	sealed,archive
COPY (
  SELECT rel::text, priority, coalesce(segment_group, ''), coalesce(relation_family, ''), coalesce(array_to_string(segment_labels, ','), '')
  FROM sorted_heap_graph_exact_resolve('chain_exact', 'both', 0, ARRAY['sealed'])
) TO STDOUT;
facts_chain_seg_b	50	sealed	right	sealed,archive
COPY (
  SELECT rel::text, priority, coalesce(segment_group, ''), coalesce(relation_family, ''), coalesce(array_to_string(segment_labels, ','), '')
  FROM sorted_heap_graph_exact_resolve('chain_exact', 'both', 1, ARRAY['sealed','hot'])
) TO STDOUT;
facts_chain_seg_b	50	sealed	right	sealed,archive
COPY (
  SELECT rel::text, priority, coalesce(segment_group, ''), coalesce(relation_family, ''), coalesce(array_to_string(segment_labels, ','), '')
  FROM sorted_heap_graph_exact_resolve('chain_exact', 'both', 0, ARRAY['hot','sealed'], 'right')
) TO STDOUT;
facts_chain_seg_b	50	sealed	right	sealed,archive
COPY (
  SELECT rel::text, priority, coalesce(segment_group, ''), coalesce(relation_family, ''), coalesce(array_to_string(segment_labels, ','), '')
  FROM sorted_heap_graph_exact_resolve('chain_meta_exact', 'both', 1, ARRAY['sealed','hot'])
) TO STDOUT;
facts_chain_seg_b	50	sealed	right	sealed,archive
COPY (
  SELECT rel::text, priority, coalesce(segment_group, ''), coalesce(relation_family, ''), coalesce(array_to_string(segment_labels, ','), '')
  FROM sorted_heap_graph_exact_resolve('chain_meta_exact', 'both', 0, NULL, NULL, ARRAY['archive'])
) TO STDOUT;
facts_chain_seg_b	50	sealed	right	sealed,archive
COPY (
  SELECT 'ok'
  FROM (
    SELECT sorted_heap_graph_route_policy_register('chain_exact', 'prefer_hot', ARRAY['hot','sealed'])
  ) s
) TO STDOUT;
ok
COPY (
  SELECT 'ok'
  FROM (
    SELECT sorted_heap_graph_route_policy_register('chain_exact', 'prefer_sealed', ARRAY['sealed','hot'])
  ) s
) TO STDOUT;
ok
COPY (
  SELECT route_name, policy_name, array_to_string(segment_groups, ',')
  FROM sorted_heap_graph_route_policy_config('chain_exact')
) TO STDOUT;
chain_exact	prefer_hot	hot,sealed
chain_exact	prefer_sealed	sealed,hot
COPY (
  SELECT array_to_string(sorted_heap_graph_route_policy_groups('chain_exact', 'prefer_sealed'), ',')
) TO STDOUT;
sealed,hot
COPY (
  SELECT 'ok'
  FROM (
    SELECT sorted_heap_graph_route_profile_register('chain_exact', 'sealed_right', 'prefer_sealed', NULL, 'right', 1, ARRAY['archive'])
  ) s
) TO STDOUT;
ok
COPY (
  SELECT 'ok'
  FROM (
    SELECT sorted_heap_graph_route_profile_register('chain_exact', 'inline_sealed_right', NULL, ARRAY['sealed','hot'], 'right', 1, ARRAY['archive'])
  ) s
) TO STDOUT;
ok
COPY (
  SELECT route_name, profile_name, coalesce(policy_name, ''), coalesce(array_to_string(segment_groups, ','), ''), coalesce(relation_family, ''), fanout_limit, coalesce(array_to_string(segment_labels, ','), '')
  FROM sorted_heap_graph_route_profile_config('chain_exact')
) TO STDOUT;
chain_exact	inline_sealed_right		sealed,hot	right	1	archive
chain_exact	sealed_right	prefer_sealed		right	1	archive
COPY (
  SELECT coalesce(policy_name, ''), coalesce(array_to_string(segment_groups, ','), ''), coalesce(relation_family, ''), fanout_limit, coalesce(array_to_string(segment_labels, ','), '')
  FROM sorted_heap_graph_route_profile_resolve('chain_exact', 'sealed_right')
) TO STDOUT;
prefer_sealed		right	1	archive
COPY (
  SELECT coalesce(policy_name, ''), coalesce(array_to_string(segment_groups, ','), ''), coalesce(relation_family, ''), fanout_limit, coalesce(array_to_string(segment_labels, ','), '')
  FROM sorted_heap_graph_route_profile_resolve('chain_exact', 'inline_sealed_right')
) TO STDOUT;
	sealed,hot	right	1	archive
COPY (
  SELECT 'ok'
  FROM (
    SELECT sorted_heap_graph_route_default_register('chain_exact', 'inline_sealed_right')
  ) s
) TO STDOUT;
ok
COPY (
  SELECT route_name, profile_name
  FROM sorted_heap_graph_route_default_config('chain_exact')
) TO STDOUT;
chain_exact	inline_sealed_right
COPY (
  SELECT sorted_heap_graph_route_default_resolve('chain_exact')
) TO STDOUT;
inline_sealed_right
COPY (
  SELECT route_name, profile_name, coalesce(policy_name, ''),
         coalesce(array_to_string(inline_segment_groups, ','), ''),
         coalesce(array_to_string(policy_segment_groups, ','), ''),
         coalesce(array_to_string(effective_segment_groups, ','), ''),
         segment_groups_source,
         coalesce(relation_family, ''),
         fanout_limit,
         coalesce(array_to_string(segment_labels, ','), ''),
         is_default
  FROM sorted_heap_graph_route_profile_catalog('chain_exact')
) TO STDOUT;
chain_exact	inline_sealed_right		sealed,hot		sealed,hot	inline	right	1	archive	t
chain_exact	sealed_right	prefer_sealed		sealed,hot	sealed,hot	policy	right	1	archive	f
COPY (
  SELECT route_name,
         range_shard_count,
         exact_binding_count,
         policy_count,
         profile_count,
         coalesce(default_profile_name, ''),
         coalesce(array_to_string(default_effective_segment_groups, ','), ''),
         coalesce(default_segment_groups_source, ''),
         coalesce(default_relation_family, ''),
         coalesce(default_fanout_limit::text, ''),
         coalesce(array_to_string(default_segment_labels, ','), '')
  FROM sorted_heap_graph_route_catalog('chain_exact')
) TO STDOUT;
chain_exact	0	3	2	2	inline_sealed_right	sealed,hot	inline	right	1	archive
COPY (
  SELECT source_rel::text, entity_id, relation_id, target_id, payload,
         round(distance::numeric, 6) AS distance
  FROM sorted_heap_graph_rag_routed_exact(
    'chain_exact',
    'left',
    '[-1,0,0,0]'::svec,
    relation_path := ARRAY[1,2,3],
    ann_k := 1,
    top_k := 2,
    score_mode := 'path',
    limit_rows := 0
  )
  ORDER BY distance, entity_id, relation_id, target_id, source_rel::text
) TO STDOUT;
facts_chain_seg_a	28	3	38	m3	0.197807
COPY (
  WITH helper AS (
    SELECT entity_id, relation_id, target_id, payload, round(distance::numeric, 6) AS distance
    FROM sorted_heap_graph_rag_routed_exact(
      'chain_exact',
      'left',
      '[-1,0,0,0]'::svec,
      relation_path := ARRAY[1,2,3],
      ann_k := 1,
      top_k := 2,
      score_mode := 'path',
      limit_rows := 0
    )
  ),
  baseline AS (
    SELECT entity_id, relation_id, target_id, payload, round(distance::numeric, 6) AS distance
    FROM sorted_heap_graph_rag(
      'facts_chain_seg_a'::regclass,
      '[-1,0,0,0]'::svec,
      relation_path := ARRAY[1,2,3],
      ann_k := 1,
      top_k := 2,
      score_mode := 'path',
      limit_rows := 0
    )
  )
  SELECT count(*) AS routed_exact_multihop_path_diff_rows
  FROM (
    (SELECT * FROM helper EXCEPT ALL SELECT * FROM baseline)
    UNION ALL
    (SELECT * FROM baseline EXCEPT ALL SELECT * FROM helper)
  ) diff
) TO STDOUT;
0
COPY (
  WITH helper AS (
    SELECT entity_id, relation_id, target_id, payload, round(distance::numeric, 6) AS distance
    FROM sorted_heap_graph_rag_routed_exact_profile(
      'chain_exact',
      'both',
      'inline_sealed_right',
      '[-1,0,0,0]'::svec,
      relation_path := ARRAY[1,2,3],
      ann_k := 1,
      top_k := 2,
      score_mode := 'path',
      limit_rows := 0
    )
  ),
  baseline AS (
    SELECT entity_id, relation_id, target_id, payload, round(distance::numeric, 6) AS distance
    FROM sorted_heap_graph_rag(
      'facts_chain_seg_b'::regclass,
      '[-1,0,0,0]'::svec,
      relation_path := ARRAY[1,2,3],
      ann_k := 1,
      top_k := 2,
      score_mode := 'path',
      limit_rows := 0
    )
  )
  SELECT count(*) AS routed_exact_inline_profile_multihop_path_diff_rows
  FROM (
    (SELECT * FROM helper EXCEPT ALL SELECT * FROM baseline)
    UNION ALL
    (SELECT * FROM baseline EXCEPT ALL SELECT * FROM helper)
  ) diff
) TO STDOUT;
0
COPY (
  WITH helper AS (
    SELECT entity_id, relation_id, target_id, payload, round(distance::numeric, 6) AS distance
    FROM sorted_heap_graph_rag_routed_exact(
      'chain_exact',
      'both',
      '[-1,0,0,0]'::svec,
      relation_path := ARRAY[1,2,3],
      ann_k := 1,
      top_k := 2,
      score_mode := 'path',
      limit_rows := 0
    )
  ),
  baseline AS (
    SELECT entity_id, relation_id, target_id, payload, round(distance::numeric, 6) AS distance
    FROM sorted_heap_graph_rag_segmented(
      ARRAY['facts_chain_seg_a'::regclass, 'facts_chain_seg_b'::regclass],
      '[-1,0,0,0]'::svec,
      relation_path := ARRAY[1,2,3],
      ann_k := 1,
      top_k := 2,
      score_mode := 'path',
      limit_rows := 0
    )
  )
  SELECT count(*) AS routed_exact_segmented_diff_rows
  FROM (
    (SELECT * FROM helper EXCEPT ALL SELECT * FROM baseline)
    UNION ALL
    (SELECT * FROM baseline EXCEPT ALL SELECT * FROM helper)
  ) diff
) TO STDOUT;
0
COPY (
  WITH helper AS (
    SELECT entity_id, relation_id, target_id, payload, round(distance::numeric, 6) AS distance
    FROM sorted_heap_graph_rag_routed_exact(
      'chain_exact',
      'both',
      '[-1,0,0,0]'::svec,
      relation_path := ARRAY[1,2,3],
      ann_k := 1,
      top_k := 2,
      score_mode := 'path',
      limit_rows := 0,
      segment_groups := ARRAY['sealed']
    )
  ),
  baseline AS (
    SELECT entity_id, relation_id, target_id, payload, round(distance::numeric, 6) AS distance
    FROM sorted_heap_graph_rag(
      'facts_chain_seg_b'::regclass,
      '[-1,0,0,0]'::svec,
      relation_path := ARRAY[1,2,3],
      ann_k := 1,
      top_k := 2,
      score_mode := 'path',
      limit_rows := 0
    )
  )
  SELECT count(*) AS routed_exact_group_multihop_path_diff_rows
  FROM (
    (SELECT * FROM helper EXCEPT ALL SELECT * FROM baseline)
    UNION ALL
    (SELECT * FROM baseline EXCEPT ALL SELECT * FROM helper)
  ) diff
) TO STDOUT;
0
COPY (
  WITH helper AS (
    SELECT entity_id, relation_id, target_id, payload, round(distance::numeric, 6) AS distance
    FROM sorted_heap_graph_rag_routed_exact(
      'chain_exact',
      'both',
      '[-1,0,0,0]'::svec,
      relation_path := ARRAY[1,2,3],
      ann_k := 1,
      top_k := 2,
      score_mode := 'path',
      limit_rows := 0,
      fanout_limit := 1,
      segment_groups := ARRAY['sealed','hot']
    )
  ),
  baseline AS (
    SELECT entity_id, relation_id, target_id, payload, round(distance::numeric, 6) AS distance
    FROM sorted_heap_graph_rag(
      'facts_chain_seg_b'::regclass,
      '[-1,0,0,0]'::svec,
      relation_path := ARRAY[1,2,3],
      ann_k := 1,
      top_k := 2,
      score_mode := 'path',
      limit_rows := 0
    )
  )
  SELECT count(*) AS routed_exact_group_order_multihop_path_diff_rows
  FROM (
    (SELECT * FROM helper EXCEPT ALL SELECT * FROM baseline)
    UNION ALL
    (SELECT * FROM baseline EXCEPT ALL SELECT * FROM helper)
  ) diff
) TO STDOUT;
0
COPY (
  WITH helper AS (
    SELECT entity_id, relation_id, target_id, payload, round(distance::numeric, 6) AS distance
    FROM sorted_heap_graph_rag_routed_exact_policy(
      'chain_exact',
      'both',
      'prefer_sealed',
      '[-1,0,0,0]'::svec,
      relation_path := ARRAY[1,2,3],
      ann_k := 1,
      top_k := 2,
      score_mode := 'path',
      limit_rows := 0,
      fanout_limit := 1
    )
  ),
  baseline AS (
    SELECT entity_id, relation_id, target_id, payload, round(distance::numeric, 6) AS distance
    FROM sorted_heap_graph_rag(
      'facts_chain_seg_b'::regclass,
      '[-1,0,0,0]'::svec,
      relation_path := ARRAY[1,2,3],
      ann_k := 1,
      top_k := 2,
      score_mode := 'path',
      limit_rows := 0
    )
  )
  SELECT count(*) AS routed_exact_policy_multihop_path_diff_rows
  FROM (
    (SELECT * FROM helper EXCEPT ALL SELECT * FROM baseline)
    UNION ALL
    (SELECT * FROM baseline EXCEPT ALL SELECT * FROM helper)
  ) diff
) TO STDOUT;
0
COPY (
  WITH helper AS (
    SELECT entity_id, relation_id, target_id, payload, round(distance::numeric, 6) AS distance
    FROM sorted_heap_graph_rag_routed_exact_policy(
      'chain_exact',
      'both',
      'prefer_sealed',
      '[-1,0,0,0]'::svec,
      relation_path := ARRAY[1,2,3],
      ann_k := 1,
      top_k := 2,
      score_mode := 'path',
      limit_rows := 0,
      fanout_limit := 1,
      relation_family := 'right'
    )
  ),
  baseline AS (
    SELECT entity_id, relation_id, target_id, payload, round(distance::numeric, 6) AS distance
    FROM sorted_heap_graph_rag(
      'facts_chain_seg_b'::regclass,
      '[-1,0,0,0]'::svec,
      relation_path := ARRAY[1,2,3],
      ann_k := 1,
      top_k := 2,
      score_mode := 'path',
      limit_rows := 0
    )
  )
  SELECT count(*) AS routed_exact_policy_family_multihop_path_diff_rows
  FROM (
    (SELECT * FROM helper EXCEPT ALL SELECT * FROM baseline)
    UNION ALL
    (SELECT * FROM baseline EXCEPT ALL SELECT * FROM helper)
  ) diff
) TO STDOUT;
0
COPY (
  WITH helper AS (
    SELECT entity_id, relation_id, target_id, payload, round(distance::numeric, 6) AS distance
    FROM sorted_heap_graph_rag_routed_exact_profile(
      'chain_exact',
      'both',
      'sealed_right',
      '[-1,0,0,0]'::svec,
      relation_path := ARRAY[1,2,3],
      ann_k := 1,
      top_k := 2,
      score_mode := 'path',
      limit_rows := 0
    )
  ),
  baseline AS (
    SELECT entity_id, relation_id, target_id, payload, round(distance::numeric, 6) AS distance
    FROM sorted_heap_graph_rag(
      'facts_chain_seg_b'::regclass,
      '[-1,0,0,0]'::svec,
      relation_path := ARRAY[1,2,3],
      ann_k := 1,
      top_k := 2,
      score_mode := 'path',
      limit_rows := 0
    )
  )
  SELECT count(*) AS routed_exact_profile_multihop_path_diff_rows
  FROM (
    (SELECT * FROM helper EXCEPT ALL SELECT * FROM baseline)
    UNION ALL
    (SELECT * FROM baseline EXCEPT ALL SELECT * FROM helper)
  ) diff
) TO STDOUT;
0
COPY (
  WITH helper AS (
    SELECT entity_id, relation_id, target_id, payload, round(distance::numeric, 6) AS distance
    FROM sorted_heap_graph_rag_routed_exact_default(
      'chain_exact',
      'both',
      '[-1,0,0,0]'::svec,
      relation_path := ARRAY[1,2,3],
      ann_k := 1,
      top_k := 2,
      score_mode := 'path',
      limit_rows := 0
    )
  ),
  baseline AS (
    SELECT entity_id, relation_id, target_id, payload, round(distance::numeric, 6) AS distance
    FROM sorted_heap_graph_rag(
      'facts_chain_seg_b'::regclass,
      '[-1,0,0,0]'::svec,
      relation_path := ARRAY[1,2,3],
      ann_k := 1,
      top_k := 2,
      score_mode := 'path',
      limit_rows := 0
    )
  )
  SELECT count(*) AS routed_exact_default_multihop_path_diff_rows
  FROM (
    (SELECT * FROM helper EXCEPT ALL SELECT * FROM baseline)
    UNION ALL
    (SELECT * FROM baseline EXCEPT ALL SELECT * FROM helper)
  ) diff
) TO STDOUT;
0
COPY (
  WITH helper AS (
    SELECT entity_id, relation_id, target_id, payload, round(distance::numeric, 6) AS distance
    FROM sorted_heap_graph_rag_routed_exact(
      'chain_meta_exact',
      'both',
      '[-1,0,0,0]'::svec,
      relation_path := ARRAY[1,2,3],
      ann_k := 1,
      top_k := 2,
      score_mode := 'path',
      limit_rows := 0,
      fanout_limit := 1,
      segment_groups := ARRAY['sealed','hot']
    )
  ),
  baseline AS (
    SELECT entity_id, relation_id, target_id, payload, round(distance::numeric, 6) AS distance
    FROM sorted_heap_graph_rag(
      'facts_chain_seg_b'::regclass,
      '[-1,0,0,0]'::svec,
      relation_path := ARRAY[1,2,3],
      ann_k := 1,
      top_k := 2,
      score_mode := 'path',
      limit_rows := 0
    )
  )
  SELECT count(*) AS routed_exact_meta_multihop_path_diff_rows
  FROM (
    (SELECT * FROM helper EXCEPT ALL SELECT * FROM baseline)
    UNION ALL
    (SELECT * FROM baseline EXCEPT ALL SELECT * FROM helper)
  ) diff
) TO STDOUT;
0
-- ================================================================
-- Unified router: sorted_heap_graph_route + route_plan
-- (must run before profile/default unregister)
-- ================================================================
-- Test exact-key routing via unified wrapper (step 7: base dispatcher)
COPY (
  SELECT count(*) AS unified_exact_base_diff_rows
  FROM (
    SELECT entity_id, relation_id, target_id, payload, distance
    FROM sorted_heap_graph_route(
      'chain_meta_exact', '[1,0,0,0]'::svec, ARRAY[2],
      route_key := 'left', ann_k := 16, top_k := 2
    )
    EXCEPT ALL
    SELECT entity_id, relation_id, target_id, payload, distance
    FROM sorted_heap_graph_rag_routed_exact(
      'chain_meta_exact', 'left', '[1,0,0,0]'::svec, ARRAY[2],
      ann_k := 16, top_k := 2
    )
  ) diff
) TO STDOUT;
0
-- Test exact-key routing with default profile (step 6)
COPY (
  SELECT count(*) AS unified_exact_default_diff_rows
  FROM (
    SELECT entity_id, relation_id, target_id, payload, distance
    FROM sorted_heap_graph_route(
      'chain_exact', '[1,0,0,0]'::svec, ARRAY[2],
      route_key := 'left', ann_k := 16, top_k := 2
    )
    EXCEPT ALL
    SELECT entity_id, relation_id, target_id, payload, distance
    FROM sorted_heap_graph_rag_routed_exact_default(
      'chain_exact', 'left', '[1,0,0,0]'::svec, ARRAY[2],
      ann_k := 16, top_k := 2
    )
  ) diff
) TO STDOUT;
0
-- Test exact-key routing with explicit profile (step 3)
COPY (
  SELECT count(*) AS unified_exact_profile_diff_rows
  FROM (
    SELECT entity_id, relation_id, target_id, payload, distance
    FROM sorted_heap_graph_route(
      'chain_exact', '[1,0,0,0]'::svec, ARRAY[2],
      route_key := 'left', profile_name := 'sealed_right',
      ann_k := 16, top_k := 2
    )
    EXCEPT ALL
    SELECT entity_id, relation_id, target_id, payload, distance
    FROM sorted_heap_graph_rag_routed_exact_profile(
      'chain_exact', 'left', 'sealed_right', '[1,0,0,0]'::svec, ARRAY[2],
      ann_k := 16, top_k := 2
    )
  ) diff
) TO STDOUT;
0
-- Test range routing via unified wrapper (step 7: base dispatcher)
COPY (
  SELECT count(*) AS unified_range_base_diff_rows
  FROM (
    SELECT entity_id, relation_id, target_id, payload, distance
    FROM sorted_heap_graph_route(
      'chain_grouped', '[1,0,0,0]'::svec, ARRAY[2],
      route_value := 1, ann_k := 16, top_k := 2
    )
    EXCEPT ALL
    SELECT entity_id, relation_id, target_id, payload, distance
    FROM sorted_heap_graph_rag_routed(
      'chain_grouped', 1, '[1,0,0,0]'::svec, ARRAY[2],
      ann_k := 16, top_k := 2
    )
  ) diff
) TO STDOUT;
0
-- Test range routing with default profile (step 6)
COPY (
  SELECT count(*) AS unified_range_default_diff_rows
  FROM (
    SELECT entity_id, relation_id, target_id, payload, distance
    FROM sorted_heap_graph_route(
      'chain_grouped', '[1,0,0,0]'::svec, ARRAY[2],
      route_value := 1, ann_k := 16, top_k := 2
    )
    EXCEPT ALL
    SELECT entity_id, relation_id, target_id, payload, distance
    FROM sorted_heap_graph_rag_routed_default(
      'chain_grouped', 1, '[1,0,0,0]'::svec, ARRAY[2],
      ann_k := 16, top_k := 2
    )
  ) diff
) TO STDOUT;
0
-- Test route_plan: exact-key base resolution
COPY (
  SELECT route_kind, resolution_path, used_default,
         candidate_shards IS NOT NULL AS has_shards
  FROM sorted_heap_graph_route_plan(
    'chain_meta_exact', route_key := 'left')
) TO STDOUT;
exact	base	f	t
-- Test route_plan: exact-key with default profile
COPY (
  SELECT route_kind, resolution_path, used_profile_name, used_default,
         candidate_shards IS NOT NULL AS has_shards
  FROM sorted_heap_graph_route_plan(
    'chain_exact', route_key := 'left')
) TO STDOUT;
exact	default	inline_sealed_right	t	f
-- Test route_plan: range with default profile
COPY (
  SELECT route_kind, resolution_path, used_profile_name, used_default,
         candidate_shards IS NOT NULL AS has_shards
  FROM sorted_heap_graph_route_plan(
    'chain_grouped', route_value := 1)
) TO STDOUT;
range	default	inline_sealed_right	t	t
-- Test route_plan: explicit profile
COPY (
  SELECT route_kind, resolution_path, used_profile_name, used_default
  FROM sorted_heap_graph_route_plan(
    'chain_exact', route_key := 'left', profile_name := 'sealed_right')
) TO STDOUT;
exact	profile	sealed_right	f
-- Test validation: both route_key and route_value
DO $$
BEGIN
  PERFORM * FROM sorted_heap_graph_route(
    'chain_exact', '[1,0,0,0]'::svec, ARRAY[2],
    route_key := 'left', route_value := 1);
  RAISE EXCEPTION 'expected error not raised';
EXCEPTION WHEN raise_exception THEN
  IF sqlerrm LIKE '%route_key or route_value, not both%' THEN
    RAISE NOTICE 'unified_route_both_keys_rejected: ok';
  ELSE
    RAISE;
  END IF;
END $$;
-- Test validation: profile + segment_groups
DO $$
BEGIN
  PERFORM * FROM sorted_heap_graph_route(
    'chain_exact', '[1,0,0,0]'::svec, ARRAY[2],
    route_key := 'left', profile_name := 'sealed_right',
    segment_groups := ARRAY['hot']);
  RAISE EXCEPTION 'expected error not raised';
EXCEPTION WHEN raise_exception THEN
  IF sqlerrm LIKE '%profile_name cannot be combined%' THEN
    RAISE NOTICE 'unified_route_profile_override_rejected: ok';
  ELSE
    RAISE;
  END IF;
END $$;
-- Test validation: policy + segment_groups
DO $$
BEGIN
  PERFORM * FROM sorted_heap_graph_route(
    'chain_exact', '[1,0,0,0]'::svec, ARRAY[2],
    route_key := 'left', policy_name := 'prefer_sealed',
    segment_groups := ARRAY['hot']);
  RAISE EXCEPTION 'expected error not raised';
EXCEPTION WHEN raise_exception THEN
  IF sqlerrm LIKE '%policy_name cannot be combined with segment_groups%' THEN
    RAISE NOTICE 'unified_route_policy_groups_rejected: ok';
  ELSE
    RAISE;
  END IF;
END $$;
-- Test route_plan validation: profile + segment_groups
DO $$
BEGIN
  PERFORM * FROM sorted_heap_graph_route_plan(
    'chain_exact',
    route_key := 'left',
    profile_name := 'sealed_right',
    segment_groups := ARRAY['hot']);
  RAISE EXCEPTION 'expected error not raised';
EXCEPTION WHEN raise_exception THEN
  IF sqlerrm LIKE '%profile_name cannot be combined%' THEN
    RAISE NOTICE 'unified_route_plan_profile_override_rejected: ok';
  ELSE
    RAISE;
  END IF;
END $$;
-- Test route_plan validation: policy + segment_groups
DO $$
BEGIN
  PERFORM * FROM sorted_heap_graph_route_plan(
    'chain_exact',
    route_key := 'left',
    policy_name := 'prefer_sealed',
    segment_groups := ARRAY['hot']);
  RAISE EXCEPTION 'expected error not raised';
EXCEPTION WHEN raise_exception THEN
  IF sqlerrm LIKE '%policy_name cannot be combined with segment_groups%' THEN
    RAISE NOTICE 'unified_route_plan_policy_groups_rejected: ok';
  ELSE
    RAISE;
  END IF;
END $$;
-- Edge case: zero-shard resolution (nonexistent key)
COPY (
  SELECT count(*) AS unified_route_zero_shard_rows
  FROM sorted_heap_graph_route(
    'chain_exact', '[1,0,0,0]'::svec, ARRAY[2],
    route_key := 'nonexistent_key', ann_k := 16, top_k := 2
  )
) TO STDOUT;
0
-- Edge case: route_plan on nonexistent key returns NULL shards
COPY (
  SELECT COALESCE(candidate_shards::text, 'NULL') AS zero_shard_plan
  FROM sorted_heap_graph_route_plan(
    'chain_exact', route_key := 'nonexistent_key')
) TO STDOUT;
NULL
-- Edge case: route_plan on nonexistent range value
COPY (
  SELECT COALESCE(candidate_shards::text, 'NULL') AS zero_range_plan
  FROM sorted_heap_graph_route_plan(
    'chain_grouped', route_value := 999999)
) TO STDOUT;
NULL
COPY (
  SELECT sorted_heap_graph_route_default_unregister('chain_exact')
) TO STDOUT;
1
COPY (
  SELECT sorted_heap_graph_route_default_unregister('chain_grouped')
) TO STDOUT;
1
COPY (
  SELECT sorted_heap_graph_route_profile_unregister('chain_exact')
) TO STDOUT;
2
COPY (
  SELECT sorted_heap_graph_route_profile_unregister('chain_grouped')
) TO STDOUT;
2
COPY (
  SELECT sorted_heap_graph_route_policy_unregister('chain_exact')
) TO STDOUT;
2
COPY (
  SELECT sorted_heap_graph_route_policy_unregister('chain_grouped')
) TO STDOUT;
2
COPY (
  SELECT sorted_heap_graph_exact_unregister('chain_exact')
) TO STDOUT;
3
COPY (
  SELECT sorted_heap_graph_exact_unregister('chain_meta_exact')
) TO STDOUT;
3
COPY (
  SELECT sorted_heap_graph_segment_unregister('chain_grouped')
) TO STDOUT;
2
COPY (
  SELECT sorted_heap_graph_segment_unregister('chain_meta_grouped')
) TO STDOUT;
2
COPY (
  SELECT sorted_heap_graph_segment_unregister('chain_route')
) TO STDOUT;
2
COPY (
  SELECT sorted_heap_graph_segment_meta_unregister('facts_chain_seg_b'::regclass)
) TO STDOUT;
1
COPY (
  SELECT sorted_heap_graph_segment_meta_unregister('facts_chain_seg_a'::regclass)
) TO STDOUT;
1
DROP TABLE facts_chain_seg_a;
DROP TABLE facts_chain_seg_b;
DROP TABLE facts_chain_sh;
CREATE TABLE facts_alias (
  src_id    int4 NOT NULL,
  edge_type int2 NOT NULL,
  dst_id    int4 NOT NULL,
  vec       svec(4) NOT NULL,
  body      text NOT NULL,
  PRIMARY KEY (src_id, edge_type, dst_id)
) USING sorted_heap;
INSERT INTO facts_alias VALUES
  (1, 1, 2, '[1,0,0,0]'::svec, 'a'),
  (1, 2, 3, '[0.9,0.1,0,0]'::svec, 'b'),
  (2, 1, 4, '[0,1,0,0]'::svec, 'c'),
  (3, 1, 1, '[0,0,1,0]'::svec, 'd'),
  (3, 2, 5, '[0,0,0.9,0.1]'::svec, 'e'),
  (4, 1, 6, '[0,0,0,1]'::svec, 'f');
COPY (
  SELECT 'ok'
  FROM (SELECT sorted_heap_compact('facts_alias'::regclass)) s
) TO STDOUT;
ok
COPY (
  SELECT 'ok'
  FROM (
    SELECT sorted_heap_graph_register(
      'facts_alias'::regclass,
      entity_column := 'src_id',
      relation_column := 'edge_type',
      target_column := 'dst_id',
      embedding_column := 'vec',
      payload_column := 'body'
    )
  ) s
) TO STDOUT;
ok
COPY (
  SELECT entity_column::text, relation_column::text, target_column::text,
         embedding_column::text, payload_column::text, is_registered
  FROM sorted_heap_graph_config('facts_alias'::regclass)
) TO STDOUT;
src_id	edge_type	dst_id	vec	body	t
COPY (
  SELECT entity_id, relation_id, target_id, payload, round(distance::numeric, 6) AS distance
  FROM sorted_heap_expand_rerank('facts_alias'::regclass, ARRAY[1,3], '[1,0,0,0]'::svec, 2, 2, 0)
  ORDER BY distance, entity_id, relation_id, target_id
) TO STDOUT;
1	2	3	b	0.006116
3	2	5	e	1.000000
COPY (
  SELECT entity_id, relation_id, target_id, payload, round(distance::numeric, 6) AS distance
  FROM sorted_heap_graph_rag(
    'facts_alias'::regclass,
    '[1,0,0,0]'::svec,
    relation_path := ARRAY[2],
    ann_k := 2,
    top_k := 2,
    score_mode := 'endpoint',
    limit_rows := 0
  )
  ORDER BY distance, entity_id, relation_id, target_id
) TO STDOUT;
1	2	3	b	0.006116
COPY (
  SELECT entity_id, relation_id, target_id, payload, round(distance::numeric, 6) AS distance
  FROM sorted_heap_graph_rag_twohop_path_scan('facts_alias'::regclass, '[0,0,1,0]'::svec, 2, 2, 1, 2, 0)
  ORDER BY distance, entity_id, relation_id, target_id
) TO STDOUT;
1	2	3	b	1.000000
COPY (
  SELECT sorted_heap_graph_unregister('facts_alias'::regclass)
) TO STDOUT;
t
COPY (
  SELECT entity_column::text, relation_column::text, target_column::text,
         embedding_column::text, payload_column::text, is_registered
  FROM sorted_heap_graph_config('facts_alias'::regclass)
) TO STDOUT;
entity_id	relation_id	target_id	embedding	payload	f
-- ================================================================
-- Tiny code-graph-shaped fixture for stable GraphRAG
-- ================================================================
CREATE TABLE facts_code (
  entity_id   int4 NOT NULL,
  relation_id int2 NOT NULL,
  target_id   int4 NOT NULL,
  embedding   svec(4) NOT NULL,
  payload     text NOT NULL,
  PRIMARY KEY (entity_id, relation_id, target_id)
) USING sorted_heap;
INSERT INTO facts_code VALUES
  (900, 10, 900, '[1,0,0,0]'::svec, 'summary src/app.cr'),
  (900,  5, 100, '[1,0,0,0]'::svec, 'src/app.cr contains Greeter'),
  (100, 10, 100, '[0,1,0,0]'::svec, 'summary Greeter'),
  (100,  5, 110, '[0,1,0,0]'::svec, 'Greeter contains Greeter#render'),
  (100,  1, 200, '[0,1,0,0]'::svec, 'Greeter calls Renderer#render'),
  (300, 10, 300, '[0,0,1,0]'::svec, 'summary CLI'),
  (300,  2, 100, '[0,0,1,0]'::svec, 'CLI includes Greeter');
COPY (
  SELECT 'ok'
  FROM (SELECT sorted_heap_compact('facts_code'::regclass)) s
) TO STDOUT;
ok
COPY (
  SELECT 'ok'
  FROM (
    SELECT sorted_heap_graph_register(
      'facts_code'::regclass,
      entity_column := 'entity_id',
      relation_column := 'relation_id',
      target_column := 'target_id',
      embedding_column := 'embedding',
      payload_column := 'payload'
    )
  ) s
) TO STDOUT;
ok
COPY (
  SELECT entity_id, relation_id, target_id, payload, round(distance::numeric, 6) AS distance
  FROM sorted_heap_graph_rag(
    'facts_code'::regclass,
    '[0,1,0,0]'::svec,
    relation_path := ARRAY[1],
    ann_k := 4,
    top_k := 2,
    score_mode := 'endpoint',
    limit_rows := 0
  )
  ORDER BY distance, entity_id, relation_id, target_id
) TO STDOUT;
100	1	200	Greeter calls Renderer#render	0.000000
COPY (
  SELECT entity_id, relation_id, target_id, payload, round(distance::numeric, 6) AS distance
  FROM sorted_heap_graph_rag(
    'facts_code'::regclass,
    '[1,0,0,0]'::svec,
    relation_path := ARRAY[5],
    ann_k := 4,
    top_k := 2,
    score_mode := 'endpoint',
    limit_rows := 0
  )
  ORDER BY distance, entity_id, relation_id, target_id
) TO STDOUT;
900	5	100	src/app.cr contains Greeter	0.000000
100	5	110	Greeter contains Greeter#render	1.000000
COPY (
  SELECT entity_id, relation_id, target_id, payload, round(distance::numeric, 6) AS distance
  FROM sorted_heap_graph_rag(
    'facts_code'::regclass,
    '[1,0,0,0]'::svec,
    relation_path := ARRAY[5,1],
    ann_k := 4,
    top_k := 2,
    score_mode := 'path',
    limit_rows := 0
  )
  ORDER BY distance, entity_id, relation_id, target_id
) TO STDOUT;
100	1	200	Greeter calls Renderer#render	1.000000
COPY (
  SELECT entity_id, relation_id, target_id, payload, round(distance::numeric, 6) AS distance
  FROM sorted_heap_graph_rag(
    'facts_code'::regclass,
    '[0,0,1,0]'::svec,
    relation_path := ARRAY[2],
    ann_k := 4,
    top_k := 2,
    score_mode := 'endpoint',
    limit_rows := 0
  )
  ORDER BY distance, entity_id, relation_id, target_id
) TO STDOUT;
300	2	100	CLI includes Greeter	0.000000
DROP TABLE facts_code;
-- ================================================================
-- hsvec embedding support in GraphRAG
-- ================================================================
CREATE TABLE facts_hsvec (
  entity_id   int4 NOT NULL,
  relation_id int2 NOT NULL,
  target_id   int4 NOT NULL,
  embedding   hsvec(4) NOT NULL,
  payload     text NOT NULL,
  PRIMARY KEY (entity_id, target_id)
) USING sorted_heap;
INSERT INTO facts_hsvec VALUES
  (1, 1, 2, '[1,0,0,0]'::hsvec, 'h-a'),
  (1, 2, 3, '[0.9,0.1,0,0]'::hsvec, 'h-b'),
  (2, 1, 4, '[0.8,0.2,0,0]'::hsvec, 'h-c'),
  (3, 2, 5, '[0.7,0.3,0,0]'::hsvec, 'h-d'),
  (4, 1, 6, '[0.6,0.4,0,0]'::hsvec, 'h-e'),
  (5, 1, 7, '[0,0,1,0]'::hsvec, 'h-f');
COPY (
  SELECT 'ok'
  FROM (SELECT sorted_heap_compact('facts_hsvec'::regclass)) s
) TO STDOUT;
ok
CREATE INDEX facts_hsvec_idx ON facts_hsvec
  USING sorted_hnsw (embedding hsvec_cosine_ops);
COPY (
  SELECT 'ok'
  FROM (
    SELECT sorted_heap_graph_register(
      'facts_hsvec'::regclass,
      entity_column := 'entity_id',
      relation_column := 'relation_id',
      target_column := 'target_id',
      embedding_column := 'embedding',
      payload_column := 'payload'
    )
  ) s
) TO STDOUT;
ok
-- 1-hop GraphRAG on hsvec table (query is svec, implicit cast)
COPY (
  SELECT count(*) AS hsvec_1hop_rows
  FROM sorted_heap_graph_rag(
    'facts_hsvec'::regclass,
    '[1,0,0,0]'::svec,
    relation_path := ARRAY[1],
    ann_k := 4,
    top_k := 3,
    score_mode := 'endpoint',
    limit_rows := 0
  )
) TO STDOUT;
1
-- 2-hop GraphRAG on hsvec table
COPY (
  SELECT count(*) AS hsvec_2hop_rows
  FROM sorted_heap_graph_rag(
    'facts_hsvec'::regclass,
    '[1,0,0,0]'::svec,
    relation_path := ARRAY[1, 1],
    ann_k := 4,
    top_k := 3,
    score_mode := 'path',
    limit_rows := 0
  )
) TO STDOUT;
1
-- Verify hsvec results match svec results on same data
CREATE TABLE facts_svec_mirror (
  entity_id   int4 NOT NULL,
  relation_id int2 NOT NULL,
  target_id   int4 NOT NULL,
  embedding   svec(4) NOT NULL,
  payload     text NOT NULL,
  PRIMARY KEY (entity_id, target_id)
) USING sorted_heap;
INSERT INTO facts_svec_mirror
  SELECT entity_id, relation_id, target_id, embedding::svec, payload
  FROM facts_hsvec;
COPY (
  SELECT 'ok'
  FROM (SELECT sorted_heap_compact('facts_svec_mirror'::regclass)) s
) TO STDOUT;
ok
CREATE INDEX facts_svec_mirror_idx ON facts_svec_mirror
  USING sorted_hnsw (embedding svec_cosine_ops);
COPY (
  SELECT count(*) AS hsvec_vs_svec_diff
  FROM (
    SELECT entity_id, relation_id, target_id, payload
    FROM sorted_heap_graph_rag(
      'facts_hsvec'::regclass, '[1,0,0,0]'::svec,
      relation_path := ARRAY[1], ann_k := 4, top_k := 3)
    EXCEPT ALL
    SELECT entity_id, relation_id, target_id, payload
    FROM sorted_heap_graph_rag(
      'facts_svec_mirror'::regclass, '[1,0,0,0]'::svec,
      relation_path := ARRAY[1], ann_k := 4, top_k := 3)
  ) diff
) TO STDOUT;
0
DROP TABLE facts_svec_mirror;
DROP TABLE facts_hsvec;
DROP TABLE facts_alias;
DROP TABLE facts_sh;
DROP EXTENSION pg_sorted_heap;