Refine meet model - #117

Open

imlvts wants to merge 6 commits into

Adam-Vandervorst:masterfrom

imlvts:fix/meet-rule

Commits on Sep 16, 2026

Fix join_into overwriting a destination that holds the source

imlvts
and
claude
committed
1e3b1c3

Commits on Sep 17, 2026

Make meet and join value bias independent of node layout

imlvts
and
claude
committed
1be6c55
Fix write zipper node stack after prune_path

imlvts
and
claude
committed
a3c64a8
Don't report a change for dropping a shadowed dangling slot

imlvts
and
claude
committed
f801879
Meet as an intersection of locations

imlvts
and
claude
committed
e356da7
Specify the meet rule in the model

imlvts
and
claude
committed
812c2d7