Meta: GFQL compiler/planner post-M4 execution DAG (active wave)

[lmeyerov]

Summary

Post-M4 execution DAG.

Recently completed

• Cypher: relationship alias unsupported in row expression select (blocks IC11 job-referral) #1072 via fix(gfql/row): resolve bare relationship alias in row expressions (#1072) #1249
• Cypher/GFQL: forward bounded-reentry carry hidden columns across reentry-source rebinding (LDBC SNB IC3) #1256 via feat(cypher): forward secondary whole-row carry through chained reentry (#1256) #1258
• Meta: #1038 CASE-return residual decomposition program #1261 via test(cypher): lock #1038 IC4 return-side CASE behavior #1271
• Cypher/GFQL: forward scalar carry columns through trailing WITH narrowing in reentry suffix (IC5 sub-residual A) #1272 via Fix #1272: forward reentry carry through trailing WITH narrowing #1278
• Cypher/GFQL: admit multi-MATCH-source row projection without hidden carries (IC5 sub-residual B) #1273 via #1273: Admit shape A WITH multi-alias scalar projection + convert tests #1277
• Cypher/GFQL: support multi-MATCH-source row projection in RETURN/WITH (IC5 residual from #999) #1257 closed (child gates complete)
• Cypher/GFQL: free-form intermediate MATCH after WITH (LDBC SNB IC3 endpoint) #1263 via feat(cypher): admit simple free-form intermediate MATCH (#1263) #1279/fix(cypher): admit free-form carried-property bridge refs (#1275) #1287/feat(cypher): admit multi-prefix-row free-form intermediate MATCH (#1285) #1289
• Cypher WHERE: static validation gap on row-boolean shapes (OR / NOT / XOR among row predicates) — emergent from #1217 Earley swap #1219 via test(cypher): cuDF-parametrize #1219 residual row-boolean tests #1276/Fix #1219: harden pushdown null-safety keyword scanning #1281/Test #1219: broaden cross-alias OR topology stress coverage #1282/Fix #1219: harden OR token detection in pushdown null-safety #1286/Fix #1219: quote-aware pattern-existence pre-scan + whitebox tests #1291/Test+Fix #1219: BOTH narrow and broad lexical-gate amplification #1292
• GFQL type-system T1: schema contract + canonical naming alignment #1296 via feat(gfql-ir): stabilize schema catalog contract surface (#1296) #1298 (T1 under Meta: #1046 native type-system staged decomposition program #1262)
• GFQL native types T2: binder-time schema validation in strict mode #1302 via GFQL native types T2: binder-time schema validation in strict mode (#1302) #1308 (T2 under Meta: #1046 native type-system staged decomposition program #1262)
• GFQL native types T3: propagate nullability/type metadata through bound/logical plan seams #1300 via T3 #1300: type/null metadata propagation contract for BoundIR/LogicalPlan seams #1304 (T3 under Meta: #1046 native type-system staged decomposition program #1262)
• GFQL native types T3.b: migrate inline nullable patterns onto ir.metadata helpers #1309 via GFQL T3.b: consolidate nullable helper call sites (#1309) #1317 (T3.b under Meta: #1046 native type-system staged decomposition program #1262)
• GFQL native types T4: Arrow/type bridge contracts and coercion semantics #1312 via GFQL native types T4: Arrow/type bridge contracts #1313 (T4 under Meta: #1046 native type-system staged decomposition program #1262)
• GFQL native types T5: adoption gates, strict/permissive rollout, and CI/docs receipts #1311 via T5 #1311: GFQL strict-schema rollout gate, CI receipt, operator docs #1316 (T5 under Meta: #1046 native type-system staged decomposition program #1262)
• GFQL/Cypher: expose validate-only API (compile/bind checks without execution) #1320 via GFQL/Cypher: add validate-only gfql preflight API #1321 (T5.a validate-only API under Meta: #1046 native type-system staged decomposition program #1262)
• Meta: #1046 native type-system staged decomposition program #1262 closed (native-types decomposition complete)
• GFQL monolith shrinkdown S2: extract bounded reentry glue from lowering.py #1295 via Refactor #1295: extract bounded reentry glue from lowering.py #1299 (S2 under Meta: GFQL monolith shrinkdown (lowering.py + CompiledCypher cleanup) #1260)
• GFQL monolith shrinkdown S3: split lowering.py by concern boundaries #1301 via GFQL monolith shrinkdown S3: split lowering.py projection + reentry concerns #1303 (S3 under Meta: GFQL monolith shrinkdown (lowering.py + CompiledCypher cleanup) #1260)
• GFQL monolith shrinkdown S4: reduce CompiledCypher compatibility surface #1305 via S4: reduce CompiledCypher compatibility surface (#1305) #1307 (S4 under Meta: GFQL monolith shrinkdown (lowering.py + CompiledCypher cleanup) #1260)
• GFQL monolith shrinkdown S5: add CI growth guards for lowering/CompiledCypher surfaces #1306 via S5: add CI growth guards for lowering/CompiledCypher surfaces (#1306) #1310 (S5 under Meta: GFQL monolith shrinkdown (lowering.py + CompiledCypher cleanup) #1260)
• Meta: GFQL monolith shrinkdown (lowering.py + CompiledCypher cleanup) #1260 closed (S1-S5 complete)
• fix(cypher): two-MATCH reentry with connected varlen produces wrong rows (match5-25,26) #1001 via test(cypher): harden two-MATCH reentry varlen regression coverage (#1001) #1329 (two-MATCH reentry varlen wrong-rows fix)
• Cypher multihop: expand direct variable-length support beyond endpoint-only patterns #973 via #973: expand direct-Cypher varlen WHERE support beyond endpoint-only #1328 (direct-Cypher varlen expansion beyond endpoint-only)
• Cypher/GFQL: replace bounded reentry hidden-column handshake with an explicit ReentryPlan #987 closed (reentry hidden-handshake cleanup lane complete)
• chore(cypher): disambiguate compile-time reentry module naming vs runtime execution module #1333 via chore(gfql): disambiguate reentry compile-time module naming #1335 (reentry module naming disambiguation chore)

Active lanes

• Cypher/GFQL: introduce a first-class row-carrier IR for multi-stage vectorized row semantics #989 (row-carrier IR consolidation lane) via GFQL/Cypher: harden #989 row-carrier plan metadata #1344
• [FEA] GFQL bindings_table (row bindings) from chain using Yannakakis prune #880 (benchmark residual row-bindings umbrella triage/split)
  • Cypher MATCH after WITH rejects re-binding a carried secondary alias as a node variable in trailing MATCH #1341 (carried secondary alias rebind as node variable in trailing MATCH — IC1)
  • Cypher WITH ORDER BY / LIMIT not preserved across MATCH re-entry for multi-row results #1342 (WITH ORDER BY / LIMIT preservation across MATCH re-entry — IC1) via Fix #1342: preserve WITH ORDER BY/LIMIT across MATCH re-entry #1350
  • Cypher aggregates (collect, count(*), sum) over relationship-pattern rows rejected: runtime collapses rows before aggregation #1343 (aggregates over relationship-pattern rows — IC1 collect(CASE), many IC*)
• Cypher: WHERE pattern-predicate AND order sensitivity with varlen clauses #1332 (varlen WHERE pattern predicate AND order sensitivity follow-up)

Coordination metas

• Meta: benchmark coverage unlock plan for GFQL and GFQL/Cypher #992 synced
• Cypher/GFQL rejects multi-stage MATCH ... WITH ... MATCH ... WITH ... MATCH read queries #999 closed

[lmeyerov]

Status update for active #1262 lane: T1 slice #1296 is implemented in PR #1298 (https://github.com/graphistry/pygraphistry/pull/1298).\n\nChecks are green (including tck-gfql/docs). Pending merge.

[lmeyerov]

Execution lane update: #1296 is now merged via PR #1298\nhttps://github.com//pull/1298\n\nMerge commit: 559bdc7\n\nStatus: T1 schema-contract/canonical-naming lane complete; downstream lanes can build on the stabilized schema surface.

[lmeyerov]

Lane update: #1302 (T2 under #1262) has landed via PR #1308.\n\nMerge receipt:\n- merged to master on 2026-05-05\n- merge commit: a23c34c\n- checks green at merge time (including tck-gfql + ReadTheDocs)\n\nActive type-system lane now shifts to #1300 (T3) under #1262.