I’ve never seen it happen … one place to look might be more general “Collatz-like” rules or “tricots”, where the next-step decision is based on mod d, instead of mod 2 (even/odd). Each of the d branches is of the form n \rightarrow \cfrac{a_i + b_i}{d} when n \equiv i mod d.
Among those kinds of rules, a place to look might be the “barely contracting” or “barely expanding” rules, where \cfrac{a_0 \cdot a_1 \cdot ... \cdot a_{d-1}}{d^d} is close to 1. Those rules have some wacky cycles.
I also noticed wacky cycles could happen sometimes, but usually the corresponding tricot also have other wacky cycles and there is no “gap”: wide range of number that all belong to lower cycles before the next cycle starts.
I think that’s where I am heading then. Trying to prove such a gap is impossible. I probably won’t manage to prove it but I have no doubt I will learn something cool on the way