GFQL native types T2: binder-time schema validation in strict mode #1302

Activity

1. lmeyerov

   self-assigned this

   on May 5, 2026
2. lmeyerov

   added

   p2

   gfql

   on May 5, 2026
3. lmeyerov

   added 3 commits that reference this issue on May 5, 2026

   refactor(verifier): consolidate inline nullability checks onto is_nul…

   ...

   215caa1

   chore(t3): pressure-test action items 1, 2, 5 + T3.b tracking (#1309)

   ...

   bbbe6b0

   feat(gfql-binder): add strict schema validation hooks (#1302)

   2619a86
4. lmeyerov

   closed this as completedin #1308on May 5, 2026
5. lmeyerov

   added a commit that references this issue on May 5, 2026

   feat(gfql-binder): add strict schema validation hooks (#1302) (#1308)

   a23c34c
6. lmeyerov commented on May 5, 2026

   

   lmeyerov

   on May 5, 2026

   ContributorAuthor

   More actions

   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
7. lmeyerov

   added 5 commits that reference this issue on May 5, 2026

   refactor(verifier): consolidate inline nullability checks onto is_nul…

   ...

   9a27772

   chore(t3): pressure-test action items 1, 2, 5 + T3.b tracking (#1309)

   ...

   28d7971

   refactor(verifier): consolidate inline nullability checks onto is_nul…

   ...

   1e4da48

   chore(t3): pressure-test action items 1, 2, 5 + T3.b tracking (#1309)

   ...

   fef0023

   T3 #1300: type/null metadata propagation contract for BoundIR/Logical…

   ...

   686acb8