Lane separation

Generic distinct positions might be obtainable with a different, complexity-dependent separation requirement. That is not the stated lane lemma. A finite union of unspecified “thin slabs” does not prove a fixed separation budget.