zipper merge algebra (join/meet/subtract)#33

Open

marcin-rzeznicki wants to merge 7 commits intomasterfrom

Commits on Mar 26, 2026

ByteMask: add from_range constructor for RangeBounds<u8>
marcin-rzeznicki
committed

Commits on Mar 27, 2026

ZipperWriting: add zipper-based counterpart to `graft_child_maps`
marcin-rzeznicki
committed

Commits on Mar 31, 2026

zipper_join: add lattice-aware value merging + test coverage
marcin-rzeznicki
committed
zipper_join: fix minor bugs: root values interactions, `pjoin` result handling
marcin-rzeznicki
committed
zipper_meet: add lattice-aware value merging + test coverage
marcin-rzeznicki
committed

Commits on Apr 1, 2026