Repository navigation
GFQL native types T2: binder-time schema validation in strict mode #1302
Description
Summary: Execution slice T2 under #1262 and #1046.
Add binder-time schema validation hooks for alias/label/property existence in strict mode, with clear diagnostics and no loose-mode regressions.
Scope in:
- Binder checks against GraphSchemaCatalog contracts
- Deterministic strict-mode diagnostics including alias/field/stage context
- Positive and negative regression tests
Scope out:
- Nullability/type propagation (T3)
- Arrow bridge/coercion policy (T4)
Acceptance:
- Strict mode rejects missing label/property references with deterministic errors.
- Existing permissive behavior remains unchanged unless strict mode is enabled.
- Tests cover admitted and rejected shapes.
Activity
refactor(verifier): consolidate inline nullability checks onto is_nul…
chore(t3): pressure-test action items 1, 2, 5 + T3.b tracking (#1309)
feat(gfql-binder): add strict schema validation hooks (#1302)
feat(gfql-binder): add strict schema validation hooks (#1302) (#1308)
lmeyerov commentedon May 5, 2026
Receipt: completed via PR #1308 (merged into master on 2026-05-05; merge commit a23c34c).\n\nDelivered:\n- Strict binder-time schema validation hooks for labels/properties in MATCH/WHERE/projection/unwind/call\n- Deterministic E301 diagnostics with alias/field/stage context\n- Admitted/rejected + strict/loose intersection test coverage\n\nValidation receipts:\n- Targeted binder suite green (53 passed)\n- CI green including tck-gfql and ReadTheDocs at merge time\n\nTracking/meta links: #1262 (T2), #1259, #1046
refactor(verifier): consolidate inline nullability checks onto is_nul…
chore(t3): pressure-test action items 1, 2, 5 + T3.b tracking (#1309)
refactor(verifier): consolidate inline nullability checks onto is_nul…
chore(t3): pressure-test action items 1, 2, 5 + T3.b tracking (#1309)
T3 #1300: type/null metadata propagation contract for BoundIR/Logical…