Repository navigation

feat(ir): define compatible logical summary merges - #560

Open

zzylol wants to merge 13 commits into

mainfrom

stack/528-02b-merge-structure

Commits on Oct 7, 2026

feat(ir): define compatible logical summary merges
zzylol
committed
87192d7
feat(ir): require disjoint coverage for summary merges
zzylol
committed
4fa2db9
refactor(ir): use SummaryCoverage names in summary merges

zzylol
and
claude
committed
4596a7a
feat(ir): check merge update/reduction on producers; test documented coverage examples

zzylol
and
claude
committed
fe35b52
test(ir): point coverage examples at the design document

zzylol
and
claude
committed
32c4b24
test(ir): point coverage examples at the ASAP primitive schema design doc

zzylol
and
claude
committed
4c94aec
feat(ir): reject summary merges of heap-based sketches

zzylol
and
claude
committed
548339f
refactor(ir): compute merge coverage with SummaryCoverage::of_merge

zzylol
and
claude
committed
d951cbb
refactor(ir): leave summary merge coverage to #646; allow heap-based sketches

zzylol
and
claude
committed
8caceed
refactor(ir): rename summary_update to summary_input_data

zzylol
and
claude
committed
cf3fc26
feat(ir): record summarized columns in SummaryCoverage

zzylol
and
claude
committed
c8d6564
docs(ir): attach the merge_disjoint doc comment to merge_disjoint

zzylol
and
claude
committed
7ce0660
refactor(ir): keep SummaryMerge structural; leave coverage to #646

zzylol
and
claude
committed
4a0eab7