Tags: pgrls/pgrls

pgrls 0.52.0

pgrls vector (RAG retrieval-path RLS leak probe), lint --format gitlab,
the SEC004 WITH CHECK write-side fix, offline-model fidelity fixes, and
docs-drift corrections.

pgrls 0.51.0 — anon-mode role gate (verify + SEC004 lint agree)

pgrls 0.50.0 — DB-free PR gate (snapshot --sql-file/--migrations + pg…

…rls pr)

pgrls 0.49.0 — exposed-relation family (SEC052/053/054) + pgrls lsp

v0.48.2 — verify --probe soundness fixes

pgrls 0.48.1 — verify soundness fixes (escalation SECDEF scalar-call,…

… restrictive-floor composition) + SEC049 allowlist bare name

pgrls 0.48.0 — verify --against / --mode write --emit-repro / offline…

… pre-commit hook / restrictive-floor composition

pgrls 0.47.0 — verify --mode escalation (SEC048+SEC042, live --probe)…

… + SEC049/050/051

pgrls 0.41.0 — probe SARIF, SEC048, SEC044 fixer, MCP fix/generate

v0.40.0 — pgrls MCP server — lint/verify/explain for AI agents over MCP