Meta: #1046 native type-system staged decomposition program

[lmeyerov]

Summary

Program meta for decomposing #1046 (GFQL native type system) into staged, execution-ready child issues aligned with current compiler seams. All lanes complete and merged.

Parent/Related

• Parent execution DAG: #1259
• Monolith shrinkdown/meta-cleanup: #1260
• Source umbrella: #1046

Goal

Replace one broad feature umbrella with staged lanes that can be scheduled without blocking current benchmark-critical work.

Lanes — final state

• T1: Core schema model and canonical naming alignment — GFQL type-system T1: schema contract + canonical naming alignment #1296 (closed via feat(gfql-ir): stabilize schema catalog contract surface (#1296) #1298)
• T2: Binder-time schema validation slice — GFQL native types T2: binder-time schema validation in strict mode #1302 (closed via GFQL native types T2: binder-time schema validation in strict mode (#1302) #1308)
• T3: Nullability/type propagation hooks — GFQL native types T3: propagate nullability/type metadata through bound/logical plan seams #1300 (closed via T3 #1300: type/null metadata propagation contract for BoundIR/LogicalPlan seams #1304, master 686acb858)
• T3.b: nullable-helper consolidation follow-through — GFQL native types T3.b: migrate inline nullable patterns onto ir.metadata helpers #1309 (landed under master)
• T4: Arrow/type bridge surface — GFQL native types T4: Arrow/type bridge contracts and coercion semantics #1312 (closed via GFQL native types T4: Arrow/type bridge contracts #1313)
• T5: Adoption and rollout gates — GFQL native types T5: adoption gates, strict/permissive rollout, and CI/docs receipts #1311 (closed via T5 #1311: GFQL strict-schema rollout gate, CI receipt, operator docs #1316, master 256da5412)

Adjacent (built on T5's seam):

• GFQL/Cypher: expose validate-only API (compile/bind checks without execution) #1320: validate-only gfql_validate preflight API — closed via GFQL/Cypher: add validate-only gfql preflight API #1321 (provides the operator-facing strict-mode entrypoint that T5's docs reframe positions as primary).

Close criteria — met

• #1046 has child issues for T1-T5: ✓
• T1-T4 complete with explicit acceptance tests: ✓
• rollout gates + docs receipts landed via T5: ✓
• links posted back to #1259 and #1260: ✓

Closing as complete.

[lmeyerov]

Dispatch mapping (coordination):\n- Worker B: #1296 (T1 schema contract + canonical naming alignment)\n\nPlease post contract/interface decisions and test receipts back here for T2/T3 handoff.

[lmeyerov]

T1 execution slice #1296 is now implemented in PR #1298:
#1298

This lands the schema-contract/canonical-naming alignment lane and keeps GFQLSchema is GraphSchemaCatalog compatibility. CI is green; pending merge.

[lmeyerov]

Receipt for T1 slice #1296: merged in PR #1298\nhttps://github.com//pull/1298\n\nMerge commit: 559bdc7\n\nDelivered for T1 handoff:\n- Contract constructor: GraphSchemaCatalog.from_schema_parts(...)\n- Canonical accessors: node_id, edge_source, edge_destination\n- Membership helpers: has_node_column(...), has_edge_column(...)\n- Compatibility retained: GFQLSchema alias to GraphSchemaCatalog\n- Tests updated in graphistry/tests/compute/gfql/test_ir_compilation.py\n\nCI and tck-gfql were green on the merge run.

[lmeyerov]

Update: T2 is complete.\n\n- #1302 closed via PR #1308\n- Merged on 2026-05-05 (commit a23c34c)\n- CI/TCK receipts were green at merge time\n\nProgram status:\n- T1 complete (#1296 via #1298)\n- T2 complete (#1302 via #1308)\n- Next active lane: T3 (#1300), then T4/T5