PG compatibility: documentation and final verification (Task 12) #47

Activity

1. renecannao commented on Jun 16, 2026

   

   renecannao

   on Jun 16, 2026

   CollaboratorAuthor

   More actions

   Implemented Task 12 in commit 901f666 on PR #50.

   Documentation added:

   • README.md: PostgreSQL compatibility harness overview, libpg_query oracle role, result taxonomy, Makefile targets, and PG_COMPAT_CACHE default.
   • docs/benchmarks/REPRODUCING.md: prerequisites, reproducible pg_compat workflow, refresh outputs, and distinction between DEEP_SUPPORTED and CLASSIFIED_ONLY.

   Fresh verification run before closing:

   • make clean: passed.
   • make test with local Homebrew dependency overrides: 1,299 tests run, 1,262 passed, 37 skipped.
   • make test-pg-compat PG_COMPAT_CACHE=/tmp/parsersql-pg-compat-task9: 87 tests passed; checked 24,080 committed pg_compat CI cases.
   • make pg-compat PG_COMPAT_CACHE=/tmp/parsersql-pg-compat-task9: skipped 13 known invalid/unsplittable PostgreSQL corpus files per oracle role; checked 24,080 committed pg_compat CI cases; committed PostgreSQL compatibility baseline matches.
   • git diff --check: passed.
   • git status --short: clean after commit.

   Review checks:

   • No libpg_query references under include/ or src/; production parser targets do not link it.
   • No upstream checkout or oracle binary is committed; only harness scripts/report paths reference the oracle.
   • Committed PostgreSQL result taxonomy verified against the six allowed values.
   • Unmapped PostgreSQL top-level nodes are covered by UNMAPPED_NODE_CASE tests and fail the harness as infrastructure/reporting errors instead of silently passing.
2. renecannao

   closed this as completedon Jun 16, 2026