opt: range columns prune on overlap and containment (#1144) - #1196

Merged

jdatcmd merged 11 commits into

commandprompt:mainfrom

OffgridwithJD:fix/1144-range-overlap-containment-pruning

Sep 22, 2026

Commits on Sep 22, 2026

opt: the zone map records a range column's greatest upper bound (#1144)

OffgridwithJD
and
claude
committed
1e25a2b
opt: the scan prunes on range overlap and containment (#1144)

OffgridwithJD
and
claude
committed
977adee
fix: a range predicate has no value comparison, and its kinds must not collide with btree strategies (#1144)

OffgridwithJD
and
claude
committed
3288154
test: overlap and containment prune, with a heap oracle and the documented zero (#1144)

OffgridwithJD
and
claude
committed
b88f3f4
fix: the empty-range arm's test spanned a line break (#1144)

OffgridwithJD
and
claude
committed
13e6d47
test: the suite's own geometry and mirror were wrong, in three ways (#1144)

OffgridwithJD
and
claude
committed
a747a8a
docs: the CHANGELOG entry for range overlap and containment pruning (#1144)

OffgridwithJD
and
claude
committed
4af0fe4
test: seed the check ledger for range_pruning, derived from five majors (#1144)

OffgridwithJD
and
claude
committed
4628741
fix: a range prunes under its DECLARED collation, not its element type's (#1144)

OffgridwithJD
and
claude
committed
0ea9d5a
test: a pytest twin for range pruning, and the ledger rows the new arms owe (#1144)

OffgridwithJD
and
claude
committed
4789c8c
docs: say which database collation the range arm needs (#1144)

OffgridwithJD
and
claude
committed
b61690d