It turns out that only the identity gate and the left <-> right moving rules are reversible, plus their negated variants, see my other comment.