message: Comment limitation of connect_cell_pair helper
diff: @@ -24,8 +24,12 @@ use crate::{
  use super::{RangeCheck0, RangeCheck1};
  -// Connect the pair of cells of the witness specified by the cell1 and cell2 parameters
  +// Connect the pair of cells specified by the cell1 and cell2 parameters
  // cell1 --> cell2 && cell2 --> cell1
  +//
  +// Note: This function assumes that the targeted cells are freshly instantiated
  +// with self-connections. If the two cells are transitively already part
  +// of the same permutation then this would split it.
  fn connect_cell_pair(wires: &mut [GateWires], cell1: (usize, usize), cell2: (usize, usize)) {
  let tmp = wires[cell1.0][cell1.1];
  wires[cell1.0][cell1.1] = wires[cell2.0][cell2.1];
  