Diagnostic covectors are not a symbol relation

Define the diagnostic selection set

Its entries are four separate cotangent selections: the three line covectors and a zero attachment covector. It is not a canonical relation for the complete coefficient.

The natural candidate for a characteristic conormal component, if such a component were constructed, would be

This merely names a possible target bundle. It does not assert that the grouped coefficient belongs to a conormal class on it.