descend_first_k_path(0) compliance fixes - #121

Merged

luketpeterson merged 3 commits into

bugfix/descend_k_path_zero_spec

Sep 19, 2026

Commits on Sep 19, 2026

Adding test to ZipperIteration test macro to test compliance with clarified spec on `descend_first_k_path(0)` behavior, and fixing all implementations that were out of spec
luketpeterson
committed
61e79d6
Fixing native ReadZipper descend_first_k_path(0), which still reported success
imlvts
committed
39fbfa2
differential: unmask descend_first_k_path(0) and k_path_walk(0)
imlvts
committed
7de240f