Fix: ProductZipper crashes - #135

Merged

luketpeterson merged 7 commits into

Adam-Vandervorst:masterfrom

imlvts:fix/product-zipper-factor-bookkeeping-root

Sep 25, 2026

Commits on Sep 23, 2026

Fix ProductZipper is_shared at a factor root

imlvts
authored and
m1el
committed
66b804b
Fix the default k-path walk looping forever at a leaf

imlvts
authored and
m1el
committed
7905443
Fix ProductZipper factor bookkeeping at the root

imlvts
authored and
m1el
committed
2c47b5b

Commits on Sep 25, 2026

Merge branch 'master' into fix/product-zipper-factor-bookkeeping-root
luketpeterson
committed
2523c0c
Reverting changes in zipper.rs, because they are in this PR via another PR that was already merged
luketpeterson
committed
56edab8
Lifting up tests in this PR to a macro so they hit all PZ types
luketpeterson
committed
dbfb1f6
The "fix" in the PR to avoid the panic was wrong. Implemented a conservative fix, but it leaves a lot of sharing on the table. This will be revisited in https://github.com/Adam-Vandervorst/PathMa…
luketpeterson
committed
3fbcf53