feat(gfql/cypher): EXISTS { pattern } subqueries — declarative prune-isolated, native on 4 engines#1679

Merged

lmeyerov merged 12 commits into

feat/gfql-cypher-exists

Jul 5, 2026

Commits on Jul 5, 2026

feat(gfql/cypher): EXISTS { pattern } subqueries in WHERE (openCypher pattern-existence)

lmeyerov
and
claude
committed
feat(gfql/polars): native semi_apply_mark/anti_semi_apply + rows(binding_ops) — EXISTS runs on all 4 engines

lmeyerov
and
claude
committed
feat(gfql/cypher): EXISTS drop-self flavor — { (n)--(m) WHERE m <> n } on all 4 engines

lmeyerov
and
claude
committed
docs(gfql/cypher): EXISTS subquery docs + CHANGELOG

lmeyerov
and
claude
committed
fix(gfql/cypher): EXISTS wave-1 review + graph-shape acceptance (Leo steer)

lmeyerov
and
claude
committed
fix(gfql/cypher): EXISTS wave-2 — anchored GRAPH gate, eager start-nodes, decline-branch pins

lmeyerov
and
claude
committed
refactor(gfql): de-dynamize L1-added patterns — direct declared fields, local-binding narrowing (Leo steer)

lmeyerov
and
claude
committed
refactor(gfql/polars): pattern-existence family -> pattern_apply.py (module-per-family, Leo steer)

lmeyerov
and
claude
committed
ci(gfql): polars coverage-baseline entry for pattern_apply.py (module split)

lmeyerov
and
claude
committed
test(gfql/cypher): EXISTS corpus entries for #1682 rule-coverage gate

lmeyerov
and
claude
committed
type(gfql/polars): parameterize Sequence[dict] -> Sequence[Dict[str, Any]] in pattern_apply

lmeyerov
and
claude
committed
type(gfql/polars): precise types in pattern_apply — JSONVal / ASTObject / pl.DataFrame (no Any)

lmeyerov
and
claude
committed