Homotopy types of intervals in corank-three higher Bruhat orders

We prove Reiner’s conjecture for higher Bruhat orders in corank 3: the facial intervals of B(n,n-3) are precisely the spherical intervals, and all other intervals are contractible.