Algebraic op fuzzer - #156

Open

imlvts wants to merge 2 commits into

Adam-Vandervorst:masterfrom

imlvts:alg-fuzzer

Commits on Oct 2, 2026

Add an algebraic equivalence fuzzer to the differential crate

imlvts
and
claude
committed
b5f3371
Extend the algebraic fuzzer: lattice check, three value types, dangling repro

imlvts
and
claude
committed
839257e