feat(gfql/cypher): Earley → LALR(1) parser (~70× faster parse) with machine-checked grammar invariants#1682

Merged

lmeyerov merged 12 commits into

dev/gfql-cypher-lalr-clean

Jul 5, 2026

Commits on Jul 5, 2026

switch WHERE parser from Earley to LALR; preserve filter_dict/where_rows routing via post-parse lift

mj3cheun
authored and
lmeyerov
committed
fix predicate span source character offsets

mj3cheun
authored and
lmeyerov
committed
restrict WHERE filter_dict lift to flat AND-chains; parenthesized ANDs stay on where_rows

mj3cheun
authored and
lmeyerov
committed
test(gfql/cypher): machine-checked grammar invariants for the LALR parser

lmeyerov
and
claude
committed
test(gfql/cypher): pin the one deliberate language fix found by the full differential

lmeyerov
and
claude
committed
refactor(gfql/cypher): purify the grammar to (near-)unambiguous — 8 S/R conflicts -> 2

lmeyerov
and
claude
committed
test(gfql/cypher): full-repo LALR==Earley differential as a CI gate

lmeyerov
and
claude
committed
test(gfql/cypher): grammar-rule coverage gate — extensions can't skip the safety net

lmeyerov
and
claude
committed
refactor(gfql/cypher): eliminate the RPAR conflict — 2 S/R -> 1 S/R

lmeyerov
and
claude
committed
test(gfql/cypher): pin the IN-conflict sibling gap (list-of-IN-booleans)

lmeyerov
and
claude
committed
refactor(gfql/cypher): ZERO conflicts — grammar is now provably unambiguous LALR(1)

lmeyerov
and
claude
committed
docs(changelog): accurate parser entry — zero conflicts, full fix list, 1681 tests

lmeyerov
and
claude
committed