Detail in the gate's own terms, when it applies: the declared type or shape that was expected, and the kind that arrived (or "missing").