I think this is wrong.  I think that is the marking in gush, but for some reason inside firedrake the left edge is 4 and the right edge is 3 (compare with the 2d facet normal test case).