1: \begin{abstract}
2: We show that the hyperplane arrangement of a coconvex set in a finite
3: root system is free if and only if it is free in corank $4$. As a
4: consequence, we show that the inversion arrangement of a Weyl group element
5: $w$ is free if and only if $w$ avoids a finite list of root system
6: patterns. As a key part of the proof, we use a recent theorem of
7: Abe and Yoshinaga to show that if the root system does not contain
8: any factors of type $C$ or $F$, then Peterson translation of coconvex
9: sets preserves freeness. This also allows us to give a
10: Kostant-Shapiro-Steinberg rule for the coexponents of a free inversion
11: arrangement in any type.
12: \end{abstract}
13: