The final residual incidence class

The metric constraints of residual class 11 determine a normalized quadratic parameter. Each of its two possible ranges puts a labelled vertex in the convex hull of four other vertices.

theorem Erdos97Octagon.residualRepresentative11_not_convex_realises {p : Vertex → Plane} (hC : ConvexIndependent ℝ p) : ¬Realises p residualRepresentative11

The unique realizable residual class cannot occur in convex position.