gray product does not advance iterables — always yields the first element

gray product does not advance iterables — always yields the first element: a task in repo2rlenv-swe-smith (Harbor dataset). mi.gray product is broken: instead of cycling through the elements of each iterable in Gray-code order, it repeatedly yields the same first element for every position…