A support diagnostic that must be removed from the old record

This is an algebraic support reading of the copied formula, not a new estimate. It does not settle the source's regular conormal order statement. It does show that the old interior-support diagnostic cannot be used to assert a potential contradiction: the supposed interior contribution has already been killed by the displayed derivative.

The correction also illustrates why a source patch must inspect operators rather than only seed factors. The presence of $B$ before differentiation does not determine the support of the differentiated kernel.