feat(queryopt): set simplification optimizer#3051

Open

jzelinskie wants to merge 20 commits intoauthzed:mainfrom

jzelinskie:absorption-optim

Commits on May 9, 2026

chore(queryopt): add explicit priorities to existing optimizers
jzelinskie
committed
feat(queryopt): implement absorption-idempotency optimizer mutation
jzelinskie
committed
feat(queryopt): register absorption-idempotency optimizer
jzelinskie
committed
chore(CHANGELOG): add absorption optimizer entry
jzelinskie
committed
feat(queryopt): add complement-absorption to union subsumption (A ∪ (A−B) = A)
jzelinskie
committed
feat(queryopt): add exclusion self-annihilation (A − A = ∅)
jzelinskie
committed
feat(queryopt): add intersection idempotency/absorption (A ∩ A = A, A ∩ (A ∪ B) = A)
jzelinskie
committed
docs(queryopt): update absorption optimizer description with all five laws
jzelinskie
committed
refactor(queryopt): dedup child iteration
jzelinskie
committed
feat(queryopt): generalize exclusion annihilation to X − A = ∅ when X ⊆ A
jzelinskie
committed
fix(NullPropagation): null if either arrow child is null
jzelinskie
committed
test(NullPropagation): add comprehensive tests for all node types
jzelinskie
committed
feat(queryopt): add four new set-theoretic simplification rules
jzelinskie
committed
refactor(queryopt): give each absorption rule its own function
jzelinskie
committed
rename(queryopt): absorption-idempotency → set-simplification
jzelinskie
committed
refactor(queryopt): use new outline.Equals alias
jzelinskie
committed
test(queryopt): add coverage for uncovered branches in set-simplification
jzelinskie
committed
fix: test w/ new api for registered optimizations
jzelinskie
committed
refactor: improve legibility of set simplification
jzelinskie
committed
test(queryopt): achieve 100% coverage in set-simplification
jzelinskie
committed

Provide feedback

Saved searches

Use saved searches to filter your results more quickly

feat(queryopt): set simplification optimizer#3051

feat(queryopt): set simplification optimizer#3051
jzelinskie wants to merge 20 commits intoauthzed:mainfrom
jzelinskie:absorption-optim

Commits on May 9, 2026

chore(queryopt): add explicit priorities to existing optimizers

feat(queryopt): implement absorption-idempotency optimizer mutation

feat(queryopt): register absorption-idempotency optimizer

chore(CHANGELOG): add absorption optimizer entry

feat(queryopt): add complement-absorption to union subsumption (A ∪ (A−B) = A)

feat(queryopt): add exclusion self-annihilation (A − A = ∅)

feat(queryopt): add intersection idempotency/absorption (A ∩ A = A, A ∩ (A ∪ B) = A)

docs(queryopt): update absorption optimizer description with all five laws

refactor(queryopt): dedup child iteration

feat(queryopt): generalize exclusion annihilation to X − A = ∅ when X ⊆ A

fix(NullPropagation): null if either arrow child is null

test(NullPropagation): add comprehensive tests for all node types

feat(queryopt): add four new set-theoretic simplification rules

refactor(queryopt): give each absorption rule its own function

rename(queryopt): absorption-idempotency → set-simplification

refactor(queryopt): use new outline.Equals alias

test(queryopt): add coverage for uncovered branches in set-simplification

fix: test w/ new api for registered optimizations

refactor: improve legibility of set simplification

test(queryopt): achieve 100% coverage in set-simplification