Repository navigation
gfql/cypher: bound-aliases NOT-pattern + IC10 unblock (#1031 slice 2 phase 2c) #1237
Description
Parent: #1031
Depends on: #1235
This issue tracks #1031 slice 2 phase 2c work after anti-semi runtime lands.
Scope
- Support bound-aliases NOT-pattern shapes, for example MATCH (a)-[:R]->(b) WHERE NOT (b)-[:R]-(a)
- Validate composition with existing row-NOT logic
- Unblock IC10 shape under direct Cypher path
- Add or adjust TCK xfail contract entries as needed
Reference docs
- plans/1031-slices-2-3-4/HANDOFF.md
- plans/1031-slices-2-3-4/findings/slice-2-phase-2b-engine.md
Activity
lmeyerov commentedon Apr 30, 2026
Dependency update: #1235 is now closed by merged PR #1238 (commit bd420d6).
This issue is unblocked and is now the active remaining slice-2 work item under #1031.
docs(changelog): record #1237 IC10-shaped cypher regression coverage
test(cypher): add IC10-shaped bound-alias NOT-pattern regression (#1243)
lmeyerov commentedon Apr 30, 2026
Status update: completed via merged PRs.
What was added in #1243:
WHERE NOT (pattern)regression coverage ingraphistry/tests/compute/gfql/cypher/test_lowering.pyMATCH (root {id: 'a'})-[:R]->(mid)-[:R]->(cand) WHERE NOT (root)-[:R]->(cand) RETURN cand.id AS cand_id ORDER BY cand_idDevelopment→TestsValidation in PR:
Given issue scope (bound-alias NOT-pattern + IC10 unblock regression), this is now complete.
lmeyerov commentedon Apr 30, 2026
Closing as completed by merged PRs #1238 and #1243.