perf: predicate push-down for Expr clauses + mixed rule optimization (#207, #206)#249

Merged

adityamukho merged 12 commits into

mainfrom

feature/issues-207-206-predicate-pushdown

May 15, 2026

Commits on May 15, 2026

docs: add design spec for Wave 2 PR 1 (predicate push-down + mixed rule optimization)

adityamukho
and
claude
committed
docs: add Wave 2 PR 1 implementation plan (predicate push-down + mixed rules)

adityamukho
and
claude
committed
feat(optimizer): extend plan() to accept Expr clauses with push-down positioning

adityamukho
and
claude
committed
fix(optimizer): remove redundant import, make expr_vars private

adityamukho
and
claude
committed
feat(matcher): add match_with_hint_seeded() for incremental plan execution

adityamukho
and
claude
committed
fix(executor): adapt to Task B's plan() signature change

adityamukho
and
claude
committed
feat(executor): inline Expr push-down in execute_query() and execute_query_with_rules()

adityamukho
and
claude
committed
style(executor): use Binding alias and fix evaluate_branch doc comment

adityamukho
and
claude
committed
feat(evaluator): route mixed-rules path through plan() for Expr push-down

adityamukho
and
claude
committed
fix(evaluator): propagate get_asserted_facts error instead of swallowing it

adityamukho
and
claude
committed
bench: add query/predicate_pushdown benchmark group

adityamukho
and
claude
committed
style: apply rustfmt formatting

adityamukho
and
claude
committed