Transitions between slick and grippy surfaces cause no instability, unlike other limited slip and locking traction adders that lock both drive wheels together by default.
The simplest and (currently) most practical approach is to mimic conventional arithmetic circuits with reversible gates, starting with ripple-carry adders.