imlvts · Oct 2, 2026 · Oct 2, 2026
diff --git a/differential/ALGEBRAIC_FUZZING.md b/differential/ALGEBRAIC_FUZZING.md
diff --git a/differential/Cargo.toml b/differential/Cargo.toml
@@ -6,4 +6,4 @@ publish = false
 description = "The Rust side of the differential fuzzing harness for pathmap's zipper API; the Lean model in ../lean is the oracle"
 
 [dependencies]
-pathmap = { path = "..", features = ["arena_compact"] }
+pathmap = { path = "..", features = ["arena_compact", "zipper_alg"] }
diff --git a/differential/algebraic-corpus/bits-law-join-associative.bin b/differential/algebraic-corpus/bits-law-join-associative.bin
diff --git a/differential/algebraic-corpus/bits-law-join-commutative.bin b/differential/algebraic-corpus/bits-law-join-commutative.bin
@@ -0,0 +1 @@
+����rAX�}>���h�ī�_�����[Tb#j6������&�|cH�?K�Q|��)

diff --git a/differential/algebraic-corpus/bits-law-join-distributes-over-meet.bin b/differential/algebraic-corpus/bits-law-join-distributes-over-meet.bin
@@ -0,0 +1 @@
+����rAX�}>���h�ī�_�����[Tb#j6������&�|cH�?K�Q|��)

diff --git a/differential/algebraic-corpus/bits-law-majority-is-pairwise-meets.bin b/differential/algebraic-corpus/bits-law-majority-is-pairwise-meets.bin
diff --git a/differential/algebraic-corpus/bits-law-sym-diff-is-join-minus-meet.bin b/differential/algebraic-corpus/bits-law-sym-diff-is-join-minus-meet.bin
@@ -0,0 +1 @@
+lc�����4b�C�6��׿��0e��J]T��B�E�@��c'o@�-����t��7��x������\��M*PB������ڊ̣z��_^^�X7���9<�g��kݍ����
diff --git a/differential/algebraic-corpus/bits-panic-build-line_list_node-rs-1745.bin b/differential/algebraic-corpus/bits-panic-build-line_list_node-rs-1745.bin
diff --git a/differential/algebraic-corpus/bits-panic-eval-dense_byte_node-rs-2080.bin b/differential/algebraic-corpus/bits-panic-eval-dense_byte_node-rs-2080.bin
diff --git a/differential/algebraic-corpus/bits-panic-eval-line_list_node-rs-2669.bin b/differential/algebraic-corpus/bits-panic-eval-line_list_node-rs-2669.bin
diff --git a/differential/algebraic-corpus/bits-panic-eval-line_list_node-rs-2720.bin b/differential/algebraic-corpus/bits-panic-eval-line_list_node-rs-2720.bin
diff --git a/differential/algebraic-corpus/bits-shape-dnf.bin b/differential/algebraic-corpus/bits-shape-dnf.bin
diff --git a/differential/algebraic-corpus/bits-shape-nary.bin b/differential/algebraic-corpus/bits-shape-nary.bin
diff --git a/differential/algebraic-corpus/bits-shape-nary_poly.bin b/differential/algebraic-corpus/bits-shape-nary_poly.bin
diff --git a/differential/algebraic-corpus/bits-shape-pw1.bin b/differential/algebraic-corpus/bits-shape-pw1.bin
diff --git a/differential/algebraic-corpus/bits-shape-pw2.bin b/differential/algebraic-corpus/bits-shape-pw2.bin
diff --git a/differential/algebraic-corpus/bits-shape-pw3.bin b/differential/algebraic-corpus/bits-shape-pw3.bin
diff --git a/differential/algebraic-corpus/bits-shape-pw4.bin b/differential/algebraic-corpus/bits-shape-pw4.bin
diff --git a/differential/algebraic-corpus/bits-shape-pw5.bin b/differential/algebraic-corpus/bits-shape-pw5.bin
diff --git a/differential/algebraic-corpus/bits-shape-ternary.bin b/differential/algebraic-corpus/bits-shape-ternary.bin
diff --git a/differential/algebraic-corpus/bits-values-dnf.bin b/differential/algebraic-corpus/bits-values-dnf.bin
diff --git a/differential/algebraic-corpus/bits-values-model.bin b/differential/algebraic-corpus/bits-values-model.bin
diff --git a/differential/algebraic-corpus/bits-values-nary.bin b/differential/algebraic-corpus/bits-values-nary.bin
diff --git a/differential/algebraic-corpus/bits-values-nary_poly.bin b/differential/algebraic-corpus/bits-values-nary_poly.bin
diff --git a/differential/algebraic-corpus/bits-values-pw1.bin b/differential/algebraic-corpus/bits-values-pw1.bin
diff --git a/differential/algebraic-corpus/bits-values-pw2.bin b/differential/algebraic-corpus/bits-values-pw2.bin
diff --git a/differential/algebraic-corpus/bits-values-pw3.bin b/differential/algebraic-corpus/bits-values-pw3.bin
diff --git a/differential/algebraic-corpus/bits-values-pw4.bin b/differential/algebraic-corpus/bits-values-pw4.bin
diff --git a/differential/algebraic-corpus/bits-values-pw5.bin b/differential/algebraic-corpus/bits-values-pw5.bin
diff --git a/differential/algebraic-corpus/bits-values-ternary.bin b/differential/algebraic-corpus/bits-values-ternary.bin
diff --git a/differential/algebraic-corpus/u64-law-absorb-join-meet.bin b/differential/algebraic-corpus/u64-law-absorb-join-meet.bin
diff --git a/differential/algebraic-corpus/u64-law-join-associative.bin b/differential/algebraic-corpus/u64-law-join-associative.bin
diff --git a/differential/algebraic-corpus/u64-law-join-commutative.bin b/differential/algebraic-corpus/u64-law-join-commutative.bin
@@ -0,0 +1 @@
+����rAX�}>���h�ī�_�����[Tb#j6������&�|cH�?K�Q|��)

diff --git a/differential/algebraic-corpus/u64-law-join-distributes-over-meet.bin b/differential/algebraic-corpus/u64-law-join-distributes-over-meet.bin
diff --git a/differential/algebraic-corpus/u64-law-majority-is-pairwise-meets.bin b/differential/algebraic-corpus/u64-law-majority-is-pairwise-meets.bin
diff --git a/differential/algebraic-corpus/u64-law-meet-associative.bin b/differential/algebraic-corpus/u64-law-meet-associative.bin
diff --git a/differential/algebraic-corpus/u64-law-meet-distributes-over-join.bin b/differential/algebraic-corpus/u64-law-meet-distributes-over-join.bin
diff --git a/differential/algebraic-corpus/u64-law-sym-diff-is-join-minus-meet.bin b/differential/algebraic-corpus/u64-law-sym-diff-is-join-minus-meet.bin
diff --git a/differential/algebraic-corpus/u64-panic-build-line_list_node-rs-1745.bin b/differential/algebraic-corpus/u64-panic-build-line_list_node-rs-1745.bin
diff --git a/differential/algebraic-corpus/u64-panic-eval-dense_byte_node-rs-2080.bin b/differential/algebraic-corpus/u64-panic-eval-dense_byte_node-rs-2080.bin
diff --git a/differential/algebraic-corpus/u64-panic-eval-line_list_node-rs-2669.bin b/differential/algebraic-corpus/u64-panic-eval-line_list_node-rs-2669.bin
diff --git a/differential/algebraic-corpus/u64-panic-eval-line_list_node-rs-2720.bin b/differential/algebraic-corpus/u64-panic-eval-line_list_node-rs-2720.bin
diff --git a/differential/algebraic-corpus/u64-shape-dnf.bin b/differential/algebraic-corpus/u64-shape-dnf.bin
diff --git a/differential/algebraic-corpus/u64-shape-nary.bin b/differential/algebraic-corpus/u64-shape-nary.bin
diff --git a/differential/algebraic-corpus/u64-shape-nary_poly.bin b/differential/algebraic-corpus/u64-shape-nary_poly.bin
diff --git a/differential/algebraic-corpus/u64-shape-pw1.bin b/differential/algebraic-corpus/u64-shape-pw1.bin
diff --git a/differential/algebraic-corpus/u64-shape-pw2.bin b/differential/algebraic-corpus/u64-shape-pw2.bin
diff --git a/differential/algebraic-corpus/u64-shape-pw3.bin b/differential/algebraic-corpus/u64-shape-pw3.bin
diff --git a/differential/algebraic-corpus/u64-shape-pw4.bin b/differential/algebraic-corpus/u64-shape-pw4.bin
diff --git a/differential/algebraic-corpus/u64-shape-pw5.bin b/differential/algebraic-corpus/u64-shape-pw5.bin
diff --git a/differential/algebraic-corpus/u64-shape-ternary.bin b/differential/algebraic-corpus/u64-shape-ternary.bin
diff --git a/differential/algebraic-corpus/u64-values-dnf.bin b/differential/algebraic-corpus/u64-values-dnf.bin
diff --git a/differential/algebraic-corpus/u64-values-model.bin b/differential/algebraic-corpus/u64-values-model.bin
diff --git a/differential/algebraic-corpus/u64-values-nary.bin b/differential/algebraic-corpus/u64-values-nary.bin
diff --git a/differential/algebraic-corpus/u64-values-nary_poly.bin b/differential/algebraic-corpus/u64-values-nary_poly.bin
diff --git a/differential/algebraic-corpus/u64-values-pw1.bin b/differential/algebraic-corpus/u64-values-pw1.bin
diff --git a/differential/algebraic-corpus/u64-values-pw2.bin b/differential/algebraic-corpus/u64-values-pw2.bin
diff --git a/differential/algebraic-corpus/u64-values-pw3.bin b/differential/algebraic-corpus/u64-values-pw3.bin
diff --git a/differential/algebraic-corpus/u64-values-pw4.bin b/differential/algebraic-corpus/u64-values-pw4.bin
diff --git a/differential/algebraic-corpus/u64-values-pw5.bin b/differential/algebraic-corpus/u64-values-pw5.bin
diff --git a/differential/algebraic-corpus/u64-values-ternary.bin b/differential/algebraic-corpus/u64-values-ternary.bin
diff --git a/differential/algebraic-corpus/unit-law-join-associative.bin b/differential/algebraic-corpus/unit-law-join-associative.bin
diff --git a/differential/algebraic-corpus/unit-law-join-commutative.bin b/differential/algebraic-corpus/unit-law-join-commutative.bin
diff --git a/differential/algebraic-corpus/unit-law-join-distributes-over-meet.bin b/differential/algebraic-corpus/unit-law-join-distributes-over-meet.bin
diff --git a/differential/algebraic-corpus/unit-law-majority-is-pairwise-meets.bin b/differential/algebraic-corpus/unit-law-majority-is-pairwise-meets.bin
diff --git a/differential/algebraic-corpus/unit-law-meet-distributes-over-join.bin b/differential/algebraic-corpus/unit-law-meet-distributes-over-join.bin
diff --git a/differential/algebraic-corpus/unit-law-subtract-over-join.bin b/differential/algebraic-corpus/unit-law-subtract-over-join.bin
diff --git a/differential/algebraic-corpus/unit-law-sym-diff-is-join-minus-meet.bin b/differential/algebraic-corpus/unit-law-sym-diff-is-join-minus-meet.bin
diff --git a/differential/algebraic-corpus/unit-panic-build-line_list_node-rs-1745.bin b/differential/algebraic-corpus/unit-panic-build-line_list_node-rs-1745.bin
diff --git a/differential/algebraic-corpus/unit-panic-eval-dense_byte_node-rs-2080.bin b/differential/algebraic-corpus/unit-panic-eval-dense_byte_node-rs-2080.bin
diff --git a/differential/algebraic-corpus/unit-panic-eval-line_list_node-rs-2669.bin b/differential/algebraic-corpus/unit-panic-eval-line_list_node-rs-2669.bin
diff --git a/differential/algebraic-corpus/unit-shape-dnf.bin b/differential/algebraic-corpus/unit-shape-dnf.bin
diff --git a/differential/algebraic-corpus/unit-shape-nary.bin b/differential/algebraic-corpus/unit-shape-nary.bin
diff --git a/differential/algebraic-corpus/unit-shape-nary_poly.bin b/differential/algebraic-corpus/unit-shape-nary_poly.bin
diff --git a/differential/algebraic-corpus/unit-shape-pw1.bin b/differential/algebraic-corpus/unit-shape-pw1.bin
diff --git a/differential/algebraic-corpus/unit-shape-pw2.bin b/differential/algebraic-corpus/unit-shape-pw2.bin
diff --git a/differential/algebraic-corpus/unit-shape-pw3.bin b/differential/algebraic-corpus/unit-shape-pw3.bin
diff --git a/differential/algebraic-corpus/unit-shape-pw4.bin b/differential/algebraic-corpus/unit-shape-pw4.bin
diff --git a/differential/algebraic-corpus/unit-shape-pw5.bin b/differential/algebraic-corpus/unit-shape-pw5.bin
diff --git a/differential/algebraic-corpus/unit-shape-ternary.bin b/differential/algebraic-corpus/unit-shape-ternary.bin
diff --git a/differential/algebraic-corpus/unit-values-model.bin b/differential/algebraic-corpus/unit-values-model.bin
diff --git a/differential/algebraic-corpus/unit-values-nary.bin b/differential/algebraic-corpus/unit-values-nary.bin
diff --git a/differential/algebraic-corpus/unit-values-pw1.bin b/differential/algebraic-corpus/unit-values-pw1.bin
diff --git a/differential/algebraic-corpus/unit-values-pw2.bin b/differential/algebraic-corpus/unit-values-pw2.bin
diff --git a/differential/algebraic-corpus/unit-values-pw3.bin b/differential/algebraic-corpus/unit-values-pw3.bin
diff --git a/differential/algebraic-corpus/unit-values-pw4.bin b/differential/algebraic-corpus/unit-values-pw4.bin
diff --git a/differential/algebraic-corpus/unit-values-pw5.bin b/differential/algebraic-corpus/unit-values-pw5.bin
diff --git a/differential/algebraic-corpus/unit-values-ternary.bin b/differential/algebraic-corpus/unit-values-ternary.bin
Original file line number	Diff line number	Diff line change
		@@ -0,0 +1 @@
		��rAX�}>��h�ī�_��[Tb#j6��&�\|cH�?K�Q\|��)
Expand Down
Original file line number	Diff line number	Diff line change
		@@ -0,0 +1 @@
		lc��4b�C�6��׿��0e��J]T��B�E�@��c'o@�-��t��7��x��\��M*PB��ڊ̣z��_^^�X7��9<�g��kݍ��