Contents

• P4 resumable DFS selective-RLS checkpoint

P4 resumable DFS selective-RLS checkpoint

This directory retains the P4 DFS rows from a completed PostgreSQL 17 p3_selective harness run on 2026-08-13. The run used 10,000 scalar and 10,000 composite source rows, one warmup, one recorded sample, a 1,024 MiB query budget, and a 60-second statement timeout. It is a checkpoint gate, not a statistical latency claim.

Command:

NODE_COUNT=10000 COMPOSITE_COUNT=10000 RUN_PROFILE=p3_selective \
  WARMUPS=1 SAMPLES=1 STATEMENT_TIMEOUT_MS=60000 \
  DBNAME=pggraph_p4_dfs_10k ROLE_NAME=pggraph_p4_dfs_10k_reader \
  OUTPUT_DIR=/private/tmp/pggraph-p4-dfs-rls-10k \
  ./tests/heavy/rls_large_table_baseline.sh

The paired Out/In/Any DFS rows matched exactly. Lazy source work stayed at two rows or fewer and three SPI calls, while each eager case examined 300 source rows. The no-RLS automatic strategy used zero visibility SPI calls and zero source rows. A separate one-million-row run retained a censored eager BFS lower bound at the configured 60-second timeout before reaching the new DFS pairs; P4.7/P5 own completed million-row statistical evidence.

Environment: Apple arm64 Darwin, PostgreSQL 17.9 (Homebrew). The source tree was intentionally dirty because this measured the uncommitted P4.3 candidate based on commit a394f71fa6ae6656edf857db6d2efb692b81b7d6.