Remark: Meaning of the derivative budget

The order fourteen arises from $2(4+1+2)$: four scaled-normal derivatives, one tangential derivative, and two Taylor derivatives in the scale. It is a sufficient count for the proof, not a claim of optimality.